tip.cfg
Class MallocTarget

java.lang.Object
  extended by tip.cfg.MallocTarget
All Implemented Interfaces:
Target

public class MallocTarget
extends Object
implements Target

MallocTarget represents the pointer target of a malloc expression.

Author:
Johnni Winther, jw@brics.dk

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

MallocTarget

public MallocTarget(AMallocExp exp)
Creates a new MallocTarget pointing to exp.

Parameters:
exp - the target of this MallocTarget
Method Detail

getTarget

public AMallocExp getTarget()
Returns the target AMallocExp of this MallocTarget.

Specified by:
getTarget in interface Target
Returns:
the target AMallocExp of this MallocTarget

equals

public boolean equals(Object o)

Specified by:
equals in interface Target
Overrides:
equals in class Object

hashCode

public int hashCode()

Specified by:
hashCode in interface Target
Overrides:
hashCode in class Object

toString

public String toString()

Specified by:
toString in interface Target
Overrides:
toString in class Object