- getName
- getTranslation
This constraint's translation for the argument languange.
- isBodyExpression
True if this constraint denotes a body expression.
For example:
context CustomerCard:getT
- isDefinition
True if this constraint denotes a definition.
For example:
context CustomerCard
def: ge
- isInvariant
True if this constraint denotes an invariant.
For example:
context LivingAnimal
inv: al
- isPostCondition
True if this constraint denotes a postcondition.
For example:
context LivingAnimal::getNu
- isPreCondition
True if this constraint denotes a precondition.
For example:
context LivingAnimal::canFly
- getContextElement
Gets the model element to which the constraint applies (i.e. is the context
of).