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

java.lang.Object
  extended by org.eclipse.ocl.examples.domain.values.util.ValuesUtil
      extended by org.eclipse.ocl.examples.domain.library.AbstractFeature
          extended by org.eclipse.ocl.examples.domain.library.AbstractOperation
              extended by org.eclipse.ocl.examples.domain.library.AbstractBinaryOperation
                  extended by org.eclipse.ocl.examples.domain.library.AbstractUntypedBinaryOperation
                      extended by org.eclipse.ocl.examples.domain.library.AbstractSimpleBinaryOperation
                          extended by org.eclipse.ocl.examples.library.oclvoid.OclVoidImpliesOperation
All Implemented Interfaces:
LibraryBinaryOperation, LibraryFeature, LibraryOperation, LibrarySimpleBinaryOperation, LibrarySimpleOperation, LibraryUntypedBinaryOperation, LibraryUntypedOperation

public class OclVoidImpliesOperation
extends AbstractSimpleBinaryOperation

OclVoidImpliesOperation realises the OclVoid::implies() library operation.


Field Summary
static OclVoidImpliesOperation INSTANCE
           
 
Fields inherited from class org.eclipse.ocl.examples.domain.values.util.ValuesUtil
EMPTY_BAG, EMPTY_SET, FALSE_VALUE, INTEGER_MAX_VALUE, INTEGER_MIN_VALUE, INVALID_VALUE, LONG_MAX_VALUE, LONG_MIN_VALUE, NULL_STRING, NULL_VALUE, ONE_VALUE, TRUE_VALUE, UNLIMITED_VALUE, ZERO_VALUE
 
Constructor Summary
OclVoidImpliesOperation()
           
 
Method Summary
 java.lang.Boolean evaluate(java.lang.Object left, java.lang.Object right)
           
 
Methods inherited from class org.eclipse.ocl.examples.domain.library.AbstractSimpleBinaryOperation
dispatch, evaluate, evaluate
 
Methods inherited from class org.eclipse.ocl.examples.domain.values.util.ValuesUtil
asBagValue, asBoolean, asCollectionType, asCollectionValue, asInteger, asIntegerValue, asMetaclass, asNavigableObject, asObject, asOrderedCollectionValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asTupleValue, asType, asUniqueCollectionValue, asUnlimitedNaturalValue, asValue, bigDecimalValueOf, bigIntegerValueOf, characterValueOf, createBagAccumulatorValue, createBagOfEach, createBagRange, createBagValue, createCollectionAccumulatorValue, createInvalidValue, createObjectValue, createOrderedSetAccumulatorValue, createOrderedSetOfEach, createOrderedSetRange, createOrderedSetValue, createRange, createSequenceAccumulatorValue, createSequenceOfEach, createSequenceRange, createSequenceRange, createSequenceValue, createSetAccumulatorValue, createSetOfEach, createSetRange, createSetValue, createTupleOfEach, createTupleValue, createTupleValue, createTypeValue, getEcoreNumber, getTypeName, initAllStatics, integerValueOf, integerValueOf, integerValueOf, integerValueOf, integerValueOf, isBoxed, isCollectionValue, isIntegerNumber, isIntegerValue, isRealNumber, isUnboxed, isUnlimited, oclToString, realValueOf, realValueOf, realValueOf, realValueOf, realValueOf, stringValueOf, throwBooleanInvalidValueException, throwInvalidValueException, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

INSTANCE

@NonNull
public static final OclVoidImpliesOperation INSTANCE
Constructor Detail

OclVoidImpliesOperation

public OclVoidImpliesOperation()
Method Detail

evaluate

@Nullable
public java.lang.Boolean evaluate(@Nullable
                                           java.lang.Object left,
                                           @Nullable
                                           java.lang.Object right)
Specified by:
evaluate in interface LibrarySimpleBinaryOperation
Specified by:
evaluate in class AbstractSimpleBinaryOperation