|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.tagkit.TagManager
Utility functions for tags.
Constructor Summary | |
TagManager(soot.Singletons.Global g)
|
Method Summary | |
Tag |
getTagFor(String tagName)
Returns the Tag class with the given name. |
String |
print(String aClassName,
String aFieldOrMtdSignature,
Tag aTag)
Prints the given Tag, assuming that it belongs to the given class and field or method. |
void |
setTagPrinter(TagPrinter p)
Sets the default tag printer. |
static TagManager |
v()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public TagManager(soot.Singletons.Global g)
Method Detail |
public static TagManager v()
public Tag getTagFor(String tagName)
public void setTagPrinter(TagPrinter p)
public String print(String aClassName, String aFieldOrMtdSignature, Tag aTag)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |