org.eclipse.ocl.examples.library.classifier
Class OclTypeConformsToOperation

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.library.classifier.OclTypeConformsToOperation

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation, LibraryUntypedBinaryOperation, LibraryUntypedOperation

public class OclTypeConformsToOperation
extends AbstractUntypedBinaryOperation

OclTypeConformsToOperation realises the OclType::conformsTo(OclType) library operation.

Field Summary

static OclTypeConformsToOperation

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

OclTypeConformsToOperation()

Method Summary

java.lang.Boolean

evaluate(DomainEvaluator evaluator, java.lang.Object sourceVal, java.lang.Object argVal)

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

dispatch, 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 OclTypeConformsToOperation INSTANCE

Constructor Detail

OclTypeConformsToOperation

public OclTypeConformsToOperation()

Method Detail

evaluate

@NonNull
public java.lang.Boolean evaluate(@NonNull
                                          DomainEvaluator evaluator,
                                          @Nullable
                                          java.lang.Object sourceVal,
                                          @Nullable
                                          java.lang.Object argVal)

Specified by:

evaluate in interface LibraryUntypedBinaryOperation

Specified by:

evaluate in class AbstractUntypedBinaryOperation