org.eclipse.ocl.pivot.library.logical

Class BooleanImpliesOperation2

java.lang.Object

org.eclipse.ocl.pivot.utilities.ValueUtil

org.eclipse.ocl.pivot.library.AbstractFeature

org.eclipse.ocl.pivot.library.AbstractOperation

org.eclipse.ocl.pivot.library.AbstractBinaryOperation

org.eclipse.ocl.pivot.library.AbstractUntypedBinaryOperation

org.eclipse.ocl.pivot.library.AbstractSimpleBinaryOperation

org.eclipse.ocl.pivot.library.logical.BooleanImpliesOperation2

All Implemented Interfaces:

LibraryBinaryOperation, LibraryBinaryOperation.LibraryBinaryOperationExtension, LibraryFeature, LibraryOperation, LibraryOperation.LibraryOperationExtension, LibraryOperation.LibraryOperationExtension2, LibrarySimpleBinaryOperation, LibrarySimpleBinaryOperation.LibrarySimpleBinaryOperationExtension, LibrarySimpleOperation, LibraryUntypedBinaryOperation, LibraryUntypedBinaryOperation.LibraryUntypedBinaryOperationExtension, LibraryUntypedOperation

public class BooleanImpliesOperation2
extends AbstractSimpleBinaryOperation

BooleanImpliesOperation2 realises the 2-valued implies() library operation.

Since:

1.3

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.library.LibrarySimpleBinaryOperation

LibrarySimpleBinaryOperation.LibrarySimpleBinaryOperationExtension

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.library.LibraryUntypedBinaryOperation

LibraryUntypedBinaryOperation.LibraryUntypedBinaryOperationExtension

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.library.LibraryBinaryOperation

LibraryBinaryOperation.LibraryBinaryOperationExtension

Nested classes/interfaces inherited from interface org.eclipse.ocl.pivot.library.LibraryOperation

LibraryOperation.LibraryOperationExtension, LibraryOperation.LibraryOperationExtension2

Field Summary

Fields

Modifier and Type	Field and Description
static BooleanImpliesOperation2	INSTANCE

Fields inherited from class org.eclipse.ocl.pivot.utilities.ValueUtil

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_ONE_VALUE, UNLIMITED_VALUE, ZERO_VALUE

Constructor Summary

Constructors

Constructor and Description
BooleanImpliesOperation2()

Method Summary

Modifier and Type	Method and Description
java.lang.Boolean	evaluate(java.lang.Object left, java.lang.Object right)

Methods inherited from class org.eclipse.ocl.pivot.library.AbstractSimpleBinaryOperation

dispatch, dispatch, evaluate, evaluate, evaluate, evaluate

Methods inherited from class org.eclipse.ocl.pivot.library.AbstractUntypedBinaryOperation

evaluate

Methods inherited from class org.eclipse.ocl.pivot.library.AbstractOperation

basicEvaluate, cachedEvaluate

Methods inherited from class org.eclipse.ocl.pivot.utilities.ValueUtil

asBagValue, asBoolean, asClass, asCollectionType, asCollectionValue, asInteger, asIntegerValue, asMapType, asMapValue, asNavigableObject, asNavigableObject, asObject, asOrderedCollectionValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asTupleValue, asType, asUniqueCollectionValue, asUnlimitedNaturalValue, asValue, bigDecimalValueOf, bigIntegerValueOf, byteValueOf, characterValueOf, computeCollectionHashCode, createBagAccumulatorValue, createBagOfEach, createBagRange, createBagValue, createCollectionAccumulatorValue, createInvalidValue, createMapEntry, createMapOfEach, createMapValue, createObjectValue, createOrderedSetAccumulatorValue, createOrderedSetOfEach, createOrderedSetRange, createOrderedSetValue, createRange, createSequenceAccumulatorValue, createSequenceOfEach, createSequenceRange, createSequenceRange, createSequenceValue, createSetAccumulatorValue, createSetOfEach, createSetRange, createSetValue, createTupleOfEach, createTupleValue, doubleValueOf, floatValueOf, getElementIdName, getExecutor, getTypeName, initAllStatics, integerValueOf, integerValueOf, integerValueOf, integerValueOf, integerValueOf, intValueOf, isBoxed, isCollectionValue, isEcore, isIntegerNumber, isIntegerValue, isRealNumber, isUnboxed, isUnlimited, longValueOf, numberValueOf, oclToString, realValueOf, realValueOf, realValueOf, realValueOf, realValueOf, shortValueOf, stringValueOf, throwBooleanInvalidValueException, throwInvalidValueException, throwUnsupportedCompareTo, toString, typedIterable, unlimitedNaturalValueOf, unlimitedNaturalValueOf, unlimitedNaturalValueOf, unlimitedNaturalValueOf, unlimitedNaturalValueOf

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.pivot.library.LibraryBinaryOperation.LibraryBinaryOperationExtension

evaluate

Field Detail

INSTANCE

@NonNull
public static final BooleanImpliesOperation2 INSTANCE

Constructor Detail

BooleanImpliesOperation2

public BooleanImpliesOperation2()

Method Detail

evaluate

@NonNull
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