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

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.OclComparableComparisonOperation
                  org.eclipse.ocl.examples.library.oclany.OclComparableGreaterThanEqualOperation

All Implemented Interfaces:

LibraryBinaryOperation, LibraryFeature, LibraryOperation

public class OclComparableGreaterThanEqualOperation
extends OclComparableComparisonOperation

GreaterThanEqualOperation realises the >=() library operation.

Field Summary

static OclComparableGreaterThanEqualOperation

INSTANCE

Constructor Summary

OclComparableGreaterThanEqualOperation()

Method Summary

protected boolean

getResultValue(java.lang.Integer comparison)

Methods inherited from class org.eclipse.ocl.examples.library.oclany.OclComparableComparisonOperation

evaluate

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

Constructor Detail

OclComparableGreaterThanEqualOperation

public OclComparableGreaterThanEqualOperation()

Method Detail

getResultValue

protected boolean getResultValue(java.lang.Integer comparison)

Specified by:

getResultValue in class OclComparableComparisonOperation