Package org.eclipse.ocl.examples.pivot.bodies

Class Summary

BooleanLiteralExpBodies	BooleanLiteralExpBodies provides the Java implementation bodies of OCL-defined BooleanLiteralExp operations and properties.
BooleanLiteralExpBodies._invariant_TypeIsBoolean	Implementation of the BooleanLiteralExp 'TypeIsBoolean' invariant.
CollectionItemBodies	CollectionItemBodies provides the Java implementation bodies of OCL-defined CollectionItem operations and properties.
CollectionItemBodies._invariant_TypeIsItemType	Implementation of the CollectionItem 'TypeIsItemType' invariant.
CollectionLiteralExpBodies	CollectionLiteralExpBodies provides the Java implementation bodies of OCL-defined CollectionLiteralExp operations and properties.
CollectionLiteralExpBodies._invariant_BagKindIsBag	Implementation of the CollectionLiteralExp 'BagKindIsBag' invariant.
CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete	Implementation of the CollectionLiteralExp 'CollectionKindIsConcrete' invariant.
CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet	Implementation of the CollectionLiteralExp 'OrderedSetKindIsOrderedSet' invariant.
CollectionLiteralExpBodies._invariant_SequenceKindIsSequence	Implementation of the CollectionLiteralExp 'SequenceKindIsSequence' invariant.
CollectionLiteralExpBodies._invariant_SetKindIsSet	Implementation of the CollectionLiteralExp 'SetKindIsSet' invariant.
ConstraintBodies	ConstraintBodies provides the Java implementation bodies of OCL-defined Constraint operations and properties.
ConstraintBodies._invariant_UniqueName	Implementation of the Constraint 'UniqueName' invariant.
ElementBodies	ElementBodies provides the Java implementation bodies of OCL-defined Element operations and properties.
ElementBodies._allOwnedElements_body_	Implementation of the Element::allOwnedElements '' .
ElementBodies._invariant_not_own_self	Implementation of the Element 'not_own_self' invariant.
EnumLiteralExpBodies	EnumLiteralExpBodies provides the Java implementation bodies of OCL-defined EnumLiteralExp operations and properties.
EnumLiteralExpBodies._invariant_TypeIsEnumerationType	Implementation of the EnumLiteralExp 'TypeIsEnumerationType' invariant.
IfExpBodies	IfExpBodies provides the Java implementation bodies of OCL-defined IfExp operations and properties.
IfExpBodies._invariant_ConditionTypeIsBoolean	Implementation of the IfExp 'ConditionTypeIsBoolean' invariant.
IntegerLiteralExpBodies	IntegerLiteralExpBodies provides the Java implementation bodies of OCL-defined IntegerLiteralExp operations and properties.
IntegerLiteralExpBodies._invariant_TypeIsInteger	Implementation of the IntegerLiteralExp 'TypeIsInteger' invariant.
IterateExpBodies	IterateExpBodies provides the Java implementation bodies of OCL-defined IterateExp operations and properties.
IterateExpBodies._invariant_BodyTypeConformsToResultType	Implementation of the IterateExp 'BodyTypeConformsToResultType' invariant.
IterateExpBodies._invariant_OneInitializer	Implementation of the IterateExp 'OneInitializer' invariant.
IterateExpBodies._invariant_TypeIsResultType	Implementation of the IterateExp 'TypeIsResultType' invariant.
IteratorExpBodies	IteratorExpBodies provides the Java implementation bodies of OCL-defined IteratorExp operations and properties.
IteratorExpBodies._invariant_AnyBodyTypeIsBoolean	Implementation of the IteratorExp 'AnyBodyTypeIsBoolean' invariant.
IteratorExpBodies._invariant_AnyHasOneIterator	Implementation of the IteratorExp 'AnyHasOneIterator' invariant.
IteratorExpBodies._invariant_AnyTypeIsSourceElementType	Implementation of the IteratorExp 'AnyTypeIsSourceElementType' invariant.
IteratorExpBodies._invariant_ClosureElementTypeIsSourceElementType	Implementation of the IteratorExp 'ClosureElementTypeIsSourceElementType' invariant.
IteratorExpBodies._invariant_ClosureHasOneIterator	Implementation of the IteratorExp 'ClosureHasOneIterator' invariant.
IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType	Implementation of the IteratorExp 'ClosureSourceElementTypeIsBodyElementType' invariant.
IteratorExpBodies._invariant_ClosureTypeIsUniqueCollection	Implementation of the IteratorExp 'ClosureTypeIsUniqueCollection' invariant.
IteratorExpBodies._invariant_CollectElementTypeIsSourceElementType	Implementation of the IteratorExp 'CollectElementTypeIsSourceElementType' invariant.
IteratorExpBodies._invariant_CollectHasOneIterator	Implementation of the IteratorExp 'CollectHasOneIterator' invariant.
IteratorExpBodies._invariant_CollectNestedHasOneIterator	Implementation of the IteratorExp 'CollectNestedHasOneIterator' invariant.
IteratorExpBodies._invariant_CollectNestedTypeIsBag	Implementation of the IteratorExp 'CollectNestedTypeIsBag' invariant.
IteratorExpBodies._invariant_CollectNestedTypeIsBodyType	Implementation of the IteratorExp 'CollectNestedTypeIsBodyType' invariant.
IteratorExpBodies._invariant_CollectTypeIsUnordered	Implementation of the IteratorExp 'CollectTypeIsUnordered' invariant.
IteratorExpBodies._invariant_ExistsBodyTypeIsBoolean	Implementation of the IteratorExp 'ExistsBodyTypeIsBoolean' invariant.
IteratorExpBodies._invariant_ExistsTypeIsBoolean	Implementation of the IteratorExp 'ExistsTypeIsBoolean' invariant.
IteratorExpBodies._invariant_ForAllBodyTypeIsBoolean	Implementation of the IteratorExp 'ForAllBodyTypeIsBoolean' invariant.
IteratorExpBodies._invariant_ForAllTypeIsBoolean	Implementation of the IteratorExp 'ForAllTypeIsBoolean' invariant.
IteratorExpBodies._invariant_IsUniqueHasOneIterator	Implementation of the IteratorExp 'IsUniqueHasOneIterator' invariant.
IteratorExpBodies._invariant_IsUniqueTypeIsBoolean	Implementation of the IteratorExp 'IsUniqueTypeIsBoolean' invariant.
IteratorExpBodies._invariant_IteratorTypeIsSourceElementType	Implementation of the IteratorExp 'IteratorTypeIsSourceElementType' invariant.
IteratorExpBodies._invariant_OneBodyTypeIsBoolean	Implementation of the IteratorExp 'OneBodyTypeIsBoolean' invariant.
IteratorExpBodies._invariant_OneHasOneIterator	Implementation of the IteratorExp 'OneHasOneIterator' invariant.
IteratorExpBodies._invariant_OneTypeIsBoolean	Implementation of the IteratorExp 'OneTypeIsBoolean' invariant.
IteratorExpBodies._invariant_RejectOrSelectHasOneIterator	Implementation of the IteratorExp 'RejectOrSelectHasOneIterator' invariant.
IteratorExpBodies._invariant_RejectOrSelectTypeIsBoolean	Implementation of the IteratorExp 'RejectOrSelectTypeIsBoolean' invariant.
IteratorExpBodies._invariant_RejectOrSelectTypeIsSourceType	Implementation of the IteratorExp 'RejectOrSelectTypeIsSourceType' invariant.
IteratorExpBodies._invariant_SortedByElementTypeIsSourceElementType	Implementation of the IteratorExp 'SortedByElementTypeIsSourceElementType' invariant.
IteratorExpBodies._invariant_SortedByHasOneIterator	Implementation of the IteratorExp 'SortedByHasOneIterator' invariant.
IteratorExpBodies._invariant_SortedByIsOrderedIfSourceIsOrdered	Implementation of the IteratorExp 'SortedByIsOrderedIfSourceIsOrdered' invariant.
LetExpBodies	LetExpBodies provides the Java implementation bodies of OCL-defined LetExp operations and properties.
LetExpBodies._invariant_TypeIsInType	Implementation of the LetExp 'TypeIsInType' invariant.
LoopExpBodies	LoopExpBodies provides the Java implementation bodies of OCL-defined LoopExp operations and properties.
LoopExpBodies._invariant_NoInitializers	Implementation of the LoopExp 'NoInitializers' invariant.
LoopExpBodies._invariant_SourceIsCollection	Implementation of the LoopExp 'SourceIsCollection' invariant.
MessageExpBodies	MessageExpBodies provides the Java implementation bodies of OCL-defined MessageExp operations and properties.
MessageExpBodies._invariant_OneCallOrOneSend	Implementation of the MessageExp 'OneCallOrOneSend' invariant.
MessageExpBodies._invariant_TargetIsNotACollection	Implementation of the MessageExp 'TargetIsNotACollection' invariant.
MultiplicityElementBodies	MultiplicityElementBodies provides the Java implementation bodies of OCL-defined MultiplicityElement operations and properties.
MultiplicityElementBodies._includesCardinality_body_	Implementation of the MultiplicityElement::includesCardinality '' .
MultiplicityElementBodies._includesMultiplicity_body_	Implementation of the MultiplicityElement::includesMultiplicity '' .
MultiplicityElementBodies._invariant_lower_ge_0	Implementation of the MultiplicityElement 'lower_ge_0' invariant.
MultiplicityElementBodies._invariant_upper_ge_lower	Implementation of the MultiplicityElement 'upper_ge_lower' invariant.
MultiplicityElementBodies._isMultivalued_body_	Implementation of the MultiplicityElement::isMultivalued '' .
MultiplicityElementBodies._lowerBound_body_	Implementation of the MultiplicityElement::lowerBound '' .
MultiplicityElementBodies._upperBound_body_	Implementation of the MultiplicityElement::upperBound '' .
OpaqueExpressionBodies	OpaqueExpressionBodies provides the Java implementation bodies of OCL-defined OpaqueExpression operations and properties.
OpaqueExpressionBodies._invariant_language_body_size	Implementation of the OpaqueExpression 'language_body_size' invariant.
OperationBodies	OperationBodies provides the Java implementation bodies of OCL-defined Operation operations and properties.
OperationBodies._invariant_CompatibleReturn	Implementation of the Operation 'CompatibleReturn' invariant.
OperationCallExpBodies	OperationCallExpBodies provides the Java implementation bodies of OCL-defined OperationCallExp operations and properties.
OperationCallExpBodies._invariant_ArgumentCount	Implementation of the OperationCallExp 'ArgumentCount' invariant.
ParameterableElementBodies	ParameterableElementBodies provides the Java implementation bodies of OCL-defined ParameterableElement operations and properties.
ParameterableElementBodies._isCompatibleWith_body_	Implementation of the ParameterableElement::isCompatibleWith '' .
PropertyBodies	PropertyBodies provides the Java implementation bodies of OCL-defined Property operations and properties.
PropertyBodies._invariant_CompatibleInitialiser	Implementation of the Property 'CompatibleInitialiser' invariant.
PropertyBodies._isAttribute_body_	Implementation of the Property::isAttribute '' .
SelfTypeBodies	SelfTypeBodies provides the Java implementation bodies of OCL-defined SelfType operations and properties.
SelfTypeBodies._resolveSelfType_body_	Implementation of the SelfType::resolveSelfType '' .
TemplateableElementBodies	TemplateableElementBodies provides the Java implementation bodies of OCL-defined TemplateableElement operations and properties.
TemplateableElementBodies._isTemplate_body_	Implementation of the TemplateableElement::isTemplate '' .
TemplateableElementBodies._parameterableElements_body_	Implementation of the TemplateableElement::parameterableElements '' .
TemplateBindingBodies	TemplateBindingBodies provides the Java implementation bodies of OCL-defined TemplateBinding operations and properties.
TemplateBindingBodies._invariant_one_parameter_substitution	Implementation of the TemplateBinding 'one_parameter_substitution' invariant.
TemplateBindingBodies._invariant_parameter_substitution_formal	Implementation of the TemplateBinding 'parameter_substitution_formal' invariant.
TemplateParameterBodies	TemplateParameterBodies provides the Java implementation bodies of OCL-defined TemplateParameter operations and properties.
TemplateParameterBodies._invariant_must_be_compatible	Implementation of the TemplateParameter 'must_be_compatible' invariant.
TemplateParameterSubstitutionBodies	TemplateParameterSubstitutionBodies provides the Java implementation bodies of OCL-defined TemplateParameterSubstitution operations and properties.
TemplateParameterSubstitutionBodies._invariant_must_be_compatible	Implementation of the TemplateParameterSubstitution 'must_be_compatible' invariant.
TemplateSignatureBodies	TemplateSignatureBodies provides the Java implementation bodies of OCL-defined TemplateSignature operations and properties.
TemplateSignatureBodies._invariant_own_elements	Implementation of the TemplateSignature 'own_elements' invariant.
TypeBodies	TypeBodies provides the Java implementation bodies of OCL-defined Type operations and properties.
TypeBodies._resolveSelfType_body_	Implementation of the Type::resolveSelfType '' .
TypedMultiplicityElementBodies	TypedMultiplicityElementBodies provides the Java implementation bodies of OCL-defined TypedMultiplicityElement operations and properties.
TypedMultiplicityElementBodies._CompatibleBody_body_	Implementation of the TypedMultiplicityElement::CompatibleBody '' .
TypedMultiplicityElementBodies._makeParameter_body_	Implementation of the TypedMultiplicityElement::makeParameter '' .
TypeTemplateParameterBodies	TypeTemplateParameterBodies provides the Java implementation bodies of OCL-defined TypeTemplateParameter operations and properties.
TypeTemplateParameterBodies._invariant_has_constraining_type	Implementation of the TypeTemplateParameter 'has_constraining_type' invariant.
ValueSpecificationBodies	ValueSpecificationBodies provides the Java implementation bodies of OCL-defined ValueSpecification operations and properties.
ValueSpecificationBodies._booleanValue_body_	Implementation of the ValueSpecification::booleanValue '' .
ValueSpecificationBodies._integerValue_body_	Implementation of the ValueSpecification::integerValue '' .
ValueSpecificationBodies._isComputable_body_	Implementation of the ValueSpecification::isComputable '' .
ValueSpecificationBodies._isNull_body_	Implementation of the ValueSpecification::isNull '' .
ValueSpecificationBodies._stringValue_body_	Implementation of the ValueSpecification::stringValue '' .
ValueSpecificationBodies._unlimitedValue_body_	Implementation of the ValueSpecification::unlimitedValue '' .