org.eclipse.ocl.examples.library.oclvoid
Class OclVoidAllInstancesOperation

java.lang.Object
  org.eclipse.ocl.examples.domain.library.AbstractFeature
      org.eclipse.ocl.examples.domain.library.AbstractOperation
          org.eclipse.ocl.examples.domain.library.AbstractUnaryOperation
              org.eclipse.ocl.examples.library.oclvoid.OclVoidAllInstancesOperation

All Implemented Interfaces:

LibraryFeature, LibraryOperation, LibraryUnaryOperation

public class OclVoidAllInstancesOperation
extends AbstractUnaryOperation

OclVoidAllInstancesOperation realises the OclVoid::allInstances() library operation.

Field Summary

static OclVoidAllInstancesOperation

INSTANCE

Constructor Summary

OclVoidAllInstancesOperation()

Method Summary

Value

evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal) Return the result of evaluating the operation on an argument.

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

evaluate

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 OclVoidAllInstancesOperation INSTANCE

Constructor Detail

OclVoidAllInstancesOperation

public OclVoidAllInstancesOperation()

Method Detail

evaluate

public Value evaluate(DomainEvaluator evaluator,
                      DomainType returnType,
                      Value sourceVal)
               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.

Returns:

the evaluated value

Throws:

InvalidValueException