Package com.regnosys.rosetta.typing

Class RosettaTyping

java.lang.Object

org.eclipse.xsemantics.runtime.XsemanticsRuntimeSystem

com.regnosys.rosetta.typing.RosettaTypingAuxiliary

com.regnosys.rosetta.typing.RosettaTyping

Direct Known Subclasses:

RosettaTypingChecking

public class RosettaTyping
extends RosettaTypingAuxiliary

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ATTRIBUTELISTTYPE
static final String	COMPARABLE
static final String	FUNCTIONALOPERATIONITEMTYPE
static final String	LISTCOMPARABLE
static final String	SALIASBASIC
static final String	SALIASBOTH
static final String	SALIASLEFT
static final String	SALIASRIGHT
static final String	SANY
static final String	SBASIC
static final String	SBASICALIAS
static final String	SDATA
static final String	SLIST
static final String	SNOTHING
static final String	SNUMBER
static final String	SREFL
static final String	SSTRING
static final String	SYMBOLLISTTYPE
static final String	TABSENT
static final String	TARITHMETIC
static final String	TASKEY
static final String	TBOOLEAN
static final String	TCHOICE
static final String	TCOMPARISON
static final String	TCOUNT
static final String	TEQUALITY
static final String	TEXISTS
static final String	TIF
static final String	TINT
static final String	TIT
static final String	TLIST
static final String	TLOGICAL
static final String	TNUMBER
static final String	TONEOF
static final String	TONLYELEMENT
static final String	TONLYEXISTS
static final String	TPATTERN
static final String	TPROJECT
static final String	TSTRING
static final String	TVAR
static final String	TYPECALLTORTYPE
static final String	TYPEFUNCTIONOFTYPEALIAS
static final String	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
RosettaTyping()

Method Summary

Modifier and Type	Method	Description
protected RListType	applyAuxFunAttributeListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Attribute a)
protected Boolean	applyAuxFunComparable(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RType t2)
protected RListType	applyAuxFunFunctionalOperationItemType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaFunctionalOperation op)
protected Boolean	applyAuxFunListComparable(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RListType t1, RListType t2)
protected RListType	applyAuxFunSymbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ClosureParameter c)
protected RListType	applyAuxFunSymbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaEnumeration c)
protected RListType	applyAuxFunSymbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExternalFunction c)
protected RListType	applyAuxFunSymbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaRule c)
protected RListType	applyAuxFunSymbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Attribute c)
protected RListType	applyAuxFunSymbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Function c)
protected RListType	applyAuxFunSymbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ShortcutDeclaration c)
protected RType	applyAuxFunTypeCallToRType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, TypeCall call, RosettaInterpreterContext context)
protected RTypeFunction	applyAuxFunTypeFunctionOfTypeAlias(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaTypeAlias typeAlias)
protected Optional<RListType>	applyAuxFunTypeOfImplicitVariable(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, org.eclipse.emf.ecore.EObject c)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	applyRuleSAliasBasic(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RBasicType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	applyRuleSAliasBoth(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RAliasType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	applyRuleSAliasLeft(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	applyRuleSAliasRight(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RAliasType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	applyRuleSAny(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RBasicType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	applyRuleSBasic(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RBasicType t1, RBasicType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	applyRuleSBasicAlias(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RBasicType t1, RAliasType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	applyRuleSData(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RDataType t1, RDataType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	applyRuleSList(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RListType s, RListType t)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	applyRuleSNothing(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RBasicType t1, RType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	applyRuleSNumber(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RNumberType t1, RNumberType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	applyRuleSRefl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	applyRuleSString(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RStringType t1, RStringType t2)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTAbsent(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaAbsentExpression e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTArithmetic(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ArithmeticOperation op)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTAsKey(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, AsKeyOperation e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTBoolean(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaBooleanLiteral bool)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTChoice(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ChoiceOperation e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTComparison(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ComparisonOperation op)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTCount(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaCountOperation e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTEquality(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, EqualityOperation op)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTExists(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExistsExpression e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTIf(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaConditionalExpression e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTInt(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaIntLiteral i)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTIt(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaImplicitVariable c)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTList(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ListLiteral e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTLogical(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, LogicalOperation op)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTNumber(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaNumberLiteral num)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTOneOf(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, OneOfOperation e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTOnlyElement(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaOnlyElement e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTOnlyExists(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaOnlyExistsExpression e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTPattern(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaPatternLiteral p)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTProject(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaFeatureCall e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTString(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaStringLiteral str)
protected org.eclipse.xsemantics.runtime.Result<RListType>	applyRuleTVar(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaSymbolReference ref)
RListType	attributeListType(Attribute a)
RListType	attributeListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Attribute a)
protected RListType	attributeListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Attribute a)
protected RListType	attributeListTypeInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Attribute a)
protected void	attributeListTypeThrowException(String _error, String _issue, Exception _ex, Attribute a, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
Boolean	comparable(RType t1, RType t2)
Boolean	comparable(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RType t2)
protected Boolean	comparableImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RType t2)
protected Boolean	comparableInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RType t2)
protected void	comparableThrowException(String _error, String _issue, Exception _ex, RType t1, RType t2, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
RListType	functionalOperationItemType(RosettaFunctionalOperation op)
RListType	functionalOperationItemType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaFunctionalOperation op)
protected RListType	functionalOperationItemTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaFunctionalOperation op)
protected RListType	functionalOperationItemTypeInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaFunctionalOperation op)
protected void	functionalOperationItemTypeThrowException(String _error, String _issue, Exception _ex, RosettaFunctionalOperation op, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
RBuiltinTypeService	getBuiltinTypes()
ExpressionHelper	getExprHelper()
ImplicitVariableUtil	getImplicitVarUtil()
RosettaInterpreter	getInterpreter()
RosettaSimpleSystemSolver	getSystemSolver()
TypeFactory	getTypeFactory()
TypeValidationUtil	getUtil()
org.eclipse.xsemantics.runtime.Result<RListType>	inferType(RosettaExpression expression)
org.eclipse.xsemantics.runtime.Result<RListType>	inferType(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, RosettaExpression expression)
org.eclipse.xsemantics.runtime.Result<RListType>	inferType(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression expression)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ArithmeticOperation op)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, AsKeyOperation e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ChoiceOperation e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ComparisonOperation op)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, EqualityOperation op)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ListLiteral e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, LogicalOperation op)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, OneOfOperation e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaAbsentExpression e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaBooleanLiteral bool)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaConditionalExpression e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaCountOperation e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExistsExpression e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaFeatureCall e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaImplicitVariable c)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaIntLiteral i)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaNumberLiteral num)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaOnlyElement e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaOnlyExistsExpression e)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaPatternLiteral p)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaStringLiteral str)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaSymbolReference ref)
protected org.eclipse.xsemantics.runtime.Result<RListType>	inferTypeInternal(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExpression expression)
protected void	inferTypeThrowException(String _error, String _issue, Exception _ex, RosettaExpression expression, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
void	init()
Boolean	listComparable(RListType t1, RListType t2)
Boolean	listComparable(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RListType t1, RListType t2)
protected Boolean	listComparableImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RListType t1, RListType t2)
protected Boolean	listComparableInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RListType t1, RListType t2)
protected void	listComparableThrowException(String _error, String _issue, Exception _ex, RListType t1, RListType t2, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
org.eclipse.xsemantics.runtime.Result<Boolean>	listSubtype(RListType subtype, RListType supertype)
org.eclipse.xsemantics.runtime.Result<Boolean>	listSubtype(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, RListType subtype, RListType supertype)
org.eclipse.xsemantics.runtime.Result<Boolean>	listSubtype(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RListType subtype, RListType supertype)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	listSubtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RListType s, RListType t)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	listSubtypeInternal(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RListType subtype, RListType supertype)
Boolean	listSubtypeSucceeded(RListType subtype, RListType supertype)
Boolean	listSubtypeSucceeded(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, RListType subtype, RListType supertype)
Boolean	listSubtypeSucceeded(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RListType subtype, RListType supertype)
protected void	listSubtypeThrowException(String _error, String _issue, Exception _ex, RListType subtype, RListType supertype, 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)
org.eclipse.xsemantics.runtime.Result<Boolean>	subtype(RType subtype, RType supertype)
org.eclipse.xsemantics.runtime.Result<Boolean>	subtype(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, RType subtype, RType supertype)
org.eclipse.xsemantics.runtime.Result<Boolean>	subtype(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType subtype, RType supertype)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RBasicType t1, RBasicType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RBasicType t1, RAliasType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RBasicType t1, RType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RNumberType t1, RNumberType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RStringType t1, RStringType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RBasicType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RAliasType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RDataType t1, RDataType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RBasicType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RAliasType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RType t2)
protected org.eclipse.xsemantics.runtime.Result<Boolean>	subtypeInternal(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType subtype, RType supertype)
Boolean	subtypeSucceeded(RType subtype, RType supertype)
Boolean	subtypeSucceeded(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, RType subtype, RType supertype)
Boolean	subtypeSucceeded(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_, org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType subtype, RType supertype)
protected void	subtypeThrowException(String _error, String _issue, Exception _ex, RType subtype, RType supertype, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
RListType	symbolListType(RosettaSymbol c)
RListType	symbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaSymbol c)
protected RListType	symbolListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ClosureParameter c)
protected RListType	symbolListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaEnumeration c)
protected RListType	symbolListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaExternalFunction c)
protected RListType	symbolListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaRule c)
protected RListType	symbolListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Attribute c)
protected RListType	symbolListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Function c)
protected RListType	symbolListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, ShortcutDeclaration c)
protected RListType	symbolListTypeInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaSymbol c)
protected void	symbolListTypeThrowException(String _error, String _issue, Exception _ex, RosettaSymbol c, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
RType	typeCallToRType(TypeCall rt, RosettaInterpreterContext context)
RType	typeCallToRType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, TypeCall rt, RosettaInterpreterContext context)
protected RType	typeCallToRTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, TypeCall call, RosettaInterpreterContext context)
protected RType	typeCallToRTypeInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, TypeCall rt, RosettaInterpreterContext context)
protected void	typeCallToRTypeThrowException(String _error, String _issue, Exception _ex, TypeCall rt, RosettaInterpreterContext context, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
RTypeFunction	typeFunctionOfTypeAlias(RosettaTypeAlias typeAlias)
RTypeFunction	typeFunctionOfTypeAlias(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaTypeAlias typeAlias)
protected RTypeFunction	typeFunctionOfTypeAliasImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaTypeAlias typeAlias)
protected RTypeFunction	typeFunctionOfTypeAliasInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaTypeAlias typeAlias)
protected void	typeFunctionOfTypeAliasThrowException(String _error, String _issue, Exception _ex, RosettaTypeAlias typeAlias, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
Optional<RListType>	typeOfImplicitVariable(org.eclipse.emf.ecore.EObject context)
Optional<RListType>	typeOfImplicitVariable(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, org.eclipse.emf.ecore.EObject context)
protected Optional<RListType>	typeOfImplicitVariableImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, org.eclipse.emf.ecore.EObject c)
protected Optional<RListType>	typeOfImplicitVariableInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, org.eclipse.emf.ecore.EObject context)
protected void	typeOfImplicitVariableThrowException(String _error, String _issue, Exception _ex, org.eclipse.emf.ecore.EObject context, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)

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

COMPARABLE

public static final String COMPARABLE

See Also:

• Constant Field Values

LISTCOMPARABLE

public static final String LISTCOMPARABLE

See Also:

• Constant Field Values

SYMBOLLISTTYPE

public static final String SYMBOLLISTTYPE

See Also:

• Constant Field Values

FUNCTIONALOPERATIONITEMTYPE

public static final String FUNCTIONALOPERATIONITEMTYPE

See Also:

• Constant Field Values

TYPEOFIMPLICITVARIABLE

public static final String TYPEOFIMPLICITVARIABLE

See Also:

• Constant Field Values

TYPEFUNCTIONOFTYPEALIAS

public static final String TYPEFUNCTIONOFTYPEALIAS

See Also:

• Constant Field Values

TYPECALLTORTYPE

public static final String TYPECALLTORTYPE

See Also:

• Constant Field Values

ATTRIBUTELISTTYPE

public static final String ATTRIBUTELISTTYPE

See Also:

• Constant Field Values

SDATA

public static final String SDATA

See Also:

• Constant Field Values

SNUMBER

public static final String SNUMBER

See Also:

• Constant Field Values

SSTRING

public static final String SSTRING

See Also:

• Constant Field Values

SBASIC

public static final String SBASIC

See Also:

• Constant Field Values

SNOTHING

public static final String SNOTHING

See Also:

• Constant Field Values

SANY

public static final String SANY

See Also:

• Constant Field Values

SALIASBOTH

public static final String SALIASBOTH

See Also:

• Constant Field Values

SALIASLEFT

public static final String SALIASLEFT

See Also:

• Constant Field Values

SALIASRIGHT

public static final String SALIASRIGHT

See Also:

• Constant Field Values

SALIASBASIC

public static final String SALIASBASIC

See Also:

• Constant Field Values

SBASICALIAS

public static final String SBASICALIAS

See Also:

• Constant Field Values

SREFL

public static final String SREFL

See Also:

• Constant Field Values

SLIST

public static final String SLIST

See Also:

• Constant Field Values

TBOOLEAN

public static final String TBOOLEAN

See Also:

• Constant Field Values

TSTRING

public static final String TSTRING

See Also:

• Constant Field Values

TNUMBER

public static final String TNUMBER

See Also:

• Constant Field Values

TINT

public static final String TINT

See Also:

• Constant Field Values

TPATTERN

public static final String TPATTERN

See Also:

• Constant Field Values

TVAR

public static final String TVAR

See Also:

• Constant Field Values

TIT

public static final String TIT

See Also:

• Constant Field Values

TARITHMETIC

public static final String TARITHMETIC

See Also:

• Constant Field Values

TEQUALITY

public static final String TEQUALITY

See Also:

• Constant Field Values

TLOGICAL

public static final String TLOGICAL

See Also:

• Constant Field Values

TCOMPARISON

public static final String TCOMPARISON

See Also:

• Constant Field Values

TIF

public static final String TIF

See Also:

• Constant Field Values

TLIST

public static final String TLIST

See Also:

• Constant Field Values

TPROJECT

public static final String TPROJECT

See Also:

• Constant Field Values

TEXISTS

public static final String TEXISTS

See Also:

• Constant Field Values

TABSENT

public static final String TABSENT

See Also:

• Constant Field Values

TONLYEXISTS

public static final String TONLYEXISTS

See Also:

• Constant Field Values

TCOUNT

public static final String TCOUNT

See Also:

• Constant Field Values

TONLYELEMENT

public static final String TONLYELEMENT

See Also:

• Constant Field Values

TASKEY

public static final String TASKEY

See Also:

• Constant Field Values

TONEOF

public static final String TONEOF

See Also:

• Constant Field Values

TCHOICE

public static final String TCHOICE

See Also:

• Constant Field Values

Constructor Details

RosettaTyping

public RosettaTyping()

Method Details

init

public void init()

Overrides:

init in class RosettaTypingAuxiliary

getTypeFactory

public TypeFactory getTypeFactory()

Overrides:

getTypeFactory in class RosettaTypingAuxiliary

setTypeFactory

public void setTypeFactory(TypeFactory typeFactory)

Overrides:

setTypeFactory in class RosettaTypingAuxiliary

getUtil

public TypeValidationUtil getUtil()

Overrides:

getUtil in class RosettaTypingAuxiliary

setUtil

public void setUtil(TypeValidationUtil util)

Overrides:

setUtil in class RosettaTypingAuxiliary

getExprHelper

public ExpressionHelper getExprHelper()

Overrides:

getExprHelper in class RosettaTypingAuxiliary

setExprHelper

public void setExprHelper(ExpressionHelper exprHelper)

Overrides:

setExprHelper in class RosettaTypingAuxiliary

getImplicitVarUtil

public ImplicitVariableUtil getImplicitVarUtil()

Overrides:

getImplicitVarUtil in class RosettaTypingAuxiliary

setImplicitVarUtil

public void setImplicitVarUtil(ImplicitVariableUtil implicitVarUtil)

Overrides:

setImplicitVarUtil in class RosettaTypingAuxiliary

getBuiltinTypes

public RBuiltinTypeService getBuiltinTypes()

Overrides:

getBuiltinTypes in class RosettaTypingAuxiliary

setBuiltinTypes

public void setBuiltinTypes(RBuiltinTypeService builtinTypes)

Overrides:

setBuiltinTypes in class RosettaTypingAuxiliary

getInterpreter

public RosettaInterpreter getInterpreter()

Overrides:

getInterpreter in class RosettaTypingAuxiliary

setInterpreter

public void setInterpreter(RosettaInterpreter interpreter)

Overrides:

setInterpreter in class RosettaTypingAuxiliary

getSystemSolver

public RosettaSimpleSystemSolver getSystemSolver()

Overrides:

getSystemSolver in class RosettaTypingAuxiliary

setSystemSolver

public void setSystemSolver(RosettaSimpleSystemSolver systemSolver)

Overrides:

setSystemSolver in class RosettaTypingAuxiliary

comparable

public Boolean comparable(RType t1,
 RType t2)
                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

comparable

public Boolean comparable(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RType t2)
                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

listComparable

public Boolean listComparable(RListType t1,
 RListType t2)
                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

listComparable

public Boolean listComparable(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RListType t1,
 RListType t2)
                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

symbolListType

public RListType symbolListType(RosettaSymbol c)
                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

symbolListType

public RListType symbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaSymbol c)
                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

functionalOperationItemType

public RListType functionalOperationItemType(RosettaFunctionalOperation op)
                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

functionalOperationItemType

public RListType functionalOperationItemType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaFunctionalOperation op)
                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeOfImplicitVariable

public Optional<RListType> typeOfImplicitVariable(org.eclipse.emf.ecore.EObject context)
                                           throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeOfImplicitVariable

public Optional<RListType> typeOfImplicitVariable(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 org.eclipse.emf.ecore.EObject context)
                                           throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeFunctionOfTypeAlias

public RTypeFunction typeFunctionOfTypeAlias(RosettaTypeAlias typeAlias)
                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeFunctionOfTypeAlias

public RTypeFunction typeFunctionOfTypeAlias(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaTypeAlias typeAlias)
                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeCallToRType

public RType typeCallToRType(TypeCall rt,
 RosettaInterpreterContext context)
                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeCallToRType

public RType typeCallToRType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 TypeCall rt,
 RosettaInterpreterContext context)
                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

attributeListType

public RListType attributeListType(Attribute a)
                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

attributeListType

public RListType attributeListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Attribute a)
                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferType

public org.eclipse.xsemantics.runtime.Result<RListType> inferType(RosettaExpression expression)

inferType

public org.eclipse.xsemantics.runtime.Result<RListType> inferType(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
 RosettaExpression expression)

inferType

public org.eclipse.xsemantics.runtime.Result<RListType> inferType(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression expression)

subtype

public org.eclipse.xsemantics.runtime.Result<Boolean> subtype(RType subtype,
 RType supertype)

subtype

public org.eclipse.xsemantics.runtime.Result<Boolean> subtype(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
 RType subtype,
 RType supertype)

subtype

public org.eclipse.xsemantics.runtime.Result<Boolean> subtype(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType subtype,
 RType supertype)

subtypeSucceeded

public Boolean subtypeSucceeded(RType subtype,
 RType supertype)

subtypeSucceeded

public Boolean subtypeSucceeded(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
 RType subtype,
 RType supertype)

subtypeSucceeded

public Boolean subtypeSucceeded(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType subtype,
 RType supertype)

listSubtype

public org.eclipse.xsemantics.runtime.Result<Boolean> listSubtype(RListType subtype,
 RListType supertype)

listSubtype

public org.eclipse.xsemantics.runtime.Result<Boolean> listSubtype(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
 RListType subtype,
 RListType supertype)

listSubtype

public org.eclipse.xsemantics.runtime.Result<Boolean> listSubtype(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RListType subtype,
 RListType supertype)

listSubtypeSucceeded

public Boolean listSubtypeSucceeded(RListType subtype,
 RListType supertype)

listSubtypeSucceeded

public Boolean listSubtypeSucceeded(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
 RListType subtype,
 RListType supertype)

listSubtypeSucceeded

public Boolean listSubtypeSucceeded(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RListType subtype,
 RListType supertype)

comparableInternal

protected Boolean comparableInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RType t2)

comparableThrowException

protected void comparableThrowException(String _error,
 String _issue,
 Exception _ex,
 RType t1,
 RType t2,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                 throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

listComparableInternal

protected Boolean listComparableInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RListType t1,
 RListType t2)

listComparableThrowException

protected void listComparableThrowException(String _error,
 String _issue,
 Exception _ex,
 RListType t1,
 RListType t2,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

symbolListTypeInternal

protected RListType symbolListTypeInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaSymbol c)

symbolListTypeThrowException

protected void symbolListTypeThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaSymbol c,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

functionalOperationItemTypeInternal

protected RListType functionalOperationItemTypeInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaFunctionalOperation op)

functionalOperationItemTypeThrowException

protected void functionalOperationItemTypeThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaFunctionalOperation op,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeOfImplicitVariableInternal

protected Optional<RListType> typeOfImplicitVariableInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 org.eclipse.emf.ecore.EObject context)

typeOfImplicitVariableThrowException

protected void typeOfImplicitVariableThrowException(String _error,
 String _issue,
 Exception _ex,
 org.eclipse.emf.ecore.EObject context,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                             throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeFunctionOfTypeAliasInternal

protected RTypeFunction typeFunctionOfTypeAliasInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaTypeAlias typeAlias)

typeFunctionOfTypeAliasThrowException

protected void typeFunctionOfTypeAliasThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaTypeAlias typeAlias,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeCallToRTypeInternal

protected RType typeCallToRTypeInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 TypeCall rt,
 RosettaInterpreterContext context)

typeCallToRTypeThrowException

protected void typeCallToRTypeThrowException(String _error,
 String _issue,
 Exception _ex,
 TypeCall rt,
 RosettaInterpreterContext context,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

attributeListTypeInternal

protected RListType attributeListTypeInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Attribute a)

attributeListTypeThrowException

protected void attributeListTypeThrowException(String _error,
 String _issue,
 Exception _ex,
 Attribute a,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                        throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeInternal

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeInternal(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExpression expression)

inferTypeThrowException

protected void inferTypeThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaExpression expression,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> subtypeInternal(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType subtype,
 RType supertype)

subtypeThrowException

protected void subtypeThrowException(String _error,
 String _issue,
 Exception _ex,
 RType subtype,
 RType supertype,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

listSubtypeInternal

protected org.eclipse.xsemantics.runtime.Result<Boolean> listSubtypeInternal(org.eclipse.xsemantics.runtime.RuleEnvironment _environment_,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RListType subtype,
 RListType supertype)

listSubtypeThrowException

protected void listSubtypeThrowException(String _error,
 String _issue,
 Exception _ex,
 RListType subtype,
 RListType supertype,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

comparableImpl

protected Boolean comparableImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RType t2)
                          throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunComparable

protected Boolean applyAuxFunComparable(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RType t2)
                                 throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

listComparableImpl

protected Boolean listComparableImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RListType t1,
 RListType t2)
                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunListComparable

protected Boolean applyAuxFunListComparable(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RListType t1,
 RListType t2)
                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

symbolListTypeImpl

protected RListType symbolListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Attribute c)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunSymbolListType

protected RListType applyAuxFunSymbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Attribute c)
                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

symbolListTypeImpl

protected RListType symbolListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ClosureParameter c)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunSymbolListType

protected RListType applyAuxFunSymbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ClosureParameter c)
                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

symbolListTypeImpl

protected RListType symbolListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaEnumeration c)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunSymbolListType

protected RListType applyAuxFunSymbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaEnumeration c)
                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

symbolListTypeImpl

protected RListType symbolListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ShortcutDeclaration c)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunSymbolListType

protected RListType applyAuxFunSymbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ShortcutDeclaration c)
                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

symbolListTypeImpl

protected RListType symbolListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExternalFunction c)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunSymbolListType

protected RListType applyAuxFunSymbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExternalFunction c)
                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

symbolListTypeImpl

protected RListType symbolListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Function c)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunSymbolListType

protected RListType applyAuxFunSymbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Function c)
                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

symbolListTypeImpl

protected RListType symbolListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaRule c)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunSymbolListType

protected RListType applyAuxFunSymbolListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaRule c)
                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

functionalOperationItemTypeImpl

protected RListType functionalOperationItemTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaFunctionalOperation op)
                                             throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunFunctionalOperationItemType

protected RListType applyAuxFunFunctionalOperationItemType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaFunctionalOperation op)
                                                    throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeOfImplicitVariableImpl

protected Optional<RListType> typeOfImplicitVariableImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 org.eclipse.emf.ecore.EObject c)
                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunTypeOfImplicitVariable

protected Optional<RListType> applyAuxFunTypeOfImplicitVariable(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 org.eclipse.emf.ecore.EObject c)
                                                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeFunctionOfTypeAliasImpl

protected RTypeFunction typeFunctionOfTypeAliasImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaTypeAlias typeAlias)
                                             throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunTypeFunctionOfTypeAlias

protected RTypeFunction applyAuxFunTypeFunctionOfTypeAlias(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaTypeAlias typeAlias)
                                                    throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

typeCallToRTypeImpl

protected RType typeCallToRTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 TypeCall call,
 RosettaInterpreterContext context)
                             throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunTypeCallToRType

protected RType applyAuxFunTypeCallToRType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 TypeCall call,
 RosettaInterpreterContext context)
                                    throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

attributeListTypeImpl

protected RListType attributeListTypeImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Attribute a)
                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunAttributeListType

protected RListType applyAuxFunAttributeListType(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Attribute a)
                                          throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeImpl

protected org.eclipse.xsemantics.runtime.Result<Boolean> subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RDataType t1,
 RDataType t2)
                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleSData

protected org.eclipse.xsemantics.runtime.Result<Boolean> applyRuleSData(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RDataType t1,
 RDataType t2)
                                                                 throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeImpl

protected org.eclipse.xsemantics.runtime.Result<Boolean> subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RNumberType t1,
 RNumberType t2)
                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleSNumber

protected org.eclipse.xsemantics.runtime.Result<Boolean> applyRuleSNumber(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RNumberType t1,
 RNumberType t2)
                                                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeImpl

protected org.eclipse.xsemantics.runtime.Result<Boolean> subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RStringType t1,
 RStringType t2)
                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleSString

protected org.eclipse.xsemantics.runtime.Result<Boolean> applyRuleSString(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RStringType t1,
 RStringType t2)
                                                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeImpl

protected org.eclipse.xsemantics.runtime.Result<Boolean> subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RBasicType t1,
 RBasicType t2)
                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleSBasic

protected org.eclipse.xsemantics.runtime.Result<Boolean> applyRuleSBasic(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RBasicType t1,
 RBasicType t2)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeImpl

protected org.eclipse.xsemantics.runtime.Result<Boolean> subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RBasicType t1,
 RType t2)
                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleSNothing

protected org.eclipse.xsemantics.runtime.Result<Boolean> applyRuleSNothing(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RBasicType t1,
 RType t2)
                                                                    throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeImpl

protected org.eclipse.xsemantics.runtime.Result<Boolean> subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RBasicType t2)
                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleSAny

protected org.eclipse.xsemantics.runtime.Result<Boolean> applyRuleSAny(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RBasicType t2)
                                                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeImpl

protected org.eclipse.xsemantics.runtime.Result<Boolean> subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RAliasType t1,
 RAliasType t2)
                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleSAliasBoth

protected org.eclipse.xsemantics.runtime.Result<Boolean> applyRuleSAliasBoth(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RAliasType t1,
 RAliasType t2)
                                                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeImpl

protected org.eclipse.xsemantics.runtime.Result<Boolean> subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RAliasType t1,
 RType t2)
                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleSAliasLeft

protected org.eclipse.xsemantics.runtime.Result<Boolean> applyRuleSAliasLeft(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RAliasType t1,
 RType t2)
                                                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeImpl

protected org.eclipse.xsemantics.runtime.Result<Boolean> subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RAliasType t2)
                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleSAliasRight

protected org.eclipse.xsemantics.runtime.Result<Boolean> applyRuleSAliasRight(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RAliasType t2)
                                                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeImpl

protected org.eclipse.xsemantics.runtime.Result<Boolean> subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RAliasType t1,
 RBasicType t2)
                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleSAliasBasic

protected org.eclipse.xsemantics.runtime.Result<Boolean> applyRuleSAliasBasic(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RAliasType t1,
 RBasicType t2)
                                                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeImpl

protected org.eclipse.xsemantics.runtime.Result<Boolean> subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RBasicType t1,
 RAliasType t2)
                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleSBasicAlias

protected org.eclipse.xsemantics.runtime.Result<Boolean> applyRuleSBasicAlias(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RBasicType t1,
 RAliasType t2)
                                                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

subtypeImpl

protected org.eclipse.xsemantics.runtime.Result<Boolean> subtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RType t2)
                                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleSRefl

protected org.eclipse.xsemantics.runtime.Result<Boolean> applyRuleSRefl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RType t2)
                                                                 throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

listSubtypeImpl

protected org.eclipse.xsemantics.runtime.Result<Boolean> listSubtypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RListType s,
 RListType t)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleSList

protected org.eclipse.xsemantics.runtime.Result<Boolean> applyRuleSList(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RListType s,
 RListType t)
                                                                 throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaBooleanLiteral bool)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTBoolean

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTBoolean(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaBooleanLiteral bool)
                                                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaStringLiteral str)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTString

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTString(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaStringLiteral str)
                                                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaNumberLiteral num)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTNumber

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTNumber(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaNumberLiteral num)
                                                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaIntLiteral i)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTInt

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTInt(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaIntLiteral i)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaPatternLiteral p)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTPattern

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTPattern(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaPatternLiteral p)
                                                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaSymbolReference ref)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTVar

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTVar(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaSymbolReference ref)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaImplicitVariable c)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTIt

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTIt(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaImplicitVariable c)
                                                                 throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ArithmeticOperation op)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTArithmetic

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTArithmetic(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ArithmeticOperation op)
                                                                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 EqualityOperation op)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTEquality

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTEquality(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 EqualityOperation op)
                                                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 LogicalOperation op)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTLogical

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTLogical(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 LogicalOperation op)
                                                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ComparisonOperation op)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTComparison

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTComparison(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ComparisonOperation op)
                                                                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaConditionalExpression e)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTIf

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTIf(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaConditionalExpression e)
                                                                 throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ListLiteral e)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTList

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTList(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ListLiteral e)
                                                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaFeatureCall e)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTProject

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTProject(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaFeatureCall e)
                                                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExistsExpression e)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTExists

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTExists(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaExistsExpression e)
                                                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaAbsentExpression e)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTAbsent

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTAbsent(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaAbsentExpression e)
                                                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaOnlyExistsExpression e)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTOnlyExists

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTOnlyExists(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaOnlyExistsExpression e)
                                                                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaCountOperation e)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTCount

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTCount(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaCountOperation e)
                                                                    throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaOnlyElement e)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTOnlyElement

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTOnlyElement(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaOnlyElement e)
                                                                          throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 AsKeyOperation e)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTAsKey

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTAsKey(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 AsKeyOperation e)
                                                                    throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 OneOfOperation e)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTOneOf

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTOneOf(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 OneOfOperation e)
                                                                    throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

inferTypeImpl

protected org.eclipse.xsemantics.runtime.Result<RListType> inferTypeImpl(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ChoiceOperation e)
                                                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyRuleTChoice

protected org.eclipse.xsemantics.runtime.Result<RListType> applyRuleTChoice(org.eclipse.xsemantics.runtime.RuleEnvironment G,
 org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 ChoiceOperation e)
                                                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException