Package ru.ispras.microtesk.model.data
Class Data
- java.lang.Object
-
- ru.ispras.microtesk.model.data.Data
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Data
add(Data other)
Data
and(Data other)
java.math.BigInteger
bigIntegerValue()
java.math.BigInteger
bigIntegerValue(boolean signed)
Data
bitField(int start, int end)
Data
bitField(Data start, Data 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, boolean value)
static Data
valueOf(Type type, int value)
static Data
valueOf(Type type, long value)
static Data
valueOf(Type type, java.math.BigInteger value)
Data
xor(Data other)
static Data
zeroExtend(Type type, Data value)
Data
zeroExtendTo(Type newType)
-
-
-
Method Detail
-
getType
public Type getType()
-
isType
public boolean isType(TypeId typeId)
-
getBitSize
public int getBitSize()
-
getRawData
public ru.ispras.fortress.data.types.bitvector.BitVector getRawData()
-
bitField
public Data bitField(int start, int end)
-
repeat
public Data repeat(int count)
-
negate
public Data negate()
-
not
public Data not()
-
compareTo
public int compareTo(Data other)
- Specified by:
compareTo
in interfacejava.lang.Comparable<Data>
-
sqrt
public Data sqrt()
-
round
public Data round()
-
isNan
public boolean isNan()
-
isSignalingNan
public boolean isSignalingNan()
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
bigIntegerValue
public java.math.BigInteger bigIntegerValue()
-
bigIntegerValue
public java.math.BigInteger bigIntegerValue(boolean signed)
-
booleanValue
public boolean booleanValue()
-
floatXValue
public FloatX floatXValue()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
toHexString
public java.lang.String toHexString()
-
toBinString
public java.lang.String toBinString()
-
isLossOfSignificantBits
public 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. This happens when the type is shorter than the value and the truncated part goes beyond sign extension bits.- Parameters:
type
- Conversion target type.value
- Value to be converted.- Returns:
true
if significant bits will be lost during the conversion orfalse
otherwise.
-
getFloatRoundingMode
public static int getFloatRoundingMode()
-
setFloatRoundingMode
public static void setFloatRoundingMode(int value)
-
getFloatExceptionFlags
public static int getFloatExceptionFlags()
-
setFloatExceptionFlags
public static void setFloatExceptionFlags(int value)
-
-