Modifier and Type | Class and Description |
---|---|
static class |
LocationAtom.Bitfield |
Modifier and Type | Method and Description |
---|---|
static LocationAtom |
createBitfield(LocationAtom location,
Expr from,
Expr to,
Type type) |
static LocationAtom |
createMemoryBased(java.lang.String name,
MemoryExpr memory,
Expr index) |
static LocationAtom |
createPrimitiveBased(java.lang.String name,
Primitive primitive) |
boolean |
equals(java.lang.Object obj) |
LocationAtom.Bitfield |
getBitfield() |
Expr |
getIndex() |
java.lang.String |
getName() |
LocationSource |
getSource() |
Type |
getType() |
java.lang.String |
toString() |
public static LocationAtom createMemoryBased(java.lang.String name, MemoryExpr memory, Expr index)
public static LocationAtom createPrimitiveBased(java.lang.String name, Primitive primitive)
public static LocationAtom createBitfield(LocationAtom location, Expr from, Expr to, Type type)
public java.lang.String getName()
public LocationSource getSource()
public Expr getIndex()
public LocationAtom.Bitfield getBitfield()
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object