|
|||||||||||
| 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 | ||||||||||