Action language Metamodel

blocklibrary::constraints::action package

Progress/action.png

ActionBlock

Meta properties

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

References

elements is containment for ActionBlockElement [1..*]

ActionBlockElement

Meta properties

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

References

expression is containment for ActionExpression [0..1]

localVariable is containment for LocalVariable [0..1]

ActionExpression

Meta properties

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

VariableAssignmentExp

Meta properties

Attributes

ghost: EBoolean [0..1]

References

assignedVariable is reference to VariableReferencePivot [1..1]

exp is containment for ActionExpression [1..1]

OperatorCallExp

Meta properties

Attributes

operationName: EString [0..1]

References

source is containment for ActionExpression [0..1]

BoolOpCallExp

Meta properties

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

LocalVariable

Meta properties

Attributes

name: EString [1..1]

References

init is containment for ActionExpression [0..1]

BLModelElementExp

Meta properties

References

elem is reference to Element [1..1]

VariableExp

Meta properties

References

referredVariable is reference to VariableReferencePivot [0..1]

referredDefinition is reference to Annotation [0..1]

ParenthesisExp

Meta properties

References

exp is containment for ActionExpression [1..1]

ITEExpression

Meta properties

References

condition is containment for ActionExpression [1..1]

then is containment for ActionBlock [1..1]

else is containment for ActionBlock [0..1]

ForExpression

Meta properties

References

iter is containment for LocalVariable [1..1]

condition is containment for ActionExpression [1..1]

update is containment for ActionExpression [1..1]

block is containment for ActionBlock [1..1]

WhileExpression

Meta properties

References

condition is containment for ActionExpression [1..1]

block is containment for ActionBlock [1..1]

StringExp

Meta properties

Attributes

stringSymbol: EString [0..1]

NumericExp

Meta properties

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.

BooleanExp

Meta properties

Attributes

booleanSymbol: EString [0..1]

EnumLiteralExp

Meta properties

References

litValue is reference to LiteralExpression [0..1]

PropertyCallExp

Meta properties

References

calls is containment for PropertyCall [0..*]

OperationCall

Meta properties

Attributes

operationName: EString [0..1]

References

arguments is containment for ActionExpression [0..*]

PropertyCall

Meta properties

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

AttributeCall

Meta properties

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

Attributes

name: EString [1..1]

SquareBracketCall

Meta properties

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

References

exp is containment for ActionExpression [0..1]