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

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

public class OperationOperations
extends MonikeredElementOperations

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

The following operations are supported:

• Validate Test Constraint

Generated

Constructor Summary

protected

OperationOperations()

Method Summary

static boolean

validateTestConstraint(Operation operation, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) self.ownedParameter->size() = 1

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

OperationOperations

protected OperationOperations()

Generated

Method Detail

validateTestConstraint

public static boolean validateTestConstraint(Operation operation,
                                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                             java.util.Map<java.lang.Object,java.lang.Object> context)

self.ownedParameter->size() = 1

Parameters:

operation - The receiving 'Operation' model object.

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

context - The cache of context-specific information.

Generated