public interface Constraint extends NamedElement
The following features are supported:
PivotPackage.getConstraint()
Modifier and Type | Method and Description |
---|---|
java.util.List<Element> |
getConstrainedElements()
Returns the value of the 'Constrained Elements' reference list.
|
Namespace |
getContext()
Returns the value of the 'Context' reference.
|
LanguageExpression |
getOwnedSpecification()
Returns the value of the 'Owned Specification' containment reference.
|
Operation |
getOwningPostContext()
Returns the value of the 'Owning Post Context' container reference.
|
Operation |
getOwningPreContext()
Returns the value of the 'Owning Pre Context' container reference.
|
State |
getOwningState()
Returns the value of the 'Owning State' container reference.
|
Transition |
getOwningTransition()
Returns the value of the 'Owning Transition' container reference.
|
java.util.List<Constraint> |
getRedefinedConstraints()
Returns the value of the 'Redefined Constraints' reference list.
|
boolean |
isIsCallable()
Returns the value of the 'Is Callable' attribute.
|
void |
setIsCallable(boolean value)
Sets the value of the '
Is Callable ' attribute. |
void |
setOwnedSpecification(LanguageExpression value)
Sets the value of the '
Owned Specification ' containment reference. |
void |
setOwningPostContext(Operation value)
Sets the value of the '
Owning Post Context ' container reference. |
void |
setOwningPreContext(Operation value)
Sets the value of the '
Owning Pre Context ' container reference. |
void |
setOwningState(State value)
Sets the value of the '
Owning State ' container reference. |
void |
setOwningTransition(Transition value)
Sets the value of the '
Owning Transition ' container reference. |
boolean |
validateUniqueName(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
getName, setName
accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
@NonNull java.util.List<Element> getConstrainedElements()
Element
.
The ordered set of Elements referenced by this Constraint.
PivotPackage.getConstraint_ConstrainedElements()
LanguageExpression getOwnedSpecification()
Owning Constraint
'.
A condition that must be true when evaluated in order for the Constraint to be satisfied.
setOwnedSpecification(LanguageExpression)
,
PivotPackage.getConstraint_OwnedSpecification()
,
LanguageExpression.getOwningConstraint()
void setOwnedSpecification(LanguageExpression value)
Owned Specification
' containment reference.
value
- the new value of the 'Owned Specification' containment reference.getOwnedSpecification()
Operation getOwningPostContext()
Owned Postconditions
'.
If the meaning of the 'Owning Post Context' container reference isn't clear, there really should be more of a description here...
setOwningPostContext(Operation)
,
PivotPackage.getConstraint_OwningPostContext()
,
Operation.getOwnedPostconditions()
void setOwningPostContext(Operation value)
Owning Post Context
' container reference.
value
- the new value of the 'Owning Post Context' container reference.getOwningPostContext()
Operation getOwningPreContext()
Owned Preconditions
'.
If the meaning of the 'Owning Pre Context' container reference isn't clear, there really should be more of a description here...
setOwningPreContext(Operation)
,
PivotPackage.getConstraint_OwningPreContext()
,
Operation.getOwnedPreconditions()
void setOwningPreContext(Operation value)
Owning Pre Context
' container reference.
value
- the new value of the 'Owning Pre Context' container reference.getOwningPreContext()
Namespace getContext()
If the meaning of the 'Context' reference isn't clear, there really should be more of a description here...
PivotPackage.getConstraint_Context()
boolean isIsCallable()
"false"
.
If the meaning of the 'Is Callable' attribute isn't clear, there really should be more of a description here...
setIsCallable(boolean)
,
PivotPackage.getConstraint_IsCallable()
void setIsCallable(boolean value)
Is Callable
' attribute.
value
- the new value of the 'Is Callable' attribute.isIsCallable()
State getOwningState()
Owned State Invariant
'.
If the meaning of the 'Owning State' container reference isn't clear, there really should be more of a description here...
setOwningState(State)
,
PivotPackage.getConstraint_OwningState()
,
State.getOwnedStateInvariant()
void setOwningState(State value)
Owning State
' container reference.
value
- the new value of the 'Owning State' container reference.getOwningState()
Transition getOwningTransition()
Owned Guard
'.
If the meaning of the 'Owning Transition' container reference isn't clear, there really should be more of a description here...
setOwningTransition(Transition)
,
PivotPackage.getConstraint_OwningTransition()
,
Transition.getOwnedGuard()
void setOwningTransition(Transition value)
Owning Transition
' container reference.
value
- the new value of the 'Owning Transition' container reference.getOwningTransition()
java.util.List<Constraint> getRedefinedConstraints()
Constraint
.
If the meaning of the 'Redefined Constraints' reference list isn't clear, there really should be more of a description here...
PivotPackage.getConstraint_RedefinedConstraints()
boolean validateUniqueName(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)