|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Constraint
A representation of the model object 'Constraint'.
PivotPackage.getConstraint()
The following features are supported:
Method Summary | |
---|---|
java.util.List<Element> |
getConstrainedElement()
Returns the value of the 'Constrained Element' reference list. |
Namespace |
getContext()
Returns the value of the 'Context' reference. |
State |
getOwningState()
Returns the value of the 'Owning State' container reference. |
java.util.List<Constraint> |
getRedefinedConstraint()
Returns the value of the 'Redefined Constraint' reference list. |
OpaqueExpression |
getSpecification()
Returns the value of the 'Specification' containment reference. |
Transition |
getTransition()
Returns the value of the 'Transition' container reference. |
boolean |
isCallable()
Returns the value of the 'Is Callable' attribute. |
void |
setIsCallable(boolean value)
Sets the value of the ' Is Callable ' attribute. |
void |
setOwningState(State value)
Sets the value of the ' Owning State ' container reference. |
void |
setSpecification(OpaqueExpression value)
Sets the value of the ' Specification ' containment reference. |
void |
setTransition(Transition value)
Sets the value of the ' Transition ' container reference. |
boolean |
validateUniqueName(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
|
Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement |
---|
getName, isStatic, setIsStatic, setName |
Methods inherited from interface org.eclipse.ocl.examples.pivot.Element |
---|
allOwnedElements, getETarget, getExtension, getOwnedAnnotation, getOwnedComment, getValue |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
---|
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
---|
eAdapters, eDeliver, eNotify, eSetDeliver |
Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitable |
---|
accept, eClass |
Method Detail |
---|
java.util.List<Element> getConstrainedElement()
Element
.
The ordered set of Elements referenced by this Constraint.
PivotPackage.getConstraint_ConstrainedElement()
OpaqueExpression getSpecification()
getSpecification
in interface DomainConstraint
setSpecification(OpaqueExpression)
,
PivotPackage.getConstraint_Specification()
void setSpecification(OpaqueExpression value)
Specification
' containment reference.
value
- the new value of the 'Specification' containment reference.getSpecification()
Transition getTransition()
Guard
'.
If the meaning of the 'Transition' container reference isn't clear, there really should be more of a description here...
setTransition(Transition)
,
PivotPackage.getConstraint_Transition()
,
Transition.getGuard()
void setTransition(Transition value)
Transition
' container reference.
value
- the new value of the 'Transition' container reference.getTransition()
Namespace getContext()
If the meaning of the 'Context' reference isn't clear, there really should be more of a description here...
getContext
in interface DomainConstraint
PivotPackage.getConstraint_Context()
boolean isCallable()
"false"
.
If the meaning of the 'Is Callable' attribute isn't clear, there really should be more of a description here...
isCallable
in interface DomainConstraint
setIsCallable(boolean)
,
PivotPackage.getConstraint_IsCallable()
void setIsCallable(boolean value)
Is Callable
' attribute.
value
- the new value of the 'Is Callable' attribute.isCallable()
State getOwningState()
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.getStateInvariant()
void setOwningState(State value)
Owning State
' container reference.
value
- the new value of the 'Owning State' container reference.getOwningState()
java.util.List<Constraint> getRedefinedConstraint()
Constraint
.
If the meaning of the 'Redefined Constraint' reference list isn't clear, there really should be more of a description here...
PivotPackage.getConstraint_RedefinedConstraint()
boolean validateUniqueName(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |