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

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.AbstractUnaryOperation
              extended by org.eclipse.ocl.examples.library.oclany.OclAnyOclAsSetOperation
All Implemented Interfaces:
LibraryFeature, LibraryOperation, LibraryUnaryOperation, CallableImplementation

public class OclAnyOclAsSetOperation
extends AbstractUnaryOperation

OclAnyOclAsSetOperation realises the OclAny::oclAsSet() library operation.

Since:
3.1

Field Summary
static OclAnyOclAsSetOperation INSTANCE
           
 
Constructor Summary
OclAnyOclAsSetOperation()
           
 
Method Summary
 SetValue evaluate(ValueFactory valueFactory, Value argument)
          Return the result of evaluating the operation on an argument.
 
Methods inherited from class org.eclipse.ocl.examples.library.AbstractUnaryOperation
evaluate
 
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
evaluate, validate
 

Field Detail

INSTANCE

public static final OclAnyOclAsSetOperation INSTANCE
Constructor Detail

OclAnyOclAsSetOperation

public OclAnyOclAsSetOperation()
Method Detail

evaluate

public SetValue evaluate(ValueFactory valueFactory,
                         Value argument)
                  throws InvalidValueException
Description copied from interface: LibraryUnaryOperation
Return the result of evaluating the operation on an argument. An invalid return may be indicated by throwing an exception returning Java null or OCL invalid.

argument - the argument
Returns:
the evaluated value
Throws:
InvalidValueException