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

java.lang.Object
  org.eclipse.ocl.examples.domain.library.AbstractFeature
      org.eclipse.ocl.examples.domain.library.AbstractOperation
          org.eclipse.ocl.examples.domain.library.AbstractBinaryOperation
              org.eclipse.ocl.examples.library.oclany.OclAnyEqualOperation
                  org.eclipse.ocl.examples.library.oclany.OclAnyNotEqualOperation

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation

public class OclAnyNotEqualOperation
extends OclAnyEqualOperation

OclAnyNotEqualOperation realises the OCLAny::<>() library operation and regular derived implementations since the Value classes exhibit OCL value semantics.

Field Summary

static OclAnyNotEqualOperation

INSTANCE

Constructor Summary

OclAnyNotEqualOperation()

Method Summary

BooleanValue

evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right) Return the result of evaluating the operation on left and right arguments.

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

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

Constructor Detail

OclAnyNotEqualOperation

public OclAnyNotEqualOperation()

Method Detail

evaluate

public BooleanValue evaluate(DomainEvaluator evaluator,
                             DomainType returnType,
                             Value left,
                             Value right)
                      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

Overrides:

evaluate in class OclAnyEqualOperation

Returns:

the evaluated value

Throws:

InvalidValueException