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)
Concatenates the specified locations.
|
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) |
void |
store(Location source) |
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 void store(Location source)
public Location bitField(int start, int end)
public Location bitField(int index)
public static Location concat(Location... locations)
locations
- Locations, format is [high, ..., low].public int getBitSize()
LocationAccessor
getBitSize
in interface LocationAccessor
public ru.ispras.fortress.data.types.bitvector.BitVector toBitVector()
LocationAccessor
toBitVector
in interface LocationAccessor
public java.lang.String toBinString()
LocationAccessor
toBinString
in interface LocationAccessor
public java.math.BigInteger getValue()
LocationAccessor
getValue
in interface LocationAccessor
public void setValue(java.math.BigInteger value)
LocationAccessor
setValue
in interface LocationAccessor
value
- Binary data packed in a BigInteger object.