|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.classifier |
---|
Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.classifier | |
---|---|
class |
ClassifierAllInstancesOperation
ClassifierAllInstancesOperation realises the Classifier::allInstances() library operation. |
class |
ClassifierOclContainerOperation
ClassifierOclContainerOperation realises the Classifier::oclContainer() library operation. |
class |
ClassifierOclContentsOperation
ClassifierOclContentsOperation realises the Classifier::oclContents() library operation. |
Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.collection |
---|
Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.collection | |
---|---|
class |
CollectionAsBagOperation
CollectionAsBagOperation realises the Collection::asBag() library operation. |
class |
CollectionAsOrderedSetOperation
CollectionAsOrderedSetOperation realises the Collection::asOrderedSet() library operation. |
class |
CollectionAsSequenceOperation
CollectionAsSequenceOperation realises the Collection::asSequence() library operation. |
class |
CollectionAsSetOperation
CollectionAsSetOperation realises the Collection::asSet() library operation. |
class |
CollectionFlattenOperation
CollectionFlattenOperation realises the Collection::flatten() library operation. |
class |
CollectionIsEmptyOperation
CollectionIsEmptyOperation realises the Collection::isEmpty() library operation. |
class |
CollectionMaxOperation
CollectionMaxOperation realises the Collection::max() library operation. |
class |
CollectionMinOperation
CollectionMinOperation realises the Collection::min() library operation. |
class |
CollectionNotEmptyOperation
CollectionNotEmptyOperation realises the Collection::notEmpty() library operation. |
class |
CollectionSizeOperation
CollectionSizeOperation realises the Collection::size() library operation. |
class |
CollectionSumOperation
CollectionSumOperation realises the Collection::sum() library operation. |
class |
OrderedCollectionFirstOperation
OrderedCollectionFirstOperation realises the OrderedCollection::first() library operation. |
class |
OrderedCollectionLastOperation
OrderedCollectionLastOperation realises the OrderedCollection::last() library operation. |
class |
OrderedCollectionReverseOperation
OrderedCollectionReverseOperation realises the OrderedCollection::reverse() library operation. |
Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.enumeration |
---|
Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.enumeration | |
---|---|
class |
EnumerationAllInstancesOperation
EnumerationAllInstancesOperation realises the Enumeration::allInstances() library operation. |
Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.logical |
---|
Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.logical | |
---|---|
class |
BooleanAllInstancesOperation
BooleanAllInstancesOperation realises the Boolean::allInstances() library operation. |
class |
BooleanNotOperation
NotOperation realises the not() library operation. |
Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.numeric |
---|
Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.numeric | |
---|---|
class |
AbstractNumericUnaryOperation
AbstractNumericUnaryOperation dispatches a unary library operation to matching-type-specific call-backs. |
class |
NumericAbsOperation
AbsOperation realises the abs() library operation. |
class |
NumericFloorOperation
FloorOperation realises the floor() library operation. |
class |
NumericNegateOperation
NegateOperation realises the unary -() library operation. |
class |
NumericRoundOperation
RoundOperation realises the round() library operation. |
Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.oclany |
---|
Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.oclany | |
---|---|
class |
OclAnyOclAsSetOperation
OclAnyOclAsSetOperation realises the OclAny::oclAsSet() library operation. |
class |
OclAnyOclIsInvalidOperation
OclAnyOclIsInvalidOperation realises the OclAny::oclIsInvalid() library operation. |
class |
OclAnyOclIsUndefinedOperation
OclAnyOclIsUndefinedOperation realises the OclAny::oclIsUndefined() library operation. |
class |
OclAnyOclTypeOperation
OclAnyOclTypeOperation realises the OclAny::oclType() library operation. |
class |
OclAnyToStringOperation
OclAnyToStringOperation realises the OclAny::toString() library operation. |
Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.oclinvalid |
---|
Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.oclinvalid | |
---|---|
class |
OclInvalidAllInstancesOperation
OclInvalidAllInstancesOperation realises the OclInvalid::allInstances() library operation. |
Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.oclvoid |
---|
Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.oclvoid | |
---|---|
class |
OclVoidAllInstancesOperation
OclVoidAllInstancesOperation realises the OclVoid::allInstances() library operation. |
Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.string |
---|
Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.library.string | |
---|---|
class |
StringCharactersOperation
OrderedSetSubOrderedSetOperation realises the OrderedSet::subOrderedSet() library operation. |
class |
StringSizeOperation
StringSizeOperation realises the String::size() library operation. |
class |
StringToBooleanOperation
StringToBooleanOperation realises the String::toBoolean() library operation. |
class |
StringToIntegerOperation
StringToIntegerOperation realises the String::toInteger() library operation. |
class |
StringToLowerCaseOperation
StringToLowerCaseOperation realises the String::toLowerCase() library operation. |
class |
StringToRealOperation
StringToRealOperation realises the String::toReal() library operation. |
class |
StringToUpperCaseOperation
StringToUpperCaseOperation realises the String::toUpperCase() library operation. |
class |
StringTrimOperation
StringTrimOperation realises the String::trim() library operation. |
Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.pivot.bodies |
---|
Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.pivot.bodies | |
---|---|
static class |
BooleanLiteralExpBodies._invariant_TypeIsBoolean
Implementation of the BooleanLiteralExp 'TypeIsBoolean' invariant. |
static class |
CollectionItemBodies._invariant_TypeIsItemType
Implementation of the CollectionItem 'TypeIsItemType' invariant. |
static class |
CollectionLiteralExpBodies._invariant_BagKindIsBag
Implementation of the CollectionLiteralExp 'BagKindIsBag' invariant. |
static class |
CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete
Implementation of the CollectionLiteralExp 'CollectionKindIsConcrete' invariant. |
static class |
CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet
Implementation of the CollectionLiteralExp 'OrderedSetKindIsOrderedSet' invariant. |
static class |
CollectionLiteralExpBodies._invariant_SequenceKindIsSequence
Implementation of the CollectionLiteralExp 'SequenceKindIsSequence' invariant. |
static class |
CollectionLiteralExpBodies._invariant_SetKindIsSet
Implementation of the CollectionLiteralExp 'SetKindIsSet' invariant. |
static class |
ConstraintBodies._invariant_UniqueName
Implementation of the Constraint 'UniqueName' invariant. |
static class |
ElementBodies._allOwnedElements_body_
Implementation of the Element::allOwnedElements '' . |
static class |
ElementBodies._invariant_not_own_self
Implementation of the Element 'not_own_self' invariant. |
static class |
EnumLiteralExpBodies._invariant_TypeIsEnumerationType
Implementation of the EnumLiteralExp 'TypeIsEnumerationType' invariant. |
static class |
IfExpBodies._invariant_ConditionTypeIsBoolean
Implementation of the IfExp 'ConditionTypeIsBoolean' invariant. |
static class |
IntegerLiteralExpBodies._invariant_TypeIsInteger
Implementation of the IntegerLiteralExp 'TypeIsInteger' invariant. |
static class |
IterateExpBodies._invariant_BodyTypeConformsToResultType
Implementation of the IterateExp 'BodyTypeConformsToResultType' invariant. |
static class |
IterateExpBodies._invariant_OneInitializer
Implementation of the IterateExp 'OneInitializer' invariant. |
static class |
IterateExpBodies._invariant_TypeIsResultType
Implementation of the IterateExp 'TypeIsResultType' invariant. |
static class |
IteratorExpBodies._invariant_AnyBodyTypeIsBoolean
Implementation of the IteratorExp 'AnyBodyTypeIsBoolean' invariant. |
static class |
IteratorExpBodies._invariant_AnyHasOneIterator
Implementation of the IteratorExp 'AnyHasOneIterator' invariant. |
static class |
IteratorExpBodies._invariant_AnyTypeIsSourceElementType
Implementation of the IteratorExp 'AnyTypeIsSourceElementType' invariant. |
static class |
IteratorExpBodies._invariant_ClosureElementTypeIsSourceElementType
Implementation of the IteratorExp 'ClosureElementTypeIsSourceElementType' invariant. |
static class |
IteratorExpBodies._invariant_ClosureHasOneIterator
Implementation of the IteratorExp 'ClosureHasOneIterator' invariant. |
static class |
IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType
Implementation of the IteratorExp 'ClosureSourceElementTypeIsBodyElementType' invariant. |
static class |
IteratorExpBodies._invariant_ClosureTypeIsUniqueCollection
Implementation of the IteratorExp 'ClosureTypeIsUniqueCollection' invariant. |
static class |
IteratorExpBodies._invariant_CollectElementTypeIsSourceElementType
Implementation of the IteratorExp 'CollectElementTypeIsSourceElementType' invariant. |
static class |
IteratorExpBodies._invariant_CollectHasOneIterator
Implementation of the IteratorExp 'CollectHasOneIterator' invariant. |
static class |
IteratorExpBodies._invariant_CollectNestedHasOneIterator
Implementation of the IteratorExp 'CollectNestedHasOneIterator' invariant. |
static class |
IteratorExpBodies._invariant_CollectNestedTypeIsBag
Implementation of the IteratorExp 'CollectNestedTypeIsBag' invariant. |
static class |
IteratorExpBodies._invariant_CollectNestedTypeIsBodyType
Implementation of the IteratorExp 'CollectNestedTypeIsBodyType' invariant. |
static class |
IteratorExpBodies._invariant_CollectTypeIsUnordered
Implementation of the IteratorExp 'CollectTypeIsUnordered' invariant. |
static class |
IteratorExpBodies._invariant_ExistsBodyTypeIsBoolean
Implementation of the IteratorExp 'ExistsBodyTypeIsBoolean' invariant. |
static class |
IteratorExpBodies._invariant_ExistsTypeIsBoolean
Implementation of the IteratorExp 'ExistsTypeIsBoolean' invariant. |
static class |
IteratorExpBodies._invariant_ForAllBodyTypeIsBoolean
Implementation of the IteratorExp 'ForAllBodyTypeIsBoolean' invariant. |
static class |
IteratorExpBodies._invariant_ForAllTypeIsBoolean
Implementation of the IteratorExp 'ForAllTypeIsBoolean' invariant. |
static class |
IteratorExpBodies._invariant_IsUniqueHasOneIterator
Implementation of the IteratorExp 'IsUniqueHasOneIterator' invariant. |
static class |
IteratorExpBodies._invariant_IsUniqueTypeIsBoolean
Implementation of the IteratorExp 'IsUniqueTypeIsBoolean' invariant. |
static class |
IteratorExpBodies._invariant_IteratorTypeIsSourceElementType
Implementation of the IteratorExp 'IteratorTypeIsSourceElementType' invariant. |
static class |
IteratorExpBodies._invariant_OneBodyTypeIsBoolean
Implementation of the IteratorExp 'OneBodyTypeIsBoolean' invariant. |
static class |
IteratorExpBodies._invariant_OneHasOneIterator
Implementation of the IteratorExp 'OneHasOneIterator' invariant. |
static class |
IteratorExpBodies._invariant_OneTypeIsBoolean
Implementation of the IteratorExp 'OneTypeIsBoolean' invariant. |
static class |
IteratorExpBodies._invariant_RejectOrSelectHasOneIterator
Implementation of the IteratorExp 'RejectOrSelectHasOneIterator' invariant. |
static class |
IteratorExpBodies._invariant_RejectOrSelectTypeIsBoolean
Implementation of the IteratorExp 'RejectOrSelectTypeIsBoolean' invariant. |
static class |
IteratorExpBodies._invariant_RejectOrSelectTypeIsSourceType
Implementation of the IteratorExp 'RejectOrSelectTypeIsSourceType' invariant. |
static class |
IteratorExpBodies._invariant_SortedByElementTypeIsSourceElementType
Implementation of the IteratorExp 'SortedByElementTypeIsSourceElementType' invariant. |
static class |
IteratorExpBodies._invariant_SortedByHasOneIterator
Implementation of the IteratorExp 'SortedByHasOneIterator' invariant. |
static class |
IteratorExpBodies._invariant_SortedByIsOrderedIfSourceIsOrdered
Implementation of the IteratorExp 'SortedByIsOrderedIfSourceIsOrdered' invariant. |
static class |
LetExpBodies._invariant_TypeIsInType
Implementation of the LetExp 'TypeIsInType' invariant. |
static class |
LoopExpBodies._invariant_NoInitializers
Implementation of the LoopExp 'NoInitializers' invariant. |
static class |
LoopExpBodies._invariant_SourceIsCollection
Implementation of the LoopExp 'SourceIsCollection' invariant. |
static class |
MessageExpBodies._invariant_OneCallOrOneSend
Implementation of the MessageExp 'OneCallOrOneSend' invariant. |
static class |
MessageExpBodies._invariant_TargetIsNotACollection
Implementation of the MessageExp 'TargetIsNotACollection' invariant. |
static class |
MultiplicityElementBodies._invariant_lower_ge_0
Implementation of the MultiplicityElement 'lower_ge_0' invariant. |
static class |
MultiplicityElementBodies._invariant_upper_ge_lower
Implementation of the MultiplicityElement 'upper_ge_lower' invariant. |
static class |
MultiplicityElementBodies._isMultivalued_body_
Implementation of the MultiplicityElement::isMultivalued '' . |
static class |
MultiplicityElementBodies._lowerBound_body_
Implementation of the MultiplicityElement::lowerBound '' . |
static class |
MultiplicityElementBodies._upperBound_body_
Implementation of the MultiplicityElement::upperBound '' . |
static class |
OpaqueExpressionBodies._invariant_language_body_size
Implementation of the OpaqueExpression 'language_body_size' invariant. |
static class |
OperationBodies._invariant_CompatibleReturn
Implementation of the Operation 'CompatibleReturn' invariant. |
static class |
OperationCallExpBodies._invariant_ArgumentCount
Implementation of the OperationCallExp 'ArgumentCount' invariant. |
static class |
PropertyBodies._invariant_CompatibleInitialiser
Implementation of the Property 'CompatibleInitialiser' invariant. |
static class |
TemplateableElementBodies._isTemplate_body_
Implementation of the TemplateableElement::isTemplate '' . |
static class |
TemplateableElementBodies._parameterableElements_body_
Implementation of the TemplateableElement::parameterableElements '' . |
static class |
TemplateBindingBodies._invariant_one_parameter_substitution
Implementation of the TemplateBinding 'one_parameter_substitution' invariant. |
static class |
TemplateBindingBodies._invariant_parameter_substitution_formal
Implementation of the TemplateBinding 'parameter_substitution_formal' invariant. |
static class |
TemplateParameterBodies._invariant_must_be_compatible
Implementation of the TemplateParameter 'must_be_compatible' invariant. |
static class |
TemplateParameterSubstitutionBodies._invariant_must_be_compatible
Implementation of the TemplateParameterSubstitution 'must_be_compatible' invariant. |
static class |
TemplateSignatureBodies._invariant_own_elements
Implementation of the TemplateSignature 'own_elements' invariant. |
static class |
TypedMultiplicityElementBodies._makeParameter_body_
Implementation of the TypedMultiplicityElement::makeParameter '' . |
static class |
TypeTemplateParameterBodies._invariant_has_constraining_type
Implementation of the TypeTemplateParameter 'has_constraining_type' invariant. |
static class |
ValueSpecificationBodies._booleanValue_body_
Implementation of the ValueSpecification::booleanValue '' . |
static class |
ValueSpecificationBodies._integerValue_body_
Implementation of the ValueSpecification::integerValue '' . |
static class |
ValueSpecificationBodies._isComputable_body_
Implementation of the ValueSpecification::isComputable '' . |
static class |
ValueSpecificationBodies._isNull_body_
Implementation of the ValueSpecification::isNull '' . |
static class |
ValueSpecificationBodies._stringValue_body_
Implementation of the ValueSpecification::stringValue '' . |
static class |
ValueSpecificationBodies._unlimitedValue_body_
Implementation of the ValueSpecification::unlimitedValue '' . |
Uses of AbstractUnaryOperation in org.eclipse.ocl.examples.pivot.library |
---|
Subclasses of AbstractUnaryOperation in org.eclipse.ocl.examples.pivot.library | |
---|---|
class |
UnimplementedOperation
The static instance of UnimplementedOperation supports evaluation of an operation that has not been implemented. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |