Constructor and Description |
---|
Data(ru.ispras.fortress.data.types.bitvector.BitVector rawData,
Type type) |
Data(Data other) |
Data(Type type) |
Data(Type type,
ru.ispras.fortress.data.types.bitvector.BitVector rawData) |
Modifier and Type | Method and Description |
---|---|
Data |
add(Data other) |
Data |
and(Data other) |
java.math.BigInteger |
bigIntegerValue() |
java.math.BigInteger |
bigIntegerValue(boolean signed) |
Data |
bitField(Data start,
Data end) |
Data |
bitField(int start,
int end) |
boolean |
booleanValue() |
static Data |
cast(Type type,
Data value) |
Data |
castTo(Type newType) |
static Data |
coerce(Type type,
Data value) |
Data |
coerceTo(Type newType) |
int |
compareTo(Data other) |
Data |
divide(Data other) |
boolean |
equals(java.lang.Object obj) |
static Data |
floatToFloat(Type type,
Data value) |
static Data |
floatToInt(Type type,
Data value) |
FloatX |
floatXValue() |
int |
getBitSize() |
static int |
getFloatExceptionFlags() |
static int |
getFloatRoundingMode() |
ru.ispras.fortress.data.types.bitvector.BitVector |
getRawData() |
Type |
getType() |
int |
hashCode() |
static Data |
intToFloat(Type type,
Data value) |
static boolean |
isLossOfSignificantBits(Type type,
java.math.BigInteger value)
Checks whether the significant bits are lost when the specified integer is converted to
the specified Model API type.
|
boolean |
isNan() |
boolean |
isSignalingNan() |
boolean |
isType(TypeId typeId) |
Data |
mod(Data other) |
Data |
multiply(Data other) |
Data |
negate() |
Data |
not() |
Data |
or(Data other) |
Data |
pow(Data other) |
Data |
repeat(int count) |
Data |
rotateLeft(Data amount) |
Data |
rotateRight(Data amount) |
Data |
round() |
static void |
setFloatExceptionFlags(int value) |
static void |
setFloatRoundingMode(int value) |
Data |
shiftLeft(Data amount) |
Data |
shiftRight(Data amount) |
static Data |
signExtend(Type type,
Data value) |
Data |
signExtendTo(Type newType) |
Data |
sqrt() |
Data |
subtract(Data other) |
java.lang.String |
toBinString() |
java.lang.String |
toHexString() |
java.lang.String |
toString() |
static Data |
valueOf(Type type,
java.math.BigInteger value) |
static Data |
valueOf(Type type,
boolean value) |
static Data |
valueOf(Type type,
int value) |
static Data |
valueOf(Type type,
long value) |
Data |
xor(Data other) |
static Data |
zeroExtend(Type type,
Data value) |
Data |
zeroExtendTo(Type newType) |
public Data(ru.ispras.fortress.data.types.bitvector.BitVector rawData, Type type)
public Data(Type type, ru.ispras.fortress.data.types.bitvector.BitVector rawData)
public Data(Data other)
public Data(Type type)
public Type getType()
public boolean isType(TypeId typeId)
public int getBitSize()
public ru.ispras.fortress.data.types.bitvector.BitVector getRawData()
public Data bitField(int start, int end)
public Data repeat(int count)
public Data negate()
public Data not()
public int compareTo(Data other)
compareTo
in interface java.lang.Comparable<Data>
public Data sqrt()
public Data round()
public boolean isNan()
public boolean isSignalingNan()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.math.BigInteger bigIntegerValue()
public java.math.BigInteger bigIntegerValue(boolean signed)
public boolean booleanValue()
public FloatX floatXValue()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toHexString()
public java.lang.String toBinString()
public static boolean isLossOfSignificantBits(Type type, java.math.BigInteger value)
type
- Conversion target type.value
- Value to be converted.true
if significant bits will be lost during the conversion
or false
otherwise.public static int getFloatRoundingMode()
public static void setFloatRoundingMode(int value)
public static int getFloatExceptionFlags()
public static void setFloatExceptionFlags(int value)