org.eclipse.ocl.examples.pivot
Interface Constraint

All Superinterfaces:

DomainConstraint, DomainElement, DomainNamedElement, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, PivotObject, Visitable

All Known Implementing Classes:

ConstraintImpl

public interface Constraint
extends NamedElement, DomainConstraint

A representation of the model object 'Constraint'.

See Also:

PivotPackage.getConstraint()

Generated

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

getConstrainedElement

java.util.List<Element> getConstrainedElement()

Returns the value of the 'Constrained Element' reference list. The list contents are of type Element. The ordered set of Elements referenced by this Constraint.

Returns:

the value of the 'Constrained Element' reference list.

See Also:

PivotPackage.getConstraint_ConstrainedElement()

Generated

getSpecification

OpaqueExpression getSpecification()

Returns the value of the 'Specification' containment reference. A condition that must be true when evaluated in order for the constraint to be satisfied.

Specified by:

getSpecification in interface DomainConstraint

Returns:

the value of the 'Specification' containment reference.

See Also:

setSpecification(OpaqueExpression), PivotPackage.getConstraint_Specification()

Generated

setSpecification

void setSpecification(OpaqueExpression value)

Sets the value of the 'Specification' containment reference.

Parameters:

value - the new value of the 'Specification' containment reference.

See Also:

getSpecification()

Generated

getTransition

Transition getTransition()

Returns the value of the 'Transition' container reference. It is bidirectional and its opposite is 'Guard'.

If the meaning of the 'Transition' container reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Transition' container reference.

See Also:

setTransition(Transition), PivotPackage.getConstraint_Transition(), Transition.getGuard()

Generated

setTransition

void setTransition(Transition value)

Sets the value of the 'Transition' container reference.

Parameters:

value - the new value of the 'Transition' container reference.

See Also:

getTransition()

Generated

getContext

Namespace getContext()

Returns the value of the 'Context' reference.

If the meaning of the 'Context' reference isn't clear, there really should be more of a description here...

Specified by:

getContext in interface DomainConstraint

Returns:

the value of the 'Context' reference.

See Also:

PivotPackage.getConstraint_Context()

Generated

isCallable

boolean isCallable()

Returns the value of the 'Is Callable' attribute. The default value is "false".

If the meaning of the 'Is Callable' attribute isn't clear, there really should be more of a description here...

Specified by:

isCallable in interface DomainConstraint

Returns:

the value of the 'Is Callable' attribute.

See Also:

setIsCallable(boolean), PivotPackage.getConstraint_IsCallable()

Generated

setIsCallable

void setIsCallable(boolean value)

Sets the value of the 'Is Callable' attribute.

Parameters:

value - the new value of the 'Is Callable' attribute.

See Also:

isCallable()

Generated

getOwningState

State getOwningState()

Returns the value of the 'Owning State' container reference. It is bidirectional and its opposite is 'State Invariant'.

If the meaning of the 'Owning State' container reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Owning State' container reference.

See Also:

setOwningState(State), PivotPackage.getConstraint_OwningState(), State.getStateInvariant()

Generated

setOwningState

void setOwningState(State value)

Sets the value of the 'Owning State' container reference.

Parameters:

value - the new value of the 'Owning State' container reference.

See Also:

getOwningState()

Generated

getRedefinedConstraint

java.util.List<Constraint> getRedefinedConstraint()

Returns the value of the 'Redefined Constraint' reference list. The list contents are of type Constraint.

If the meaning of the 'Redefined Constraint' reference list isn't clear, there really should be more of a description here...

Returns:

the value of the 'Redefined Constraint' reference list.

See Also:

PivotPackage.getConstraint_RedefinedConstraint()

Generated

validateUniqueName

boolean validateUniqueName(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                           java.util.Map<java.lang.Object,java.lang.Object> context)

Generated