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

Packages that use Constraint

org.eclipse.ocl.examples.codegen.common
org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.context
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.manager
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.pivot2cs
org.eclipse.ocl.examples.xtext.completeocl.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.codegen.common

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

java.lang.String	GenPackageQueries.getOperationID(org.eclipse.emf.codegen.ecore.genmodel.GenPackage genPackage, Type type, Constraint rule, java.lang.Boolean diagnosticCode)
static java.lang.String	NameQueries.getUniqueText(Element context, Constraint constraint) Return a valid Java identifier suffix encoding of string that is unique within the scope of element.

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>	OCL.getConstraints() Obtains all of the constraints parsed hitherto by this OCL instance.
org.eclipse.emf.common.util.EList<Constraint>	NamedElement.getOwnedRule() Returns the value of the 'Owned Rule' containment reference list.

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

boolean	OCL.check(java.lang.Object context, Constraint constraint) Checks whether a constraint is satisfied by an object.
Query	OCL.createQuery(Constraint constraint) Creates a new Query encapsulating a constraint with the current environment and extent map.
ExpressionInOCL	OCL.getSpecification(Constraint constraint) Return the Constraint specification as an ExpressionInOCL, parsing any OpaqueExpression that may be encountered.
void	OCL.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.context

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

DiagnosticContext(ParserContext parserContext, Constraint constraint)

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

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

Constraint	ValidationBehavior.getConstraint(MetaModelManager metaModelManager, 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(ParserContext parserContext, 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 org.eclipse.emf.ecore.EOperation	Pivot2Ecore.createConstraintEOperation(Constraint pivotConstraint, java.lang.String operationName)
static boolean	Pivot2Ecore.installDelegate(org.eclipse.emf.ecore.EModelElement eModelElement, Constraint pivotConstraint, org.eclipse.emf.common.util.URI ecoreURI)
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.ownedRule 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.getOwnedRule()

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

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

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

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

protected java.util.Set<Constraint>

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

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

EssentialOCLPrettyPrintVisitor.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_validateUniqueName(Constraint constraint, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) Validates the validateUniqueName 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 with parameters of type Constraint

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

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.completeocl.pivot2cs

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

org.eclipse.emf.ecore.EObject	CompleteOCLSplitter.Separator.caseConstraint(Constraint object)
ElementCS	CompleteOCLDeclarationVisitor.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)