org.eclipse.ocl.examples.pivot.internal.operations
Class ConstraintOperations

java.lang.Object
  org.eclipse.ocl.examples.pivot.internal.operations.MonikeredElementOperations
      org.eclipse.ocl.examples.pivot.internal.operations.ConstraintOperations

public class ConstraintOperations
extends MonikeredElementOperations

A static utility class that provides operations related to 'Constraint' model objects.

The following operations are supported:

• Validate Not Apply To Self
• Validate Value Specification Boolean

Generated

Constructor Summary

protected

ConstraintOperations()

Method Summary

static boolean	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	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.

Methods inherited from class org.eclipse.ocl.examples.pivot.internal.operations.MonikeredElementOperations

hasMoniker

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstraintOperations

protected ConstraintOperations()

Generated

Method Detail

validateNotApplyToSelf

public static boolean 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. not constrainedElement->includes(self)

Parameters:

constraint - The receiving 'Constraint' model object.

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

validateValueSpecificationBoolean

public static boolean 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. self.specification().booleanValue().isOclKindOf(Boolean)

Parameters:

constraint - The receiving 'Constraint' model object.

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated