Uses of Interface
org.eclipse.ocl.examples.pivot.Constraint

Packages that use Constraint

org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.delegate
org.eclipse.ocl.examples.pivot.ecore
org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.internal.operations
org.eclipse.ocl.examples.pivot.prettyprint
org.eclipse.ocl.examples.pivot.uml
org.eclipse.ocl.examples.pivot.util
org.eclipse.ocl.examples.pivot.utilities
org.eclipse.ocl.examples.xtext.base.cs2pivot
org.eclipse.ocl.examples.xtext.base.pivot2cs
org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling
org.eclipse.ocl.examples.xtext.essentialocl.ui.outline
org.eclipse.ocl.examples.xtext.oclinecore.pivot2cs

Uses of Constraint in org.eclipse.ocl.examples.pivot

Methods in org.eclipse.ocl.examples.pivot that return Constraint

Constraint	PivotFactory.createConstraint() Returns a new object of class 'Constraint'.
Constraint	NamedElement.createOwnedRule() Creates a new Constraint and appends it to the 'Owned Rule' containment reference list.
Constraint	Environment.getDefinition(java.lang.Object feature) Obtains the definition constraint of the specified feature, if it is an additional attribute or operation defined via an OCL constraint.

Methods in org.eclipse.ocl.examples.pivot that return types with arguments of type Constraint

java.util.List<Constraint>	OCLBase.getConstraints() Obtains all of the constraints parsed hitherto by this OCL instance.
org.eclipse.emf.common.util.EList<Constraint>	NamedElement.getOwnedRules() Returns the value of the 'Owned Rule' containment reference list.

Methods in org.eclipse.ocl.examples.pivot with parameters of type Constraint

boolean	OCLBase.check(java.lang.Object context, Constraint constraint) Checks whether a constraint is satisfied by an object.
OCL.Query	OCL.createQuery(Constraint constraint) Creates a new QueryBase encapsulating a constraint with the current environment and extent map.
QueryBase	OCLBase.createQuery(Constraint constraint) Creates a new QueryBase encapsulating a constraint with the current environment and extent map.
void	OCLBase.validate(Constraint constraint) Validates an OCL constraint, which may have been loaded from some resource or constructed via the API (perhaps by translation from some other language).

Uses of Constraint in org.eclipse.ocl.examples.pivot.delegate

Methods in org.eclipse.ocl.examples.pivot.delegate that return Constraint

Constraint	ValidationBehavior.getConstraint(TypeManager typeManager, org.eclipse.emf.ecore.EClassifier eClassifier, java.lang.String constraintName)
Constraint	AbstractDelegatedBehavior.getConstraintForStereotype(NamedElement namedElement, java.lang.String name)

Methods in org.eclipse.ocl.examples.pivot.delegate with parameters of type Constraint

protected ExpressionInOcl

AbstractDelegatedBehavior.getExpressionInOcl(TypeManager typeManager, NamedElement namedElement, Constraint constraint)

Uses of Constraint in org.eclipse.ocl.examples.pivot.ecore

Methods in org.eclipse.ocl.examples.pivot.ecore with parameters of type Constraint

static boolean	Pivot2Ecore.installDelegate(org.eclipse.emf.ecore.EModelElement eModelElement, Constraint pivotConstraint)
org.eclipse.emf.ecore.EObject	Pivot2EcoreDeclarationVisitor.visitConstraint(Constraint pivotConstraint)

Uses of Constraint in org.eclipse.ocl.examples.pivot.evaluation

Methods in org.eclipse.ocl.examples.pivot.evaluation with parameters of type Constraint

Value	AbstractEvaluationVisitor.visitConstraint(Constraint constraint) This default implementation asserts that the constraint is boolean-valued if it is an invariant, pre-condition, or post-condition constraint and returns the value of its body expression by delegation to #visitExpression(OCLExpression).
Value	EvaluationVisitorDecorator.visitConstraint(Constraint constraint) Delegates to my decorated visitor.
Value	TracingEvaluationVisitor.visitConstraint(Constraint constraint)

Uses of Constraint in org.eclipse.ocl.examples.pivot.internal.impl

Classes in org.eclipse.ocl.examples.pivot.internal.impl that implement Constraint

class

ConstraintImpl An implementation of the model object 'Constraint'.

Fields in org.eclipse.ocl.examples.pivot.internal.impl with type parameters of type Constraint

protected org.eclipse.emf.common.util.EList<Constraint>

NamedElementImpl.ownedRules The cached value of the 'Owned Rule' containment reference list.

Methods in org.eclipse.ocl.examples.pivot.internal.impl that return Constraint

Constraint	PivotFactoryImpl.createConstraint()
Constraint	NamedElementImpl.createOwnedRule()

Methods in org.eclipse.ocl.examples.pivot.internal.impl that return types with arguments of type Constraint

org.eclipse.emf.common.util.EList<Constraint>

NamedElementImpl.getOwnedRules()

Uses of Constraint in org.eclipse.ocl.examples.pivot.internal.operations

Methods in org.eclipse.ocl.examples.pivot.internal.operations with parameters of type Constraint

static boolean	ConstraintOperations.validateNotApplyToSelf(Constraint constraint, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) A constraint cannot be applied to itself.
static boolean	ConstraintOperations.validateValueSpecificationBoolean(Constraint constraint, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) The value specification for a constraint must evaluate to a Boolean value.

Uses of Constraint in org.eclipse.ocl.examples.pivot.prettyprint

Methods in org.eclipse.ocl.examples.pivot.prettyprint with parameters of type Constraint

java.lang.Object

PrettyPrintExprVisitor.visitConstraint(Constraint object)

Uses of Constraint in org.eclipse.ocl.examples.pivot.uml

Methods in org.eclipse.ocl.examples.pivot.uml with parameters of type Constraint

org.eclipse.uml2.uml.Constraint

Pivot2UMLDeclarationVisitor.visitConstraint(Constraint pivotConstraint)

Uses of Constraint in org.eclipse.ocl.examples.pivot.util

Methods in org.eclipse.ocl.examples.pivot.util with parameters of type Constraint

T	PivotSwitch.caseConstraint(Constraint object) Returns the result of interpreting the object as an instance of 'Constraint'.
boolean	PivotValidator.validateConstraint_validateNotApplyToSelf(Constraint constraint, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateNotApplyToSelf constraint of 'Constraint'.
boolean	PivotValidator.validateConstraint_validateValueSpecificationBoolean(Constraint constraint, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateValueSpecificationBoolean constraint of 'Constraint'.
boolean	PivotValidator.validateConstraint(Constraint constraint, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
R	AbstractDelegatingVisitor.visitConstraint(Constraint object)
R	AbstractExtendingVisitor.visitConstraint(Constraint object)
R	AbstractNullVisitor.visitConstraint(Constraint object)
R	Visitor.visitConstraint(Constraint object)

Uses of Constraint in org.eclipse.ocl.examples.pivot.utilities

Methods in org.eclipse.ocl.examples.pivot.utilities that return Constraint

Constraint

PivotEnvironment.getDefinition(java.lang.Object feature)

Methods in org.eclipse.ocl.examples.pivot.utilities that return types with arguments of type Constraint

java.lang.Iterable<Constraint>	TypeCaches.getAllConstraints(Type type) Return all constraints applicable to a type and its superclasses.
protected java.util.Set<Constraint>	TypeCaches.getAllConstraints(Type type, java.util.Set<Constraint> knownConstraints)
protected java.lang.Iterable<Constraint>	TypeCaches.CompleteElementConstraintsIterable.getInnerIterable(NamedElement model)
java.lang.Iterable<Constraint>	TypeCaches.getLocalConstraints(Operation operation)
java.lang.Iterable<Constraint>	TypeCaches.getLocalConstraints(Property property)
java.lang.Iterable<Constraint>	TypeCaches.getLocalConstraints(Type type)

Methods in org.eclipse.ocl.examples.pivot.utilities with parameters of type Constraint

java.lang.Object	Pivot2MonikerVisitor.visitConstraint(Constraint object)
java.lang.String	ToStringVisitor.visitConstraint(Constraint constraint) Renders a constraint with its context and expression.

Method parameters in org.eclipse.ocl.examples.pivot.utilities with type arguments of type Constraint

protected java.util.Set<Constraint>

TypeCaches.getAllConstraints(Type type, java.util.Set<Constraint> knownConstraints)

Uses of Constraint in org.eclipse.ocl.examples.xtext.base.cs2pivot

Methods in org.eclipse.ocl.examples.xtext.base.cs2pivot with parameters of type Constraint

ScopeAdapter

PivotScopeVisitor.visitConstraint(Constraint pivotElement)

Uses of Constraint in org.eclipse.ocl.examples.xtext.base.pivot2cs

Methods in org.eclipse.ocl.examples.xtext.base.pivot2cs with parameters of type Constraint

ElementCS

BaseDeclarationVisitor.visitConstraint(Constraint object)

Uses of Constraint in org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling

Methods in org.eclipse.ocl.examples.xtext.essentialocl.ui.labeling with parameters of type Constraint

protected java.lang.String	BaseLabelProvider.image(Constraint ele)
java.lang.String	BaseLabelProvider.text(Constraint ele)

Uses of Constraint in org.eclipse.ocl.examples.xtext.essentialocl.ui.outline

Methods in org.eclipse.ocl.examples.xtext.essentialocl.ui.outline with parameters of type Constraint

protected void

EssentialOCLOutlineTreeProvider._createChildren(org.eclipse.xtext.ui.editor.outline.IOutlineNode parentNode, Constraint constraint)

Uses of Constraint in org.eclipse.ocl.examples.xtext.oclinecore.pivot2cs

Methods in org.eclipse.ocl.examples.xtext.oclinecore.pivot2cs with parameters of type Constraint

ElementCS

OCLinEcoreDeclarationVisitor.visitConstraint(Constraint object)