org.eclipse.ocl.examples.library.iterator
Class SortedByIteration.SortingValue
java.lang.Object
org.eclipse.ocl.examples.pivot.values.impl.AbstractValue
org.eclipse.ocl.examples.library.iterator.SortedByIteration.SortingValue
- All Implemented Interfaces:
- java.util.Comparator<Value>, Value
- Enclosing class:
- SortedByIteration
protected static class SortedByIteration.SortingValue
- extends AbstractValue
- implements java.util.Comparator<Value>
Fields inherited from interface org.eclipse.ocl.examples.pivot.values.Value |
INVALID_NAME |
Methods inherited from class org.eclipse.ocl.examples.pivot.values.impl.AbstractValue |
asBagValue, asBoolean, asBooleanValue, asCollectionValue, asDouble, asElement, asElementValue, asInteger, asIntegerValue, asObjectValue, asOrderedCollectionValue, asOrderedSetValue, asRealValue, asSequenceValue, asSetValue, asString, asStringValue, asTypeValue, asUniqueCollectionValue, getValueFactory, isCollectionValue, isFalse, isIntegerValue, isInvalid, isNull, isRealValue, isTrue, isUndefined, isUnlimited, isUnlimitedNatural, oclToString, toIntegerValue, toRealValue, toString |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.util.Comparator |
equals |
SortedByIteration.SortingValue
public SortedByIteration.SortingValue(EvaluationEnvironment env,
Value sourceVal,
LoopExp iteratorExp,
Value.BinaryOperation binaryImplementation)
asObject
public java.lang.Object asObject()
- Specified by:
asObject
in interface Value
asValidValue
public Value asValidValue()
- Specified by:
asValidValue
in interface Value
compare
public int compare(Value o1,
Value o2)
- Specified by:
compare
in interface java.util.Comparator<Value>
createSortedValue
public Value createSortedValue()
getType
public Type getType(TypeManager typeManager,
Type staticType)
- Specified by:
getType
in interface Value
put
public void put(Value iterVal,
Value comparable)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object