|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 '' . |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |