org.eclipse.ocl.examples.library.oclany
Class OclAnyOclIsKindOfOperation

java.lang.Object
  org.eclipse.ocl.examples.library.AbstractFeature
      org.eclipse.ocl.examples.library.AbstractOperation
          org.eclipse.ocl.examples.library.oclany.OclAnyOclIsKindOfOperation

All Implemented Interfaces:

LibraryFeature, LibraryOperation, CallableImplementation

public class OclAnyOclIsKindOfOperation
extends AbstractOperation

OclAnyOclIsKindOfOperation realises the OclAny::oclIsKindOf() library operation.

Since:

3.1

Field Summary

static OclAnyOclIsKindOfOperation

INSTANCE

Constructor Summary

OclAnyOclIsKindOfOperation()

Method Summary

Value

evaluate(EvaluationVisitor evaluationVisitor, Value sourceVal, OperationCallExp operationCall) Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor.

Methods inherited from class org.eclipse.ocl.examples.library.AbstractOperation

evaluate, evaluateArgument, getNumArguments

Methods inherited from class org.eclipse.ocl.examples.library.AbstractFeature

validate

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.ocl.examples.pivot.evaluation.CallableImplementation

validate

Field Detail

INSTANCE

public static final OclAnyOclIsKindOfOperation INSTANCE

Constructor Detail

OclAnyOclIsKindOfOperation

public OclAnyOclIsKindOfOperation()

Method Detail

evaluate

public Value evaluate(EvaluationVisitor evaluationVisitor,
                      Value sourceVal,
                      OperationCallExp operationCall)
               throws InvalidValueException

Description copied from interface: LibraryOperation

Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

Parameters:

evaluationVisitor - the evaluation context

sourceVal - the source operand for the operation

operationCall - the operation and additional arguments

Returns:

the evaluated value

Throws:

InvalidValueException