soot.toolkits.exceptions
Class ThrowableSet.Manager

java.lang.Object
  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.