Package com.regnosys.rosetta.typing

Class RosettaTypingChecking

java.lang.Object

org.eclipse.xsemantics.runtime.XsemanticsRuntimeSystem

com.regnosys.rosetta.typing.RosettaTypingAuxiliary

com.regnosys.rosetta.typing.RosettaTyping

com.regnosys.rosetta.typing.RosettaTypingChecking

public class RosettaTypingChecking
extends RosettaTyping

Field Summary

Fields

Modifier and Type	Field	Description
static final String	COMPARABLELISTTYPECHECK
static final String	COMPARABLETYPECHECK
static final String	CONSTRAINTCHECK
static final String	ISLOOSERCONSTRAINTCHECK
static final String	LISTSUBTYPECHECK
static final String	LOOSECONSTRAINTCHECK
static final String	LOOSELISTSUBTYPECHECK
static final String	LOOSEONLYRIGHTISSINGULARCHECK
static final String	NOTCONSTRAINTCHECK
static final String	ONLYRIGHTISSINGULARCHECK
static final String	SUBTYPECHECK

Fields inherited from class com.regnosys.rosetta.typing.RosettaTyping

ATTRIBUTELISTTYPE, COMPARABLE, FUNCTIONALOPERATIONITEMTYPE, LISTCOMPARABLE, SALIASBASIC, SALIASBOTH, SALIASLEFT, SALIASRIGHT, SANY, SBASIC, SBASICALIAS, SDATA, SLIST, SNOTHING, SNUMBER, SREFL, SSTRING, SYMBOLLISTTYPE, TABSENT, TARITHMETIC, TASKEY, TBOOLEAN, TCHOICE, TCOMPARISON, TCOUNT, TEQUALITY, TEXISTS, TIF, TINT, TIT, TLIST, TLOGICAL, TNUMBER, TONEOF, TONLYELEMENT, TONLYEXISTS, TPATTERN, TPROJECT, TSTRING, TVAR, TYPECALLTORTYPE, TYPEFUNCTIONOFTYPEALIAS, TYPEOFIMPLICITVARIABLE

Fields inherited from class com.regnosys.rosetta.typing.RosettaTypingAuxiliary

ALLATTRIBUTES, ALLENUMVALUES, ALLFEATURES, ANCESTORENUMS, ANCESTORS, JOIN, KEEPTYPEALIASIFPOSSIBLE, LISTJOIN, MAYBEEMPTY, OVERLAP, UNION

Fields inherited from class org.eclipse.xsemantics.runtime.XsemanticsRuntimeSystem

INDEX_OF_AUX_PARAMETERS, INDEX_OF_RULE_PARAMETERS, stringRepresentation

Constructor Summary

Constructors

Constructor	Description
RosettaTypingChecking()

Method Summary

Modifier and Type	Method	Description
protected Boolean	applyAuxFunComparableListTypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaBinaryOperation sourceObject)
protected Boolean	applyAuxFunComparableTypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaBinaryOperation sourceObject)
protected Boolean	applyAuxFunConstraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality expected)
protected Boolean	applyAuxFunIsLooserConstraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality expected)
protected Boolean	applyAuxFunListSubtypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RListType expected)
protected Boolean	applyAuxFunLooseConstraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality expected)
protected Boolean	applyAuxFunLooseListSubtypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RListType expected)
protected Boolean	applyAuxFunLooseOnlyRightIsSingularCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ModifiableBinaryOperation sourceObject)
protected Boolean	applyAuxFunNotConstraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality notExpected)
protected Boolean	applyAuxFunOnlyRightIsSingularCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ModifiableBinaryOperation sourceObject)
protected Boolean	applyAuxFunSubtypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RType expected)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkAbsentExpression(RosettaAbsentExpression e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkAbsentExpression(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaAbsentExpression e)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkAbsentExpressionInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaAbsentExpression e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkAddition(ArithmeticOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkAddition(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ArithmeticOperation op)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkAdditionInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ArithmeticOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkBodyConditionalExpression(RosettaConditionalExpression e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkBodyConditionalExpression(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaConditionalExpression e)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkBodyConditionalExpressionInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaConditionalExpression e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkChoiceOperation(ChoiceOperation e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkChoiceOperation(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ChoiceOperation e)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkChoiceOperationInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ChoiceOperation e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkComparison(ComparisonOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkComparison(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ComparisonOperation op)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkComparisonInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ComparisonOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkEqualityOperation(EqualityOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkEqualityOperation(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, EqualityOperation op)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkEqualityOperationInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, EqualityOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkExistsExpression(RosettaExistsExpression e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkExistsExpression(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExistsExpression e)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkExistsExpressionInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExistsExpression e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkIfConditionalExpression(RosettaConditionalExpression e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkIfConditionalExpression(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaConditionalExpression e)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkIfConditionalExpressionInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaConditionalExpression e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkLeftArithmetic(ArithmeticOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkLeftArithmetic(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ArithmeticOperation op)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkLeftArithmeticInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ArithmeticOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkLeftComparison(ComparisonOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkLeftComparison(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ComparisonOperation op)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkLeftComparisonInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ComparisonOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkLeftLogical(LogicalOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkLeftLogical(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, LogicalOperation op)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkLeftLogicalInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, LogicalOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkListLiteral(ListLiteral e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkListLiteral(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ListLiteral e)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkListLiteralInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ListLiteral e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkOneOfOperation(OneOfOperation e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkOneOfOperation(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, OneOfOperation e)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkOneOfOperationInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, OneOfOperation e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkOnlyExistsExpression(RosettaOnlyExistsExpression e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkOnlyExistsExpression(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaOnlyExistsExpression e)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkOnlyExistsExpressionInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaOnlyExistsExpression e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkRightArithmetic(ArithmeticOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkRightArithmetic(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ArithmeticOperation op)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkRightArithmeticInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ArithmeticOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkRightComparison(ComparisonOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkRightComparison(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ComparisonOperation op)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkRightComparisonInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ComparisonOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkRightLogical(LogicalOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkRightLogical(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, LogicalOperation op)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkRightLogicalInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, LogicalOperation op)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkRosettaSymbolReference(RosettaSymbolReference e)
org.eclipse.xsemantics.runtime.Result<Boolean>	checkRosettaSymbolReference(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaSymbolReference e)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	checkRosettaSymbolReferenceInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaSymbolReference e)
Boolean	comparableListTypeCheck(RosettaBinaryOperation sourceObject)
Boolean	comparableListTypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaBinaryOperation sourceObject)
protected Boolean	comparableListTypeCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaBinaryOperation sourceObject)
protected Boolean	comparableListTypeCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaBinaryOperation sourceObject)
protected void	comparableListTypeCheckThrowException(String _error, String _issue, Exception _ex, RosettaBinaryOperation sourceObject, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
Boolean	comparableTypeCheck(RosettaBinaryOperation sourceObject)
Boolean	comparableTypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaBinaryOperation sourceObject)
protected Boolean	comparableTypeCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaBinaryOperation sourceObject)
protected Boolean	comparableTypeCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaBinaryOperation sourceObject)
protected void	comparableTypeCheckThrowException(String _error, String _issue, Exception _ex, RosettaBinaryOperation sourceObject, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
Boolean	constraintCheck(RosettaExpression sourceObject, RosettaCardinality expected)
Boolean	constraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality expected)
protected Boolean	constraintCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality expected)
protected Boolean	constraintCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality expected)
protected void	constraintCheckThrowException(String _error, String _issue, Exception _ex, RosettaExpression sourceObject, RosettaCardinality expected, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
RBuiltinTypeService	getBuiltinTypes()
ExpressionHelper	getExprHelper()
ImplicitVariableUtil	getImplicitVarUtil()
RosettaInterpreter	getInterpreter()
RosettaSimpleSystemSolver	getSystemSolver()
TypeFactory	getTypeFactory()
TypeValidationUtil	getUtil()
void	init()
Boolean	isLooserConstraintCheck(RosettaExpression sourceObject, RosettaCardinality expected)
Boolean	isLooserConstraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality expected)
protected Boolean	isLooserConstraintCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality expected)
protected Boolean	isLooserConstraintCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality expected)
protected void	isLooserConstraintCheckThrowException(String _error, String _issue, Exception _ex, RosettaExpression sourceObject, RosettaCardinality expected, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
Boolean	listSubtypeCheck(RosettaExpression sourceObject, RListType expected)
Boolean	listSubtypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RListType expected)
protected Boolean	listSubtypeCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RListType expected)
protected Boolean	listSubtypeCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RListType expected)
protected void	listSubtypeCheckThrowException(String _error, String _issue, Exception _ex, RosettaExpression sourceObject, RListType expected, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
Boolean	looseConstraintCheck(RosettaExpression sourceObject, RosettaCardinality expected)
Boolean	looseConstraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality expected)
protected Boolean	looseConstraintCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality expected)
protected Boolean	looseConstraintCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality expected)
protected void	looseConstraintCheckThrowException(String _error, String _issue, Exception _ex, RosettaExpression sourceObject, RosettaCardinality expected, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
Boolean	looseListSubtypeCheck(RosettaExpression sourceObject, RListType expected)
Boolean	looseListSubtypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RListType expected)
protected Boolean	looseListSubtypeCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RListType expected)
protected Boolean	looseListSubtypeCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RListType expected)
protected void	looseListSubtypeCheckThrowException(String _error, String _issue, Exception _ex, RosettaExpression sourceObject, RListType expected, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
Boolean	looseOnlyRightIsSingularCheck(ModifiableBinaryOperation sourceObject)
Boolean	looseOnlyRightIsSingularCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ModifiableBinaryOperation sourceObject)
protected Boolean	looseOnlyRightIsSingularCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ModifiableBinaryOperation sourceObject)
protected Boolean	looseOnlyRightIsSingularCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ModifiableBinaryOperation sourceObject)
protected void	looseOnlyRightIsSingularCheckThrowException(String _error, String _issue, Exception _ex, ModifiableBinaryOperation sourceObject, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
Boolean	notConstraintCheck(RosettaExpression sourceObject, RosettaCardinality notExpected)
Boolean	notConstraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality notExpected)
protected Boolean	notConstraintCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality notExpected)
protected Boolean	notConstraintCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RosettaCardinality notExpected)
protected void	notConstraintCheckThrowException(String _error, String _issue, Exception _ex, RosettaExpression sourceObject, RosettaCardinality notExpected, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
Boolean	onlyRightIsSingularCheck(ModifiableBinaryOperation sourceObject)
Boolean	onlyRightIsSingularCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ModifiableBinaryOperation sourceObject)
protected Boolean	onlyRightIsSingularCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ModifiableBinaryOperation sourceObject)
protected Boolean	onlyRightIsSingularCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ModifiableBinaryOperation sourceObject)
protected void	onlyRightIsSingularCheckThrowException(String _error, String _issue, Exception _ex, ModifiableBinaryOperation sourceObject, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
void	setBuiltinTypes(RBuiltinTypeService builtinTypes)
void	setExprHelper(ExpressionHelper exprHelper)
void	setImplicitVarUtil(ImplicitVariableUtil implicitVarUtil)
void	setInterpreter(RosettaInterpreter interpreter)
void	setSystemSolver(RosettaSimpleSystemSolver systemSolver)
void	setTypeFactory(TypeFactory typeFactory)
void	setUtil(TypeValidationUtil util)
Boolean	subtypeCheck(RosettaExpression sourceObject, RType expected)
Boolean	subtypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RType expected)
protected Boolean	subtypeCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RType expected)
protected Boolean	subtypeCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression sourceObject, RType expected)
protected void	subtypeCheckThrowException(String _error, String _issue, Exception _ex, RosettaExpression sourceObject, RType expected, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)

Methods inherited from class com.regnosys.rosetta.typing.RosettaTyping

applyAuxFunAttributeListType, applyAuxFunComparable, applyAuxFunFunctionalOperationItemType, applyAuxFunListComparable, applyAuxFunSymbolListType, applyAuxFunSymbolListType, applyAuxFunSymbolListType, applyAuxFunSymbolListType, applyAuxFunSymbolListType, applyAuxFunSymbolListType, applyAuxFunSymbolListType, applyAuxFunTypeCallToRType, applyAuxFunTypeFunctionOfTypeAlias, applyAuxFunTypeOfImplicitVariable, applyRuleSAliasBasic, applyRuleSAliasBoth, applyRuleSAliasLeft, applyRuleSAliasRight, applyRuleSAny, applyRuleSBasic, applyRuleSBasicAlias, applyRuleSData, applyRuleSList, applyRuleSNothing, applyRuleSNumber, applyRuleSRefl, applyRuleSString, applyRuleTAbsent, applyRuleTArithmetic, applyRuleTAsKey, applyRuleTBoolean, applyRuleTChoice, applyRuleTComparison, applyRuleTCount, applyRuleTEquality, applyRuleTExists, applyRuleTIf, applyRuleTInt, applyRuleTIt, applyRuleTList, applyRuleTLogical, applyRuleTNumber, applyRuleTOneOf, applyRuleTOnlyElement, applyRuleTOnlyExists, applyRuleTPattern, applyRuleTProject, applyRuleTString, applyRuleTVar, attributeListType, attributeListType, attributeListTypeImpl, attributeListTypeInternal, attributeListTypeThrowException, comparable, comparable, comparableImpl, comparableInternal, comparableThrowException, functionalOperationItemType, functionalOperationItemType, functionalOperationItemTypeImpl, functionalOperationItemTypeInternal, functionalOperationItemTypeThrowException, inferType, inferType, inferType, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeImpl, inferTypeInternal, inferTypeThrowException, listComparable, listComparable, listComparableImpl, listComparableInternal, listComparableThrowException, listSubtype, listSubtype, listSubtype, listSubtypeImpl, listSubtypeInternal, listSubtypeSucceeded, listSubtypeSucceeded, listSubtypeSucceeded, listSubtypeThrowException, subtype, subtype, subtype, subtypeImpl, subtypeImpl, subtypeImpl, subtypeImpl, subtypeImpl, subtypeImpl, subtypeImpl, subtypeImpl, subtypeImpl, subtypeImpl, subtypeImpl, subtypeImpl, subtypeInternal, subtypeSucceeded, subtypeSucceeded, subtypeSucceeded, subtypeThrowException, symbolListType, symbolListType, symbolListTypeImpl, symbolListTypeImpl, symbolListTypeImpl, symbolListTypeImpl, symbolListTypeImpl, symbolListTypeImpl, symbolListTypeImpl, symbolListTypeInternal, symbolListTypeThrowException, typeCallToRType, typeCallToRType, typeCallToRTypeImpl, typeCallToRTypeInternal, typeCallToRTypeThrowException, typeFunctionOfTypeAlias, typeFunctionOfTypeAlias, typeFunctionOfTypeAliasImpl, typeFunctionOfTypeAliasInternal, typeFunctionOfTypeAliasThrowException, typeOfImplicitVariable, typeOfImplicitVariable, typeOfImplicitVariableImpl, typeOfImplicitVariableInternal, typeOfImplicitVariableThrowException

Methods inherited from class com.regnosys.rosetta.typing.RosettaTypingAuxiliary

allAttributes, allAttributes, allAttributesImpl, allAttributesInternal, allAttributesThrowException, allEnumValues, allEnumValues, allEnumValuesImpl, allEnumValuesInternal, allEnumValuesThrowException, allFeatures, allFeatures, allFeaturesImpl, allFeaturesInternal, allFeaturesThrowException, ancestorEnums, ancestorEnums, ancestorEnumsImpl, ancestorEnumsInternal, ancestorEnumsThrowException, ancestors, ancestors, ancestorsImpl, ancestorsInternal, ancestorsThrowException, applyAuxFunAllAttributes, applyAuxFunAllEnumValues, applyAuxFunAllFeatures, applyAuxFunAncestorEnums, applyAuxFunAncestors, applyAuxFunJoin, applyAuxFunJoin, applyAuxFunJoin, applyAuxFunJoin, applyAuxFunJoin, applyAuxFunJoin, applyAuxFunJoin, applyAuxFunJoin, applyAuxFunJoin, applyAuxFunJoin, applyAuxFunJoin, applyAuxFunJoin, applyAuxFunJoin, applyAuxFunKeepTypeAliasIfPossible, applyAuxFunKeepTypeAliasIfPossible, applyAuxFunKeepTypeAliasIfPossible, applyAuxFunKeepTypeAliasIfPossible, applyAuxFunListJoin, applyAuxFunMayBeEmpty, applyAuxFunOverlap, applyAuxFunUnion, join, join, joinImpl, joinImpl, joinImpl, joinImpl, joinImpl, joinImpl, joinImpl, joinImpl, joinImpl, joinImpl, joinImpl, joinImpl, joinImpl, joinInternal, joinThrowException, keepTypeAliasIfPossible, keepTypeAliasIfPossible, keepTypeAliasIfPossibleImpl, keepTypeAliasIfPossibleImpl, keepTypeAliasIfPossibleImpl, keepTypeAliasIfPossibleImpl, keepTypeAliasIfPossibleInternal, keepTypeAliasIfPossibleThrowException, listJoin, listJoin, listJoinImpl, listJoinInternal, listJoinThrowException, mayBeEmpty, mayBeEmpty, mayBeEmptyImpl, mayBeEmptyInternal, mayBeEmptyThrowException, overlap, overlap, overlapImpl, overlapInternal, overlapThrowException, union, union, unionImpl, unionInternal, unionThrowException

Methods inherited from class org.eclipse.xsemantics.runtime.XsemanticsRuntimeSystem

addAsSubtrace, addToList, addToTrace, auxFunName, buildPolymorphicDispatcher, buildPolymorphicDispatcher1, buildPolymorphicDispatcher2, buildPolymorphicDispatcher3, checkAssignableTo, checkNotNull, checkParamsNotNull, clone, createRuleFailedException, emptyEnvironment, env, environmentAccess, environmentComposition, environmentEntry, extractRuleFailedException, failed, getAll, getAllNodesInRelation, getAllNodesInRelation, getCache, getEObject, getFromCache, getList, getPredicate, isResultAssignableTo, newRuleFailedException, newRuleFailedException, newRuleFailedException, newRuleFailedException, newRuleFailedException, newTrace, noSuchMethodException, noSuchMethodException, resultForFailure, resultForFailure2, resultForFailure3, ruleName, sneakyThrowRuleFailedException, sneakyThrowRuleFailedException, stringRep, stringRepForEnv, stringRepForParams, stringRepForParams, throwForExplicitFail, throwForExplicitFail, throwRuleFailedException, trimIfNotNull

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

LISTSUBTYPECHECK

public static final String LISTSUBTYPECHECK

See Also:

• Constant Field Values

LOOSELISTSUBTYPECHECK

public static final String LOOSELISTSUBTYPECHECK

See Also:

• Constant Field Values

SUBTYPECHECK

public static final String SUBTYPECHECK

See Also:

• Constant Field Values

COMPARABLELISTTYPECHECK

public static final String COMPARABLELISTTYPECHECK

See Also:

• Constant Field Values

COMPARABLETYPECHECK

public static final String COMPARABLETYPECHECK

See Also:

• Constant Field Values

ONLYRIGHTISSINGULARCHECK

public static final String ONLYRIGHTISSINGULARCHECK

See Also:

• Constant Field Values

LOOSEONLYRIGHTISSINGULARCHECK

public static final String LOOSEONLYRIGHTISSINGULARCHECK

See Also:

• Constant Field Values

CONSTRAINTCHECK

public static final String CONSTRAINTCHECK

See Also:

• Constant Field Values

LOOSECONSTRAINTCHECK

public static final String LOOSECONSTRAINTCHECK

See Also:

• Constant Field Values

NOTCONSTRAINTCHECK

public static final String NOTCONSTRAINTCHECK

See Also:

• Constant Field Values

ISLOOSERCONSTRAINTCHECK

public static final String ISLOOSERCONSTRAINTCHECK

See Also:

• Constant Field Values

Constructor Details

RosettaTypingChecking

public RosettaTypingChecking()

Method Details

init

public void init()

Overrides:

init in class RosettaTyping

getTypeFactory

public TypeFactory getTypeFactory()

Overrides:

getTypeFactory in class RosettaTyping

setTypeFactory

public void setTypeFactory(TypeFactory typeFactory)

Overrides:

setTypeFactory in class RosettaTyping

getUtil

public TypeValidationUtil getUtil()

Overrides:

getUtil in class RosettaTyping

setUtil

public void setUtil(TypeValidationUtil util)

Overrides:

setUtil in class RosettaTyping

getExprHelper

public ExpressionHelper getExprHelper()

Overrides:

getExprHelper in class RosettaTyping

setExprHelper

public void setExprHelper(ExpressionHelper exprHelper)

Overrides:

setExprHelper in class RosettaTyping

getImplicitVarUtil

public ImplicitVariableUtil getImplicitVarUtil()

Overrides:

getImplicitVarUtil in class RosettaTyping

setImplicitVarUtil

public void setImplicitVarUtil(ImplicitVariableUtil implicitVarUtil)

Overrides:

setImplicitVarUtil in class RosettaTyping

getBuiltinTypes

public RBuiltinTypeService getBuiltinTypes()

Overrides:

getBuiltinTypes in class RosettaTyping

setBuiltinTypes

public void setBuiltinTypes(RBuiltinTypeService builtinTypes)

Overrides:

setBuiltinTypes in class RosettaTyping

getInterpreter

public RosettaInterpreter getInterpreter()

Overrides:

getInterpreter in class RosettaTyping

setInterpreter

public void setInterpreter(RosettaInterpreter interpreter)

Overrides:

setInterpreter in class RosettaTyping

getSystemSolver

public RosettaSimpleSystemSolver getSystemSolver()

Overrides:

getSystemSolver in class RosettaTyping

setSystemSolver

public void setSystemSolver(RosettaSimpleSystemSolver systemSolver)

Overrides:

setSystemSolver in class RosettaTyping

listSubtypeCheck

public Boolean listSubtypeCheck(RosettaExpression sourceObject,
 RListType expected)
                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

listSubtypeCheck

public Boolean listSubtypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RListType expected)
                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

looseListSubtypeCheck

public Boolean looseListSubtypeCheck(RosettaExpression sourceObject,
 RListType expected)
                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

looseListSubtypeCheck

public Boolean looseListSubtypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RListType expected)
                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeCheck

public Boolean subtypeCheck(RosettaExpression sourceObject,
 RType expected)
                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeCheck

public Boolean subtypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RType expected)
                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

comparableListTypeCheck

public Boolean comparableListTypeCheck(RosettaBinaryOperation sourceObject)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

comparableListTypeCheck

public Boolean comparableListTypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaBinaryOperation sourceObject)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

comparableTypeCheck

public Boolean comparableTypeCheck(RosettaBinaryOperation sourceObject)
                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

comparableTypeCheck

public Boolean comparableTypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaBinaryOperation sourceObject)
                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

onlyRightIsSingularCheck

public Boolean onlyRightIsSingularCheck(ModifiableBinaryOperation sourceObject)
                                 throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

onlyRightIsSingularCheck

public Boolean onlyRightIsSingularCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ModifiableBinaryOperation sourceObject)
                                 throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

looseOnlyRightIsSingularCheck

public Boolean looseOnlyRightIsSingularCheck(ModifiableBinaryOperation sourceObject)
                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

looseOnlyRightIsSingularCheck

public Boolean looseOnlyRightIsSingularCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ModifiableBinaryOperation sourceObject)
                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

constraintCheck

public Boolean constraintCheck(RosettaExpression sourceObject,
 RosettaCardinality expected)
                        throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

constraintCheck

public Boolean constraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality expected)
                        throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

looseConstraintCheck

public Boolean looseConstraintCheck(RosettaExpression sourceObject,
 RosettaCardinality expected)
                             throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

looseConstraintCheck

public Boolean looseConstraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality expected)
                             throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

notConstraintCheck

public Boolean notConstraintCheck(RosettaExpression sourceObject,
 RosettaCardinality notExpected)
                           throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

notConstraintCheck

public Boolean notConstraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality notExpected)
                           throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

isLooserConstraintCheck

public Boolean isLooserConstraintCheck(RosettaExpression sourceObject,
 RosettaCardinality expected)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

isLooserConstraintCheck

public Boolean isLooserConstraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality expected)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkLeftArithmetic

public org.eclipse.xsemantics.runtime.Result<Boolean> checkLeftArithmetic(ArithmeticOperation op)

checkLeftArithmetic

public org.eclipse.xsemantics.runtime.Result<Boolean> checkLeftArithmetic(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ArithmeticOperation op)

checkLeftArithmeticInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkLeftArithmeticInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ArithmeticOperation op)
                                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkRightArithmetic

public org.eclipse.xsemantics.runtime.Result<Boolean> checkRightArithmetic(ArithmeticOperation op)

checkRightArithmetic

public org.eclipse.xsemantics.runtime.Result<Boolean> checkRightArithmetic(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ArithmeticOperation op)

checkRightArithmeticInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkRightArithmeticInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ArithmeticOperation op)
                                                                               throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkAddition

public org.eclipse.xsemantics.runtime.Result<Boolean> checkAddition(ArithmeticOperation op)

checkAddition

public org.eclipse.xsemantics.runtime.Result<Boolean> checkAddition(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ArithmeticOperation op)

checkAdditionInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkAdditionInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ArithmeticOperation op)
                                                                        throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkEqualityOperation

public org.eclipse.xsemantics.runtime.Result<Boolean> checkEqualityOperation(EqualityOperation op)

checkEqualityOperation

public org.eclipse.xsemantics.runtime.Result<Boolean> checkEqualityOperation(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 EqualityOperation op)

checkEqualityOperationInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkEqualityOperationInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 EqualityOperation op)
                                                                                 throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkLeftLogical

public org.eclipse.xsemantics.runtime.Result<Boolean> checkLeftLogical(LogicalOperation op)

checkLeftLogical

public org.eclipse.xsemantics.runtime.Result<Boolean> checkLeftLogical(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 LogicalOperation op)

checkLeftLogicalInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkLeftLogicalInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 LogicalOperation op)
                                                                           throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkRightLogical

public org.eclipse.xsemantics.runtime.Result<Boolean> checkRightLogical(LogicalOperation op)

checkRightLogical

public org.eclipse.xsemantics.runtime.Result<Boolean> checkRightLogical(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 LogicalOperation op)

checkRightLogicalInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkRightLogicalInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 LogicalOperation op)
                                                                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkLeftComparison

public org.eclipse.xsemantics.runtime.Result<Boolean> checkLeftComparison(ComparisonOperation op)

checkLeftComparison

public org.eclipse.xsemantics.runtime.Result<Boolean> checkLeftComparison(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ComparisonOperation op)

checkLeftComparisonInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkLeftComparisonInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ComparisonOperation op)
                                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkRightComparison

public org.eclipse.xsemantics.runtime.Result<Boolean> checkRightComparison(ComparisonOperation op)

checkRightComparison

public org.eclipse.xsemantics.runtime.Result<Boolean> checkRightComparison(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ComparisonOperation op)

checkRightComparisonInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkRightComparisonInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ComparisonOperation op)
                                                                               throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkComparison

public org.eclipse.xsemantics.runtime.Result<Boolean> checkComparison(ComparisonOperation op)

checkComparison

public org.eclipse.xsemantics.runtime.Result<Boolean> checkComparison(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ComparisonOperation op)

checkComparisonInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkComparisonInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ComparisonOperation op)
                                                                          throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkIfConditionalExpression

public org.eclipse.xsemantics.runtime.Result<Boolean> checkIfConditionalExpression(RosettaConditionalExpression e)

checkIfConditionalExpression

public org.eclipse.xsemantics.runtime.Result<Boolean> checkIfConditionalExpression(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaConditionalExpression e)

checkIfConditionalExpressionInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkIfConditionalExpressionInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaConditionalExpression e)
                                                                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkBodyConditionalExpression

public org.eclipse.xsemantics.runtime.Result<Boolean> checkBodyConditionalExpression(RosettaConditionalExpression e)

checkBodyConditionalExpression

public org.eclipse.xsemantics.runtime.Result<Boolean> checkBodyConditionalExpression(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaConditionalExpression e)

checkBodyConditionalExpressionInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkBodyConditionalExpressionInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaConditionalExpression e)
                                                                                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkListLiteral

public org.eclipse.xsemantics.runtime.Result<Boolean> checkListLiteral(ListLiteral e)

checkListLiteral

public org.eclipse.xsemantics.runtime.Result<Boolean> checkListLiteral(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ListLiteral e)

checkListLiteralInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkListLiteralInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ListLiteral e)
                                                                           throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkRosettaSymbolReference

public org.eclipse.xsemantics.runtime.Result<Boolean> checkRosettaSymbolReference(RosettaSymbolReference e)

checkRosettaSymbolReference

public org.eclipse.xsemantics.runtime.Result<Boolean> checkRosettaSymbolReference(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaSymbolReference e)

checkRosettaSymbolReferenceInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkRosettaSymbolReferenceInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaSymbolReference e)
                                                                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkExistsExpression

public org.eclipse.xsemantics.runtime.Result<Boolean> checkExistsExpression(RosettaExistsExpression e)

checkExistsExpression

public org.eclipse.xsemantics.runtime.Result<Boolean> checkExistsExpression(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExistsExpression e)

checkExistsExpressionInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkExistsExpressionInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExistsExpression e)
                                                                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkAbsentExpression

public org.eclipse.xsemantics.runtime.Result<Boolean> checkAbsentExpression(RosettaAbsentExpression e)

checkAbsentExpression

public org.eclipse.xsemantics.runtime.Result<Boolean> checkAbsentExpression(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaAbsentExpression e)

checkAbsentExpressionInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkAbsentExpressionInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaAbsentExpression e)
                                                                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkOnlyExistsExpression

public org.eclipse.xsemantics.runtime.Result<Boolean> checkOnlyExistsExpression(RosettaOnlyExistsExpression e)

checkOnlyExistsExpression

public org.eclipse.xsemantics.runtime.Result<Boolean> checkOnlyExistsExpression(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaOnlyExistsExpression e)

checkOnlyExistsExpressionInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkOnlyExistsExpressionInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaOnlyExistsExpression e)
                                                                                    throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkOneOfOperation

public org.eclipse.xsemantics.runtime.Result<Boolean> checkOneOfOperation(OneOfOperation e)

checkOneOfOperation

public org.eclipse.xsemantics.runtime.Result<Boolean> checkOneOfOperation(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 OneOfOperation e)

checkOneOfOperationInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkOneOfOperationInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 OneOfOperation e)
                                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

checkChoiceOperation

public org.eclipse.xsemantics.runtime.Result<Boolean> checkChoiceOperation(ChoiceOperation e)

checkChoiceOperation

public org.eclipse.xsemantics.runtime.Result<Boolean> checkChoiceOperation(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ChoiceOperation e)

checkChoiceOperationInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> checkChoiceOperationInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ChoiceOperation e)
                                                                               throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

listSubtypeCheckInternal

protected Boolean listSubtypeCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RListType expected)

listSubtypeCheckThrowException

protected void listSubtypeCheckThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaExpression sourceObject,
 RListType expected,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

looseListSubtypeCheckInternal

protected Boolean looseListSubtypeCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RListType expected)

looseListSubtypeCheckThrowException

protected void looseListSubtypeCheckThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaExpression sourceObject,
 RListType expected,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeCheckInternal

protected Boolean subtypeCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RType expected)

subtypeCheckThrowException

protected void subtypeCheckThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaExpression sourceObject,
 RType expected,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

comparableListTypeCheckInternal

protected Boolean comparableListTypeCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaBinaryOperation sourceObject)

comparableListTypeCheckThrowException

protected void comparableListTypeCheckThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaBinaryOperation sourceObject,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

comparableTypeCheckInternal

protected Boolean comparableTypeCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaBinaryOperation sourceObject)

comparableTypeCheckThrowException

protected void comparableTypeCheckThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaBinaryOperation sourceObject,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                          throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

onlyRightIsSingularCheckInternal

protected Boolean onlyRightIsSingularCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ModifiableBinaryOperation sourceObject)

onlyRightIsSingularCheckThrowException

protected void onlyRightIsSingularCheckThrowException(String _error,
 String _issue,
 Exception _ex,
 ModifiableBinaryOperation sourceObject,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                               throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

looseOnlyRightIsSingularCheckInternal

protected Boolean looseOnlyRightIsSingularCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ModifiableBinaryOperation sourceObject)

looseOnlyRightIsSingularCheckThrowException

protected void looseOnlyRightIsSingularCheckThrowException(String _error,
 String _issue,
 Exception _ex,
 ModifiableBinaryOperation sourceObject,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                                    throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

constraintCheckInternal

protected Boolean constraintCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality expected)

constraintCheckThrowException

protected void constraintCheckThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaExpression sourceObject,
 RosettaCardinality expected,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

looseConstraintCheckInternal

protected Boolean looseConstraintCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality expected)

looseConstraintCheckThrowException

protected void looseConstraintCheckThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaExpression sourceObject,
 RosettaCardinality expected,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                           throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

notConstraintCheckInternal

protected Boolean notConstraintCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality notExpected)

notConstraintCheckThrowException

protected void notConstraintCheckThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaExpression sourceObject,
 RosettaCardinality notExpected,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

isLooserConstraintCheckInternal

protected Boolean isLooserConstraintCheckInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality expected)

isLooserConstraintCheckThrowException

protected void isLooserConstraintCheckThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaExpression sourceObject,
 RosettaCardinality expected,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

listSubtypeCheckImpl

protected Boolean listSubtypeCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RListType expected)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunListSubtypeCheck

protected Boolean applyAuxFunListSubtypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RListType expected)
                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

looseListSubtypeCheckImpl

protected Boolean looseListSubtypeCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RListType expected)
                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunLooseListSubtypeCheck

protected Boolean applyAuxFunLooseListSubtypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RListType expected)
                                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeCheckImpl

protected Boolean subtypeCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RType expected)
                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunSubtypeCheck

protected Boolean applyAuxFunSubtypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RType expected)
                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

comparableListTypeCheckImpl

protected Boolean comparableListTypeCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaBinaryOperation sourceObject)
                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunComparableListTypeCheck

protected Boolean applyAuxFunComparableListTypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaBinaryOperation sourceObject)
                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

comparableTypeCheckImpl

protected Boolean comparableTypeCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaBinaryOperation sourceObject)
                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunComparableTypeCheck

protected Boolean applyAuxFunComparableTypeCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaBinaryOperation sourceObject)
                                          throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

onlyRightIsSingularCheckImpl

protected Boolean onlyRightIsSingularCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ModifiableBinaryOperation sourceObject)
                                        throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunOnlyRightIsSingularCheck

protected Boolean applyAuxFunOnlyRightIsSingularCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ModifiableBinaryOperation sourceObject)
                                               throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

looseOnlyRightIsSingularCheckImpl

protected Boolean looseOnlyRightIsSingularCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ModifiableBinaryOperation sourceObject)
                                             throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunLooseOnlyRightIsSingularCheck

protected Boolean applyAuxFunLooseOnlyRightIsSingularCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ModifiableBinaryOperation sourceObject)
                                                    throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

constraintCheckImpl

protected Boolean constraintCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality expected)
                               throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunConstraintCheck

protected Boolean applyAuxFunConstraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality expected)
                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

looseConstraintCheckImpl

protected Boolean looseConstraintCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality expected)
                                    throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunLooseConstraintCheck

protected Boolean applyAuxFunLooseConstraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality expected)
                                           throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

notConstraintCheckImpl

protected Boolean notConstraintCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality notExpected)
                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunNotConstraintCheck

protected Boolean applyAuxFunNotConstraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality notExpected)
                                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

isLooserConstraintCheckImpl

protected Boolean isLooserConstraintCheckImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality expected)
                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunIsLooserConstraintCheck

protected Boolean applyAuxFunIsLooserConstraintCheck(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression sourceObject,
 RosettaCardinality expected)
                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException