public final class Location extends java.lang.Object implements LocationAccessor
| Modifier and Type | Class and Description |
|---|---|
protected static interface |
Location.Atom |
protected static interface |
Location.LoggableAtom |
| Modifier and Type | Method and Description |
|---|---|
Location |
assign(Location source) |
Location |
bitField(Data index) |
Location |
bitField(Data start,
Data end) |
Location |
bitField(int index) |
Location |
bitField(int start,
int end) |
Location |
castTo(TypeId typeId) |
static Location |
concat(Location... locations) |
Location |
concat(Location other) |
int |
getBitSize()
Returns the size of the location in bits.
|
Type |
getType() |
java.math.BigInteger |
getValue()
Returns the value stored in the location packed in a BigInteger object.
|
boolean |
isInitialized() |
Data |
load() |
static Location |
newLocationForAtom(Type type,
Location.Atom atom) |
static Location |
newLocationForConst(Data data) |
Location |
setName(java.lang.String name) |
void |
setValue(java.math.BigInteger value)
Sets the value of the specified location.
|
void |
store(Data data) |
java.lang.String |
toBinString()
Returns textual representation of stored data (a string of 0 and 1 characters).
|
ru.ispras.fortress.data.types.bitvector.BitVector |
toBitVector()
Returns stored data in the form of a bit vector.
|
public Location(Data data)
public static Location newLocationForAtom(Type type, Location.Atom atom)
public Location setName(java.lang.String name)
public Type getType()
public boolean isInitialized()
public Data load()
public void store(Data data)
public Location bitField(int start, int end)
public Location bitField(int index)
public int getBitSize()
LocationAccessorgetBitSize in interface LocationAccessorpublic ru.ispras.fortress.data.types.bitvector.BitVector toBitVector()
LocationAccessortoBitVector in interface LocationAccessorpublic java.lang.String toBinString()
LocationAccessortoBinString in interface LocationAccessorpublic java.math.BigInteger getValue()
LocationAccessorgetValue in interface LocationAccessorpublic void setValue(java.math.BigInteger value)
LocationAccessorsetValue in interface LocationAccessorvalue - Binary data packed in a BigInteger object.