|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--de.tuberlin.cs.cis.ocl.eval.instance.PredefinedInstance | +--de.tuberlin.cs.cis.ocl.eval.instance.OclAnyInstance | +--de.tuberlin.cs.cis.ocl.eval.instance.RealInstance | +--de.tuberlin.cs.cis.ocl.eval.instance.IntegerInstance
Represents an instance of the OCL type Integer.
Constructor Summary | |
IntegerInstance(int value)
Constructs an instance of the OCL type Real via a Java int . |
|
IntegerInstance(java.lang.Integer value)
Constructs an instance of the OCL type Integer via a Java Integer . |
Method Summary | |
OclReal |
abs()
Results in the absolute value of this instance. |
OclInteger |
div(OclInteger i2)
Results in the number of times that i2 fits completely within this instance. |
OclReal |
division(OclInteger i2)
Represents the operation '/'. |
static int |
intValue(OclInteger i2)
Determines the Java int representation of an
OclInteger value. |
OclInteger |
max(OclInteger i2)
Results in the maximum of this instance and i2. |
OclInteger |
min(OclInteger i2)
Results in the minimum of this instance and i2. |
OclInteger |
minus(OclInteger i2)
Represents the operation '-'. |
OclInteger |
mod(OclInteger i2)
Results in this instance modulo i2. |
OclInteger |
multiplication(OclInteger i2)
Represents the operation '*'. |
OclReal |
negation()
Represents the prefix operation '-'. |
OclInteger |
plus(OclInteger i2)
Represents the operation '+'. |
Methods inherited from class de.tuberlin.cs.cis.ocl.eval.instance.RealInstance |
division, doubleValue, equals, floor, less, lessOrEqual, max, min, minus, more, moreOrEqual, multiplication, plus, round |
Methods inherited from class de.tuberlin.cs.cis.ocl.eval.instance.OclAnyInstance |
eq, neq, oclAsType, oclInState, oclIsKindOf, oclIsNew, oclIsTypeOf |
Methods inherited from class de.tuberlin.cs.cis.ocl.eval.instance.PredefinedInstance |
getRepresentation, getRuntimeType, getValue, hashCode, invoke, navigate, toString |
Methods inherited from class java.lang.Object |
getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface de.tuberlin.cs.cis.ocl.type.reflect.OclReal |
division, floor, less, lessOrEqual, max, min, minus, more, moreOrEqual, multiplication, plus, round |
Methods inherited from interface de.tuberlin.cs.cis.ocl.type.reflect.OclAny |
eq, neq, oclAsType, oclInState, oclIsKindOf, oclIsNew, oclIsTypeOf |
Constructor Detail |
public IntegerInstance(java.lang.Integer value)
Integer
.
value
- a Java Integer
.public IntegerInstance(int value)
int
.
value
- a Java int
.Method Detail |
public static int intValue(OclInteger i2)
int
representation of an
OclInteger
value.
i2
- an OclInteger
value
int
representation of the
specified OCL Integer value.public OclInteger plus(OclInteger i2)
OclInteger
plus
in interface OclInteger
i2
- an instance of Integer (!= null).
public OclInteger minus(OclInteger i2)
OclInteger
minus
in interface OclInteger
i2
- an instance of Integer (!= null).
public OclInteger multiplication(OclInteger i2)
OclInteger
multiplication
in interface OclInteger
i2
- an instance of Integer (!= null).
public OclInteger div(OclInteger i2)
OclInteger
div
in interface OclInteger
i2
- an instance of Integer (!= null)
public OclInteger mod(OclInteger i2)
OclInteger
mod
in interface OclInteger
i2
- an instance of Integer (!= null)
public OclInteger max(OclInteger i2)
OclInteger
max
in interface OclInteger
i2
- an instance of Integer (!= null)
public OclInteger min(OclInteger i2)
OclInteger
min
in interface OclInteger
i2
- an instance of Integer (!= null)
public OclReal division(OclInteger i2)
OclInteger
division
in interface OclInteger
i2
- an instance of Integer (!= null).
public OclReal abs()
OclReal
abs
in interface OclReal
abs
in class RealInstance
public OclReal negation()
OclReal
negation
in interface OclReal
negation
in class RealInstance
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |