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

Methods

Modifier and Type	Method and Description
OpaqueExpression	createSpecification() Creates a new OpaqueExpression and sets the 'Specification' containment reference.
OpaqueExpression	createSpecification(org.eclipse.emf.ecore.EClass eClass) Creates a new OpaqueExpression and sets the 'Specification' containment reference.
java.util.List<Element>	getConstrainedElement() Returns the value of the 'Constrained Element' reference list.
Namespace	getContext() Returns the value of the 'Context' reference.
OpaqueExpression	getSpecification() Returns the value of the 'Specification' containment reference.
boolean	isCallable() Returns the value of the 'Is Callable' attribute.
void	setContext(Namespace value) Sets the value of the 'Context' reference.
void	setIsCallable(boolean value) Sets the value of the 'Is Callable' attribute.
void	setSpecification(OpaqueExpression value) Sets the value of the 'Specification' containment 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

createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName

Methods inherited from interface org.eclipse.ocl.examples.pivot.Element

allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, 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

createSpecification

OpaqueExpression createSpecification(org.eclipse.emf.ecore.EClass eClass)

Creates a new OpaqueExpression and sets the 'Specification' containment reference.

Parameters:

eClass - The Ecore class of the OpaqueExpression to create.

Returns:

The new OpaqueExpression.

See Also:

getSpecification()

Generated

createSpecification

OpaqueExpression createSpecification()

Creates a new OpaqueExpression and sets the 'Specification' containment reference.

Returns:

The new OpaqueExpression.

See Also:

getSpecification()

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:

setContext(Namespace), PivotPackage.getConstraint_Context()

Generated

setContext

void setContext(Namespace value)

Sets the value of the 'Context' reference.

Parameters:

value - the new value of the 'Context' reference.

See Also:

getContext()

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

validateUniqueName

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

Generated