org.eclipse.ocl.examples.library.numeric
Class NumericOclAsTypeOperation

java.lang.Object
  extended by org.eclipse.ocl.examples.library.AbstractFeature
      extended by org.eclipse.ocl.examples.library.AbstractOperation
          extended by org.eclipse.ocl.examples.library.oclany.OclAnyOclAsTypeOperation
              extended by org.eclipse.ocl.examples.library.numeric.NumericOclAsTypeOperation
All Implemented Interfaces:
LibraryFeature, LibraryOperation, CallableImplementation

public class NumericOclAsTypeOperation
extends OclAnyOclAsTypeOperation

NumericOclAsTypeOperation realises the Real::oclAsType() library operation.

Since:
3.1

Field Summary
static NumericOclAsTypeOperation INSTANCE
           
 
Constructor Summary
NumericOclAsTypeOperation()
           
 
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 NumericOclAsTypeOperation INSTANCE
Constructor Detail

NumericOclAsTypeOperation

public NumericOclAsTypeOperation()
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.

Specified by:
evaluate in interface LibraryOperation
Overrides:
evaluate in class OclAnyOclAsTypeOperation
Parameters:
evaluationVisitor - the evaluation context
sourceVal - the source operand for the operation
operationCall - the operation and additional arguments
Returns:
the evaluated value
Throws:
InvalidValueException