org.eclipse.ocl.examples.pivot.ecore
Class EObjectOperation

java.lang.Object
  org.eclipse.ocl.examples.pivot.ecore.EObjectOperation

All Implemented Interfaces:

CallableImplementation

public class EObjectOperation
extends java.lang.Object
implements CallableImplementation

An EObjectOperation provides the standard CallableImplementation to implement an OperationCallExp. When constructed with a null specification, the call returns an invalid. When constructed with a non-null specification, the specification defines the operation body, which if provided as an OpaqueExpression is lazily compiled from OCL source text.

Field Summary

protected org.eclipse.emf.ecore.EOperation	eFeature
protected ValueSpecification	specification

Constructor Summary

EObjectOperation(org.eclipse.emf.ecore.EOperation eFeature, ValueSpecification specification)

Method Summary

Value	evaluate(EvaluationVisitor evaluationVisitor, Value sourceValue, CallExp callExp)
org.eclipse.emf.common.util.Diagnostic	validate(TypeManager typeManager, CallExp callExp)

Methods inherited from class java.lang.Object

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

Field Detail

eFeature

protected final org.eclipse.emf.ecore.EOperation eFeature

specification

protected ValueSpecification specification

Constructor Detail

EObjectOperation

public EObjectOperation(org.eclipse.emf.ecore.EOperation eFeature,
                        ValueSpecification specification)

Method Detail

evaluate

public Value evaluate(EvaluationVisitor evaluationVisitor,
                      Value sourceValue,
                      CallExp callExp)

Description copied from interface: CallableImplementation

Specified by:

evaluate in interface CallableImplementation

validate

public org.eclipse.emf.common.util.Diagnostic validate(TypeManager typeManager,
                                                       CallExp callExp)

Specified by:

validate in interface CallableImplementation