Package com.regnosys.rosetta.typing

Class RosettaTypingAuxiliary

java.lang.Object

org.eclipse.xsemantics.runtime.XsemanticsRuntimeSystem

com.regnosys.rosetta.typing.RosettaTypingAuxiliary

Direct Known Subclasses:

RosettaTyping

public class RosettaTypingAuxiliary
extends org.eclipse.xsemantics.runtime.XsemanticsRuntimeSystem

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ALLATTRIBUTES
static final String	ALLENUMVALUES
static final String	ALLFEATURES
static final String	ANCESTORENUMS
static final String	ANCESTORS
static final String	JOIN
static final String	KEEPTYPEALIASIFPOSSIBLE
static final String	LISTJOIN
static final String	MAYBEEMPTY
static final String	OVERLAP
static final String	UNION

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

INDEX_OF_AUX_PARAMETERS, INDEX_OF_RULE_PARAMETERS, stringRepresentation

Constructor Summary

Constructors

Constructor	Description
RosettaTypingAuxiliary()

Method Summary

Modifier and Type	Method	Description
Iterable<Attribute>	allAttributes(Data d)
Iterable<Attribute>	allAttributes(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Data d)
protected Iterable<Attribute>	allAttributesImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Data d)
protected Iterable<Attribute>	allAttributesInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Data d)
protected void	allAttributesThrowException(String _error, String _issue, Exception _ex, Data d, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
Iterable<RosettaEnumValue>	allEnumValues(RosettaEnumeration d)
Iterable<RosettaEnumValue>	allEnumValues(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaEnumeration d)
protected Iterable<RosettaEnumValue>	allEnumValuesImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaEnumeration e)
protected Iterable<RosettaEnumValue>	allEnumValuesInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaEnumeration d)
protected void	allEnumValuesThrowException(String _error, String _issue, Exception _ex, RosettaEnumeration d, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
Iterable<? extends RosettaFeature>	allFeatures(RType t, org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
Iterable<? extends RosettaFeature>	allFeatures(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t, org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
protected Iterable<? extends RosettaFeature>	allFeaturesImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t, org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
protected Iterable<? extends RosettaFeature>	allFeaturesInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t, org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
protected void	allFeaturesThrowException(String _error, String _issue, Exception _ex, RType t, org.eclipse.emf.ecore.resource.ResourceSet resourceSet, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
List<RosettaEnumeration>	ancestorEnums(RosettaEnumeration t)
List<RosettaEnumeration>	ancestorEnums(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaEnumeration t)
protected List<RosettaEnumeration>	ancestorEnumsImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaEnumeration t)
protected List<RosettaEnumeration>	ancestorEnumsInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaEnumeration t)
protected void	ancestorEnumsThrowException(String _error, String _issue, Exception _ex, RosettaEnumeration t, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
List<Data>	ancestors(Data t)
List<Data>	ancestors(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Data t)
protected List<Data>	ancestorsImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Data t)
protected List<Data>	ancestorsInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Data t)
protected void	ancestorsThrowException(String _error, String _issue, Exception _ex, Data t, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
protected Iterable<Attribute>	applyAuxFunAllAttributes(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Data d)
protected Iterable<RosettaEnumValue>	applyAuxFunAllEnumValues(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaEnumeration e)
protected Iterable<? extends RosettaFeature>	applyAuxFunAllFeatures(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t, org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
protected List<RosettaEnumeration>	applyAuxFunAncestorEnums(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaEnumeration t)
protected List<Data>	applyAuxFunAncestors(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Data t)
protected RType	applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RBasicType t1, RBasicType t2)
protected RType	applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RBasicType t1, RAliasType t2)
protected RType	applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RBasicType t1, RType t2)
protected RType	applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RNumberType t1, RNumberType t2)
protected RType	applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RStringType t1, RStringType t2)
protected RType	applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RBasicType t2)
protected RType	applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RAliasType t2)
protected RType	applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RType t2)
protected RType	applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RDataType t1, RDataType t2)
protected RType	applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, REnumType t1, REnumType t2)
protected RType	applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RBasicType t2)
protected RType	applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RAliasType t2)
protected RType	applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RType t2)
protected RType	applyAuxFunKeepTypeAliasIfPossible(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RAliasType t2, BiFunction<RType,RType,RType> combineUnderlyingTypes)
protected RType	applyAuxFunKeepTypeAliasIfPossible(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RType t2, BiFunction<RType,RType,RType> combineUnderlyingTypes)
protected RType	applyAuxFunKeepTypeAliasIfPossible(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RAliasType t2, BiFunction<RType,RType,RType> combineUnderlyingTypes)
protected RType	applyAuxFunKeepTypeAliasIfPossible(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RType t2, BiFunction<RType,RType,RType> combineUnderlyingTypes)
protected RListType	applyAuxFunListJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RListType t1, RListType t2)
protected Boolean	applyAuxFunMayBeEmpty(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Data d)
protected Boolean	applyAuxFunOverlap(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaCardinality c1, RosettaCardinality c2)
protected RosettaCardinality	applyAuxFunUnion(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaCardinality c1, RosettaCardinality c2)
RBuiltinTypeService	getBuiltinTypes()
ExpressionHelper	getExprHelper()
ImplicitVariableUtil	getImplicitVarUtil()
RosettaInterpreter	getInterpreter()
RosettaSimpleSystemSolver	getSystemSolver()
TypeFactory	getTypeFactory()
TypeValidationUtil	getUtil()
void	init()
RType	join(RType t1, RType t2)
RType	join(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RType t2)
protected RType	joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RBasicType t1, RBasicType t2)
protected RType	joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RBasicType t1, RAliasType t2)
protected RType	joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RBasicType t1, RType t2)
protected RType	joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RNumberType t1, RNumberType t2)
protected RType	joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RStringType t1, RStringType t2)
protected RType	joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RBasicType t2)
protected RType	joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RAliasType t2)
protected RType	joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RType t2)
protected RType	joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RDataType t1, RDataType t2)
protected RType	joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, REnumType t1, REnumType t2)
protected RType	joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RBasicType t2)
protected RType	joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RAliasType t2)
protected RType	joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RType t2)
protected RType	joinInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RType t2)
protected void	joinThrowException(String _error, String _issue, Exception _ex, RType t1, RType t2, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
RType	keepTypeAliasIfPossible(RType t1, RType t2, BiFunction<RType,RType,RType> combineUnderlyingTypes)
RType	keepTypeAliasIfPossible(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RType t2, BiFunction<RType,RType,RType> combineUnderlyingTypes)
protected RType	keepTypeAliasIfPossibleImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RAliasType t2, BiFunction<RType,RType,RType> combineUnderlyingTypes)
protected RType	keepTypeAliasIfPossibleImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RAliasType t1, RType t2, BiFunction<RType,RType,RType> combineUnderlyingTypes)
protected RType	keepTypeAliasIfPossibleImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RAliasType t2, BiFunction<RType,RType,RType> combineUnderlyingTypes)
protected RType	keepTypeAliasIfPossibleImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RType t2, BiFunction<RType,RType,RType> combineUnderlyingTypes)
protected RType	keepTypeAliasIfPossibleInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RType t1, RType t2, BiFunction<RType,RType,RType> combineUnderlyingTypes)
protected void	keepTypeAliasIfPossibleThrowException(String _error, String _issue, Exception _ex, RType t1, RType t2, BiFunction<RType,RType,RType> combineUnderlyingTypes, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
RListType	listJoin(RListType t1, RListType t2)
RListType	listJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RListType t1, RListType t2)
protected RListType	listJoinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RListType t1, RListType t2)
protected RListType	listJoinInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RListType t1, RListType t2)
protected void	listJoinThrowException(String _error, String _issue, Exception _ex, RListType t1, RListType t2, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
Boolean	mayBeEmpty(Data d)
Boolean	mayBeEmpty(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Data d)
protected Boolean	mayBeEmptyImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Data d)
protected Boolean	mayBeEmptyInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, Data d)
protected void	mayBeEmptyThrowException(String _error, String _issue, Exception _ex, Data d, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
Boolean	overlap(RosettaCardinality c1, RosettaCardinality c2)
Boolean	overlap(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaCardinality c1, RosettaCardinality c2)
protected Boolean	overlapImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaCardinality c1, RosettaCardinality c2)
protected Boolean	overlapInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaCardinality c1, RosettaCardinality c2)
protected void	overlapThrowException(String _error, String _issue, Exception _ex, RosettaCardinality c1, RosettaCardinality c2, 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)
RosettaCardinality	union(RosettaCardinality c1, RosettaCardinality c2)
RosettaCardinality	union(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaCardinality c1, RosettaCardinality c2)
protected RosettaCardinality	unionImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaCardinality c1, RosettaCardinality c2)
protected RosettaCardinality	unionInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_, RosettaCardinality c1, RosettaCardinality c2)
protected void	unionThrowException(String _error, String _issue, Exception _ex, RosettaCardinality c1, RosettaCardinality c2, org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)

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

ANCESTORS

public static final String ANCESTORS

See Also:

• Constant Field Values

ANCESTORENUMS

public static final String ANCESTORENUMS

See Also:

• Constant Field Values

OVERLAP

public static final String OVERLAP

See Also:

• Constant Field Values

JOIN

public static final String JOIN

See Also:

• Constant Field Values

UNION

public static final String UNION

See Also:

• Constant Field Values

LISTJOIN

public static final String LISTJOIN

See Also:

• Constant Field Values

ALLATTRIBUTES

public static final String ALLATTRIBUTES

See Also:

• Constant Field Values

ALLENUMVALUES

public static final String ALLENUMVALUES

See Also:

• Constant Field Values

MAYBEEMPTY

public static final String MAYBEEMPTY

See Also:

• Constant Field Values

KEEPTYPEALIASIFPOSSIBLE

public static final String KEEPTYPEALIASIFPOSSIBLE

See Also:

• Constant Field Values

ALLFEATURES

public static final String ALLFEATURES

See Also:

• Constant Field Values

Constructor Details

RosettaTypingAuxiliary

public RosettaTypingAuxiliary()

Method Details

init

public void init()

getTypeFactory

public TypeFactory getTypeFactory()

setTypeFactory

public void setTypeFactory(TypeFactory typeFactory)

getUtil

public TypeValidationUtil getUtil()

setUtil

public void setUtil(TypeValidationUtil util)

getExprHelper

public ExpressionHelper getExprHelper()

setExprHelper

public void setExprHelper(ExpressionHelper exprHelper)

getImplicitVarUtil

public ImplicitVariableUtil getImplicitVarUtil()

setImplicitVarUtil

public void setImplicitVarUtil(ImplicitVariableUtil implicitVarUtil)

getBuiltinTypes

public RBuiltinTypeService getBuiltinTypes()

setBuiltinTypes

public void setBuiltinTypes(RBuiltinTypeService builtinTypes)

getInterpreter

public RosettaInterpreter getInterpreter()

setInterpreter

public void setInterpreter(RosettaInterpreter interpreter)

getSystemSolver

public RosettaSimpleSystemSolver getSystemSolver()

setSystemSolver

public void setSystemSolver(RosettaSimpleSystemSolver systemSolver)

ancestors

public List<Data> ancestors(Data t)
                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

ancestors

public List<Data> ancestors(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Data t)
                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

ancestorEnums

public List<RosettaEnumeration> ancestorEnums(RosettaEnumeration t)
                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

ancestorEnums

public List<RosettaEnumeration> ancestorEnums(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaEnumeration t)
                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

overlap

public Boolean overlap(RosettaCardinality c1,
 RosettaCardinality c2)
                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

overlap

public Boolean overlap(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaCardinality c1,
 RosettaCardinality c2)
                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

join

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

join

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

union

public RosettaCardinality union(RosettaCardinality c1,
 RosettaCardinality c2)
                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

union

public RosettaCardinality union(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaCardinality c1,
 RosettaCardinality c2)
                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

listJoin

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

listJoin

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

allAttributes

public Iterable<Attribute> allAttributes(Data d)
                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

allAttributes

public Iterable<Attribute> allAttributes(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Data d)
                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

allEnumValues

public Iterable<RosettaEnumValue> allEnumValues(RosettaEnumeration d)
                                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

allEnumValues

public Iterable<RosettaEnumValue> allEnumValues(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaEnumeration d)
                                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

mayBeEmpty

public Boolean mayBeEmpty(Data d)
                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

mayBeEmpty

public Boolean mayBeEmpty(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Data d)
                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

keepTypeAliasIfPossible

public RType keepTypeAliasIfPossible(RType t1,
 RType t2,
 BiFunction<RType,RType,RType> combineUnderlyingTypes)
                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

keepTypeAliasIfPossible

public RType keepTypeAliasIfPossible(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RType t2,
 BiFunction<RType,RType,RType> combineUnderlyingTypes)
                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

allFeatures

public Iterable<? extends RosettaFeature> allFeatures(RType t,
 org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
                                               throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

allFeatures

public Iterable<? extends RosettaFeature> allFeatures(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t,
 org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
                                               throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

ancestorsInternal

protected List<Data> ancestorsInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Data t)

ancestorsThrowException

protected void ancestorsThrowException(String _error,
 String _issue,
 Exception _ex,
 Data t,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

ancestorEnumsInternal

protected List<RosettaEnumeration> ancestorEnumsInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaEnumeration t)

ancestorEnumsThrowException

protected void ancestorEnumsThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaEnumeration t,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                    throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

overlapInternal

protected Boolean overlapInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaCardinality c1,
 RosettaCardinality c2)

overlapThrowException

protected void overlapThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaCardinality c1,
 RosettaCardinality c2,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

joinInternal

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

joinThrowException

protected void joinThrowException(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

unionInternal

protected RosettaCardinality unionInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaCardinality c1,
 RosettaCardinality c2)

unionThrowException

protected void unionThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaCardinality c1,
 RosettaCardinality c2,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

listJoinInternal

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

listJoinThrowException

protected void listJoinThrowException(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

allAttributesInternal

protected Iterable<Attribute> allAttributesInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Data d)

allAttributesThrowException

protected void allAttributesThrowException(String _error,
 String _issue,
 Exception _ex,
 Data d,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                    throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

allEnumValuesInternal

protected Iterable<RosettaEnumValue> allEnumValuesInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaEnumeration d)

allEnumValuesThrowException

protected void allEnumValuesThrowException(String _error,
 String _issue,
 Exception _ex,
 RosettaEnumeration d,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                    throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

mayBeEmptyInternal

protected Boolean mayBeEmptyInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Data d)

mayBeEmptyThrowException

protected void mayBeEmptyThrowException(String _error,
 String _issue,
 Exception _ex,
 Data d,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                 throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

keepTypeAliasIfPossibleInternal

protected RType keepTypeAliasIfPossibleInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RType t2,
 BiFunction<RType,RType,RType> combineUnderlyingTypes)

keepTypeAliasIfPossibleThrowException

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

allFeaturesInternal

protected Iterable<? extends RosettaFeature> allFeaturesInternal(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t,
 org.eclipse.emf.ecore.resource.ResourceSet resourceSet)

allFeaturesThrowException

protected void allFeaturesThrowException(String _error,
 String _issue,
 Exception _ex,
 RType t,
 org.eclipse.emf.ecore.resource.ResourceSet resourceSet,
 org.eclipse.xsemantics.runtime.ErrorInformation[] _errorInformations)
                                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

ancestorsImpl

protected List<Data> ancestorsImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Data t)
                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunAncestors

protected List<Data> applyAuxFunAncestors(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Data t)
                                   throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

ancestorEnumsImpl

protected List<RosettaEnumeration> ancestorEnumsImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaEnumeration t)
                                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunAncestorEnums

protected List<RosettaEnumeration> applyAuxFunAncestorEnums(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaEnumeration t)
                                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

overlapImpl

protected Boolean overlapImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaCardinality c1,
 RosettaCardinality c2)
                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunOverlap

protected Boolean applyAuxFunOverlap(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaCardinality c1,
 RosettaCardinality c2)
                              throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

joinImpl

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunJoin

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

joinImpl

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunJoin

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

joinImpl

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunJoin

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

joinImpl

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunJoin

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

joinImpl

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunJoin

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

joinImpl

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunJoin

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

joinImpl

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunJoin

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

joinImpl

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunJoin

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

joinImpl

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunJoin

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

joinImpl

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunJoin

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

joinImpl

protected RType joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RAliasType t1,
 RBasicType t2)
                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunJoin

protected RType applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RAliasType t1,
 RBasicType t2)
                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

joinImpl

protected RType joinImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RBasicType t1,
 RAliasType t2)
                  throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunJoin

protected RType applyAuxFunJoin(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RBasicType t1,
 RAliasType t2)
                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

joinImpl

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunJoin

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

unionImpl

protected RosettaCardinality unionImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaCardinality c1,
 RosettaCardinality c2)
                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunUnion

protected RosettaCardinality applyAuxFunUnion(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaCardinality c1,
 RosettaCardinality c2)
                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

listJoinImpl

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunListJoin

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

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

allAttributesImpl

protected Iterable<Attribute> allAttributesImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Data d)
                                         throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunAllAttributes

protected Iterable<Attribute> applyAuxFunAllAttributes(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Data d)
                                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

allEnumValuesImpl

protected Iterable<RosettaEnumValue> allEnumValuesImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaEnumeration e)
                                                throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunAllEnumValues

protected Iterable<RosettaEnumValue> applyAuxFunAllEnumValues(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RosettaEnumeration e)
                                                       throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

mayBeEmptyImpl

protected Boolean mayBeEmptyImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Data d)
                          throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunMayBeEmpty

protected Boolean applyAuxFunMayBeEmpty(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 Data d)
                                 throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

keepTypeAliasIfPossibleImpl

protected RType keepTypeAliasIfPossibleImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RAliasType t1,
 RAliasType t2,
 BiFunction<RType,RType,RType> combineUnderlyingTypes)
                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunKeepTypeAliasIfPossible

protected RType applyAuxFunKeepTypeAliasIfPossible(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RAliasType t1,
 RAliasType t2,
 BiFunction<RType,RType,RType> combineUnderlyingTypes)
                                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

keepTypeAliasIfPossibleImpl

protected RType keepTypeAliasIfPossibleImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RAliasType t1,
 RType t2,
 BiFunction<RType,RType,RType> combineUnderlyingTypes)
                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunKeepTypeAliasIfPossible

protected RType applyAuxFunKeepTypeAliasIfPossible(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RAliasType t1,
 RType t2,
 BiFunction<RType,RType,RType> combineUnderlyingTypes)
                                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

keepTypeAliasIfPossibleImpl

protected RType keepTypeAliasIfPossibleImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RAliasType t2,
 BiFunction<RType,RType,RType> combineUnderlyingTypes)
                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunKeepTypeAliasIfPossible

protected RType applyAuxFunKeepTypeAliasIfPossible(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RAliasType t2,
 BiFunction<RType,RType,RType> combineUnderlyingTypes)
                                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

keepTypeAliasIfPossibleImpl

protected RType keepTypeAliasIfPossibleImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RType t2,
 BiFunction<RType,RType,RType> combineUnderlyingTypes)
                                     throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunKeepTypeAliasIfPossible

protected RType applyAuxFunKeepTypeAliasIfPossible(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t1,
 RType t2,
 BiFunction<RType,RType,RType> combineUnderlyingTypes)
                                            throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

allFeaturesImpl

protected Iterable<? extends RosettaFeature> allFeaturesImpl(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t,
 org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
                                                      throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException

applyAuxFunAllFeatures

protected Iterable<? extends RosettaFeature> applyAuxFunAllFeatures(org.eclipse.xsemantics.runtime.RuleApplicationTrace _trace_,
 RType t,
 org.eclipse.emf.ecore.resource.ResourceSet resourceSet)
                                                             throws org.eclipse.xsemantics.runtime.RuleFailedException

Throws:

org.eclipse.xsemantics.runtime.RuleFailedException