envgen.spec.prop
Class ObjAllocation

java.lang.Object
  |
  +--envgen.spec.prop.ObjAllocation

public class ObjAllocation

extends java.lang.Object

Data structure to hold information about object allocation specified in the "instantiations" section of the specification file.

Field Summary

(package private) soot.SootClass	declClass
(package private) java.lang.String	objectInstantiation
(package private) java.lang.String	objectName
(package private) java.lang.String	objectType

Constructor Summary

ObjAllocation(java.lang.String type, java.lang.String name, soot.SootClass decl)

ObjAllocation(java.lang.String type, java.lang.String name, java.lang.String instantiation)

Method Summary

java.lang.String	getCode()
soot.SootClass	getDeclClass()
java.lang.String	getInstantiation()
java.lang.String	getName()
java.lang.String	getType()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

objectInstantiation

java.lang.String objectInstantiation

objectName

java.lang.String objectName

objectType

java.lang.String objectType

declClass

soot.SootClass declClass

Constructor Detail

ObjAllocation

public ObjAllocation(java.lang.String type,
                     java.lang.String name,
                     soot.SootClass decl)

ObjAllocation

public ObjAllocation(java.lang.String type,
                     java.lang.String name,
                     java.lang.String instantiation)

Method Detail

getCode

public java.lang.String getCode()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getDeclClass

public soot.SootClass getDeclClass()

getName

public java.lang.String getName()

getType

public java.lang.String getType()

getInstantiation

public java.lang.String getInstantiation()