public abstract class AbstractOCLstdlibSemanticSequencer extends EssentialOCLSemanticSequencer
Constructor and Description |
---|
AbstractOCLstdlibSemanticSequencer() |
Modifier and Type | Method and Description |
---|---|
void |
createSequence(org.eclipse.emf.ecore.EObject context,
org.eclipse.emf.ecore.EObject semanticObject) |
protected void |
sequence_AccumulatorCS(org.eclipse.emf.ecore.EObject context,
ParameterCS semanticObject)
Constraint:
(name=Identifier ownedType=TypedMultiplicityRefCS)
|
protected void |
sequence_AnnotationCS(org.eclipse.emf.ecore.EObject context,
AnnotationCS semanticObject)
Constraint:
((name=Identifier | name=SINGLE_QUOTED_STRING) (ownedDetails+=DetailCS ownedDetails+=DetailCS*)? ownedAnnotations+=AnnotationElementCS?)
|
protected void |
sequence_DetailCS(org.eclipse.emf.ecore.EObject context,
DetailCS semanticObject)
Constraint:
((name=Name | name=SINGLE_QUOTED_STRING) (values+=SINGLE_QUOTED_STRING | values+=ML_SINGLE_QUOTED_STRING)*)
|
protected void |
sequence_DocumentationCS(org.eclipse.emf.ecore.EObject context,
DocumentationCS semanticObject)
Constraint:
(value=SINGLE_QUOTED_STRING? (ownedDetails+=DetailCS ownedDetails+=DetailCS*)?)
|
protected void |
sequence_ImportCS(org.eclipse.emf.ecore.EObject context,
ImportCS semanticObject)
Constraint:
(name=Identifier? ownedPathName=URIPathNameCS isAll?='::*'?)
|
protected void |
sequence_InvCS(org.eclipse.emf.ecore.EObject context,
LibConstraintCS semanticObject)
Constraint:
(stereotype='inv' (name=UnrestrictedName ownedMessageSpecification=SpecificationCS?)? ownedSpecification=SpecificationCS)
|
protected void |
sequence_IteratorCS(org.eclipse.emf.ecore.EObject context,
ParameterCS semanticObject)
Constraint:
(name=Identifier ownedType=TypedMultiplicityRefCS)
|
protected void |
sequence_LambdaContextTypeRefCS(org.eclipse.emf.ecore.EObject context,
TypedTypeRefCS semanticObject)
Constraint:
ownedPathName=LibPathNameCS
|
protected void |
sequence_LambdaTypeCS_TypedMultiplicityRefCS(org.eclipse.emf.ecore.EObject context,
LambdaTypeCS semanticObject)
Constraint:
(
name='Lambda'
ownedSignature=TemplateSignatureCS?
ownedContextType=LambdaContextTypeRefCS
(ownedParameterTypes+=TypedMultiplicityRefCS ownedParameterTypes+=TypedMultiplicityRefCS*)?
ownedResultType=TypedRefCS
ownedMultiplicity=MultiplicityCS?
)
|
protected void |
sequence_LambdaTypeCS(org.eclipse.emf.ecore.EObject context,
LambdaTypeCS semanticObject)
Constraint:
(
name='Lambda'
ownedSignature=TemplateSignatureCS?
ownedContextType=LambdaContextTypeRefCS
(ownedParameterTypes+=TypedMultiplicityRefCS ownedParameterTypes+=TypedMultiplicityRefCS*)?
ownedResultType=TypedRefCS
)
|
protected void |
sequence_LibClassCS(org.eclipse.emf.ecore.EObject context,
LibClassCS semanticObject)
Constraint:
(
isAbstract?='abstract'?
name=AnyName
ownedSignature=TemplateSignatureCS?
metaclassName=[MetaclassNameCS|AnyName]?
(ownedSuperTypes+=TypedRefCS ownedSuperTypes+=TypedRefCS*)?
(ownedOperations+=OperationCS | ownedProperties+=LibPropertyCS | ownedConstraints+=InvCS | ownedAnnotations+=AnnotationElementCS)*
)
|
protected void |
sequence_LibCoercionCS(org.eclipse.emf.ecore.EObject context,
LibCoercionCS semanticObject)
Constraint:
(
name=Name
ownedType=TypedMultiplicityRefCS
implementation=[JavaClassCS|SINGLE_QUOTED_STRING]?
(ownedAnnotations+=AnnotationElementCS | ownedPreconditions+=PostCS | ownedPostconditions+=PreCS)*
)
|
protected void |
sequence_LibIterationCS(org.eclipse.emf.ecore.EObject context,
LibIterationCS semanticObject)
Constraint:
(
name=Name
ownedSignature=TemplateSignatureCS?
ownedIterators+=IteratorCS
ownedIterators+=IteratorCS*
(ownedAccumulators+=AccumulatorCS ownedAccumulators+=AccumulatorCS*)?
(ownedParameters+=ParameterCS ownedParameters+=ParameterCS*)?
ownedType=TypedMultiplicityRefCS
isInvalidating?='invalidating'?
isValidating?='validating'?
implementation=[JavaClassCS|SINGLE_QUOTED_STRING]?
(ownedAnnotations+=AnnotationElementCS | ownedPreconditions+=PostCS | ownedPostconditions+=PreCS)*
)
|
protected void |
sequence_LibOperationCS(org.eclipse.emf.ecore.EObject context,
LibOperationCS semanticObject)
Constraint:
(
isStatic?='static'?
name=Name
ownedSignature=TemplateSignatureCS?
(ownedParameters+=ParameterCS ownedParameters+=ParameterCS*)?
ownedType=TypedMultiplicityRefCS
isValidating?='validating'?
isInvalidating?='invalidating'?
precedence=[Precedence|Name]?
implementation=[JavaClassCS|SINGLE_QUOTED_STRING]?
(ownedAnnotations+=AnnotationElementCS | ownedBodyExpressions+=SpecificationCS | ownedPostconditions+=PostCS | ownedPreconditions+=PreCS)*
)
|
protected void |
sequence_LibPackageCS(org.eclipse.emf.ecore.EObject context,
LibPackageCS semanticObject)
Constraint:
(
name=Name
(nsPrefix=Identifier nsURI=URI)?
(ownedPackages+=PackageCS | ownedPrecedences+=PrecedenceCS+ | ownedClasses+=ClassCS | ownedAnnotations+=AnnotationElementCS)*
)
|
protected void |
sequence_LibPathElementCS(org.eclipse.emf.ecore.EObject context,
PathElementCS semanticObject)
Constraint:
referredElement=[NamedElement|Name]
|
protected void |
sequence_LibPathNameCS(org.eclipse.emf.ecore.EObject context,
PathNameCS semanticObject)
Constraint:
(ownedPathElements+=LibPathElementCS ownedPathElements+=LibPathElementCS*)
|
protected void |
sequence_LibPropertyCS(org.eclipse.emf.ecore.EObject context,
LibPropertyCS semanticObject)
Constraint:
(
isStatic?='static'?
name=Name
ownedType=TypedMultiplicityRefCS
implementation=[JavaClassCS|SINGLE_QUOTED_STRING]?
ownedAnnotations+=AnnotationElementCS*
)
|
protected void |
sequence_Library(org.eclipse.emf.ecore.EObject context,
LibRootPackageCS semanticObject)
Constraint:
(ownedImports+=ImportCS* ownedPackages+=LibPackageCS*)
|
protected void |
sequence_MapTypeCS_TypedMultiplicityRefCS(org.eclipse.emf.ecore.EObject context,
MapTypeCS semanticObject)
Constraint:
(name='Map' (ownedKeyType=TypeExpCS ownedValueType=TypeExpCS)? ownedMultiplicity=MultiplicityCS?)
|
protected void |
sequence_PackageCS(org.eclipse.emf.ecore.EObject context,
PackageCS semanticObject)
Constraint:
(name=Name (nsPrefix=Identifier nsURI=URI)? (ownedPackages+=PackageCS | ownedClasses+=ClassCS | ownedAnnotations+=AnnotationElementCS)*)
|
protected void |
sequence_ParameterCS(org.eclipse.emf.ecore.EObject context,
ParameterCS semanticObject)
Constraint:
(name=Identifier ownedType=TypedMultiplicityRefCS)
|
protected void |
sequence_PostCS(org.eclipse.emf.ecore.EObject context,
LibConstraintCS semanticObject)
Constraint:
(stereotype='post' (name=UnrestrictedName ownedMessageSpecification=SpecificationCS?)? ownedSpecification=SpecificationCS)
|
protected void |
sequence_PrecedenceCS(org.eclipse.emf.ecore.EObject context,
PrecedenceCS semanticObject)
Constraint:
(isRightAssociative?='right'? name=Name)
|
protected void |
sequence_PreCS(org.eclipse.emf.ecore.EObject context,
LibConstraintCS semanticObject)
Constraint:
(stereotype='pre' (name=UnrestrictedName ownedMessageSpecification=SpecificationCS?)? ownedSpecification=SpecificationCS)
|
protected void |
sequence_SpecificationCS(org.eclipse.emf.ecore.EObject context,
ExpSpecificationCS semanticObject)
Constraint:
ownedExpression=ExpCS
|
protected void |
sequence_TuplePartCS(org.eclipse.emf.ecore.EObject context,
TuplePartCS semanticObject)
Constraint:
(name=Identifier ownedType=TypedMultiplicityRefCS)
|
protected void |
sequence_TupleTypeCS_TypedMultiplicityRefCS(org.eclipse.emf.ecore.EObject context,
TupleTypeCS semanticObject)
Constraint:
(name='Tuple' (ownedParts+=TuplePartCS ownedParts+=TuplePartCS*)? ownedMultiplicity=MultiplicityCS?)
|
protected void |
sequence_TypedMultiplicityRefCS_TypedTypeRefCS(org.eclipse.emf.ecore.EObject context,
TypedTypeRefCS semanticObject)
Constraint:
(
((isTypeof?='typeof' ownedPathName=LibPathNameCS) | (ownedPathName=LibPathNameCS ownedBinding=TemplateBindingCS?))
ownedMultiplicity=MultiplicityCS?
)
|
protected void |
sequence_TypedTypeRefCS(org.eclipse.emf.ecore.EObject context,
TypedTypeRefCS semanticObject)
Constraint:
((isTypeof?='typeof' ownedPathName=LibPathNameCS) | (ownedPathName=LibPathNameCS ownedBinding=TemplateBindingCS?))
|
sequence_BooleanLiteralExpCS, sequence_CollectionLiteralExpCS, sequence_CollectionLiteralPartCS, sequence_CollectionPatternCS_TypeExpCS, sequence_CollectionPatternCS, sequence_CollectionTypeCS_TypeExpCS, sequence_CollectionTypeCS_TypeLiteralWithMultiplicityCS, sequence_CollectionTypeCS, sequence_CurlyBracketedClauseCS, sequence_ElseIfThenExpCS, sequence_ExpCS, sequence_IfExpCS, sequence_InvalidLiteralExpCS, sequence_LambdaLiteralExpCS, sequence_LetExpCS, sequence_LetVariableCS, sequence_MapLiteralExpCS, sequence_MapLiteralPartCS, sequence_MapTypeCS_TypeExpCS, sequence_MapTypeCS_TypeLiteralWithMultiplicityCS, sequence_MapTypeCS, sequence_Model, sequence_NameExpCS, sequence_NavigatingArgCS, sequence_NavigatingBarArgCS, sequence_NavigatingCommaArgCS, sequence_NavigatingSemiArgCS, sequence_NestedExpCS, sequence_NullLiteralExpCS, sequence_NumberLiteralExpCS, sequence_PatternExpCS, sequence_PrefixedLetExpCS_PrefixedPrimaryExpCS, sequence_PrefixedLetExpCS, sequence_PrefixedPrimaryExpCS, sequence_PrimitiveTypeCS_TypeExpCS, sequence_PrimitiveTypeCS_TypeLiteralWithMultiplicityCS, sequence_PrimitiveTypeCS, sequence_RoundBracketedClauseCS, sequence_SelfExpCS, sequence_ShadowPartCS, sequence_SquareBracketedClauseCS, sequence_StringLiteralExpCS, sequence_TupleLiteralExpCS, sequence_TupleLiteralPartCS, sequence_TupleTypeCS_TypeExpCS, sequence_TupleTypeCS_TypeLiteralWithMultiplicityCS, sequence_TupleTypeCS, sequence_TypeExpCS_TypeNameExpCS, sequence_TypeLiteralExpCS, sequence_TypeNameExpCS, sequence_UnlimitedNaturalLiteralExpCS, sequence_URIFirstPathElementCS, sequence_URIFirstPathElementCS, sequence_URIPathNameCS
sequence_FirstPathElementCS, sequence_MultiplicityBoundsCS_MultiplicityCS, sequence_MultiplicityBoundsCS, sequence_MultiplicityCS_MultiplicityStringCS, sequence_MultiplicityStringCS, sequence_NextPathElementCS, sequence_PathNameCS, sequence_TemplateBindingCS, sequence_TemplateParameterSubstitutionCS, sequence_TemplateSignatureCS, sequence_TypeParameterCS, sequence_WildcardTypeRefCS
init
public void createSequence(org.eclipse.emf.ecore.EObject context, org.eclipse.emf.ecore.EObject semanticObject)
createSequence
in interface org.eclipse.xtext.serializer.sequencer.ISemanticSequencer
createSequence
in class AbstractEssentialOCLSemanticSequencer
protected void sequence_AccumulatorCS(org.eclipse.emf.ecore.EObject context, ParameterCS semanticObject)
protected void sequence_AnnotationCS(org.eclipse.emf.ecore.EObject context, AnnotationCS semanticObject)
protected void sequence_DetailCS(org.eclipse.emf.ecore.EObject context, DetailCS semanticObject)
protected void sequence_DocumentationCS(org.eclipse.emf.ecore.EObject context, DocumentationCS semanticObject)
protected void sequence_ImportCS(org.eclipse.emf.ecore.EObject context, ImportCS semanticObject)
protected void sequence_InvCS(org.eclipse.emf.ecore.EObject context, LibConstraintCS semanticObject)
protected void sequence_IteratorCS(org.eclipse.emf.ecore.EObject context, ParameterCS semanticObject)
protected void sequence_LambdaContextTypeRefCS(org.eclipse.emf.ecore.EObject context, TypedTypeRefCS semanticObject)
protected void sequence_LambdaTypeCS(org.eclipse.emf.ecore.EObject context, LambdaTypeCS semanticObject)
protected void sequence_LambdaTypeCS_TypedMultiplicityRefCS(org.eclipse.emf.ecore.EObject context, LambdaTypeCS semanticObject)
protected void sequence_LibClassCS(org.eclipse.emf.ecore.EObject context, LibClassCS semanticObject)
protected void sequence_LibCoercionCS(org.eclipse.emf.ecore.EObject context, LibCoercionCS semanticObject)
protected void sequence_LibIterationCS(org.eclipse.emf.ecore.EObject context, LibIterationCS semanticObject)
protected void sequence_LibOperationCS(org.eclipse.emf.ecore.EObject context, LibOperationCS semanticObject)
protected void sequence_LibPackageCS(org.eclipse.emf.ecore.EObject context, LibPackageCS semanticObject)
protected void sequence_LibPathElementCS(org.eclipse.emf.ecore.EObject context, PathElementCS semanticObject)
protected void sequence_LibPathNameCS(org.eclipse.emf.ecore.EObject context, PathNameCS semanticObject)
protected void sequence_LibPropertyCS(org.eclipse.emf.ecore.EObject context, LibPropertyCS semanticObject)
protected void sequence_Library(org.eclipse.emf.ecore.EObject context, LibRootPackageCS semanticObject)
protected void sequence_MapTypeCS_TypedMultiplicityRefCS(org.eclipse.emf.ecore.EObject context, MapTypeCS semanticObject)
protected void sequence_PackageCS(org.eclipse.emf.ecore.EObject context, PackageCS semanticObject)
protected void sequence_ParameterCS(org.eclipse.emf.ecore.EObject context, ParameterCS semanticObject)
protected void sequence_PostCS(org.eclipse.emf.ecore.EObject context, LibConstraintCS semanticObject)
protected void sequence_PreCS(org.eclipse.emf.ecore.EObject context, LibConstraintCS semanticObject)
protected void sequence_PrecedenceCS(org.eclipse.emf.ecore.EObject context, PrecedenceCS semanticObject)
protected void sequence_SpecificationCS(org.eclipse.emf.ecore.EObject context, ExpSpecificationCS semanticObject)
protected void sequence_TuplePartCS(org.eclipse.emf.ecore.EObject context, TuplePartCS semanticObject)
sequence_TuplePartCS
in class AbstractEssentialOCLSemanticSequencer
protected void sequence_TupleTypeCS_TypedMultiplicityRefCS(org.eclipse.emf.ecore.EObject context, TupleTypeCS semanticObject)
protected void sequence_TypedMultiplicityRefCS_TypedTypeRefCS(org.eclipse.emf.ecore.EObject context, TypedTypeRefCS semanticObject)
protected void sequence_TypedTypeRefCS(org.eclipse.emf.ecore.EObject context, TypedTypeRefCS semanticObject)
sequence_TypedTypeRefCS
in class AbstractBaseSemanticSequencer