public final class IntegerField
extends java.lang.Object
IntegerField
class represents an integer field.Constructor and Description |
---|
IntegerField(IntegerVariable var)
Constructs an integer field.
|
IntegerField(IntegerVariable var,
int bit)
Constructs an integer field.
|
IntegerField(IntegerVariable var,
int lo,
int hi)
Constructs an integer field.
|
Modifier and Type | Method and Description |
---|---|
static IntegerField |
create(IntegerVariable variable,
java.math.BigInteger mask) |
boolean |
equals(java.lang.Object o) |
int |
getHiIndex()
Returns the upper bit index of the integer field.
|
int |
getLoIndex()
Returns the lower bit index of the integer field.
|
IntegerVariable |
getVariable()
Returns the variable of the integer field.
|
int |
getWidth()
Returns the size (bit width) of the integer field.
|
int |
hashCode() |
boolean |
isVariable()
Checks whether the field matches the variable
(
lo == 0 and hi == W - 1 , where W is width of the variable). |
static java.util.Map<IntegerField,java.math.BigInteger> |
split(java.util.List<IntegerField> cat,
java.math.BigInteger value) |
java.lang.String |
toString() |
public IntegerField(IntegerVariable var, int lo, int hi)
var
- the variable whose bits to be selected.lo
- the lower bit index.hi
- the upper bit index.java.lang.IllegalArgumentException
- if var
is null.public IntegerField(IntegerVariable var, int bit)
var
- the variable whose bits to be selected.bit
- the bit index.public IntegerField(IntegerVariable var)
var
- the variable.public static java.util.Map<IntegerField,java.math.BigInteger> split(java.util.List<IntegerField> cat, java.math.BigInteger value)
public static IntegerField create(IntegerVariable variable, java.math.BigInteger mask)
public boolean isVariable()
lo == 0 and hi == W - 1
, where W is width of the variable).true
if the field matches the variable of false
otherwise.public IntegerVariable getVariable()
public int getLoIndex()
public int getHiIndex()
public int getWidth()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object