Modifier and Type | Method and Description |
---|---|
CGConstraint |
AS2CGVisitor.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 |
---|---|
protected java.lang.String |
OCLinEcoreCG2JavaVisitor.generateValidatorBody(CGValuedElement cgBody,
Constraint asConstraint,
Class asType) |
protected java.lang.String |
OCLinEcoreCG2JavaVisitor.getRuleName(Constraint constraint) |
CGConstraint |
OCLinEcoreAS2CGVisitor.visitConstraint(Constraint element) |
java.lang.Object |
OCLinEcoreTablesUtils.EmitLiteralVisitor.visitConstraint(Constraint constraint) |
Modifier and Type | Method and Description |
---|---|
ExpressionInOCL |
OCLInvocationDelegate.getExpressionInOCL(MetamodelManager metamodelManager,
Constraint constraint) |
ExpressionInOCL |
OCLValidationDelegate.getExpressionInOCL(MetamodelManager metamodelManager,
Constraint constraint) |
Modifier and Type | Field and Description |
---|---|
protected Constraint |
DebugDialog.selectedConstraint |
Modifier and Type | Method and Description |
---|---|
Constraint |
DebugDialog.getConstraint() |
Modifier and Type | Method and Description |
---|---|
protected Constraint |
DelegateConstraintLocator.getConstraint(PivotMetamodelManager metamodelManager,
ResultConstrainingNode resultConstrainingNode) |
Modifier and Type | Method and Description |
---|---|
protected org.eclipse.emf.ecore.EObject |
PivotConstraintLocator.getConstrainedESObject(EnvironmentFactory environmentFactory,
Constraint asConstraint) |
protected ExpressionInOCL |
AbstractPivotConstraintLocator.getQuery(PivotMetamodelManager metamodelManager,
Constraint constraint) |
Modifier and Type | Method and Description |
---|---|
Constraint |
PivotFactory.createConstraint()
Returns a new object of class 'Constraint'.
|
Constraint |
Transition.getOwnedGuard()
Returns the value of the 'Owned Guard' containment reference.
|
Constraint |
State.getOwnedStateInvariant()
Returns the value of the 'Owned State Invariant' containment reference.
|
Constraint |
LanguageExpression.getOwningConstraint()
Returns the value of the 'Owning Constraint' container reference.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Constraint> |
Namespace.getOwnedConstraints()
Returns the value of the 'Owned Constraints' containment reference list.
|
java.util.List<Constraint> |
Class.getOwnedInvariants()
Returns the value of the 'Owned Invariants' containment reference list.
|
java.util.List<Constraint> |
Operation.getOwnedPostconditions()
Returns the value of the 'Owned Postconditions' containment reference list.
|
java.util.List<Constraint> |
Operation.getOwnedPreconditions()
Returns the value of the 'Owned Preconditions' containment reference list.
|
java.util.List<Constraint> |
Constraint.getRedefinedConstraints()
Returns the value of the 'Redefined Constraints' reference list.
|
Modifier and Type | Method and Description |
---|---|
void |
Transition.setOwnedGuard(Constraint value)
Sets the value of the '
Owned Guard ' containment reference. |
void |
State.setOwnedStateInvariant(Constraint value)
Sets the value of the '
Owned State Invariant ' containment reference. |
void |
LanguageExpression.setOwningConstraint(Constraint value)
Sets the value of the '
Owning Constraint ' container reference. |
Modifier and Type | Class and Description |
---|---|
class |
ConstraintImpl
An implementation of the model object 'Constraint'.
|
Modifier and Type | Field and Description |
---|---|
protected Constraint |
TransitionImpl.ownedGuard
The cached value of the '
Owned Guard ' containment reference. |
protected Constraint |
StateImpl.ownedStateInvariant
The cached value of the '
Owned State Invariant ' containment reference. |
Modifier and Type | Field and Description |
---|---|
protected org.eclipse.emf.common.util.EList<Constraint> |
ClassImpl.ownedConstraints
The cached value of the '
Owned Constraints ' containment reference list. |
protected org.eclipse.emf.common.util.EList<Constraint> |
NamespaceImpl.ownedConstraints
The cached value of the '
Owned Constraints ' containment reference list. |
protected org.eclipse.emf.common.util.EList<Constraint> |
OperationImpl.ownedConstraints
The cached value of the '
Owned Constraints ' containment reference list. |
protected org.eclipse.emf.common.util.EList<Constraint> |
ClassImpl.ownedInvariants
The cached value of the '
Owned Invariants ' containment reference list. |
protected org.eclipse.emf.common.util.EList<Constraint> |
OperationImpl.ownedPostconditions
The cached value of the '
Owned Postconditions ' containment reference list. |
protected org.eclipse.emf.common.util.EList<Constraint> |
OperationImpl.ownedPreconditions
The cached value of the '
Owned Preconditions ' containment reference list. |
protected org.eclipse.emf.common.util.EList<Constraint> |
ConstraintImpl.redefinedConstraints
The cached value of the '
Redefined Constraints ' reference list. |
Modifier and Type | Method and Description |
---|---|
Constraint |
PivotFactoryImpl.createConstraint() |
Constraint |
TransitionImpl.getOwnedGuard() |
Constraint |
StateImpl.getOwnedStateInvariant() |
Constraint |
LanguageExpressionImpl.getOwningConstraint() |
Modifier and Type | Method and Description |
---|---|
java.util.List<Constraint> |
ClassImpl.getOwnedConstraints() |
java.util.List<Constraint> |
NamespaceImpl.getOwnedConstraints() |
java.util.List<Constraint> |
OperationImpl.getOwnedConstraints() |
java.util.List<Constraint> |
ClassImpl.getOwnedInvariants() |
java.util.List<Constraint> |
OperationImpl.getOwnedPostconditions() |
java.util.List<Constraint> |
OperationImpl.getOwnedPreconditions() |
java.util.List<Constraint> |
ConstraintImpl.getRedefinedConstraints() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
TransitionImpl.basicSetOwnedGuard(Constraint newOwnedGuard,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
StateImpl.basicSetOwnedStateInvariant(Constraint newOwnedStateInvariant,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
LanguageExpressionImpl.basicSetOwningConstraint(Constraint newOwningConstraint,
org.eclipse.emf.common.notify.NotificationChain msgs) |
void |
TransitionImpl.setOwnedGuard(Constraint newOwnedGuard) |
void |
StateImpl.setOwnedStateInvariant(Constraint newOwnedStateInvariant) |
void |
LanguageExpressionImpl.setOwningConstraint(Constraint newOwningConstraint) |
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) |
ExpressionInOCL |
OCLInvocationDelegate.getQueryOrThrow(MetamodelManager metamodelManager,
Constraint constraint) |
ExpressionInOCL |
ValidationBehavior.getQueryOrThrow(MetamodelManager metamodelManager,
Constraint constraint)
Return the operation body associated with operation, if necessary using
ocl to create the relevant parsing environment for a textual
definition. |
Modifier and Type | Method and Description |
---|---|
boolean |
AS2EcoreDeclarationVisitor.DuplicateConstraintsFilter.apply(Constraint aConstraint) |
boolean |
AS2EcoreDeclarationVisitor.NonDuplicateConstraintsFilter.apply(Constraint aConstraint) |
static void |
AS2Ecore.copyAnnotationComments(org.eclipse.emf.ecore.EAnnotation eModelElement,
Constraint pivotConstraint) |
protected org.eclipse.emf.ecore.EAnnotation |
AS2EcoreDeclarationVisitor.copyConstraint(org.eclipse.emf.ecore.EModelElement eModelElement,
Constraint pivotConstraint) |
static org.eclipse.emf.ecore.EOperation |
AS2Ecore.createConstraintEOperation(Constraint pivotConstraint,
java.lang.String operationName,
java.util.Map<java.lang.String,java.lang.Object> options) |
org.eclipse.emf.ecore.EObject |
AS2EcoreDeclarationVisitor.visitConstraint(Constraint pivotConstraint) |
org.eclipse.emf.ecore.EObject |
AS2EcoreReferenceVisitor.visitConstraint(Constraint pivotConstraint) |
Modifier and Type | Method and Description |
---|---|
protected Constraint |
Ecore2ASDeclarationSwitch.convertEOperation2Constraint(org.eclipse.emf.ecore.EOperation eOperation) |
Modifier and Type | Method and Description |
---|---|
protected void |
Ecore2ASDeclarationSwitch.copyAnnotationComment(Constraint pivotElement,
org.eclipse.emf.ecore.EAnnotation eModelElement,
java.lang.String key)
Convert all eModelElement EAnnotations to pivotElement Annotations except specifically excludedAnnotations.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Constraint> |
AbstractExecutorClass.getOwnedConstraints() |
java.util.List<Constraint> |
AbstractExecutorOperation.getOwnedConstraints() |
java.util.List<Constraint> |
AbstractExecutorPackage.getOwnedConstraints() |
java.util.List<Constraint> |
AbstractExecutorClass.getOwnedInvariants() |
java.util.List<Constraint> |
AbstractExecutorOperation.getOwnedPostconditions() |
java.util.List<Constraint> |
AbstractExecutorOperation.getOwnedPreconditions() |
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
Visitable.accept(Visitor) . |
java.lang.Object |
AbstractEvaluationVisitorDecorator.visitConstraint(Constraint constraint)
Delegates to my decorated visitor.
|
java.lang.Object |
TracingEvaluationVisitor.visitConstraint(Constraint constraint) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Constraint> |
EcoreReflectiveType.getOwnedConstraints() |
java.util.List<Constraint> |
EcoreReflectiveType.getOwnedInvariants() |
Modifier and Type | Method and Description |
---|---|
java.util.List<Constraint> |
DomainReflectiveType.getOwnedConstraints() |
java.util.List<Constraint> |
ExecutorOperation.getOwnedConstraints() |
java.util.List<Constraint> |
ExecutorPackage.getOwnedConstraints() |
java.util.List<Constraint> |
ExecutorType.getOwnedConstraints() |
java.util.List<Constraint> |
DomainReflectiveType.getOwnedInvariants() |
java.util.List<Constraint> |
ExecutorType.getOwnedInvariants() |
java.util.List<Constraint> |
ExecutorOperation.getOwnedPostconditions() |
java.util.List<Constraint> |
ExecutorOperation.getOwnedPreconditions() |
Modifier and Type | Field and Description |
---|---|
static java.util.List<Constraint> |
PivotMetamodelManager.EMPTY_CONSTRAINT_LIST |
Modifier and Type | Method and Description |
---|---|
java.lang.Iterable<Constraint> |
MetamodelManagerInternal.getAllInvariants(Type pivotType) |
java.lang.Iterable<Constraint> |
PivotMetamodelManager.getAllInvariants(Type pivotType)
Return all constraints applicable to a type and its superclasses.
|
protected java.lang.Iterable<Constraint> |
PivotMetamodelManager.CompleteElementInvariantsIterable.getInnerIterable(Class model) |
java.lang.Iterable<Constraint> |
PivotMetamodelManager.getLocalInvariants(Class type) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
EssentialOCLPrettyPrintVisitor.visitConstraint(Constraint object) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
PivotUtilInternal.getStereotype(Constraint object) |
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
protected static void |
EcoreOCLEValidator.gatherTypes(java.util.Set<Class> allTypes,
java.util.Set<Constraint> allConstraints,
Class newType) |
Modifier and Type | Method and Description |
---|---|
org.eclipse.uml2.uml.Constraint |
AS2UMLDeclarationVisitor.visitConstraint(Constraint pivotConstraint) |
Modifier and Type | Method and Description |
---|---|
Constraint |
UML2ASDeclarationSwitch.caseConstraint(org.eclipse.uml2.uml.Constraint umlConstraint) |
Constraint |
UML2ASUseSwitch.caseConstraint(org.eclipse.uml2.uml.Constraint umlConstraint) |
Modifier and Type | Method and Description |
---|---|
protected void |
LoadableConstraintProvider.installConstraint(Constraint constraint,
java.util.Set<org.eclipse.emf.validation.model.Category> categories) |
Modifier and Type | Method and Description |
---|---|
protected static void |
UMLOCLEValidator.gatherTypes(java.util.Set<Type> allTypes,
java.util.Set<Constraint> allConstraints,
Class newType)
Deprecated.
|
Constructor and Description |
---|
Ecore(org.eclipse.emf.ecore.EClassifier targetType,
Constraint constraint,
int code) |
LoadableConstraintDescriptor(T targetType,
Constraint constraint,
java.lang.String targetNamespace,
java.lang.String targetName,
int code) |
UML(org.eclipse.uml2.uml.Stereotype targetType,
Constraint constraint,
int code) |
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 |
AbstractMergedVisitor.visitConstraint(Constraint object) |
R |
AbstractNullVisitor.visitConstraint(Constraint object)
Deprecated.
|
R |
AbstractWrappingVisitor.visitConstraint(Constraint object) |
R |
Visitor.visitConstraint(Constraint object) |
Modifier and Type | Method and Description |
---|---|
static Constraint |
PivotUtil.getContainingConstraint(Element element) |
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 |
OCL.validate(Constraint constraint)
Deprecated.
|
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.
|
Modifier and Type | Method and Description |
---|---|
ElementCS |
BaseDeclarationVisitor.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 |
---|---|
org.eclipse.emf.ecore.EObject |
CompleteOCLSplitter.Separator.caseConstraint(Constraint object) |
ElementCS |
CompleteOCLDeclarationVisitor.visitConstraint(Constraint object) |
Modifier and Type | Method and Description |
---|---|
protected ElementCS |
EssentialOCLDeclarationVisitor.refreshConstraint(ConstraintCS csElement,
Constraint object) |
ElementCS |
EssentialOCLDeclarationVisitor.visitConstraint(Constraint object) |
Modifier and Type | Method and Description |
---|---|
ElementCS |
OCLinEcoreDeclarationVisitor.visitConstraint(Constraint object) |