Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
All Classes
Hierarchy For Package org.eclipse.ocl.examples.pivot
Package Hierarchies:
All Packages
Class Hierarchy
java.lang.Object
org.eclipse.ocl.examples.pivot.
AbstractBasicEnvironment
<P> (implements org.eclipse.ocl.examples.pivot.
BasicEnvironment
)
org.eclipse.ocl.examples.pivot.
AbstractEnvironment
(implements org.eclipse.ocl.examples.pivot.
Environment
)
org.eclipse.ocl.examples.pivot.
AbstractEnvironment.VariableEntry
org.eclipse.ocl.examples.pivot.
AbstractEnvironmentFactory
(implements org.eclipse.ocl.examples.pivot.
Adaptable
, org.eclipse.ocl.examples.pivot.
EnvironmentFactory
)
org.eclipse.ocl.examples.pivot.
ObjectUtil
org.eclipse.ocl.examples.pivot.
OCL
org.eclipse.ocl.examples.pivot.
OCLDebugOptions
org.eclipse.ocl.examples.pivot.
OCLInput
org.eclipse.ocl.examples.pivot.
OCLUtil
org.eclipse.ocl.examples.pivot.
PivotStandaloneSetup
org.eclipse.ocl.examples.pivot.
PivotTables
org.eclipse.ocl.examples.pivot.
PivotTables.EnumerationLiterals
org.eclipse.ocl.examples.pivot.
PivotTables.FragmentOperations
org.eclipse.ocl.examples.pivot.
PivotTables.FragmentProperties
org.eclipse.ocl.examples.pivot.
PivotTables.Fragments
org.eclipse.ocl.examples.pivot.
PivotTables.Operations
org.eclipse.ocl.examples.pivot.
PivotTables.Parameters
org.eclipse.ocl.examples.pivot.
PivotTables.Properties
org.eclipse.ocl.examples.pivot.
PivotTables.TypeFragments
org.eclipse.ocl.examples.pivot.
PivotTables.TypeParameters
org.eclipse.ocl.examples.pivot.
PivotTables.Types
org.eclipse.ocl.examples.pivot.
ProblemHandler.Phase
(implements java.lang.Comparable<T>)
java.lang.Throwable (implements java.io.Serializable)
java.lang.Exception
org.eclipse.ocl.examples.pivot.
EvaluationException
org.eclipse.ocl.examples.pivot.
ParserException
org.eclipse.ocl.examples.pivot.
SemanticException
org.eclipse.ocl.examples.pivot.
LookupException
org.eclipse.ocl.examples.pivot.
AmbiguousLookupException
org.eclipse.ocl.examples.pivot.
SyntaxException
Interface Hierarchy
org.eclipse.ocl.examples.pivot.
Adaptable
org.eclipse.ocl.examples.pivot.
BasicEnvironment
(also extends org.eclipse.ocl.examples.pivot.
Customizable
)
org.eclipse.ocl.examples.pivot.
Environment
org.eclipse.ocl.examples.pivot.
Customizable
org.eclipse.ocl.examples.pivot.
BasicEnvironment
(also extends org.eclipse.ocl.examples.pivot.
Adaptable
)
org.eclipse.ocl.examples.pivot.
Environment
org.eclipse.ocl.examples.domain.elements.
DomainElement
org.eclipse.ocl.examples.domain.elements.
DomainNamedElement
(also extends org.eclipse.ocl.examples.domain.elements.
Nameable
)
org.eclipse.ocl.examples.domain.elements.
DomainConstraint
org.eclipse.ocl.examples.pivot.
Constraint
(also extends org.eclipse.ocl.examples.pivot.
NamedElement
)
org.eclipse.ocl.examples.domain.elements.
DomainEnumerationLiteral
org.eclipse.ocl.examples.pivot.
EnumerationLiteral
(also extends org.eclipse.ocl.examples.pivot.
NamedElement
)
org.eclipse.ocl.examples.domain.elements.
DomainNamespace
org.eclipse.ocl.examples.domain.elements.
DomainPackage
org.eclipse.ocl.examples.pivot.
Package
(also extends org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Library
org.eclipse.ocl.examples.pivot.
Profile
org.eclipse.ocl.examples.domain.elements.
DomainRoot
org.eclipse.ocl.examples.pivot.
Root
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.domain.elements.
DomainType
(also extends org.eclipse.ocl.examples.domain.values.
OCLValue
)
org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.pivot.
DataType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.pivot.
DataType
)
org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.pivot.
DataType
)
org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.pivot.
Class
)
org.eclipse.ocl.examples.domain.elements.
DomainTupleType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.pivot.
DataType
)
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.pivot.
NamedElement
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
Namespace
(also extends org.eclipse.ocl.examples.pivot.
NamedElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Type
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Package
(also extends org.eclipse.ocl.examples.domain.elements.
DomainPackage
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Library
org.eclipse.ocl.examples.pivot.
Profile
org.eclipse.ocl.examples.pivot.
Region
org.eclipse.ocl.examples.pivot.
Root
(also extends org.eclipse.ocl.examples.domain.elements.
DomainRoot
)
org.eclipse.ocl.examples.pivot.
State
(also extends org.eclipse.ocl.examples.pivot.
Vertex
)
org.eclipse.ocl.examples.pivot.
FinalState
org.eclipse.ocl.examples.pivot.
Transition
org.eclipse.ocl.examples.domain.elements.
DomainTypedElement
org.eclipse.ocl.examples.domain.elements.
DomainExpression
org.eclipse.ocl.examples.domain.elements.
DomainCallExp
org.eclipse.ocl.examples.pivot.
CallExp
(also extends org.eclipse.ocl.examples.pivot.
OCLExpression
)
org.eclipse.ocl.examples.pivot.
FeatureCallExp
org.eclipse.ocl.examples.pivot.
NavigationCallExp
org.eclipse.ocl.examples.pivot.
AssociationClassCallExp
org.eclipse.ocl.examples.pivot.
OppositePropertyCallExp
org.eclipse.ocl.examples.pivot.
PropertyCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OperationCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
LoopExp
org.eclipse.ocl.examples.pivot.
IterateExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
IteratorExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OCLExpression
(also extends org.eclipse.ocl.examples.pivot.
TypedElement
)
org.eclipse.ocl.examples.pivot.
CallExp
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCallExp
)
org.eclipse.ocl.examples.pivot.
FeatureCallExp
org.eclipse.ocl.examples.pivot.
NavigationCallExp
org.eclipse.ocl.examples.pivot.
AssociationClassCallExp
org.eclipse.ocl.examples.pivot.
OppositePropertyCallExp
org.eclipse.ocl.examples.pivot.
PropertyCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OperationCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
LoopExp
org.eclipse.ocl.examples.pivot.
IterateExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
IteratorExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
ConstructorExp
org.eclipse.ocl.examples.pivot.
IfExp
org.eclipse.ocl.examples.pivot.
LetExp
org.eclipse.ocl.examples.pivot.
LiteralExp
org.eclipse.ocl.examples.pivot.
CollectionLiteralExp
org.eclipse.ocl.examples.pivot.
EnumLiteralExp
org.eclipse.ocl.examples.pivot.
InvalidLiteralExp
org.eclipse.ocl.examples.pivot.
PrimitiveLiteralExp
org.eclipse.ocl.examples.pivot.
BooleanLiteralExp
org.eclipse.ocl.examples.pivot.
NullLiteralExp
org.eclipse.ocl.examples.pivot.
NumericLiteralExp
org.eclipse.ocl.examples.pivot.
IntegerLiteralExp
org.eclipse.ocl.examples.pivot.
RealLiteralExp
org.eclipse.ocl.examples.pivot.
UnlimitedNaturalLiteralExp
org.eclipse.ocl.examples.pivot.
StringLiteralExp
org.eclipse.ocl.examples.pivot.
TupleLiteralExp
org.eclipse.ocl.examples.pivot.
MessageExp
org.eclipse.ocl.examples.pivot.
StateExp
org.eclipse.ocl.examples.pivot.
TypeExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
UnspecifiedValueExp
org.eclipse.ocl.examples.pivot.
VariableExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OpaqueExpression
(also extends org.eclipse.ocl.examples.pivot.
ValueSpecification
)
org.eclipse.ocl.examples.pivot.
ExpressionInOCL
org.eclipse.ocl.examples.domain.elements.
DomainFeature
org.eclipse.ocl.examples.domain.elements.
DomainOperation
org.eclipse.ocl.examples.domain.elements.
DomainIteration
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.pivot.
Operation
)
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.domain.elements.
DomainProperty
org.eclipse.ocl.examples.pivot.
Property
(also extends org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
TypedElement
(also extends org.eclipse.ocl.examples.pivot.
NamedElement
)
org.eclipse.ocl.examples.pivot.
CollectionLiteralPart
org.eclipse.ocl.examples.pivot.
CollectionItem
org.eclipse.ocl.examples.pivot.
CollectionRange
org.eclipse.ocl.examples.pivot.
ConstructorPart
org.eclipse.ocl.examples.pivot.
OCLExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
CallExp
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCallExp
)
org.eclipse.ocl.examples.pivot.
FeatureCallExp
org.eclipse.ocl.examples.pivot.
NavigationCallExp
org.eclipse.ocl.examples.pivot.
AssociationClassCallExp
org.eclipse.ocl.examples.pivot.
OppositePropertyCallExp
org.eclipse.ocl.examples.pivot.
PropertyCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OperationCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
LoopExp
org.eclipse.ocl.examples.pivot.
IterateExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
IteratorExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
ConstructorExp
org.eclipse.ocl.examples.pivot.
IfExp
org.eclipse.ocl.examples.pivot.
LetExp
org.eclipse.ocl.examples.pivot.
LiteralExp
org.eclipse.ocl.examples.pivot.
CollectionLiteralExp
org.eclipse.ocl.examples.pivot.
EnumLiteralExp
org.eclipse.ocl.examples.pivot.
InvalidLiteralExp
org.eclipse.ocl.examples.pivot.
PrimitiveLiteralExp
org.eclipse.ocl.examples.pivot.
BooleanLiteralExp
org.eclipse.ocl.examples.pivot.
NullLiteralExp
org.eclipse.ocl.examples.pivot.
NumericLiteralExp
org.eclipse.ocl.examples.pivot.
IntegerLiteralExp
org.eclipse.ocl.examples.pivot.
RealLiteralExp
org.eclipse.ocl.examples.pivot.
UnlimitedNaturalLiteralExp
org.eclipse.ocl.examples.pivot.
StringLiteralExp
org.eclipse.ocl.examples.pivot.
TupleLiteralExp
org.eclipse.ocl.examples.pivot.
MessageExp
org.eclipse.ocl.examples.pivot.
StateExp
org.eclipse.ocl.examples.pivot.
TypeExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
UnspecifiedValueExp
org.eclipse.ocl.examples.pivot.
VariableExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
org.eclipse.ocl.examples.pivot.
Feature
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Property
(also extends org.eclipse.ocl.examples.domain.elements.
DomainProperty
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
VariableDeclaration
)
org.eclipse.ocl.examples.pivot.
ValueSpecification
(also extends org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
OpaqueExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
ExpressionInOCL
org.eclipse.ocl.examples.pivot.
VariableDeclaration
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
)
org.eclipse.ocl.examples.pivot.
TupleLiteralPart
org.eclipse.ocl.examples.pivot.
Variable
org.eclipse.ocl.examples.pivot.
NamedElement
(also extends org.eclipse.ocl.examples.pivot.
Element
, org.eclipse.ocl.examples.domain.elements.
Nameable
)
org.eclipse.ocl.examples.pivot.
Annotation
org.eclipse.ocl.examples.pivot.
CallOperationAction
org.eclipse.ocl.examples.pivot.
Constraint
(also extends org.eclipse.ocl.examples.domain.elements.
DomainConstraint
)
org.eclipse.ocl.examples.pivot.
Detail
org.eclipse.ocl.examples.pivot.
EnumerationLiteral
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumerationLiteral
)
org.eclipse.ocl.examples.pivot.
Import
org.eclipse.ocl.examples.pivot.
Namespace
(also extends org.eclipse.ocl.examples.domain.elements.
DomainNamespace
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Type
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Package
(also extends org.eclipse.ocl.examples.domain.elements.
DomainPackage
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Library
org.eclipse.ocl.examples.pivot.
Profile
org.eclipse.ocl.examples.pivot.
Region
org.eclipse.ocl.examples.pivot.
Root
(also extends org.eclipse.ocl.examples.domain.elements.
DomainRoot
)
org.eclipse.ocl.examples.pivot.
State
(also extends org.eclipse.ocl.examples.pivot.
Vertex
)
org.eclipse.ocl.examples.pivot.
FinalState
org.eclipse.ocl.examples.pivot.
Transition
org.eclipse.ocl.examples.pivot.
Precedence
org.eclipse.ocl.examples.pivot.
SendSignalAction
org.eclipse.ocl.examples.pivot.
Signal
org.eclipse.ocl.examples.pivot.
Trigger
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.domain.elements.
DomainType
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
TypedElement
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTypedElement
)
org.eclipse.ocl.examples.pivot.
CollectionLiteralPart
org.eclipse.ocl.examples.pivot.
CollectionItem
org.eclipse.ocl.examples.pivot.
CollectionRange
org.eclipse.ocl.examples.pivot.
ConstructorPart
org.eclipse.ocl.examples.pivot.
OCLExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
CallExp
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCallExp
)
org.eclipse.ocl.examples.pivot.
FeatureCallExp
org.eclipse.ocl.examples.pivot.
NavigationCallExp
org.eclipse.ocl.examples.pivot.
AssociationClassCallExp
org.eclipse.ocl.examples.pivot.
OppositePropertyCallExp
org.eclipse.ocl.examples.pivot.
PropertyCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OperationCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
LoopExp
org.eclipse.ocl.examples.pivot.
IterateExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
IteratorExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
ConstructorExp
org.eclipse.ocl.examples.pivot.
IfExp
org.eclipse.ocl.examples.pivot.
LetExp
org.eclipse.ocl.examples.pivot.
LiteralExp
org.eclipse.ocl.examples.pivot.
CollectionLiteralExp
org.eclipse.ocl.examples.pivot.
EnumLiteralExp
org.eclipse.ocl.examples.pivot.
InvalidLiteralExp
org.eclipse.ocl.examples.pivot.
PrimitiveLiteralExp
org.eclipse.ocl.examples.pivot.
BooleanLiteralExp
org.eclipse.ocl.examples.pivot.
NullLiteralExp
org.eclipse.ocl.examples.pivot.
NumericLiteralExp
org.eclipse.ocl.examples.pivot.
IntegerLiteralExp
org.eclipse.ocl.examples.pivot.
RealLiteralExp
org.eclipse.ocl.examples.pivot.
UnlimitedNaturalLiteralExp
org.eclipse.ocl.examples.pivot.
StringLiteralExp
org.eclipse.ocl.examples.pivot.
TupleLiteralExp
org.eclipse.ocl.examples.pivot.
MessageExp
org.eclipse.ocl.examples.pivot.
StateExp
org.eclipse.ocl.examples.pivot.
TypeExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
UnspecifiedValueExp
org.eclipse.ocl.examples.pivot.
VariableExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
org.eclipse.ocl.examples.pivot.
Feature
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Property
(also extends org.eclipse.ocl.examples.domain.elements.
DomainProperty
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
VariableDeclaration
)
org.eclipse.ocl.examples.pivot.
ValueSpecification
(also extends org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
OpaqueExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
ExpressionInOCL
org.eclipse.ocl.examples.pivot.
VariableDeclaration
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
)
org.eclipse.ocl.examples.pivot.
TupleLiteralPart
org.eclipse.ocl.examples.pivot.
Variable
org.eclipse.ocl.examples.pivot.
Vertex
org.eclipse.ocl.examples.pivot.
ConnectionPointReference
org.eclipse.ocl.examples.pivot.
Pseudostate
org.eclipse.ocl.examples.pivot.
State
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
FinalState
org.eclipse.ocl.examples.domain.elements.
DomainTemplateParameter
org.eclipse.ocl.examples.pivot.
TemplateParameter
(also extends org.eclipse.ocl.examples.pivot.
Element
)
org.eclipse.ocl.examples.pivot.
OperationTemplateParameter
org.eclipse.ocl.examples.pivot.
TypeTemplateParameter
org.eclipse.ocl.examples.pivot.
Element
(also extends org.eclipse.ocl.examples.pivot.utilities.
PivotObject
, org.eclipse.ocl.examples.pivot.util.
Visitable
)
org.eclipse.ocl.examples.pivot.
Comment
org.eclipse.ocl.examples.pivot.
DynamicElement
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
Type
)
org.eclipse.ocl.examples.pivot.
DynamicProperty
org.eclipse.ocl.examples.pivot.
NamedElement
(also extends org.eclipse.ocl.examples.domain.elements.
DomainNamedElement
, org.eclipse.ocl.examples.domain.elements.
Nameable
)
org.eclipse.ocl.examples.pivot.
Annotation
org.eclipse.ocl.examples.pivot.
CallOperationAction
org.eclipse.ocl.examples.pivot.
Constraint
(also extends org.eclipse.ocl.examples.domain.elements.
DomainConstraint
)
org.eclipse.ocl.examples.pivot.
Detail
org.eclipse.ocl.examples.pivot.
EnumerationLiteral
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumerationLiteral
)
org.eclipse.ocl.examples.pivot.
Import
org.eclipse.ocl.examples.pivot.
Namespace
(also extends org.eclipse.ocl.examples.domain.elements.
DomainNamespace
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Type
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Package
(also extends org.eclipse.ocl.examples.domain.elements.
DomainPackage
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Library
org.eclipse.ocl.examples.pivot.
Profile
org.eclipse.ocl.examples.pivot.
Region
org.eclipse.ocl.examples.pivot.
Root
(also extends org.eclipse.ocl.examples.domain.elements.
DomainRoot
)
org.eclipse.ocl.examples.pivot.
State
(also extends org.eclipse.ocl.examples.pivot.
Vertex
)
org.eclipse.ocl.examples.pivot.
FinalState
org.eclipse.ocl.examples.pivot.
Transition
org.eclipse.ocl.examples.pivot.
Precedence
org.eclipse.ocl.examples.pivot.
SendSignalAction
org.eclipse.ocl.examples.pivot.
Signal
org.eclipse.ocl.examples.pivot.
Trigger
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.domain.elements.
DomainType
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
TypedElement
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTypedElement
)
org.eclipse.ocl.examples.pivot.
CollectionLiteralPart
org.eclipse.ocl.examples.pivot.
CollectionItem
org.eclipse.ocl.examples.pivot.
CollectionRange
org.eclipse.ocl.examples.pivot.
ConstructorPart
org.eclipse.ocl.examples.pivot.
OCLExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
CallExp
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCallExp
)
org.eclipse.ocl.examples.pivot.
FeatureCallExp
org.eclipse.ocl.examples.pivot.
NavigationCallExp
org.eclipse.ocl.examples.pivot.
AssociationClassCallExp
org.eclipse.ocl.examples.pivot.
OppositePropertyCallExp
org.eclipse.ocl.examples.pivot.
PropertyCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OperationCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
LoopExp
org.eclipse.ocl.examples.pivot.
IterateExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
IteratorExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
ConstructorExp
org.eclipse.ocl.examples.pivot.
IfExp
org.eclipse.ocl.examples.pivot.
LetExp
org.eclipse.ocl.examples.pivot.
LiteralExp
org.eclipse.ocl.examples.pivot.
CollectionLiteralExp
org.eclipse.ocl.examples.pivot.
EnumLiteralExp
org.eclipse.ocl.examples.pivot.
InvalidLiteralExp
org.eclipse.ocl.examples.pivot.
PrimitiveLiteralExp
org.eclipse.ocl.examples.pivot.
BooleanLiteralExp
org.eclipse.ocl.examples.pivot.
NullLiteralExp
org.eclipse.ocl.examples.pivot.
NumericLiteralExp
org.eclipse.ocl.examples.pivot.
IntegerLiteralExp
org.eclipse.ocl.examples.pivot.
RealLiteralExp
org.eclipse.ocl.examples.pivot.
UnlimitedNaturalLiteralExp
org.eclipse.ocl.examples.pivot.
StringLiteralExp
org.eclipse.ocl.examples.pivot.
TupleLiteralExp
org.eclipse.ocl.examples.pivot.
MessageExp
org.eclipse.ocl.examples.pivot.
StateExp
org.eclipse.ocl.examples.pivot.
TypeExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
UnspecifiedValueExp
org.eclipse.ocl.examples.pivot.
VariableExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
org.eclipse.ocl.examples.pivot.
Feature
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Property
(also extends org.eclipse.ocl.examples.domain.elements.
DomainProperty
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
VariableDeclaration
)
org.eclipse.ocl.examples.pivot.
ValueSpecification
(also extends org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
OpaqueExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
ExpressionInOCL
org.eclipse.ocl.examples.pivot.
VariableDeclaration
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
)
org.eclipse.ocl.examples.pivot.
TupleLiteralPart
org.eclipse.ocl.examples.pivot.
Variable
org.eclipse.ocl.examples.pivot.
Vertex
org.eclipse.ocl.examples.pivot.
ConnectionPointReference
org.eclipse.ocl.examples.pivot.
Pseudostate
org.eclipse.ocl.examples.pivot.
State
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
FinalState
org.eclipse.ocl.examples.pivot.
ParameterableElement
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
PackageableElement
org.eclipse.ocl.examples.pivot.
Property
(also extends org.eclipse.ocl.examples.domain.elements.
DomainProperty
, org.eclipse.ocl.examples.pivot.
Feature
)
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.domain.elements.
DomainType
, org.eclipse.ocl.examples.pivot.
NamedElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
ValueSpecification
(also extends org.eclipse.ocl.examples.pivot.
TypedElement
)
org.eclipse.ocl.examples.pivot.
OpaqueExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
ExpressionInOCL
org.eclipse.ocl.examples.pivot.
ProfileApplication
org.eclipse.ocl.examples.pivot.
TemplateableElement
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Package
(also extends org.eclipse.ocl.examples.domain.elements.
DomainPackage
, org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
Library
org.eclipse.ocl.examples.pivot.
Profile
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.domain.elements.
DomainType
, org.eclipse.ocl.examples.pivot.
NamedElement
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
TemplateBinding
org.eclipse.ocl.examples.pivot.
TemplateParameter
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTemplateParameter
)
org.eclipse.ocl.examples.pivot.
OperationTemplateParameter
org.eclipse.ocl.examples.pivot.
TypeTemplateParameter
org.eclipse.ocl.examples.pivot.
TemplateParameterSubstitution
org.eclipse.ocl.examples.pivot.
TemplateSignature
org.eclipse.ocl.examples.pivot.
TypeExtension
org.eclipse.ocl.examples.pivot.
Environment.Registry
org.eclipse.ocl.examples.pivot.
EnvironmentFactory
org.eclipse.ocl.examples.domain.elements.
Nameable
org.eclipse.ocl.examples.domain.elements.
DomainNamedElement
(also extends org.eclipse.ocl.examples.domain.elements.
DomainElement
)
org.eclipse.ocl.examples.domain.elements.
DomainConstraint
org.eclipse.ocl.examples.pivot.
Constraint
(also extends org.eclipse.ocl.examples.pivot.
NamedElement
)
org.eclipse.ocl.examples.domain.elements.
DomainEnumerationLiteral
org.eclipse.ocl.examples.pivot.
EnumerationLiteral
(also extends org.eclipse.ocl.examples.pivot.
NamedElement
)
org.eclipse.ocl.examples.domain.elements.
DomainNamespace
org.eclipse.ocl.examples.domain.elements.
DomainPackage
org.eclipse.ocl.examples.pivot.
Package
(also extends org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Library
org.eclipse.ocl.examples.pivot.
Profile
org.eclipse.ocl.examples.domain.elements.
DomainRoot
org.eclipse.ocl.examples.pivot.
Root
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.domain.elements.
DomainType
(also extends org.eclipse.ocl.examples.domain.values.
OCLValue
)
org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.pivot.
DataType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.pivot.
DataType
)
org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.pivot.
DataType
)
org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.pivot.
Class
)
org.eclipse.ocl.examples.domain.elements.
DomainTupleType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.pivot.
DataType
)
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.pivot.
NamedElement
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
Namespace
(also extends org.eclipse.ocl.examples.pivot.
NamedElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Type
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Package
(also extends org.eclipse.ocl.examples.domain.elements.
DomainPackage
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Library
org.eclipse.ocl.examples.pivot.
Profile
org.eclipse.ocl.examples.pivot.
Region
org.eclipse.ocl.examples.pivot.
Root
(also extends org.eclipse.ocl.examples.domain.elements.
DomainRoot
)
org.eclipse.ocl.examples.pivot.
State
(also extends org.eclipse.ocl.examples.pivot.
Vertex
)
org.eclipse.ocl.examples.pivot.
FinalState
org.eclipse.ocl.examples.pivot.
Transition
org.eclipse.ocl.examples.domain.elements.
DomainTypedElement
org.eclipse.ocl.examples.domain.elements.
DomainExpression
org.eclipse.ocl.examples.domain.elements.
DomainCallExp
org.eclipse.ocl.examples.pivot.
CallExp
(also extends org.eclipse.ocl.examples.pivot.
OCLExpression
)
org.eclipse.ocl.examples.pivot.
FeatureCallExp
org.eclipse.ocl.examples.pivot.
NavigationCallExp
org.eclipse.ocl.examples.pivot.
AssociationClassCallExp
org.eclipse.ocl.examples.pivot.
OppositePropertyCallExp
org.eclipse.ocl.examples.pivot.
PropertyCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OperationCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
LoopExp
org.eclipse.ocl.examples.pivot.
IterateExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
IteratorExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OCLExpression
(also extends org.eclipse.ocl.examples.pivot.
TypedElement
)
org.eclipse.ocl.examples.pivot.
CallExp
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCallExp
)
org.eclipse.ocl.examples.pivot.
FeatureCallExp
org.eclipse.ocl.examples.pivot.
NavigationCallExp
org.eclipse.ocl.examples.pivot.
AssociationClassCallExp
org.eclipse.ocl.examples.pivot.
OppositePropertyCallExp
org.eclipse.ocl.examples.pivot.
PropertyCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OperationCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
LoopExp
org.eclipse.ocl.examples.pivot.
IterateExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
IteratorExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
ConstructorExp
org.eclipse.ocl.examples.pivot.
IfExp
org.eclipse.ocl.examples.pivot.
LetExp
org.eclipse.ocl.examples.pivot.
LiteralExp
org.eclipse.ocl.examples.pivot.
CollectionLiteralExp
org.eclipse.ocl.examples.pivot.
EnumLiteralExp
org.eclipse.ocl.examples.pivot.
InvalidLiteralExp
org.eclipse.ocl.examples.pivot.
PrimitiveLiteralExp
org.eclipse.ocl.examples.pivot.
BooleanLiteralExp
org.eclipse.ocl.examples.pivot.
NullLiteralExp
org.eclipse.ocl.examples.pivot.
NumericLiteralExp
org.eclipse.ocl.examples.pivot.
IntegerLiteralExp
org.eclipse.ocl.examples.pivot.
RealLiteralExp
org.eclipse.ocl.examples.pivot.
UnlimitedNaturalLiteralExp
org.eclipse.ocl.examples.pivot.
StringLiteralExp
org.eclipse.ocl.examples.pivot.
TupleLiteralExp
org.eclipse.ocl.examples.pivot.
MessageExp
org.eclipse.ocl.examples.pivot.
StateExp
org.eclipse.ocl.examples.pivot.
TypeExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
UnspecifiedValueExp
org.eclipse.ocl.examples.pivot.
VariableExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OpaqueExpression
(also extends org.eclipse.ocl.examples.pivot.
ValueSpecification
)
org.eclipse.ocl.examples.pivot.
ExpressionInOCL
org.eclipse.ocl.examples.domain.elements.
DomainFeature
org.eclipse.ocl.examples.domain.elements.
DomainOperation
org.eclipse.ocl.examples.domain.elements.
DomainIteration
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.pivot.
Operation
)
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.domain.elements.
DomainProperty
org.eclipse.ocl.examples.pivot.
Property
(also extends org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
TypedElement
(also extends org.eclipse.ocl.examples.pivot.
NamedElement
)
org.eclipse.ocl.examples.pivot.
CollectionLiteralPart
org.eclipse.ocl.examples.pivot.
CollectionItem
org.eclipse.ocl.examples.pivot.
CollectionRange
org.eclipse.ocl.examples.pivot.
ConstructorPart
org.eclipse.ocl.examples.pivot.
OCLExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
CallExp
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCallExp
)
org.eclipse.ocl.examples.pivot.
FeatureCallExp
org.eclipse.ocl.examples.pivot.
NavigationCallExp
org.eclipse.ocl.examples.pivot.
AssociationClassCallExp
org.eclipse.ocl.examples.pivot.
OppositePropertyCallExp
org.eclipse.ocl.examples.pivot.
PropertyCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OperationCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
LoopExp
org.eclipse.ocl.examples.pivot.
IterateExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
IteratorExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
ConstructorExp
org.eclipse.ocl.examples.pivot.
IfExp
org.eclipse.ocl.examples.pivot.
LetExp
org.eclipse.ocl.examples.pivot.
LiteralExp
org.eclipse.ocl.examples.pivot.
CollectionLiteralExp
org.eclipse.ocl.examples.pivot.
EnumLiteralExp
org.eclipse.ocl.examples.pivot.
InvalidLiteralExp
org.eclipse.ocl.examples.pivot.
PrimitiveLiteralExp
org.eclipse.ocl.examples.pivot.
BooleanLiteralExp
org.eclipse.ocl.examples.pivot.
NullLiteralExp
org.eclipse.ocl.examples.pivot.
NumericLiteralExp
org.eclipse.ocl.examples.pivot.
IntegerLiteralExp
org.eclipse.ocl.examples.pivot.
RealLiteralExp
org.eclipse.ocl.examples.pivot.
UnlimitedNaturalLiteralExp
org.eclipse.ocl.examples.pivot.
StringLiteralExp
org.eclipse.ocl.examples.pivot.
TupleLiteralExp
org.eclipse.ocl.examples.pivot.
MessageExp
org.eclipse.ocl.examples.pivot.
StateExp
org.eclipse.ocl.examples.pivot.
TypeExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
UnspecifiedValueExp
org.eclipse.ocl.examples.pivot.
VariableExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
org.eclipse.ocl.examples.pivot.
Feature
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Property
(also extends org.eclipse.ocl.examples.domain.elements.
DomainProperty
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
VariableDeclaration
)
org.eclipse.ocl.examples.pivot.
ValueSpecification
(also extends org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
OpaqueExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
ExpressionInOCL
org.eclipse.ocl.examples.pivot.
VariableDeclaration
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
)
org.eclipse.ocl.examples.pivot.
TupleLiteralPart
org.eclipse.ocl.examples.pivot.
Variable
org.eclipse.ocl.examples.pivot.
NamedElement
(also extends org.eclipse.ocl.examples.pivot.
Element
, org.eclipse.ocl.examples.domain.elements.
Nameable
)
org.eclipse.ocl.examples.pivot.
Annotation
org.eclipse.ocl.examples.pivot.
CallOperationAction
org.eclipse.ocl.examples.pivot.
Constraint
(also extends org.eclipse.ocl.examples.domain.elements.
DomainConstraint
)
org.eclipse.ocl.examples.pivot.
Detail
org.eclipse.ocl.examples.pivot.
EnumerationLiteral
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumerationLiteral
)
org.eclipse.ocl.examples.pivot.
Import
org.eclipse.ocl.examples.pivot.
Namespace
(also extends org.eclipse.ocl.examples.domain.elements.
DomainNamespace
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Type
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Package
(also extends org.eclipse.ocl.examples.domain.elements.
DomainPackage
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Library
org.eclipse.ocl.examples.pivot.
Profile
org.eclipse.ocl.examples.pivot.
Region
org.eclipse.ocl.examples.pivot.
Root
(also extends org.eclipse.ocl.examples.domain.elements.
DomainRoot
)
org.eclipse.ocl.examples.pivot.
State
(also extends org.eclipse.ocl.examples.pivot.
Vertex
)
org.eclipse.ocl.examples.pivot.
FinalState
org.eclipse.ocl.examples.pivot.
Transition
org.eclipse.ocl.examples.pivot.
Precedence
org.eclipse.ocl.examples.pivot.
SendSignalAction
org.eclipse.ocl.examples.pivot.
Signal
org.eclipse.ocl.examples.pivot.
Trigger
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.domain.elements.
DomainType
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
TypedElement
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTypedElement
)
org.eclipse.ocl.examples.pivot.
CollectionLiteralPart
org.eclipse.ocl.examples.pivot.
CollectionItem
org.eclipse.ocl.examples.pivot.
CollectionRange
org.eclipse.ocl.examples.pivot.
ConstructorPart
org.eclipse.ocl.examples.pivot.
OCLExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
CallExp
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCallExp
)
org.eclipse.ocl.examples.pivot.
FeatureCallExp
org.eclipse.ocl.examples.pivot.
NavigationCallExp
org.eclipse.ocl.examples.pivot.
AssociationClassCallExp
org.eclipse.ocl.examples.pivot.
OppositePropertyCallExp
org.eclipse.ocl.examples.pivot.
PropertyCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OperationCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
LoopExp
org.eclipse.ocl.examples.pivot.
IterateExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
IteratorExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
ConstructorExp
org.eclipse.ocl.examples.pivot.
IfExp
org.eclipse.ocl.examples.pivot.
LetExp
org.eclipse.ocl.examples.pivot.
LiteralExp
org.eclipse.ocl.examples.pivot.
CollectionLiteralExp
org.eclipse.ocl.examples.pivot.
EnumLiteralExp
org.eclipse.ocl.examples.pivot.
InvalidLiteralExp
org.eclipse.ocl.examples.pivot.
PrimitiveLiteralExp
org.eclipse.ocl.examples.pivot.
BooleanLiteralExp
org.eclipse.ocl.examples.pivot.
NullLiteralExp
org.eclipse.ocl.examples.pivot.
NumericLiteralExp
org.eclipse.ocl.examples.pivot.
IntegerLiteralExp
org.eclipse.ocl.examples.pivot.
RealLiteralExp
org.eclipse.ocl.examples.pivot.
UnlimitedNaturalLiteralExp
org.eclipse.ocl.examples.pivot.
StringLiteralExp
org.eclipse.ocl.examples.pivot.
TupleLiteralExp
org.eclipse.ocl.examples.pivot.
MessageExp
org.eclipse.ocl.examples.pivot.
StateExp
org.eclipse.ocl.examples.pivot.
TypeExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
UnspecifiedValueExp
org.eclipse.ocl.examples.pivot.
VariableExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
org.eclipse.ocl.examples.pivot.
Feature
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Property
(also extends org.eclipse.ocl.examples.domain.elements.
DomainProperty
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
VariableDeclaration
)
org.eclipse.ocl.examples.pivot.
ValueSpecification
(also extends org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
OpaqueExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
ExpressionInOCL
org.eclipse.ocl.examples.pivot.
VariableDeclaration
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
)
org.eclipse.ocl.examples.pivot.
TupleLiteralPart
org.eclipse.ocl.examples.pivot.
Variable
org.eclipse.ocl.examples.pivot.
Vertex
org.eclipse.ocl.examples.pivot.
ConnectionPointReference
org.eclipse.ocl.examples.pivot.
Pseudostate
org.eclipse.ocl.examples.pivot.
State
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
FinalState
org.eclipse.ocl.examples.pivot.
NamedElement
(also extends org.eclipse.ocl.examples.domain.elements.
DomainNamedElement
, org.eclipse.ocl.examples.pivot.
Element
)
org.eclipse.ocl.examples.pivot.
Annotation
org.eclipse.ocl.examples.pivot.
CallOperationAction
org.eclipse.ocl.examples.pivot.
Constraint
(also extends org.eclipse.ocl.examples.domain.elements.
DomainConstraint
)
org.eclipse.ocl.examples.pivot.
Detail
org.eclipse.ocl.examples.pivot.
EnumerationLiteral
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumerationLiteral
)
org.eclipse.ocl.examples.pivot.
Import
org.eclipse.ocl.examples.pivot.
Namespace
(also extends org.eclipse.ocl.examples.domain.elements.
DomainNamespace
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Type
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Package
(also extends org.eclipse.ocl.examples.domain.elements.
DomainPackage
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Library
org.eclipse.ocl.examples.pivot.
Profile
org.eclipse.ocl.examples.pivot.
Region
org.eclipse.ocl.examples.pivot.
Root
(also extends org.eclipse.ocl.examples.domain.elements.
DomainRoot
)
org.eclipse.ocl.examples.pivot.
State
(also extends org.eclipse.ocl.examples.pivot.
Vertex
)
org.eclipse.ocl.examples.pivot.
FinalState
org.eclipse.ocl.examples.pivot.
Transition
org.eclipse.ocl.examples.pivot.
Precedence
org.eclipse.ocl.examples.pivot.
SendSignalAction
org.eclipse.ocl.examples.pivot.
Signal
org.eclipse.ocl.examples.pivot.
Trigger
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.domain.elements.
DomainType
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
TypedElement
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTypedElement
)
org.eclipse.ocl.examples.pivot.
CollectionLiteralPart
org.eclipse.ocl.examples.pivot.
CollectionItem
org.eclipse.ocl.examples.pivot.
CollectionRange
org.eclipse.ocl.examples.pivot.
ConstructorPart
org.eclipse.ocl.examples.pivot.
OCLExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
CallExp
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCallExp
)
org.eclipse.ocl.examples.pivot.
FeatureCallExp
org.eclipse.ocl.examples.pivot.
NavigationCallExp
org.eclipse.ocl.examples.pivot.
AssociationClassCallExp
org.eclipse.ocl.examples.pivot.
OppositePropertyCallExp
org.eclipse.ocl.examples.pivot.
PropertyCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OperationCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
LoopExp
org.eclipse.ocl.examples.pivot.
IterateExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
IteratorExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
ConstructorExp
org.eclipse.ocl.examples.pivot.
IfExp
org.eclipse.ocl.examples.pivot.
LetExp
org.eclipse.ocl.examples.pivot.
LiteralExp
org.eclipse.ocl.examples.pivot.
CollectionLiteralExp
org.eclipse.ocl.examples.pivot.
EnumLiteralExp
org.eclipse.ocl.examples.pivot.
InvalidLiteralExp
org.eclipse.ocl.examples.pivot.
PrimitiveLiteralExp
org.eclipse.ocl.examples.pivot.
BooleanLiteralExp
org.eclipse.ocl.examples.pivot.
NullLiteralExp
org.eclipse.ocl.examples.pivot.
NumericLiteralExp
org.eclipse.ocl.examples.pivot.
IntegerLiteralExp
org.eclipse.ocl.examples.pivot.
RealLiteralExp
org.eclipse.ocl.examples.pivot.
UnlimitedNaturalLiteralExp
org.eclipse.ocl.examples.pivot.
StringLiteralExp
org.eclipse.ocl.examples.pivot.
TupleLiteralExp
org.eclipse.ocl.examples.pivot.
MessageExp
org.eclipse.ocl.examples.pivot.
StateExp
org.eclipse.ocl.examples.pivot.
TypeExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
UnspecifiedValueExp
org.eclipse.ocl.examples.pivot.
VariableExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
org.eclipse.ocl.examples.pivot.
Feature
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Property
(also extends org.eclipse.ocl.examples.domain.elements.
DomainProperty
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
VariableDeclaration
)
org.eclipse.ocl.examples.pivot.
ValueSpecification
(also extends org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
OpaqueExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
ExpressionInOCL
org.eclipse.ocl.examples.pivot.
VariableDeclaration
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
)
org.eclipse.ocl.examples.pivot.
TupleLiteralPart
org.eclipse.ocl.examples.pivot.
Variable
org.eclipse.ocl.examples.pivot.
Vertex
org.eclipse.ocl.examples.pivot.
ConnectionPointReference
org.eclipse.ocl.examples.pivot.
Pseudostate
org.eclipse.ocl.examples.pivot.
State
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
FinalState
org.eclipse.emf.common.notify.Notifier
org.eclipse.emf.ecore.EObject
org.eclipse.emf.ecore.EModelElement
org.eclipse.emf.ecore.EFactory
org.eclipse.ocl.examples.pivot.
PivotFactory
org.eclipse.emf.ecore.ENamedElement
org.eclipse.emf.ecore.EPackage
org.eclipse.ocl.examples.pivot.
PivotPackage
org.eclipse.ocl.examples.pivot.utilities.
PivotObject
org.eclipse.ocl.examples.pivot.
Element
(also extends org.eclipse.ocl.examples.domain.elements.
DomainElement
, org.eclipse.ocl.examples.pivot.util.
Visitable
)
org.eclipse.ocl.examples.pivot.
Comment
org.eclipse.ocl.examples.pivot.
DynamicElement
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
Type
)
org.eclipse.ocl.examples.pivot.
DynamicProperty
org.eclipse.ocl.examples.pivot.
NamedElement
(also extends org.eclipse.ocl.examples.domain.elements.
DomainNamedElement
, org.eclipse.ocl.examples.domain.elements.
Nameable
)
org.eclipse.ocl.examples.pivot.
Annotation
org.eclipse.ocl.examples.pivot.
CallOperationAction
org.eclipse.ocl.examples.pivot.
Constraint
(also extends org.eclipse.ocl.examples.domain.elements.
DomainConstraint
)
org.eclipse.ocl.examples.pivot.
Detail
org.eclipse.ocl.examples.pivot.
EnumerationLiteral
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumerationLiteral
)
org.eclipse.ocl.examples.pivot.
Import
org.eclipse.ocl.examples.pivot.
Namespace
(also extends org.eclipse.ocl.examples.domain.elements.
DomainNamespace
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Type
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Package
(also extends org.eclipse.ocl.examples.domain.elements.
DomainPackage
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Library
org.eclipse.ocl.examples.pivot.
Profile
org.eclipse.ocl.examples.pivot.
Region
org.eclipse.ocl.examples.pivot.
Root
(also extends org.eclipse.ocl.examples.domain.elements.
DomainRoot
)
org.eclipse.ocl.examples.pivot.
State
(also extends org.eclipse.ocl.examples.pivot.
Vertex
)
org.eclipse.ocl.examples.pivot.
FinalState
org.eclipse.ocl.examples.pivot.
Transition
org.eclipse.ocl.examples.pivot.
Precedence
org.eclipse.ocl.examples.pivot.
SendSignalAction
org.eclipse.ocl.examples.pivot.
Signal
org.eclipse.ocl.examples.pivot.
Trigger
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.domain.elements.
DomainType
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
TypedElement
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTypedElement
)
org.eclipse.ocl.examples.pivot.
CollectionLiteralPart
org.eclipse.ocl.examples.pivot.
CollectionItem
org.eclipse.ocl.examples.pivot.
CollectionRange
org.eclipse.ocl.examples.pivot.
ConstructorPart
org.eclipse.ocl.examples.pivot.
OCLExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
CallExp
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCallExp
)
org.eclipse.ocl.examples.pivot.
FeatureCallExp
org.eclipse.ocl.examples.pivot.
NavigationCallExp
org.eclipse.ocl.examples.pivot.
AssociationClassCallExp
org.eclipse.ocl.examples.pivot.
OppositePropertyCallExp
org.eclipse.ocl.examples.pivot.
PropertyCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OperationCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
LoopExp
org.eclipse.ocl.examples.pivot.
IterateExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
IteratorExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
ConstructorExp
org.eclipse.ocl.examples.pivot.
IfExp
org.eclipse.ocl.examples.pivot.
LetExp
org.eclipse.ocl.examples.pivot.
LiteralExp
org.eclipse.ocl.examples.pivot.
CollectionLiteralExp
org.eclipse.ocl.examples.pivot.
EnumLiteralExp
org.eclipse.ocl.examples.pivot.
InvalidLiteralExp
org.eclipse.ocl.examples.pivot.
PrimitiveLiteralExp
org.eclipse.ocl.examples.pivot.
BooleanLiteralExp
org.eclipse.ocl.examples.pivot.
NullLiteralExp
org.eclipse.ocl.examples.pivot.
NumericLiteralExp
org.eclipse.ocl.examples.pivot.
IntegerLiteralExp
org.eclipse.ocl.examples.pivot.
RealLiteralExp
org.eclipse.ocl.examples.pivot.
UnlimitedNaturalLiteralExp
org.eclipse.ocl.examples.pivot.
StringLiteralExp
org.eclipse.ocl.examples.pivot.
TupleLiteralExp
org.eclipse.ocl.examples.pivot.
MessageExp
org.eclipse.ocl.examples.pivot.
StateExp
org.eclipse.ocl.examples.pivot.
TypeExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
UnspecifiedValueExp
org.eclipse.ocl.examples.pivot.
VariableExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
org.eclipse.ocl.examples.pivot.
Feature
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Property
(also extends org.eclipse.ocl.examples.domain.elements.
DomainProperty
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
VariableDeclaration
)
org.eclipse.ocl.examples.pivot.
ValueSpecification
(also extends org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
OpaqueExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
ExpressionInOCL
org.eclipse.ocl.examples.pivot.
VariableDeclaration
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
)
org.eclipse.ocl.examples.pivot.
TupleLiteralPart
org.eclipse.ocl.examples.pivot.
Variable
org.eclipse.ocl.examples.pivot.
Vertex
org.eclipse.ocl.examples.pivot.
ConnectionPointReference
org.eclipse.ocl.examples.pivot.
Pseudostate
org.eclipse.ocl.examples.pivot.
State
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
FinalState
org.eclipse.ocl.examples.pivot.
ParameterableElement
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
PackageableElement
org.eclipse.ocl.examples.pivot.
Property
(also extends org.eclipse.ocl.examples.domain.elements.
DomainProperty
, org.eclipse.ocl.examples.pivot.
Feature
)
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.domain.elements.
DomainType
, org.eclipse.ocl.examples.pivot.
NamedElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
ValueSpecification
(also extends org.eclipse.ocl.examples.pivot.
TypedElement
)
org.eclipse.ocl.examples.pivot.
OpaqueExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
ExpressionInOCL
org.eclipse.ocl.examples.pivot.
ProfileApplication
org.eclipse.ocl.examples.pivot.
TemplateableElement
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Package
(also extends org.eclipse.ocl.examples.domain.elements.
DomainPackage
, org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
Library
org.eclipse.ocl.examples.pivot.
Profile
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.domain.elements.
DomainType
, org.eclipse.ocl.examples.pivot.
NamedElement
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
TemplateBinding
org.eclipse.ocl.examples.pivot.
TemplateParameter
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTemplateParameter
)
org.eclipse.ocl.examples.pivot.
OperationTemplateParameter
org.eclipse.ocl.examples.pivot.
TypeTemplateParameter
org.eclipse.ocl.examples.pivot.
TemplateParameterSubstitution
org.eclipse.ocl.examples.pivot.
TemplateSignature
org.eclipse.ocl.examples.pivot.
TypeExtension
org.eclipse.ocl.examples.pivot.
ReferringElement
org.eclipse.ocl.examples.pivot.
IterateExp
(also extends org.eclipse.ocl.examples.pivot.
LoopExp
)
org.eclipse.ocl.examples.pivot.
IteratorExp
(also extends org.eclipse.ocl.examples.pivot.
LoopExp
)
org.eclipse.ocl.examples.pivot.
OperationCallExp
(also extends org.eclipse.ocl.examples.pivot.
FeatureCallExp
)
org.eclipse.ocl.examples.pivot.
PropertyCallExp
(also extends org.eclipse.ocl.examples.pivot.
NavigationCallExp
)
org.eclipse.ocl.examples.pivot.
TypeExp
(also extends org.eclipse.ocl.examples.pivot.
OCLExpression
)
org.eclipse.ocl.examples.pivot.
VariableExp
(also extends org.eclipse.ocl.examples.pivot.
OCLExpression
)
org.eclipse.ocl.examples.domain.values.
OCLValue
org.eclipse.ocl.examples.domain.elements.
DomainType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainNamespace
)
org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.pivot.
DataType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.pivot.
DataType
)
org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.pivot.
DataType
)
org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.pivot.
Class
)
org.eclipse.ocl.examples.domain.elements.
DomainTupleType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.pivot.
DataType
)
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.pivot.
NamedElement
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
PivotConstants
org.eclipse.ocl.examples.pivot.
PivotPackage.Literals
org.eclipse.ocl.examples.pivot.
ProblemAware
org.eclipse.ocl.examples.pivot.
ProblemHandler
org.eclipse.ocl.examples.pivot.
Query
org.eclipse.ocl.examples.pivot.
UMLReflection
org.eclipse.ocl.examples.pivot.util.
Visitable
org.eclipse.ocl.examples.pivot.
Element
(also extends org.eclipse.ocl.examples.domain.elements.
DomainElement
, org.eclipse.ocl.examples.pivot.utilities.
PivotObject
)
org.eclipse.ocl.examples.pivot.
Comment
org.eclipse.ocl.examples.pivot.
DynamicElement
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
Type
)
org.eclipse.ocl.examples.pivot.
DynamicProperty
org.eclipse.ocl.examples.pivot.
NamedElement
(also extends org.eclipse.ocl.examples.domain.elements.
DomainNamedElement
, org.eclipse.ocl.examples.domain.elements.
Nameable
)
org.eclipse.ocl.examples.pivot.
Annotation
org.eclipse.ocl.examples.pivot.
CallOperationAction
org.eclipse.ocl.examples.pivot.
Constraint
(also extends org.eclipse.ocl.examples.domain.elements.
DomainConstraint
)
org.eclipse.ocl.examples.pivot.
Detail
org.eclipse.ocl.examples.pivot.
EnumerationLiteral
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumerationLiteral
)
org.eclipse.ocl.examples.pivot.
Import
org.eclipse.ocl.examples.pivot.
Namespace
(also extends org.eclipse.ocl.examples.domain.elements.
DomainNamespace
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Type
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Package
(also extends org.eclipse.ocl.examples.domain.elements.
DomainPackage
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Library
org.eclipse.ocl.examples.pivot.
Profile
org.eclipse.ocl.examples.pivot.
Region
org.eclipse.ocl.examples.pivot.
Root
(also extends org.eclipse.ocl.examples.domain.elements.
DomainRoot
)
org.eclipse.ocl.examples.pivot.
State
(also extends org.eclipse.ocl.examples.pivot.
Vertex
)
org.eclipse.ocl.examples.pivot.
FinalState
org.eclipse.ocl.examples.pivot.
Transition
org.eclipse.ocl.examples.pivot.
Precedence
org.eclipse.ocl.examples.pivot.
SendSignalAction
org.eclipse.ocl.examples.pivot.
Signal
org.eclipse.ocl.examples.pivot.
Trigger
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.domain.elements.
DomainType
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
TypedElement
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTypedElement
)
org.eclipse.ocl.examples.pivot.
CollectionLiteralPart
org.eclipse.ocl.examples.pivot.
CollectionItem
org.eclipse.ocl.examples.pivot.
CollectionRange
org.eclipse.ocl.examples.pivot.
ConstructorPart
org.eclipse.ocl.examples.pivot.
OCLExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
CallExp
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCallExp
)
org.eclipse.ocl.examples.pivot.
FeatureCallExp
org.eclipse.ocl.examples.pivot.
NavigationCallExp
org.eclipse.ocl.examples.pivot.
AssociationClassCallExp
org.eclipse.ocl.examples.pivot.
OppositePropertyCallExp
org.eclipse.ocl.examples.pivot.
PropertyCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
OperationCallExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
LoopExp
org.eclipse.ocl.examples.pivot.
IterateExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
IteratorExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
ConstructorExp
org.eclipse.ocl.examples.pivot.
IfExp
org.eclipse.ocl.examples.pivot.
LetExp
org.eclipse.ocl.examples.pivot.
LiteralExp
org.eclipse.ocl.examples.pivot.
CollectionLiteralExp
org.eclipse.ocl.examples.pivot.
EnumLiteralExp
org.eclipse.ocl.examples.pivot.
InvalidLiteralExp
org.eclipse.ocl.examples.pivot.
PrimitiveLiteralExp
org.eclipse.ocl.examples.pivot.
BooleanLiteralExp
org.eclipse.ocl.examples.pivot.
NullLiteralExp
org.eclipse.ocl.examples.pivot.
NumericLiteralExp
org.eclipse.ocl.examples.pivot.
IntegerLiteralExp
org.eclipse.ocl.examples.pivot.
RealLiteralExp
org.eclipse.ocl.examples.pivot.
UnlimitedNaturalLiteralExp
org.eclipse.ocl.examples.pivot.
StringLiteralExp
org.eclipse.ocl.examples.pivot.
TupleLiteralExp
org.eclipse.ocl.examples.pivot.
MessageExp
org.eclipse.ocl.examples.pivot.
StateExp
org.eclipse.ocl.examples.pivot.
TypeExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
UnspecifiedValueExp
org.eclipse.ocl.examples.pivot.
VariableExp
(also extends org.eclipse.ocl.examples.pivot.
ReferringElement
)
org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
org.eclipse.ocl.examples.pivot.
Feature
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
ParameterableElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Property
(also extends org.eclipse.ocl.examples.domain.elements.
DomainProperty
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
VariableDeclaration
)
org.eclipse.ocl.examples.pivot.
ValueSpecification
(also extends org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
OpaqueExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
ExpressionInOCL
org.eclipse.ocl.examples.pivot.
VariableDeclaration
org.eclipse.ocl.examples.pivot.
Parameter
(also extends org.eclipse.ocl.examples.pivot.
TypedMultiplicityElement
)
org.eclipse.ocl.examples.pivot.
TupleLiteralPart
org.eclipse.ocl.examples.pivot.
Variable
org.eclipse.ocl.examples.pivot.
Vertex
org.eclipse.ocl.examples.pivot.
ConnectionPointReference
org.eclipse.ocl.examples.pivot.
Pseudostate
org.eclipse.ocl.examples.pivot.
State
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
FinalState
org.eclipse.ocl.examples.pivot.
ParameterableElement
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
PackageableElement
org.eclipse.ocl.examples.pivot.
Property
(also extends org.eclipse.ocl.examples.domain.elements.
DomainProperty
, org.eclipse.ocl.examples.pivot.
Feature
)
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.domain.elements.
DomainType
, org.eclipse.ocl.examples.pivot.
NamedElement
, org.eclipse.ocl.examples.pivot.
TemplateableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
ValueSpecification
(also extends org.eclipse.ocl.examples.pivot.
TypedElement
)
org.eclipse.ocl.examples.pivot.
OpaqueExpression
(also extends org.eclipse.ocl.examples.domain.elements.
DomainExpression
)
org.eclipse.ocl.examples.pivot.
ExpressionInOCL
org.eclipse.ocl.examples.pivot.
ProfileApplication
org.eclipse.ocl.examples.pivot.
TemplateableElement
org.eclipse.ocl.examples.pivot.
Operation
(also extends org.eclipse.ocl.examples.domain.elements.
DomainOperation
, org.eclipse.ocl.examples.pivot.
Feature
, org.eclipse.ocl.examples.pivot.
Namespace
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
Iteration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainIteration
)
org.eclipse.ocl.examples.pivot.
Package
(also extends org.eclipse.ocl.examples.domain.elements.
DomainPackage
, org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
Library
org.eclipse.ocl.examples.pivot.
Profile
org.eclipse.ocl.examples.pivot.
Type
(also extends org.eclipse.ocl.examples.domain.elements.
DomainType
, org.eclipse.ocl.examples.pivot.
NamedElement
, org.eclipse.ocl.examples.pivot.
ParameterableElement
)
org.eclipse.ocl.examples.pivot.
Class
(also extends org.eclipse.ocl.examples.pivot.
Namespace
)
org.eclipse.ocl.examples.pivot.
AnyType
org.eclipse.ocl.examples.pivot.
AssociationClass
org.eclipse.ocl.examples.pivot.
Behavior
org.eclipse.ocl.examples.pivot.
StateMachine
org.eclipse.ocl.examples.pivot.
DataType
org.eclipse.ocl.examples.pivot.
CollectionType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainCollectionType
)
org.eclipse.ocl.examples.pivot.
BagType
org.eclipse.ocl.examples.pivot.
OrderedSetType
org.eclipse.ocl.examples.pivot.
SequenceType
org.eclipse.ocl.examples.pivot.
SetType
org.eclipse.ocl.examples.pivot.
Enumeration
(also extends org.eclipse.ocl.examples.domain.elements.
DomainEnumeration
)
org.eclipse.ocl.examples.pivot.
LambdaType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainLambdaType
)
org.eclipse.ocl.examples.pivot.
PrimitiveType
org.eclipse.ocl.examples.pivot.
TupleType
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTupleType
)
org.eclipse.ocl.examples.pivot.
InvalidType
org.eclipse.ocl.examples.pivot.
Metaclass
<T> (also extends org.eclipse.ocl.examples.domain.elements.
DomainMetaclass
)
org.eclipse.ocl.examples.pivot.
SelfType
org.eclipse.ocl.examples.pivot.
Stereotype
org.eclipse.ocl.examples.pivot.
UnspecifiedType
org.eclipse.ocl.examples.pivot.
VoidType
org.eclipse.ocl.examples.pivot.
DynamicType
(also extends org.eclipse.ocl.examples.pivot.
DynamicElement
)
org.eclipse.ocl.examples.pivot.
ElementExtension
org.eclipse.ocl.examples.pivot.
MessageType
org.eclipse.ocl.examples.pivot.
TemplateParameterType
org.eclipse.ocl.examples.pivot.
TemplateBinding
org.eclipse.ocl.examples.pivot.
TemplateParameter
(also extends org.eclipse.ocl.examples.domain.elements.
DomainTemplateParameter
)
org.eclipse.ocl.examples.pivot.
OperationTemplateParameter
org.eclipse.ocl.examples.pivot.
TypeTemplateParameter
org.eclipse.ocl.examples.pivot.
TemplateParameterSubstitution
org.eclipse.ocl.examples.pivot.
TemplateSignature
org.eclipse.ocl.examples.pivot.
TypeExtension
Enum Hierarchy
java.lang.Object
java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
org.eclipse.ocl.examples.pivot.
AssociationKind
(implements org.eclipse.emf.common.util.Enumerator)
org.eclipse.ocl.examples.pivot.
AssociativityKind
(implements org.eclipse.emf.common.util.Enumerator)
org.eclipse.ocl.examples.pivot.
TransitionKind
(implements org.eclipse.emf.common.util.Enumerator)
org.eclipse.ocl.examples.pivot.
CollectionKind
(implements org.eclipse.emf.common.util.Enumerator)
org.eclipse.ocl.examples.pivot.
ProblemHandler.Severity
org.eclipse.ocl.examples.pivot.
PseudostateKind
(implements org.eclipse.emf.common.util.Enumerator)
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV
NEXT
FRAMES
NO FRAMES
All Classes