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

Packages that use Constraint

org.eclipse.ocl.examples.codegen.analyzer
org.eclipse.ocl.examples.codegen.common
org.eclipse.ocl.examples.codegen.oclinecore
org.eclipse.ocl.examples.debug.evaluator
org.eclipse.ocl.examples.debug.ui.actions
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.pivot.validation
org.eclipse.ocl.examples.validity.locator
org.eclipse.ocl.examples.xtext.base.pivot2cs
org.eclipse.ocl.examples.xtext.completeocl.cs2as
org.eclipse.ocl.examples.xtext.completeocl.pivot2cs
org.eclipse.ocl.examples.xtext.essentialocl.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.analyzer

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

CGConstraint

AS2CGVisitor.visitConstraint(Constraint element)

Uses of Constraint in org.eclipse.ocl.examples.codegen.common

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

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.codegen.oclinecore

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

protected java.lang.String	OCLinEcoreCG2JavaVisitor.generateValidatorBody(CGValuedElement cgBody, Constraint asConstraint, Type asType)
protected java.lang.String	OCLinEcoreCG2JavaVisitor.getRuleName(Constraint constraint)
java.lang.Object	OCLinEcoreTablesUtils.EmitLiteralVisitor.visitConstraint(Constraint constraint)

Uses of Constraint in org.eclipse.ocl.examples.debug.evaluator

Constructors in org.eclipse.ocl.examples.debug.evaluator with parameters of type Constraint

OCLVMEvaluator(OCLVMEnvironmentFactory envFactory, Constraint constraint, org.eclipse.emf.ecore.EObject context)

Uses of Constraint in org.eclipse.ocl.examples.debug.ui.actions

Fields in org.eclipse.ocl.examples.debug.ui.actions declared as Constraint

protected Constraint

DebugDialog.selectedConstraint

Methods in org.eclipse.ocl.examples.debug.ui.actions that return Constraint

Constraint

DebugDialog.getConstraint()

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	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.
Constraint	Transition.getGuard() Returns the value of the 'Guard' containment reference.
Constraint	State.getStateInvariant() Returns the value of the 'State Invariant' containment reference.

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.
java.util.List<Constraint>	Type.getOwnedInvariant() Returns the value of the 'Owned Invariant' containment reference list.
java.util.List<Constraint>	Namespace.getOwnedRule() Returns the value of the 'Owned Rule' containment reference list.
java.util.List<Constraint>	Operation.getPostcondition() Returns the value of the 'Postcondition' containment reference list.
java.util.List<Constraint>	Operation.getPrecondition() Returns the value of the 'Precondition' containment reference list.
java.util.List<Constraint>	Constraint.getRedefinedConstraint() Returns the value of the 'Redefined Constraint' 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	Transition.setGuard(Constraint value) Sets the value of the 'Guard' containment reference.
void	State.setStateInvariant(Constraint value) Sets the value of the 'State Invariant' containment reference.
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(ClassContext 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)

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

org.eclipse.emf.ecore.EAnnotation	DelegateInstaller.createConstraintDelegate(org.eclipse.emf.ecore.EModelElement eModelElement, Constraint pivotConstraint, org.eclipse.emf.common.util.URI ecoreURI)
static java.lang.String	DelegateInstaller.getAnnotationKey(Constraint pivotConstraint)
protected ExpressionInOCL	AbstractDelegatedBehavior.getExpressionInOCL(ClassContext parserContext, Constraint constraint)
ExpressionInOCL	OCLInvocationDelegate.getExpressionInOCL(MetaModelManager metaModelManager, Constraint constraint)
ExpressionInOCL	OCLValidationDelegate.getExpressionInOCL(MetaModelManager metaModelManager, Constraint constraint)
boolean	DelegateInstaller.installDelegate(org.eclipse.emf.ecore.EModelElement eModelElement, Constraint pivotConstraint, org.eclipse.emf.common.util.URI ecoreURI) Deprecated.

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

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

protected Constraint

Ecore2PivotDeclarationSwitch.convertEOperation2Constraint(org.eclipse.emf.ecore.EOperation eOperation)

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

boolean	Pivot2EcoreDeclarationVisitor.DuplicateConstraintsFilter.apply(Constraint aConstraint)
boolean	Pivot2EcoreDeclarationVisitor.NonDuplicateConstraintsFilter.apply(Constraint aConstraint)
protected void	Ecore2PivotDeclarationSwitch.copyAnnotationComment(Constraint pivotElement, org.eclipse.emf.ecore.EAnnotation eModelElement, java.lang.String key) Convert all eModelElement EAnnotations to pivotElement Annotations except specifically excludedAnnotations.
static void	Pivot2Ecore.copyAnnotationComments(org.eclipse.emf.ecore.EAnnotation eModelElement, Constraint pivotConstraint)
protected org.eclipse.emf.ecore.EAnnotation	Pivot2EcoreDeclarationVisitor.copyConstraint(org.eclipse.emf.ecore.EModelElement eModelElement, Constraint pivotConstraint)
static org.eclipse.emf.ecore.EOperation	Pivot2Ecore.createConstraintEOperation(Constraint pivotConstraint, java.lang.String operationName) Deprecated.
static org.eclipse.emf.ecore.EOperation	Pivot2Ecore.createConstraintEOperation(Constraint pivotConstraint, java.lang.String operationName, java.util.Map<java.lang.String,java.lang.Object> options)
org.eclipse.emf.ecore.EObject	Pivot2EcoreDeclarationVisitor.visitConstraint(Constraint pivotConstraint)
org.eclipse.emf.ecore.EObject	Pivot2EcoreReferenceVisitor.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

java.lang.Object	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 Visitable.accept(Visitor).
java.lang.Object	AbstractEvaluationVisitorDecorator.visitConstraint(Constraint constraint) Delegates to my decorated visitor.
java.lang.Object	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 declared as Constraint

protected Constraint	TransitionImpl.guard The cached value of the 'Guard' containment reference.
protected Constraint	StateImpl.stateInvariant The cached value of the 'State Invariant' containment reference.

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

protected org.eclipse.emf.common.util.EList<Constraint>	TypeImpl.ownedInvariant The cached value of the 'Owned Invariant' containment reference list.
protected org.eclipse.emf.common.util.EList<Constraint>	ClassImpl.ownedRule The cached value of the 'Owned Rule' containment reference list.
protected org.eclipse.emf.common.util.EList<Constraint>	NamespaceImpl.ownedRule The cached value of the 'Owned Rule' containment reference list.
protected org.eclipse.emf.common.util.EList<Constraint>	OperationImpl.ownedRule The cached value of the 'Owned Rule' containment reference list.
protected org.eclipse.emf.common.util.EList<Constraint>	StateImpl.ownedRule The cached value of the 'Owned Rule' containment reference list.
protected org.eclipse.emf.common.util.EList<Constraint>	OperationImpl.postcondition The cached value of the 'Postcondition' containment reference list.
protected org.eclipse.emf.common.util.EList<Constraint>	OperationImpl.precondition The cached value of the 'Precondition' containment reference list.
protected org.eclipse.emf.common.util.EList<Constraint>	ConstraintImpl.redefinedConstraint The cached value of the 'Redefined Constraint' reference list.

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

Constraint	PivotFactoryImpl.createConstraint()
Constraint	TransitionImpl.getGuard()
Constraint	StateImpl.getStateInvariant()

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

java.util.List<Constraint>	TypeImpl.getOwnedInvariant()
java.util.List<Constraint>	ClassImpl.getOwnedRule()
java.util.List<Constraint>	NamespaceImpl.getOwnedRule()
java.util.List<Constraint>	OperationImpl.getOwnedRule()
java.util.List<Constraint>	StateImpl.getOwnedRule()
java.util.List<Constraint>	OperationImpl.getPostcondition()
java.util.List<Constraint>	OperationImpl.getPrecondition()
java.util.List<Constraint>	ConstraintImpl.getRedefinedConstraint()

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

org.eclipse.emf.common.notify.NotificationChain	TransitionImpl.basicSetGuard(Constraint newGuard, org.eclipse.emf.common.notify.NotificationChain msgs)
org.eclipse.emf.common.notify.NotificationChain	StateImpl.basicSetStateInvariant(Constraint newStateInvariant, org.eclipse.emf.common.notify.NotificationChain msgs)
void	TransitionImpl.setGuard(Constraint newGuard)
void	StateImpl.setStateInvariant(Constraint newStateInvariant)

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

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

static java.util.List<Constraint>

MetaModelManager.EMPTY_CONSTRAINT_LIST

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

java.lang.Iterable<Constraint>	MetaModelManager.getAllInvariants(Type pivotType) Return all constraints applicable to a type and its superclasses.
protected java.lang.Iterable<Constraint>	MetaModelManager.CompleteElementInvariantsIterable.getInnerIterable(Type model)
java.lang.Iterable<Constraint>	MetaModelManager.getLocalInvariants(Type type)

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 that return Constraint

Constraint

UML2PivotUseSwitch.caseConstraint(org.eclipse.uml2.uml.Constraint umlConstraint)

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

T1	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	AbstractWrappingVisitor.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

static Constraint	PivotUtil.getContainingConstraint(Element element)
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.getStereotype(Constraint object)
java.lang.Object	AS2MonikerVisitor.visitConstraint(Constraint object)
java.lang.Boolean	AS2XMIidVisitor.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.pivot.validation

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

protected void	LoadableConstraintProvider.installConstraint(Constraint constraint, java.util.Set<org.eclipse.emf.validation.model.Category> categories)
org.eclipse.emf.common.util.Diagnostic	PivotEObjectValidator.ValidationAdapter.validate(Constraint constraint, java.lang.Object object, java.util.Map<java.lang.Object,java.lang.Object> context) Validate constraint for object using context to elaborate the validation context.

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

LoadableConstraintDescriptor.Ecore(org.eclipse.emf.ecore.EClassifier targetType, Constraint constraint, int code)

LoadableConstraintDescriptor.UML(org.eclipse.uml2.uml.Stereotype targetType, Constraint constraint, int code)

LoadableConstraintDescriptor(T targetType, Constraint constraint, java.lang.String targetNamespace, java.lang.String targetName, int code)

Uses of Constraint in org.eclipse.ocl.examples.validity.locator

Methods in org.eclipse.ocl.examples.validity.locator that return Constraint

protected Constraint

DelegateConstraintLocator.getConstraint(MetaModelManager metaModelManager, ResultConstrainingNode resultConstrainingNode)

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

protected ExpressionInOCL

AbstractPivotConstraintLocator.getQuery(Constraint constraint)

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.cs2as

Method parameters in org.eclipse.ocl.examples.xtext.completeocl.cs2as with type arguments of type Constraint

protected void

CompleteOCLCSContainmentVisitor.installPropertyContainment(Type modelType, Type contextType, java.util.List<Constraint> allInvariants)

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

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

protected ElementCS	EssentialOCLDeclarationVisitor.refreshConstraint(ConstraintCS csElement, Constraint object)
ElementCS	EssentialOCLDeclarationVisitor.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

BaseOutlineTreeProvider._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)