org.eclipse.ocl.examples.library.logical

Class BooleanImpliesOperation

java.lang.Object

org.eclipse.ocl.examples.domain.values.util.ValuesUtil

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.domain.library.AbstractUntypedBinaryOperation

org.eclipse.ocl.examples.domain.library.AbstractSimpleBinaryOperation

org.eclipse.ocl.examples.library.logical.BooleanImpliesOperation

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation, LibrarySimpleBinaryOperation, LibrarySimpleOperation, LibraryUntypedBinaryOperation, LibraryUntypedOperation

public class BooleanImpliesOperation
extends AbstractSimpleBinaryOperation

ImpliesOperation realises the implies() library operation.

Field Summary

Fields

Modifier and Type	Field and Description
static BooleanImpliesOperation	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

Constructors

Constructor and Description
BooleanImpliesOperation()

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Boolean	evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	evaluate(java.lang.Object left, java.lang.Object right)

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

evaluate, evaluate, evaluate

Methods inherited from class org.eclipse.ocl.examples.domain.values.util.ValuesUtil

asBagValue, asBoolean, asCollectionType, asCollectionValue, asInteger, asIntegerValue, asNavigableObject, asObject, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asTupleValue, asType, asUniqueCollectionValue, asUnlimitedNaturalValue, asValue, 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, getTypeName, initAllStatics, integerValueOf, integerValueOf, integerValueOf, integerValueOf, integerValueOf, isBoxed, isCollectionValue, isIntegerValue, isUnboxed, isUnlimited, oclToString, realValueOf, realValueOf, realValueOf, realValueOf, realValueOf, stringValueOf, 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 BooleanImpliesOperation INSTANCE

Constructor Detail

BooleanImpliesOperation

public BooleanImpliesOperation()

Method Detail

evaluate

@Deprecated
@Nullable
public java.lang.Boolean evaluate(@NonNull
                                             DomainEvaluator evaluator,
                                             @NonNull
                                             TypeId returnTypeId,
                                             @Nullable
                                             java.lang.Object left,
                                             @Nullable
                                             java.lang.Object right)

Deprecated.

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 AbstractSimpleBinaryOperation

Returns:

the evaluated value

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