OCL language metamodel

blocklibrary::constraints::ocl package

Progress/ocl.png

Module

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s):

Attributes

name: EString [0..1]

References

imports is containment for Import [0..*]

elements is containment for ModuleElement [0..*]

Import

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s):

Attributes

name: EString [0..1]

References

package is reference to EPackage [0..1]

ModuleElement

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s):

OclModuleElement

Meta properties

OclFeatureDefinition

Meta properties

References

feature is containment for EObject [0..1]

Attribute

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s):

Attributes

name: EString [0..1]

References

type is reference to DataType [0..1]

initExpression is containment for OclExpression [0..1]

Operation

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s):

Attributes

name: EString [0..1]

References

parameters is containment for ParameterExp [0..*]

returnType is reference to DataType [0..1]

body is containment for OclExpression [0..1]

ParameterExp

Meta properties

References

param is reference to OperationParameter [1..1]

OclInvariant

Meta properties

References

body is containment for OclExpression [0..1]

OclExpression

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s):

OclModelElementExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

References

elem is reference to Element [1..1]

OperatorCallExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

Attributes

operationName: EString [0..1]

References

source is containment for OclExpression [0..1]

PropertyCallExp

Meta properties

References

calls is containment for PropertyCall [0..*]

Auxiliary

Meta properties

Attributes

name: EString [0..1]

References

type is reference to DataType [0..1]

VariableExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

References

referredVariable is reference to VariableReferencePivot [0..1]

VariableDeclaration

Meta properties

Attributes

varName: EString [0..1]

SuperExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

SelfExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

StringExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

Attributes

stringSymbol: EString [0..1]

NumericExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

RealExp

Meta properties

Attributes

realSymbol: EDouble [0..1]

The value of this Real expression. The datatype of this attribute is String but only Integers String representation are accepted as a value.

IntegerExp

Meta properties

Attributes

integerSymbol: EInt [0..1]

The Integer value of this expression. The datatype of this attribute is String but only Integers String representation are accepted as a value.

CollectionExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

SimpleCollectionExp

Meta properties

References

elements is containment for OclExpression [0..*]

BagExp

Meta properties

OrderedSetExp

Meta properties

SequenceExp

Meta properties

SetExp

Meta properties

TupleExp

Meta properties

References

tuplePart is containment for TuplePart [0..*]

TuplePart

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s):

Attributes

varName: EString [0..1]

References

type is containment for DataType [0..1]

initExpression is containment for OclExpression [0..1]

MapExp

Meta properties

References

elements is containment for MapElement [0..*]

MapElement

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s):

References

key is containment for OclExpression [0..1]

value is containment for OclExpression [0..1]

EnumLiteralExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

References

litValue is reference to LiteralExpression [0..1]

OclUndefinedExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

LetExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

References

variable is containment for LocalVariable [0..1]

in_ is containment for OclExpression [0..1]

IfExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

References

condition is containment for OclExpression [0..1]

thenExpression is containment for OclExpression [0..1]

elseExpression is containment for OclExpression [0..1]

BraceExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

References

exp is containment for OclExpression [0..1]

BooleanExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

Attributes

booleanSymbol: EString [0..1]

PropertyCall

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s):

OperationCall

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): PropertyCall

Attributes

operationName: EString [0..1]

References

arguments is containment for OclExpression [0..*]

IterateExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): PropertyCall

References

iterators is containment for Iterator [0..*]

result is containment for LocalVariable [0..1]

body is containment for OclExpression [0..1]

Iterator

Meta properties

IteratorExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): PropertyCall

Attributes

name: EString [0..1]

References

iterators is containment for Iterator [0..*]

body is containment for OclExpression [0..1]

CollectionOperationCall

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): PropertyCall

Attributes

operationName: EString [0..1]

References

arguments is containment for OclExpression [0..*]

LocalVariable

Meta properties

References

initExpression is containment for OclExpression [0..1]

OclType

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): Element, DataType

CollectionType

Meta properties

BagType

Meta properties

OrderedSetType

Meta properties

SequenceType

Meta properties

SetType

Meta properties

Primitive

Meta properties

OclAnyType

Meta properties

TupleType

Meta properties

References

attributes is containment for TupleTypeAttribute [0..*]

TupleTypeAttribute

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s):

Attributes

name: EString [0..1]

References

type is containment for DataType [0..1]

OclModelElement

Meta properties

References

elem is reference to Element [1..1]

MapType

Meta properties

References

keyType is containment for DataType [0..1]

valueType is containment for DataType [0..1]

BoolOpCallExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

Attributes

operationName: EString [0..1]

References

source is containment for OperatorCallExp [0..1]

argument is containment for OperatorCallExp [0..1]

EqOpCallExp

Meta properties

References

argument is containment for OperatorCallExp [0..1]

RelOpCallExp

Meta properties

References

argument is containment for OperatorCallExp [0..1]

AddOpCallExp

Meta properties

References

argument is containment for OperatorCallExp [0..1]

MulOpCallExp

Meta properties

References

argument is containment for OperatorCallExp [0..1]

NotOpCallExp

Meta properties

DefinitionCallExp

Meta properties

  • Type: EClass
  • Abstract: false
  • Interface: false
  • Super type(s): OclExpression

References

annot is reference to Annotation [1..1]

arguments is containment for OclExpression [0..*]