org.eclipse.ocl.pivot.internal.values

Class UnlimitedValueImpl

java.lang.Object

java.lang.Number

org.eclipse.ocl.pivot.internal.values.NumberValueImpl

org.eclipse.ocl.pivot.internal.values.UnlimitedValueImpl

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<NumberValue>, ComparableValue<NumberValue>, NumberValue, OCLValue, UnlimitedNaturalValue, UnlimitedValue, Value

public class UnlimitedValueImpl
extends NumberValueImpl
implements UnlimitedValue

See Also:

Serialized Form

Generated

NOT

Field Summary

Fields inherited from interface org.eclipse.ocl.pivot.values.Value

INVALID_NAME

Constructor Summary

Constructors

Constructor and Description
UnlimitedValueImpl()

Method Summary

Modifier and Type	Method and Description
java.lang.Object	asEcoreObject(IdResolver idResolver, java.lang.Class<?> instanceClass) Return the Ecore representation of this value, which should be fully compatible with the Ecore return from a similarly typed eGet().
java.lang.Object	asObject()
RealValue	asRealValue()
java.lang.Object	asUnboxedObject(IdResolver idResolver) Return the unboxed representation of this value.
UnlimitedNaturalValue	asUnlimitedNaturalValue()
int	commutatedCompareTo(ComparableValue<?> left) Return -left.compareTo(this).
int	commutatedCompareToInteger(IntegerValue left)
int	commutatedCompareToReal(RealValue left)
int	compareTo(NumberValue right)
double	doubleValue()
protected org.eclipse.emf.ecore.EClass	eStaticClass()
float	floatValue()
Type	getType(StandardLibrary standardLibrary)
TypeId	getTypeId() Return the type of this value determined from its construction context.
int	intValue()
boolean	isUnlimited()
boolean	isUnlimitedNatural()
UnlimitedNaturalValue	isUnlimitedNaturalValue()
long	longValue()
UnlimitedNaturalValue	max(UnlimitedNaturalValue rightValue)
UnlimitedNaturalValue	maxUnlimited(UnlimitedNaturalValue rightValue)
UnlimitedNaturalValue	min(UnlimitedNaturalValue rightValue)
UnlimitedNaturalValue	minUnlimited(UnlimitedNaturalValue rightValue)
java.lang.String	toString()

Methods inherited from class org.eclipse.ocl.pivot.internal.values.NumberValueImpl

asBagValue, asCollectionValue, asDouble, asElement, asInteger, asIntegerValue, asMapValue, asNavigableObject, asObjectValue, asOrderedCollectionValue, asOrderedSetValue, asSequenceValue, asSetValue, asTupleValue, asUniqueCollectionValue, getTypeName, isInvalid, isUndefined, oclEquals, oclHashCode, toString

Methods inherited from class java.lang.Number

byteValue, shortValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.pivot.values.Value

asBagValue, asCollectionValue, asDouble, asElement, asInteger, asIntegerValue, asMapValue, asNavigableObject, asObjectValue, asOrderedCollectionValue, asOrderedSetValue, asSequenceValue, asSetValue, asTupleValue, asUniqueCollectionValue, isInvalid, isUndefined, toString

Methods inherited from interface org.eclipse.ocl.pivot.values.OCLValue

oclEquals, oclHashCode

Constructor Detail

UnlimitedValueImpl

public UnlimitedValueImpl()

Method Detail

eStaticClass

protected org.eclipse.emf.ecore.EClass eStaticClass()

Overrides:

eStaticClass in class NumberValueImpl

Generated

asEcoreObject

public java.lang.Object asEcoreObject(@NonNull
                                      IdResolver idResolver,
                                      @Nullable
                                      java.lang.Class<?> instanceClass)

Description copied from interface: Value

Return the Ecore representation of this value, which should be fully compatible with the Ecore return from a similarly typed eGet(). The instanceClass may be used to ensure that numeric values use the appropriate BigInteger/Long/Short/... class. If instanceClass is null for numerics, Double or Long are used.

A thrown exception for an invalid OCL value.

Java-null for a null OCL value

Objects for other things, List<?> for collections

Specified by:

asEcoreObject in interface Value

Overrides:

asEcoreObject in class NumberValueImpl

asObject

@NonNull
public java.lang.Object asObject()

Specified by:

asObject in interface Value

asRealValue

@NonNull
public RealValue asRealValue()

Specified by:

asRealValue in interface Value

Overrides:

asRealValue in class NumberValueImpl

asUnboxedObject

@NonNull
public java.lang.Object asUnboxedObject(@NonNull
                                                  IdResolver idResolver)

Description copied from interface: Value

Return the unboxed representation of this value.

A thrown exception for an invalid OCL value.

Java-null for a null OCL value

Objects for other things, Bag/Set/OrderedSet/List for collections

Specified by:

asUnboxedObject in interface Value

asUnlimitedNaturalValue

@NonNull
public UnlimitedNaturalValue asUnlimitedNaturalValue()

Specified by:

asUnlimitedNaturalValue in interface Value

Overrides:

asUnlimitedNaturalValue in class NumberValueImpl

commutatedCompareTo

public int commutatedCompareTo(@NonNull
                               ComparableValue<?> left)

Description copied from interface: ComparableValue

Return -left.compareTo(this).

This is an internal method used to give righthand argument an opportunity to coerce its tyope to suit the lefthand. It is invoked when a direct compareTo is unable to compare left with this. Derived implementations must not invoke comoareTo in order to avoid an infinite commutation.

Specified by:

commutatedCompareTo in interface ComparableValue<NumberValue>

commutatedCompareToInteger

public int commutatedCompareToInteger(@NonNull
                                      IntegerValue left)

Specified by:

commutatedCompareToInteger in interface NumberValue

commutatedCompareToReal

public int commutatedCompareToReal(@NonNull
                                   RealValue left)

Specified by:

commutatedCompareToReal in interface NumberValue

compareTo

public int compareTo(@Nullable
                     NumberValue right)

Specified by:

compareTo in interface java.lang.Comparable<NumberValue>

doubleValue

public double doubleValue()

Specified by:

doubleValue in class java.lang.Number

floatValue

public float floatValue()

Specified by:

floatValue in class java.lang.Number

getType

@NonNull
public Type getType(@NonNull
                              StandardLibrary standardLibrary)

getTypeId

@NonNull
public TypeId getTypeId()

Description copied from interface: Value

Return the type of this value determined from its construction context. In the case of collections this may differ from the actual type.

Specified by:

getTypeId in interface Value

intValue

public int intValue()

Specified by:

intValue in interface UnlimitedNaturalValue

Specified by:

intValue in class java.lang.Number

isUnlimited

public boolean isUnlimited()

Specified by:

isUnlimited in interface UnlimitedNaturalValue

isUnlimitedNatural

public boolean isUnlimitedNatural()

Specified by:

isUnlimitedNatural in interface UnlimitedNaturalValue

isUnlimitedNaturalValue

@Nullable
public UnlimitedNaturalValue isUnlimitedNaturalValue()

Specified by:

isUnlimitedNaturalValue in interface NumberValue

longValue

public long longValue()

Specified by:

longValue in class java.lang.Number

max

@NonNull
public UnlimitedNaturalValue max(@NonNull
                                           UnlimitedNaturalValue rightValue)

Specified by:

max in interface UnlimitedNaturalValue

maxUnlimited

@NonNull
public UnlimitedNaturalValue maxUnlimited(@NonNull
                                                    UnlimitedNaturalValue rightValue)

Specified by:

maxUnlimited in interface UnlimitedNaturalValue

min

@NonNull
public UnlimitedNaturalValue min(@NonNull
                                           UnlimitedNaturalValue rightValue)

Specified by:

min in interface UnlimitedNaturalValue

minUnlimited

@NonNull
public UnlimitedNaturalValue minUnlimited(@NonNull
                                                    UnlimitedNaturalValue rightValue)

Specified by:

minUnlimited in interface UnlimitedNaturalValue

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object