org.andromda.metafacades.uml

Interface ConstraintFacade

All Superinterfaces:

ModelElementFacade

public interface ConstraintFacade
extends ModelElementFacade

Condition or restriction expressed in natural language text or in a machine readable language for the purpose of declaring some of the semantics of an element. Metafacade interface to be used by AndroMDA cartridges.

Method Summary

Methods

Modifier and Type	Method and Description
String	getBody() Gets the 'body' or text of this constraint.
ModelElementFacade	getContextElement() Gets the model element to which the constraint applies (i.e.
String	getTranslation(String language) This constraint's translation for the argument languange.
boolean	isBodyExpression() True if this constraint denotes a body expression.
boolean	isConstraintFacadeMetaType() Indicates the metafacade type (used for metafacade mappings).
boolean	isDefinition() True if this constraint denotes a definition.
boolean	isInvariant() True if this constraint denotes an invariant.
boolean	isPostCondition() True if this constraint denotes a postcondition.
boolean	isPreCondition() True if this constraint denotes a precondition.

Methods inherited from interface org.andromda.metafacades.uml.ModelElementFacade

copyTaggedValues, findTaggedValue, findTaggedValues, getBindedFullyQualifiedName, getConstraints, getConstraints, getDocumentation, getDocumentation, getDocumentation, getFullyQualifiedName, getFullyQualifiedName, getFullyQualifiedNamePath, getId, getKeywords, getLabel, getLanguageMappings, getModel, getName, getPackage, getPackageName, getPackageName, getPackagePath, getQualifiedName, getRootPackage, getSourceDependencies, getStateMachineContext, getStereotypeNames, getStereotypes, getTaggedValues, getTargetDependencies, getTemplateParameter, getTemplateParameters, getValidationName, getValidationOwner, getVisibility, hasExactStereotype, hasKeyword, hasStereotype, initialize, isBindingDependenciesPresent, isConstraintsPresent, isDocumentationPresent, isModelElementFacadeMetaType, isReservedWord, isTemplateParametersPresent, isValidIdentifierName, translateConstraint, translateConstraints, translateConstraints, validateInvariants

Method Detail

isConstraintFacadeMetaType

boolean isConstraintFacadeMetaType()

Indicates the metafacade type (used for metafacade mappings).

Returns:

boolean always true

getBody

String getBody()

Gets the 'body' or text of this constraint.

Returns:

String

getContextElement

ModelElementFacade getContextElement()

Gets the model element to which the constraint applies (i.e. is the context of).

Returns:

ModelElementFacade

getTranslation

String getTranslation(String language)

This constraint's translation for the argument languange.

Parameters:

language - String

Returns:

String

isBodyExpression

boolean isBodyExpression()

True if this constraint denotes a body expression. For example:

 context CustomerCard:getTransaction(from:Date, until:Date)
 body: transactions->select(date.isAfter(from) and date.isBefore(until))
 

False otherwise.

Returns:

boolean

isDefinition

boolean isDefinition()

True if this constraint denotes a definition. For example:

 context CustomerCard
 def: getTotalPoints(d: date) : Integer = transaction->select(date.isAfter(d)).points->sum()
 

False otherwise.

Returns:

boolean

isInvariant

boolean isInvariant()

True if this constraint denotes an invariant. For example:

 context LivingAnimal
 inv: alive = true
 

False otherwise.

Returns:

boolean

isPostCondition

boolean isPostCondition()

True if this constraint denotes a postcondition. For example:

 context LivingAnimal::getNumberOfLegs()
 post: numberOfLegs >= 0
 

False otherwise.

Returns:

boolean

isPreCondition

boolean isPreCondition()

True if this constraint denotes a precondition. For example:

 context LivingAnimal::canFly()
 pre: hasWings = true
 

False otherwise.

Returns:

boolean