soot.toolkits.exceptions
Class ThrowableSet.Manager

java.lang.Object
  extended by soot.toolkits.exceptions.ThrowableSet.Manager
Enclosing class:
ThrowableSet

public static class ThrowableSet.Manager
extends Object

Singleton class for fields and initializers common to all ThrowableSet objects (i.e., these would be static fields and initializers, in the absence of soot's G and Singletons classes).


Field Summary
 ThrowableSet EMPTY
          ThrowableSet containing no exception classes.
 
Constructor Summary
ThrowableSet.Manager(Singletons.Global g)
          Constructs a ThrowableSet.Manager for inclusion in Soot's global variable manager, G.
 
Method Summary
 String reportInstrumentation()
          Report the counts collected by instrumentation (for now, at least, there is no need to provide access to the individual values as numbers).
static ThrowableSet.Manager v()
          Returns the single instance of ThrowableSet.Manager.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

EMPTY

public final ThrowableSet EMPTY
ThrowableSet containing no exception classes.

Constructor Detail

ThrowableSet.Manager

public ThrowableSet.Manager(Singletons.Global g)
Constructs a ThrowableSet.Manager for inclusion in Soot's global variable manager, G.

Parameters:
g - guarantees that the constructor may only be called from Singletons.
Method Detail

v

public static ThrowableSet.Manager v()
Returns the single instance of ThrowableSet.Manager.

Returns:
Soot's ThrowableSet.Manager.

reportInstrumentation

public String reportInstrumentation()
Report the counts collected by instrumentation (for now, at least, there is no need to provide access to the individual values as numbers).

Returns:
a string listing the counts.