Skip to main content

https://download.eclipse.org/modeling/mdt/ocl/javadoc/4.0.0/org/eclipse/ocl/examples/pivot/bodies/class-use/

File Size Permissions Date
 .. drwxrwsr-x 2012-08-22 15:06:30
 BooleanLiteralExpBodies._invariant_TypeIsBoolean.html 8.80kB -rw-rw-r-- 2012-08-22 14:30:14
 BooleanLiteralExpBodies.html 6.17kB -rw-rw-r-- 2012-08-22 14:30:14
 CollectionItemBodies._invariant_TypeIsItemType.html 8.76kB -rw-rw-r-- 2012-08-22 14:30:14
 CollectionItemBodies.html 6.14kB -rw-rw-r-- 2012-08-22 14:30:14
 CollectionLiteralExpBodies._invariant_BagKindIsBag.html 8.83kB -rw-rw-r-- 2012-08-22 14:30:14
 CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete.html 9.06kB -rw-rw-r-- 2012-08-22 14:30:14
 CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet.html 9.09kB -rw-rw-r-- 2012-08-22 14:30:14
 CollectionLiteralExpBodies._invariant_SequenceKindIsSequence.html 9.02kB -rw-rw-r-- 2012-08-22 14:30:14
 CollectionLiteralExpBodies._invariant_SetKindIsSet.html 8.83kB -rw-rw-r-- 2012-08-22 14:30:14
 CollectionLiteralExpBodies.html 6.20kB -rw-rw-r-- 2012-08-22 14:30:14
 ConstraintBodies._invariant_UniqueName.html 8.61kB -rw-rw-r-- 2012-08-22 14:30:14
 ConstraintBodies.html 6.11kB -rw-rw-r-- 2012-08-22 14:30:14
 ElementBodies._allOwnedElements_body_.html 8.59kB -rw-rw-r-- 2012-08-22 14:30:14
 ElementBodies._invariant_not_own_self.html 8.59kB -rw-rw-r-- 2012-08-22 14:30:14
 ElementBodies.html 6.08kB -rw-rw-r-- 2012-08-22 14:30:14
 EnumLiteralExpBodies._invariant_TypeIsEnumerationType.html 8.89kB -rw-rw-r-- 2012-08-22 14:30:14
 EnumLiteralExpBodies.html 6.14kB -rw-rw-r-- 2012-08-22 14:30:14
 IfExpBodies._invariant_ConditionTypeIsBoolean.html 8.74kB -rw-rw-r-- 2012-08-22 14:30:14
 IfExpBodies.html 6.06kB -rw-rw-r-- 2012-08-22 14:30:14
 IntegerLiteralExpBodies._invariant_TypeIsInteger.html 8.80kB -rw-rw-r-- 2012-08-22 14:30:14
 IntegerLiteralExpBodies.html 6.17kB -rw-rw-r-- 2012-08-22 14:30:14
 IterateExpBodies._invariant_BodyTypeConformsToResultType.html 8.94kB -rw-rw-r-- 2012-08-22 14:30:14
 IterateExpBodies._invariant_OneInitializer.html 8.68kB -rw-rw-r-- 2012-08-22 14:30:14
 IterateExpBodies._invariant_TypeIsResultType.html 8.72kB -rw-rw-r-- 2012-08-22 14:30:14
 IterateExpBodies.html 6.11kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_AnyBodyTypeIsBoolean.html 8.81kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_AnyHasOneIterator.html 8.76kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_AnyTypeIsSourceElementType.html 8.93kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_ClosureElementTypeIsSourceElementType.html 9.13kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_ClosureHasOneIterator.html 8.83kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType.html 9.20kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_ClosureTypeIsUniqueCollection.html 8.98kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_CollectElementTypeIsSourceElementType.html 9.13kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_CollectHasOneIterator.html 8.83kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_CollectNestedHasOneIterator.html 8.94kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_CollectNestedTypeIsBag.html 8.85kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_CollectNestedTypeIsBodyType.html 8.94kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_CollectTypeIsUnordered.html 8.85kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_ExistsBodyTypeIsBoolean.html 8.87kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_ExistsTypeIsBoolean.html 8.80kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_ForAllBodyTypeIsBoolean.html 8.87kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_ForAllTypeIsBoolean.html 8.80kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_IsUniqueHasOneIterator.html 8.85kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_IsUniqueTypeIsBoolean.html 8.83kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_IteratorTypeIsSourceElementType.html 9.02kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_OneBodyTypeIsBoolean.html 8.81kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_OneHasOneIterator.html 8.76kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_OneTypeIsBoolean.html 8.74kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_RejectOrSelectHasOneIterator.html 8.96kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_RejectOrSelectTypeIsBoolean.html 8.94kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_RejectOrSelectTypeIsSourceType.html 9.00kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_SortedByElementTypeIsSourceElementType.html 9.15kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_SortedByHasOneIterator.html 8.85kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies._invariant_SortedByIsOrderedIfSourceIsOrdered.html 9.07kB -rw-rw-r-- 2012-08-22 14:30:14
 IteratorExpBodies.html 6.12kB -rw-rw-r-- 2012-08-22 14:30:14
 LetExpBodies._invariant_TypeIsInType.html 8.57kB -rw-rw-r-- 2012-08-22 14:30:14
 LetExpBodies.html 6.07kB -rw-rw-r-- 2012-08-22 14:30:14
 LoopExpBodies._invariant_NoInitializers.html 8.63kB -rw-rw-r-- 2012-08-22 14:30:14
 LoopExpBodies._invariant_SourceIsCollection.html 8.70kB -rw-rw-r-- 2012-08-22 14:30:14
 LoopExpBodies.html 6.08kB -rw-rw-r-- 2012-08-22 14:30:14
 MessageExpBodies._invariant_OneCallOrOneSend.html 8.72kB -rw-rw-r-- 2012-08-22 14:30:14
 MessageExpBodies._invariant_TargetIsNotACollection.html 8.83kB -rw-rw-r-- 2012-08-22 14:30:14
 MessageExpBodies.html 6.11kB -rw-rw-r-- 2012-08-22 14:30:14
 MultiplicityElementBodies._includesCardinality_body_.html 8.87kB -rw-rw-r-- 2012-08-22 14:30:14
 MultiplicityElementBodies._includesMultiplicity_body_.html 8.89kB -rw-rw-r-- 2012-08-22 14:30:14
 MultiplicityElementBodies._invariant_lower_ge_0.html 8.78kB -rw-rw-r-- 2012-08-22 14:30:14
 MultiplicityElementBodies._invariant_upper_ge_lower.html 8.85kB -rw-rw-r-- 2012-08-22 14:30:14
 MultiplicityElementBodies._isMultivalued_body_.html 8.76kB -rw-rw-r-- 2012-08-22 14:30:14
 MultiplicityElementBodies._lowerBound_body_.html 8.70kB -rw-rw-r-- 2012-08-22 14:30:14
 MultiplicityElementBodies._upperBound_body_.html 8.70kB -rw-rw-r-- 2012-08-22 14:30:14
 MultiplicityElementBodies.html 6.19kB -rw-rw-r-- 2012-08-22 14:30:14
 OpaqueExpressionBodies._invariant_language_body_size.html 8.87kB -rw-rw-r-- 2012-08-22 14:30:14
 OpaqueExpressionBodies.html 6.16kB -rw-rw-r-- 2012-08-22 14:30:14
 OperationBodies._invariant_CompatibleReturn.html 8.70kB -rw-rw-r-- 2012-08-22 14:30:14
 OperationBodies.html 6.10kB -rw-rw-r-- 2012-08-22 14:30:14
 OperationCallExpBodies._invariant_ArgumentCount.html 8.78kB -rw-rw-r-- 2012-08-22 14:30:14
 OperationCallExpBodies.html 6.16kB -rw-rw-r-- 2012-08-22 14:30:14
 ParameterableElementBodies._isCompatibleWith_body_.html 8.83kB -rw-rw-r-- 2012-08-22 14:30:14
 ParameterableElementBodies.html 6.20kB -rw-rw-r-- 2012-08-22 14:30:14
 PropertyBodies._invariant_CompatibleInitialiser.html 8.78kB -rw-rw-r-- 2012-08-22 14:30:14
 PropertyBodies._isAttribute_body_.html 8.52kB -rw-rw-r-- 2012-08-22 14:30:14
 PropertyBodies.html 6.09kB -rw-rw-r-- 2012-08-22 14:30:14
 SelfTypeBodies._resolveSelfType_body_.html 8.59kB -rw-rw-r-- 2012-08-22 14:30:14
 SelfTypeBodies.html 6.09kB -rw-rw-r-- 2012-08-22 14:30:14
 TemplateBindingBodies._invariant_one_parameter_substitution.html 9.00kB -rw-rw-r-- 2012-08-22 14:30:14
 TemplateBindingBodies._invariant_parameter_substitution_formal.html 9.06kB -rw-rw-r-- 2012-08-22 14:30:14
 TemplateBindingBodies.html 6.15kB -rw-rw-r-- 2012-08-22 14:30:14
 TemplateParameterBodies._invariant_must_be_compatible.html 8.89kB -rw-rw-r-- 2012-08-22 14:30:14
 TemplateParameterBodies.html 6.17kB -rw-rw-r-- 2012-08-22 14:30:14
 TemplateParameterSubstitutionBodies._invariant_must_be_compatible.html 9.11kB -rw-rw-r-- 2012-08-22 14:30:14
 TemplateParameterSubstitutionBodies.html 6.29kB -rw-rw-r-- 2012-08-22 14:30:14
 TemplateSignatureBodies._invariant_own_elements.html 8.78kB -rw-rw-r-- 2012-08-22 14:30:14
 TemplateSignatureBodies.html 6.17kB -rw-rw-r-- 2012-08-22 14:30:14
 TemplateableElementBodies._isTemplate_body_.html 8.70kB -rw-rw-r-- 2012-08-22 14:30:14
 TemplateableElementBodies._parameterableElements_body_.html 8.91kB -rw-rw-r-- 2012-08-22 14:30:14
 TemplateableElementBodies.html 6.19kB -rw-rw-r-- 2012-08-22 14:30:14
 TypeBodies._resolveSelfType_body_.html 8.52kB -rw-rw-r-- 2012-08-22 14:30:14
 TypeBodies.html 6.05kB -rw-rw-r-- 2012-08-22 14:30:14
 TypeTemplateParameterBodies._invariant_has_constraining_type.html 9.02kB -rw-rw-r-- 2012-08-22 14:30:14
 TypeTemplateParameterBodies.html 6.21kB -rw-rw-r-- 2012-08-22 14:30:14
 TypedMultiplicityElementBodies._CompatibleBody_body_.html 8.87kB -rw-rw-r-- 2012-08-22 14:30:14
 TypedMultiplicityElementBodies._makeParameter_body_.html 8.85kB -rw-rw-r-- 2012-08-22 14:30:14
 TypedMultiplicityElementBodies.html 6.24kB -rw-rw-r-- 2012-08-22 14:30:14
 ValueSpecificationBodies._booleanValue_body_.html 8.72kB -rw-rw-r-- 2012-08-22 14:30:14
 ValueSpecificationBodies._integerValue_body_.html 8.72kB -rw-rw-r-- 2012-08-22 14:30:14
 ValueSpecificationBodies._isComputable_body_.html 8.72kB -rw-rw-r-- 2012-08-22 14:30:14
 ValueSpecificationBodies._isNull_body_.html 8.61kB -rw-rw-r-- 2012-08-22 14:30:14
 ValueSpecificationBodies._stringValue_body_.html 8.70kB -rw-rw-r-- 2012-08-22 14:30:14
 ValueSpecificationBodies._unlimitedValue_body_.html 8.76kB -rw-rw-r-- 2012-08-22 14:30:14
 ValueSpecificationBodies.html 6.18kB -rw-rw-r-- 2012-08-22 14:30:14