public abstract class AbstractOCLstdlibSemanticSequencer extends EssentialOCLSemanticSequencer
Constructor and Description |
---|
AbstractOCLstdlibSemanticSequencer() |
Modifier and Type | Method and Description |
---|---|
protected void |
sequence_AccumulatorCS(org.eclipse.xtext.serializer.ISerializationContext context,
ParameterCS semanticObject)
Contexts:
AccumulatorCS returns ParameterCS
Constraint:
(name=Identifier ownedType=TypedMultiplicityRefCS)
|
protected void |
sequence_AnnotationCS(org.eclipse.xtext.serializer.ISerializationContext context,
AnnotationCS semanticObject)
Contexts:
AnnotationCS returns AnnotationCS
AnnotationElementCS returns AnnotationCS
Constraint:
((name=Identifier | name=SINGLE_QUOTED_STRING) (ownedDetails+=DetailCS ownedDetails+=DetailCS*)? ownedAnnotations+=AnnotationElementCS?)
|
protected void |
sequence_DetailCS(org.eclipse.xtext.serializer.ISerializationContext context,
DetailCS semanticObject)
Contexts:
DetailCS returns DetailCS
Constraint:
((name=Name | name=SINGLE_QUOTED_STRING) values+=SINGLE_QUOTED_STRING? (values+=ML_SINGLE_QUOTED_STRING? values+=SINGLE_QUOTED_STRING?)*)
|
protected void |
sequence_DocumentationCS(org.eclipse.xtext.serializer.ISerializationContext context,
DocumentationCS semanticObject)
Contexts:
AnnotationElementCS returns DocumentationCS
DocumentationCS returns DocumentationCS
Constraint:
(value=SINGLE_QUOTED_STRING? (ownedDetails+=DetailCS ownedDetails+=DetailCS*)?)
|
protected void |
sequence_ImportCS(org.eclipse.xtext.serializer.ISerializationContext context,
ImportCS semanticObject)
Contexts:
ImportCS returns ImportCS
Constraint:
(name=Identifier? ownedPathName=URIPathNameCS isAll?='::*'?)
|
protected void |
sequence_InvCS(org.eclipse.xtext.serializer.ISerializationContext context,
LibConstraintCS semanticObject)
Contexts:
InvCS returns LibConstraintCS
Constraint:
(stereotype='inv' (name=UnrestrictedName ownedMessageSpecification=SpecificationCS?)? ownedSpecification=SpecificationCS)
|
protected void |
sequence_IteratorCS(org.eclipse.xtext.serializer.ISerializationContext context,
ParameterCS semanticObject)
Contexts:
IteratorCS returns ParameterCS
Constraint:
(name=Identifier ownedType=TypedMultiplicityRefCS)
|
protected void |
sequence_LambdaContextTypeRefCS(org.eclipse.xtext.serializer.ISerializationContext context,
TypedTypeRefCS semanticObject)
Contexts:
LambdaContextTypeRefCS returns TypedTypeRefCS
Constraint:
ownedPathName=LibPathNameCS
|
protected void |
sequence_LambdaTypeCS_TypedMultiplicityRefCS(org.eclipse.xtext.serializer.ISerializationContext context,
LambdaTypeCS semanticObject)
Contexts:
TypedMultiplicityRefCS returns LambdaTypeCS
Constraint:
(
name='Lambda'
ownedSignature=TemplateSignatureCS?
ownedContextType=LambdaContextTypeRefCS
(ownedParameterTypes+=TypedMultiplicityRefCS ownedParameterTypes+=TypedMultiplicityRefCS*)?
ownedResultType=TypedRefCS
ownedMultiplicity=MultiplicityCS?
)
|
protected void |
sequence_LambdaTypeCS(org.eclipse.xtext.serializer.ISerializationContext context,
LambdaTypeCS semanticObject)
Contexts:
LambdaTypeCS returns LambdaTypeCS
TypedRefCS returns LambdaTypeCS
TypeRefCS returns LambdaTypeCS
Constraint:
(
name='Lambda'
ownedSignature=TemplateSignatureCS?
ownedContextType=LambdaContextTypeRefCS
(ownedParameterTypes+=TypedMultiplicityRefCS ownedParameterTypes+=TypedMultiplicityRefCS*)?
ownedResultType=TypedRefCS
)
|
protected void |
sequence_LibClassCS(org.eclipse.xtext.serializer.ISerializationContext context,
LibClassCS semanticObject)
Contexts:
LibClassCS returns LibClassCS
ClassCS returns LibClassCS
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.xtext.serializer.ISerializationContext context,
LibCoercionCS semanticObject)
Contexts:
LibCoercionCS returns LibCoercionCS
OperationCS returns LibCoercionCS
Constraint:
(
name=Name
ownedType=TypedMultiplicityRefCS
implementation=[JavaClassCS|SINGLE_QUOTED_STRING]?
(ownedAnnotations+=AnnotationElementCS | ownedPreconditions+=PostCS | ownedPostconditions+=PreCS)*
)
|
protected void |
sequence_LibIterationCS(org.eclipse.xtext.serializer.ISerializationContext context,
LibIterationCS semanticObject)
Contexts:
LibIterationCS returns LibIterationCS
OperationCS returns LibIterationCS
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.xtext.serializer.ISerializationContext context,
LibOperationCS semanticObject)
Contexts:
OperationCS returns LibOperationCS
LibOperationCS returns LibOperationCS
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.xtext.serializer.ISerializationContext context,
LibPackageCS semanticObject)
Contexts:
LibPackageCS returns LibPackageCS
Constraint:
(
name=Name
(nsPrefix=Identifier nsURI=URI)?
(ownedPackages+=PackageCS | ownedPrecedences+=PrecedenceCS | ownedClasses+=ClassCS | ownedAnnotations+=AnnotationElementCS)*
)
|
protected void |
sequence_LibPathElementCS(org.eclipse.xtext.serializer.ISerializationContext context,
PathElementCS semanticObject)
Contexts:
LibPathElementCS returns PathElementCS
Constraint:
referredElement=[NamedElement|Name]
|
protected void |
sequence_LibPathNameCS(org.eclipse.xtext.serializer.ISerializationContext context,
PathNameCS semanticObject)
Contexts:
LibPathNameCS returns PathNameCS
Constraint:
(ownedPathElements+=LibPathElementCS ownedPathElements+=LibPathElementCS*)
|
protected void |
sequence_LibPropertyCS(org.eclipse.xtext.serializer.ISerializationContext context,
LibPropertyCS semanticObject)
Contexts:
LibPropertyCS returns LibPropertyCS
Constraint:
(
isStatic?='static'?
name=Name
ownedType=TypedMultiplicityRefCS
implementation=[JavaClassCS|SINGLE_QUOTED_STRING]?
ownedAnnotations+=AnnotationElementCS*
)
|
protected void |
sequence_Library(org.eclipse.xtext.serializer.ISerializationContext context,
LibRootPackageCS semanticObject)
Contexts:
Library returns LibRootPackageCS
Constraint:
((ownedImports+=ImportCS+ ownedPackages+=LibPackageCS+) | ownedPackages+=LibPackageCS+)?
|
protected void |
sequence_MapTypeCS_TypedMultiplicityRefCS(org.eclipse.xtext.serializer.ISerializationContext context,
MapTypeCS semanticObject)
Contexts:
TypedMultiplicityRefCS returns MapTypeCS
Constraint:
(name='Map' (ownedKeyType=TypeExpCS ownedValueType=TypeExpCS)? ownedMultiplicity=MultiplicityCS?)
|
protected void |
sequence_PackageCS(org.eclipse.xtext.serializer.ISerializationContext context,
PackageCS semanticObject)
Contexts:
PackageCS returns PackageCS
Constraint:
(name=Name (nsPrefix=Identifier nsURI=URI)? (ownedPackages+=PackageCS | ownedClasses+=ClassCS | ownedAnnotations+=AnnotationElementCS)*)
|
protected void |
sequence_ParameterCS(org.eclipse.xtext.serializer.ISerializationContext context,
ParameterCS semanticObject)
Contexts:
ParameterCS returns ParameterCS
Constraint:
(name=Identifier ownedType=TypedMultiplicityRefCS)
|
protected void |
sequence_PostCS(org.eclipse.xtext.serializer.ISerializationContext context,
LibConstraintCS semanticObject)
Contexts:
PostCS returns LibConstraintCS
Constraint:
(stereotype='post' (name=UnrestrictedName ownedMessageSpecification=SpecificationCS?)? ownedSpecification=SpecificationCS)
|
protected void |
sequence_PrecedenceCS(org.eclipse.xtext.serializer.ISerializationContext context,
PrecedenceCS semanticObject)
Contexts:
PrecedenceCS returns PrecedenceCS
Constraint:
(isRightAssociative?='right'? name=Name)
|
protected void |
sequence_PreCS(org.eclipse.xtext.serializer.ISerializationContext context,
LibConstraintCS semanticObject)
Contexts:
PreCS returns LibConstraintCS
Constraint:
(stereotype='pre' (name=UnrestrictedName ownedMessageSpecification=SpecificationCS?)? ownedSpecification=SpecificationCS)
|
protected void |
sequence_SpecificationCS(org.eclipse.xtext.serializer.ISerializationContext context,
ExpSpecificationCS semanticObject)
Contexts:
SpecificationCS returns ExpSpecificationCS
Constraint:
ownedExpression=ExpCS
|
protected void |
sequence_TuplePartCS(org.eclipse.xtext.serializer.ISerializationContext context,
TuplePartCS semanticObject)
Contexts:
TuplePartCS returns TuplePartCS
Constraint:
(name=Identifier ownedType=TypedMultiplicityRefCS)
|
protected void |
sequence_TupleTypeCS_TypedMultiplicityRefCS(org.eclipse.xtext.serializer.ISerializationContext context,
TupleTypeCS semanticObject)
Contexts:
TypedMultiplicityRefCS returns TupleTypeCS
Constraint:
(name='Tuple' (ownedParts+=TuplePartCS ownedParts+=TuplePartCS*)? ownedMultiplicity=MultiplicityCS?)
|
protected void |
sequence_TypedMultiplicityRefCS_TypedTypeRefCS(org.eclipse.xtext.serializer.ISerializationContext context,
TypedTypeRefCS semanticObject)
Contexts:
TypedMultiplicityRefCS returns TypedTypeRefCS
Constraint:
(
((isTypeof?='typeof' ownedPathName=LibPathNameCS) | (ownedPathName=LibPathNameCS ownedBinding=TemplateBindingCS?))
ownedMultiplicity=MultiplicityCS?
)
|
protected void |
sequence_TypedTypeRefCS(org.eclipse.xtext.serializer.ISerializationContext context,
TypedTypeRefCS semanticObject)
Contexts:
TypedRefCS returns TypedTypeRefCS
TypedTypeRefCS returns TypedTypeRefCS
TypeRefCS returns TypedTypeRefCS
Constraint:
((isTypeof?='typeof' ownedPathName=LibPathNameCS) | (ownedPathName=LibPathNameCS ownedBinding=TemplateBindingCS?))
|
void |
sequence(org.eclipse.xtext.serializer.ISerializationContext context,
org.eclipse.emf.ecore.EObject semanticObject) |
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 sequence(org.eclipse.xtext.serializer.ISerializationContext context, org.eclipse.emf.ecore.EObject semanticObject)
sequence
in class AbstractEssentialOCLSemanticSequencer
protected void sequence_AccumulatorCS(org.eclipse.xtext.serializer.ISerializationContext context, ParameterCS semanticObject)
protected void sequence_AnnotationCS(org.eclipse.xtext.serializer.ISerializationContext context, AnnotationCS semanticObject)
protected void sequence_DetailCS(org.eclipse.xtext.serializer.ISerializationContext context, DetailCS semanticObject)
protected void sequence_DocumentationCS(org.eclipse.xtext.serializer.ISerializationContext context, DocumentationCS semanticObject)
protected void sequence_ImportCS(org.eclipse.xtext.serializer.ISerializationContext context, ImportCS semanticObject)
protected void sequence_InvCS(org.eclipse.xtext.serializer.ISerializationContext context, LibConstraintCS semanticObject)
protected void sequence_IteratorCS(org.eclipse.xtext.serializer.ISerializationContext context, ParameterCS semanticObject)
protected void sequence_LambdaContextTypeRefCS(org.eclipse.xtext.serializer.ISerializationContext context, TypedTypeRefCS semanticObject)
protected void sequence_LambdaTypeCS(org.eclipse.xtext.serializer.ISerializationContext context, LambdaTypeCS semanticObject)
protected void sequence_LambdaTypeCS_TypedMultiplicityRefCS(org.eclipse.xtext.serializer.ISerializationContext context, LambdaTypeCS semanticObject)
protected void sequence_LibClassCS(org.eclipse.xtext.serializer.ISerializationContext context, LibClassCS semanticObject)
protected void sequence_LibCoercionCS(org.eclipse.xtext.serializer.ISerializationContext context, LibCoercionCS semanticObject)
protected void sequence_LibIterationCS(org.eclipse.xtext.serializer.ISerializationContext context, LibIterationCS semanticObject)
protected void sequence_LibOperationCS(org.eclipse.xtext.serializer.ISerializationContext context, LibOperationCS semanticObject)
protected void sequence_LibPackageCS(org.eclipse.xtext.serializer.ISerializationContext context, LibPackageCS semanticObject)
protected void sequence_LibPathElementCS(org.eclipse.xtext.serializer.ISerializationContext context, PathElementCS semanticObject)
protected void sequence_LibPathNameCS(org.eclipse.xtext.serializer.ISerializationContext context, PathNameCS semanticObject)
protected void sequence_LibPropertyCS(org.eclipse.xtext.serializer.ISerializationContext context, LibPropertyCS semanticObject)
protected void sequence_Library(org.eclipse.xtext.serializer.ISerializationContext context, LibRootPackageCS semanticObject)
protected void sequence_MapTypeCS_TypedMultiplicityRefCS(org.eclipse.xtext.serializer.ISerializationContext context, MapTypeCS semanticObject)
protected void sequence_PackageCS(org.eclipse.xtext.serializer.ISerializationContext context, PackageCS semanticObject)
protected void sequence_ParameterCS(org.eclipse.xtext.serializer.ISerializationContext context, ParameterCS semanticObject)
protected void sequence_PostCS(org.eclipse.xtext.serializer.ISerializationContext context, LibConstraintCS semanticObject)
protected void sequence_PreCS(org.eclipse.xtext.serializer.ISerializationContext context, LibConstraintCS semanticObject)
protected void sequence_PrecedenceCS(org.eclipse.xtext.serializer.ISerializationContext context, PrecedenceCS semanticObject)
protected void sequence_SpecificationCS(org.eclipse.xtext.serializer.ISerializationContext context, ExpSpecificationCS semanticObject)
protected void sequence_TuplePartCS(org.eclipse.xtext.serializer.ISerializationContext context, TuplePartCS semanticObject)
sequence_TuplePartCS
in class AbstractEssentialOCLSemanticSequencer
protected void sequence_TupleTypeCS_TypedMultiplicityRefCS(org.eclipse.xtext.serializer.ISerializationContext context, TupleTypeCS semanticObject)
protected void sequence_TypedMultiplicityRefCS_TypedTypeRefCS(org.eclipse.xtext.serializer.ISerializationContext context, TypedTypeRefCS semanticObject)
protected void sequence_TypedTypeRefCS(org.eclipse.xtext.serializer.ISerializationContext context, TypedTypeRefCS semanticObject)
sequence_TypedTypeRefCS
in class AbstractBaseSemanticSequencer