Classes
BooleanLiteralExpBodies
BooleanLiteralExpBodies._invariant_TypeIsBoolean
CollectionItemBodies
CollectionItemBodies._invariant_TypeIsItemType
CollectionLiteralExpBodies
CollectionLiteralExpBodies._invariant_BagKindIsBag
CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete
CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet
CollectionLiteralExpBodies._invariant_SequenceKindIsSequence
CollectionLiteralExpBodies._invariant_SetKindIsSet
ConstraintBodies
ConstraintBodies._invariant_UniqueName
ElementBodies
ElementBodies._allOwnedElements_body_
ElementBodies._invariant_not_own_self
EnumLiteralExpBodies
EnumLiteralExpBodies._invariant_TypeIsEnumerationType
IfExpBodies
IfExpBodies._invariant_ConditionTypeIsBoolean
IntegerLiteralExpBodies
IntegerLiteralExpBodies._invariant_TypeIsInteger
IterateExpBodies
IterateExpBodies._invariant_BodyTypeConformsToResultType
IterateExpBodies._invariant_OneInitializer
IterateExpBodies._invariant_TypeIsResultType
IteratorExpBodies
IteratorExpBodies._invariant_AnyBodyTypeIsBoolean
IteratorExpBodies._invariant_AnyHasOneIterator
IteratorExpBodies._invariant_AnyTypeIsSourceElementType
IteratorExpBodies._invariant_ClosureElementTypeIsSourceElementType
IteratorExpBodies._invariant_ClosureHasOneIterator
IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType
IteratorExpBodies._invariant_ClosureTypeIsUniqueCollection
IteratorExpBodies._invariant_CollectElementTypeIsSourceElementType
IteratorExpBodies._invariant_CollectHasOneIterator
IteratorExpBodies._invariant_CollectNestedHasOneIterator
IteratorExpBodies._invariant_CollectNestedTypeIsBag
IteratorExpBodies._invariant_CollectNestedTypeIsBodyType
IteratorExpBodies._invariant_CollectTypeIsUnordered
IteratorExpBodies._invariant_ExistsBodyTypeIsBoolean
IteratorExpBodies._invariant_ExistsTypeIsBoolean
IteratorExpBodies._invariant_ForAllBodyTypeIsBoolean
IteratorExpBodies._invariant_ForAllTypeIsBoolean
IteratorExpBodies._invariant_IsUniqueHasOneIterator
IteratorExpBodies._invariant_IsUniqueTypeIsBoolean
IteratorExpBodies._invariant_IteratorTypeIsSourceElementType
IteratorExpBodies._invariant_OneBodyTypeIsBoolean
IteratorExpBodies._invariant_OneHasOneIterator
IteratorExpBodies._invariant_OneTypeIsBoolean
IteratorExpBodies._invariant_RejectOrSelectHasOneIterator
IteratorExpBodies._invariant_RejectOrSelectTypeIsBoolean
IteratorExpBodies._invariant_RejectOrSelectTypeIsSourceType
IteratorExpBodies._invariant_SortedByElementTypeIsSourceElementType
IteratorExpBodies._invariant_SortedByHasOneIterator
IteratorExpBodies._invariant_SortedByIsOrderedIfSourceIsOrdered
LetExpBodies
LetExpBodies._invariant_TypeIsInType
LoopExpBodies
LoopExpBodies._invariant_NoInitializers
LoopExpBodies._invariant_SourceIsCollection
MessageExpBodies
MessageExpBodies._invariant_OneCallOrOneSend
MessageExpBodies._invariant_TargetIsNotACollection
MultiplicityElementBodies
MultiplicityElementBodies._includesCardinality_body_
MultiplicityElementBodies._includesMultiplicity_body_
MultiplicityElementBodies._invariant_lower_ge_0
MultiplicityElementBodies._invariant_upper_ge_lower
MultiplicityElementBodies._isMultivalued_body_
MultiplicityElementBodies._lowerBound_body_
MultiplicityElementBodies._upperBound_body_
OpaqueExpressionBodies
OpaqueExpressionBodies._invariant_language_body_size
OperationBodies
OperationBodies._invariant_CompatibleReturn
OperationCallExpBodies
OperationCallExpBodies._invariant_ArgumentCount
ParameterableElementBodies
ParameterableElementBodies._isCompatibleWith_body_
PropertyBodies
PropertyBodies._invariant_CompatibleInitialiser
PropertyBodies._isAttribute_body_
SelfTypeBodies
SelfTypeBodies._resolveSelfType_body_
TemplateableElementBodies
TemplateableElementBodies._isTemplate_body_
TemplateableElementBodies._parameterableElements_body_
TemplateBindingBodies
TemplateBindingBodies._invariant_one_parameter_substitution
TemplateBindingBodies._invariant_parameter_substitution_formal
TemplateParameterBodies
TemplateParameterBodies._invariant_must_be_compatible
TemplateParameterSubstitutionBodies
TemplateParameterSubstitutionBodies._invariant_must_be_compatible
TemplateSignatureBodies
TemplateSignatureBodies._invariant_own_elements
TypeBodies
TypeBodies._resolveSelfType_body_
TypedMultiplicityElementBodies
TypedMultiplicityElementBodies._CompatibleBody_body_
TypedMultiplicityElementBodies._makeParameter_body_
TypeTemplateParameterBodies
TypeTemplateParameterBodies._invariant_has_constraining_type
ValueSpecificationBodies
ValueSpecificationBodies._booleanValue_body_
ValueSpecificationBodies._integerValue_body_
ValueSpecificationBodies._isComputable_body_
ValueSpecificationBodies._isNull_body_
ValueSpecificationBodies._stringValue_body_
ValueSpecificationBodies._unlimitedValue_body_ |