Package soot.dotnet.exceptiontoolkits

Class DotnetThrowAnalysis

java.lang.Object

soot.toolkits.exceptions.AbstractThrowAnalysis

soot.toolkits.exceptions.UnitThrowAnalysis

soot.dotnet.exceptiontoolkits.DotnetThrowAnalysis

All Implemented Interfaces:

ThrowAnalysis

public class DotnetThrowAnalysis
extends UnitThrowAnalysis

ThrowAnalysis for .NET CIL Instructions Described Exceptions are described in the ECMA-335 specification

Nested Class Summary

Nested classes/interfaces inherited from class soot.toolkits.exceptions.UnitThrowAnalysis

UnitThrowAnalysis.UnitSwitch, UnitThrowAnalysis.ValueSwitch

Field Summary

Fields

Modifier and Type	Field	Description
static DotnetThrowAnalysis	interproceduralAnalysis

Fields inherited from class soot.toolkits.exceptions.UnitThrowAnalysis

isInterproc, methodToThrowSet, mgr

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	DotnetThrowAnalysis(boolean isInterproc)
	DotnetThrowAnalysis(Singletons.Global g)	Constructs a DalvikThrowAnalysis for inclusion in Soot's global variable manager, G.
	DotnetThrowAnalysis(Singletons.Global g, boolean isInterproc)

Method Summary

Modifier and Type	Method	Description
protected ThrowableSet	defaultResult()
protected UnitThrowAnalysis.UnitSwitch	unitSwitch(SootMethod sm)
static DotnetThrowAnalysis	v()	Returns the single instance of DalvikThrowAnalysis.
protected UnitThrowAnalysis.ValueSwitch	valueSwitch()

Methods inherited from class soot.toolkits.exceptions.UnitThrowAnalysis

interproc, mightThrow, mightThrow, mightThrow, mightThrow, mightThrow, mightThrowImplicitly, mightThrowImplicitly

Methods inherited from class soot.toolkits.exceptions.AbstractThrowAnalysis

mightThrowExplicitly, mightThrowExplicitly, mightThrowExplicitly

Methods inherited from class java.lang.Object

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

Field Detail

interproceduralAnalysis

public static DotnetThrowAnalysis interproceduralAnalysis

Constructor Detail

DotnetThrowAnalysis

public DotnetThrowAnalysis(Singletons.Global g)

Constructs a DalvikThrowAnalysis for inclusion in Soot's global variable manager, G.

Parameters:

g - guarantees that the constructor may only be called from Singletons.

DotnetThrowAnalysis

protected DotnetThrowAnalysis(boolean isInterproc)

DotnetThrowAnalysis

public DotnetThrowAnalysis(Singletons.Global g,
                           boolean isInterproc)

Method Detail

v

public static DotnetThrowAnalysis v()

Returns the single instance of DalvikThrowAnalysis.

Returns:

Soot's UnitThrowAnalysis.

defaultResult

protected ThrowableSet defaultResult()

Overrides:

defaultResult in class UnitThrowAnalysis

unitSwitch

protected UnitThrowAnalysis.UnitSwitch unitSwitch(SootMethod sm)

Overrides:

unitSwitch in class UnitThrowAnalysis

valueSwitch

protected UnitThrowAnalysis.ValueSwitch valueSwitch()

Overrides:

valueSwitch in class UnitThrowAnalysis