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

Packages that use org.eclipse.ocl.examples.pivot.bodies

org.eclipse.ocl.examples.pivot.bodies

Classes in org.eclipse.ocl.examples.pivot.bodies used by org.eclipse.ocl.examples.pivot.bodies

BooleanLiteralExpBodies._invariant_TypeIsBoolean
Implementation of the BooleanLiteralExp 'TypeIsBoolean' invariant.

CollectionItemBodies._invariant_TypeIsItemType
Implementation of the CollectionItem 'TypeIsItemType' invariant.

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._invariant_UniqueName
Implementation of the Constraint 'UniqueName' invariant.

ElementBodies._allOwnedElements_body_
Implementation of the Element::allOwnedElements '' .

ElementBodies._invariant_not_own_self
Implementation of the Element 'not_own_self' invariant.

EnumLiteralExpBodies._invariant_TypeIsEnumerationType
Implementation of the EnumLiteralExp 'TypeIsEnumerationType' invariant.

IfExpBodies._invariant_ConditionTypeIsBoolean
Implementation of the IfExp 'ConditionTypeIsBoolean' invariant.

IntegerLiteralExpBodies._invariant_TypeIsInteger
Implementation of the IntegerLiteralExp 'TypeIsInteger' invariant.

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._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._invariant_TypeIsInType
Implementation of the LetExp 'TypeIsInType' invariant.

LoopExpBodies._invariant_NoInitializers
Implementation of the LoopExp 'NoInitializers' invariant.

LoopExpBodies._invariant_SourceIsCollection
Implementation of the LoopExp 'SourceIsCollection' invariant.

MessageExpBodies._invariant_OneCallOrOneSend
Implementation of the MessageExp 'OneCallOrOneSend' invariant.

MessageExpBodies._invariant_TargetIsNotACollection
Implementation of the MessageExp 'TargetIsNotACollection' invariant.

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._invariant_language_body_size
Implementation of the OpaqueExpression 'language_body_size' invariant.

OperationBodies._invariant_CompatibleReturn
Implementation of the Operation 'CompatibleReturn' invariant.

OperationCallExpBodies._invariant_ArgumentCount
Implementation of the OperationCallExp 'ArgumentCount' invariant.

ParameterableElementBodies._isCompatibleWith_body_
Implementation of the ParameterableElement::isCompatibleWith '' .

PropertyBodies._invariant_CompatibleInitialiser
Implementation of the Property 'CompatibleInitialiser' invariant.

PropertyBodies._isAttribute_body_
Implementation of the Property::isAttribute '' .

SelfTypeBodies._resolveSelfType_body_
Implementation of the SelfType::resolveSelfType '' .

TemplateableElementBodies._isTemplate_body_
Implementation of the TemplateableElement::isTemplate '' .

TemplateableElementBodies._parameterableElements_body_
Implementation of the TemplateableElement::parameterableElements '' .

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._invariant_must_be_compatible
Implementation of the TemplateParameter 'must_be_compatible' invariant.

TemplateParameterSubstitutionBodies._invariant_must_be_compatible
Implementation of the TemplateParameterSubstitution 'must_be_compatible' invariant.

TemplateSignatureBodies._invariant_own_elements
Implementation of the TemplateSignature 'own_elements' invariant.

TypeBodies._resolveSelfType_body_
Implementation of the Type::resolveSelfType '' .

TypedMultiplicityElementBodies._CompatibleBody_body_
Implementation of the TypedMultiplicityElement::CompatibleBody '' .

TypedMultiplicityElementBodies._makeParameter_body_
Implementation of the TypedMultiplicityElement::makeParameter '' .

TypeTemplateParameterBodies._invariant_has_constraining_type
Implementation of the TypeTemplateParameter 'has_constraining_type' invariant.

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 '' .