|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.MallocTarget
public class MallocTarget
MallocTarget
represents the pointer target of a malloc
expression.
Constructor Summary | |
---|---|
MallocTarget(AMallocExp exp)
Creates a new MallocTarget pointing to exp . |
Method Summary | |
---|---|
boolean |
equals(Object o)
|
AMallocExp |
getTarget()
Returns the target AMallocExp of this MallocTarget . |
int |
hashCode()
|
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public MallocTarget(AMallocExp exp)
MallocTarget
pointing to exp
.
exp
- the target of this MallocTarget
Method Detail |
---|
public AMallocExp getTarget()
AMallocExp
of this MallocTarget
.
getTarget
in interface Target
AMallocExp
of this MallocTarget
public boolean equals(Object o)
equals
in interface Target
equals
in class Object
public int hashCode()
hashCode
in interface Target
hashCode
in class Object
public String toString()
toString
in interface Target
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |