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) (ownedDetail+=DetailCS ownedDetail+=DetailCS*)? ownedAnnotation+=AnnotationElementCS?)
|
protected void |
sequence_ClassCS(org.eclipse.emf.ecore.EObject context,
LibClassCS semanticObject)
Constraint:
(
name=AnyName
ownedTemplateSignature=TemplateSignatureCS?
metaTypeName=[MetaTypeName|AnyName]?
(ownedSuperType+=TypedRefCS ownedSuperType+=TypedRefCS*)?
(ownedOperation+=OperationCS | ownedProperty+=LibPropertyCS | ownedConstraint+=InvCS | ownedAnnotation+=AnnotationElementCS)*
)
|
protected void |
sequence_DetailCS(org.eclipse.emf.ecore.EObject context,
DetailCS semanticObject)
Constraint:
((name=Name | name=SINGLE_QUOTED_STRING) (value+=SINGLE_QUOTED_STRING | value+=ML_SINGLE_QUOTED_STRING)*)
|
protected void |
sequence_DocumentationCS(org.eclipse.emf.ecore.EObject context,
DocumentationCS semanticObject)
Constraint:
(value=SINGLE_QUOTED_STRING? (ownedDetail+=DetailCS ownedDetail+=DetailCS*)?)
|
protected void |
sequence_InvCS(org.eclipse.emf.ecore.EObject context,
LibConstraintCS semanticObject)
Constraint:
(stereotype='inv' name=UnrestrictedName? specification=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:
pathName=LibPathNameCS
|
protected void |
sequence_LambdaTypeCS_TypedMultiplicityRefCS(org.eclipse.emf.ecore.EObject context,
LambdaTypeCS semanticObject)
Constraint:
(
name='Lambda'
ownedTemplateSignature=TemplateSignatureCS?
ownedContextType=LambdaContextTypeRefCS
(ownedParameterType+=TypedMultiplicityRefCS ownedParameterType+=TypedMultiplicityRefCS*)?
ownedResultType=TypedRefCS
multiplicity=MultiplicityCS?
)
|
protected void |
sequence_LambdaTypeCS(org.eclipse.emf.ecore.EObject context,
LambdaTypeCS semanticObject)
Constraint:
(
name='Lambda'
ownedTemplateSignature=TemplateSignatureCS?
ownedContextType=LambdaContextTypeRefCS
(ownedParameterType+=TypedMultiplicityRefCS ownedParameterType+=TypedMultiplicityRefCS*)?
ownedResultType=TypedRefCS
)
|
protected void |
sequence_LibIterationCS(org.eclipse.emf.ecore.EObject context,
LibIterationCS semanticObject)
Constraint:
(
name=Name
ownedTemplateSignature=TemplateSignatureCS?
ownedIterator+=IteratorCS
ownedIterator+=IteratorCS*
(ownedAccumulator+=AccumulatorCS ownedAccumulator+=AccumulatorCS*)?
(ownedParameter+=ParameterCS ownedParameter+=ParameterCS*)?
ownedType=TypedMultiplicityRefCS
invalidating?='invalidating'?
implementation=[JvmType|SINGLE_QUOTED_STRING]?
(ownedAnnotation+=AnnotationElementCS | ownedPrecondition+=PostCS | ownedPostcondition+=PreCS)*
)
|
protected void |
sequence_LibOperationCS(org.eclipse.emf.ecore.EObject context,
LibOperationCS semanticObject)
Constraint:
(
static?='static'?
name=Name
ownedTemplateSignature=TemplateSignatureCS?
(ownedParameter+=ParameterCS ownedParameter+=ParameterCS*)?
ownedType=TypedMultiplicityRefCS
validating?='validating'?
invalidating?='invalidating'?
precedence=[Precedence|Name]?
implementation=[JvmType|SINGLE_QUOTED_STRING]?
(ownedAnnotation+=AnnotationElementCS | ownedBodyExpression+=SpecificationCS | ownedPostcondition+=PostCS | ownedPrecondition+=PreCS)*
)
|
protected void |
sequence_LibPackageCS(org.eclipse.emf.ecore.EObject context,
LibPackageCS semanticObject)
Constraint:
(
name=Name
(nsPrefix=Identifier nsURI=URI)?
(ownedNestedPackage+=PackageCS | ownedPrecedence+=PrecedenceCS+ | ownedType+=ClassifierCS | ownedAnnotation+=AnnotationElementCS)*
)
|
protected void |
sequence_LibPathElementCS(org.eclipse.emf.ecore.EObject context,
PathElementCS semanticObject)
Constraint:
element=[NamedElement|Name]
|
protected void |
sequence_LibPathNameCS(org.eclipse.emf.ecore.EObject context,
PathNameCS semanticObject)
Constraint:
(path+=LibPathElementCS path+=LibPathElementCS*)
|
protected void |
sequence_LibPropertyCS(org.eclipse.emf.ecore.EObject context,
LibPropertyCS semanticObject)
Constraint:
(
static?='static'?
name=Name
ownedType=TypedMultiplicityRefCS
implementation=[JvmType|SINGLE_QUOTED_STRING]?
ownedAnnotation+=AnnotationElementCS*
)
|
protected void |
sequence_Library(org.eclipse.emf.ecore.EObject context,
LibRootPackageCS semanticObject)
Constraint:
(ownedLibrary+=LibraryCS* ownedNestedPackage+=LibPackageCS*)
|
protected void |
sequence_LibraryCS(org.eclipse.emf.ecore.EObject context,
LibraryCS semanticObject)
Constraint:
package=[Package|URI]
|
protected void |
sequence_LibTupleCS_TypedMultiplicityRefCS(org.eclipse.emf.ecore.EObject context,
TupleTypeCS semanticObject)
Constraint:
(name='Tuple' (ownedParts+=LibTuplePartCS ownedParts+=LibTuplePartCS*)? multiplicity=MultiplicityCS?)
|
protected void |
sequence_LibTupleCS(org.eclipse.emf.ecore.EObject context,
TupleTypeCS semanticObject)
Constraint:
(name='Tuple' (ownedParts+=LibTuplePartCS ownedParts+=LibTuplePartCS*)?)
|
protected void |
sequence_LibTuplePartCS(org.eclipse.emf.ecore.EObject context,
TuplePartCS semanticObject)
Constraint:
(name=Identifier ownedType=TypedMultiplicityRefCS)
|
protected void |
sequence_PackageCS(org.eclipse.emf.ecore.EObject context,
PackageCS semanticObject)
Constraint:
(name=Name (nsPrefix=Identifier nsURI=URI)? (ownedNestedPackage+=PackageCS | ownedType+=ClassifierCS | ownedAnnotation+=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? specification=SpecificationCS)
|
protected void |
sequence_PrecedenceCS(org.eclipse.emf.ecore.EObject context,
PrecedenceCS semanticObject)
Constraint:
(rightAssociative?='right'? name=Name)
|
protected void |
sequence_PreCS(org.eclipse.emf.ecore.EObject context,
LibConstraintCS semanticObject)
Constraint:
(stereotype='pre' name=UnrestrictedName? specification=SpecificationCS)
|
protected void |
sequence_SpecificationCS(org.eclipse.emf.ecore.EObject context,
ExpSpecificationCS semanticObject)
Constraint:
ownedExpression=ExpCS
|
protected void |
sequence_TemplateBindingCS(org.eclipse.emf.ecore.EObject context,
TemplateBindingCS semanticObject)
Constraint:
(ownedParameterSubstitution+=TemplateParameterSubstitutionCS ownedParameterSubstitution+=TemplateParameterSubstitutionCS*)
|
protected void |
sequence_TemplateParameterSubstitutionCS(org.eclipse.emf.ecore.EObject context,
TemplateParameterSubstitutionCS semanticObject)
Constraint:
ownedActualParameter=TypeRefCS
|
protected void |
sequence_TemplateSignatureCS(org.eclipse.emf.ecore.EObject context,
TemplateSignatureCS semanticObject)
Constraint:
(ownedTemplateParameter+=TypeParameterCS ownedTemplateParameter+=TypeParameterCS*)
|
protected void |
sequence_TypedMultiplicityRefCS_TypedTypeRefCS(org.eclipse.emf.ecore.EObject context,
TypedTypeRefCS semanticObject)
Constraint:
(pathName=LibPathNameCS ownedTemplateBinding=TemplateBindingCS? multiplicity=MultiplicityCS?)
|
protected void |
sequence_TypedTypeRefCS(org.eclipse.emf.ecore.EObject context,
TypedTypeRefCS semanticObject)
Constraint:
(pathName=LibPathNameCS ownedTemplateBinding=TemplateBindingCS?)
|
protected void |
sequence_TypeParameterCS(org.eclipse.emf.ecore.EObject context,
TypeParameterCS semanticObject)
Constraint:
(name=Identifier ((ownedExtends+=TypedRefCS ownedExtends+=TypedRefCS*) | ownedSuper=TypedRefCS)?)
|
protected void |
sequence_WildcardTypeRefCS(org.eclipse.emf.ecore.EObject context,
WildcardTypeRefCS semanticObject)
Constraint:
((extends=TypedRefCS | super=TypedRefCS)?)
|
sequence_BooleanLiteralExpCS, sequence_CollectionLiteralExpCS, sequence_CollectionLiteralPartCS, sequence_CollectionTypeCS_TypeExpCS, sequence_CollectionTypeCS_TypeLiteralWithMultiplicityCS, sequence_CollectionTypeCS, sequence_ConstructorPartCS, sequence_EssentialOCLInfixOperatorCS, sequence_EssentialOCLNavigationOperatorCS, sequence_EssentialOCLUnaryOperatorCS, sequence_ExpCS_PrefixedExpCS, sequence_ExpCS, sequence_FirstPathElementCS, sequence_IfExpCS, sequence_InvalidLiteralExpCS, sequence_LetExpCS, sequence_LetVariableCS, sequence_Model, sequence_MultiplicityBoundsCS, sequence_MultiplicityStringCS, sequence_NavigatingArgCS, sequence_NavigatingBarArgCS, sequence_NavigatingCommaArgCS, sequence_NavigatingSemiArgCS, sequence_NestedExpCS, sequence_NextPathElementCS, sequence_NullLiteralExpCS, sequence_NumberLiteralExpCS, sequence_PathNameCS, sequence_PrefixedExpCS, sequence_PrimaryExpCS_ConstructorExpCS_7_2_1_0_IndexExpCS_7_2_0_0, sequence_PrimaryExpCS, sequence_PrimaryExpCS, sequence_PrimaryExpCS, sequence_PrimaryExpCS, sequence_PrimitiveTypeCS_TypeExpCS, sequence_PrimitiveTypeCS_TypeLiteralWithMultiplicityCS, sequence_PrimitiveTypeCS, sequence_SelfExpCS, sequence_StringLiteralExpCS, sequence_TupleLiteralExpCS, sequence_TupleLiteralPartCS, sequence_TuplePartCS, sequence_TupleTypeCS_TypeExpCS, sequence_TupleTypeCS_TypeLiteralWithMultiplicityCS, sequence_TupleTypeCS, sequence_TypeExpCS_TypeNameExpCS, sequence_TypeLiteralExpCS, sequence_TypeNameExpCS, sequence_UnlimitedNaturalLiteralExpCS, sequence_URIFirstPathElementCS, sequence_URIFirstPathElementCS, sequence_URIPathNameCS
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_ClassCS(org.eclipse.emf.ecore.EObject context, LibClassCS 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_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_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_LibTupleCS(org.eclipse.emf.ecore.EObject context, TupleTypeCS semanticObject)
protected void sequence_LibTupleCS_TypedMultiplicityRefCS(org.eclipse.emf.ecore.EObject context, TupleTypeCS semanticObject)
protected void sequence_LibTuplePartCS(org.eclipse.emf.ecore.EObject context, TuplePartCS semanticObject)
protected void sequence_LibraryCS(org.eclipse.emf.ecore.EObject context, LibraryCS semanticObject)
protected void sequence_Library(org.eclipse.emf.ecore.EObject context, LibRootPackageCS 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_TemplateBindingCS(org.eclipse.emf.ecore.EObject context, TemplateBindingCS semanticObject)
protected void sequence_TemplateParameterSubstitutionCS(org.eclipse.emf.ecore.EObject context, TemplateParameterSubstitutionCS semanticObject)
protected void sequence_TemplateSignatureCS(org.eclipse.emf.ecore.EObject context, TemplateSignatureCS semanticObject)
protected void sequence_TypeParameterCS(org.eclipse.emf.ecore.EObject context, TypeParameterCS 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)
protected void sequence_WildcardTypeRefCS(org.eclipse.emf.ecore.EObject context, WildcardTypeRefCS semanticObject)