Modifier and Type | Method and Description |
---|---|
CGConstraint |
Pivot2CGVisitor.visitConstraint(Constraint element) |
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
OCLinEcoreCG2JavaVisitor.generateValidatorBody(CGValuedElement cgBody,
Constraint pivotConstraint,
Type pivotType) |
protected java.lang.String |
OCLinEcoreCG2JavaVisitor.getRuleName(Constraint constraint) |
java.lang.Object |
OCLinEcoreTablesUtils.EmitLiteralVisitor.visitConstraint(Constraint constraint) |
Modifier and Type | Method and Description |
---|---|
Constraint |
PivotFactory.createConstraint()
Returns a new object of class 'Constraint'.
|
Constraint |
Transition.createGuard()
Creates a new
Constraint and sets the 'Guard' containment reference. |
Constraint |
Type.createOwnedInvariant()
Creates a new
Constraint and appends it to the 'Owned Invariant' containment reference list. |
Constraint |
Namespace.createOwnedRule()
Creates a new
Constraint and appends it to the 'Owned Rule' containment reference list. |
Constraint |
Operation.createPostcondition()
Creates a new
Constraint and appends it to the 'Postcondition' containment reference list. |
Constraint |
Operation.createPrecondition()
Creates a new
Constraint and appends it to the 'Precondition' containment reference list. |
Constraint |
State.createStateInvariant()
Creates a new
Constraint and sets the 'State Invariant' containment reference. |
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.
|
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
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).
|
Constructor and Description |
---|
DiagnosticContext(ClassContext parserContext,
Constraint constraint) |
Modifier and Type | Method and Description |
---|---|
Constraint |
ValidationBehavior.getConstraint(MetaModelManager metaModelManager,
org.eclipse.emf.ecore.EClassifier eClassifier,
java.lang.String constraintName) |
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
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) |
org.eclipse.emf.ecore.EObject |
Pivot2EcoreDeclarationVisitor.visitConstraint(Constraint pivotConstraint) |
Modifier and Type | Method and Description |
---|---|
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
#visitExpression(OCLExpression) . |
java.lang.Object |
AbstractEvaluationVisitorDecorator.visitConstraint(Constraint constraint)
Delegates to my decorated visitor.
|
java.lang.Object |
TracingEvaluationVisitor.visitConstraint(Constraint constraint) |
Modifier and Type | Class and Description |
---|---|
class |
ConstraintImpl
An implementation of the model object 'Constraint'.
|
Modifier and Type | Field and Description |
---|---|
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. |
Modifier and Type | Field and Description |
---|---|
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. |
Modifier and Type | Method and Description |
---|---|
Constraint |
PivotFactoryImpl.createConstraint() |
Constraint |
TransitionImpl.createGuard() |
Constraint |
TypeImpl.createOwnedInvariant() |
Constraint |
ClassImpl.createOwnedRule() |
Constraint |
NamespaceImpl.createOwnedRule() |
Constraint |
OperationImpl.createOwnedRule() |
Constraint |
StateImpl.createOwnedRule() |
Constraint |
OperationImpl.createPostcondition() |
Constraint |
OperationImpl.createPrecondition() |
Constraint |
StateImpl.createStateInvariant() |
Constraint |
TransitionImpl.getGuard() |
Constraint |
StateImpl.getStateInvariant() |
Modifier and Type | Method and Description |
---|---|
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() |
Modifier and Type | Method and Description |
---|---|
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) |
Modifier and Type | Field and Description |
---|---|
static java.util.List<Constraint> |
MetaModelManager.EMPTY_CONSTRAINT_LIST |
Modifier and Type | Method and Description |
---|---|
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) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
EssentialOCLPrettyPrintVisitor.visitConstraint(Constraint object) |
Modifier and Type | Method and Description |
---|---|
Constraint |
UML2PivotDeclarationSwitch.caseConstraint(org.eclipse.uml2.uml.Constraint umlConstraint) |
Constraint |
UML2PivotReferenceSwitch.caseConstraint(org.eclipse.uml2.uml.Constraint umlConstraint) |
Modifier and Type | Method and Description |
---|---|
org.eclipse.uml2.uml.Constraint |
Pivot2UMLDeclarationVisitor.visitConstraint(Constraint pivotConstraint) |
Modifier and Type | Method and Description |
---|---|
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) |
Modifier and Type | Method and Description |
---|---|
Constraint |
PivotEnvironment.getDefinition(java.lang.Object feature) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
PivotUtil.getConstraintTypeName(Constraint constraint) |
static java.lang.String |
PivotUtil.getStereotype(Constraint object) |
java.lang.Object |
Pivot2MonikerVisitor.visitConstraint(Constraint object) |
java.lang.String |
ToStringVisitor.visitConstraint(Constraint constraint)
Renders a constraint with its context and expression.
|
Modifier and Type | Method and Description |
---|---|
protected void |
LoadableConstraintProvider.installConstraint(Constraint constraint,
java.util.Set<org.eclipse.emf.validation.model.Category> categories) |
Constructor and Description |
---|
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) |
Modifier and Type | Method and Description |
---|---|
ElementCS |
BaseDeclarationVisitor.visitConstraint(Constraint object) |
Modifier and Type | Method and Description |
---|---|
protected void |
CompleteOCLContainmentVisitor.installPropertyContainment(Type modelType,
Type contextType,
java.util.List<Constraint> allInvariants) |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.ecore.EObject |
CompleteOCLSplitter.Separator.caseConstraint(Constraint object) |
ElementCS |
CompleteOCLDeclarationVisitor.visitConstraint(Constraint object) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
BaseLabelProvider.image(Constraint ele) |
java.lang.String |
BaseLabelProvider.text(Constraint ele) |
Modifier and Type | Method and Description |
---|---|
protected void |
BaseOutlineTreeProvider._createChildren(org.eclipse.xtext.ui.editor.outline.IOutlineNode parentNode,
Constraint constraint) |
Modifier and Type | Method and Description |
---|---|
ElementCS |
OCLinEcoreDeclarationVisitor.visitConstraint(Constraint object) |