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

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

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation

public class OclAnyUnsupportedOperation
extends AbstractOperation
implements LibraryBinaryOperation

OclIsUndefinedOperation realises the oclIsUndefined() library operation.

Field Summary

static OclAnyUnsupportedOperation

INSTANCE

Constructor Summary

OclAnyUnsupportedOperation()

Method Summary

Value	evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues) Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor.
Value	evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue) Return the result of evaluating the operation on left and right arguments.

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

argumentsMayBeInvalid

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

getLibraryValidator, getValidator

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.domain.library.LibraryOperation

argumentsMayBeInvalid

Methods inherited from interface org.eclipse.ocl.examples.domain.library.LibraryFeature

getValidator

Field Detail

INSTANCE

public static final OclAnyUnsupportedOperation INSTANCE

Constructor Detail

OclAnyUnsupportedOperation

public OclAnyUnsupportedOperation()

Method Detail

evaluate

public Value evaluate(DomainEvaluator evaluator,
                      DomainCallExp callExp,
                      Value sourceValue,
                      Value... argumentValues)

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.

Specified by:

evaluate in interface LibraryOperation

Returns:

the evaluated value

evaluate

public Value evaluate(DomainEvaluator evaluator,
                      DomainType returnType,
                      Value sourceValue,
                      Value argumentValue)
               throws InvalidValueException

Description copied from interface: LibraryBinaryOperation

Return the result of evaluating the operation on left and right arguments. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

Specified by:

evaluate in interface LibraryBinaryOperation

Returns:

the evaluated value

Throws:

InvalidValueException