Package com.ibm.wala.cfg.exc.intra

Class MethodState

java.lang.Object

com.ibm.wala.cfg.exc.intra.MethodState

public abstract class MethodState
extends Object

Provides a way for the nullpointer analysis to decide whether or not a called method may throw an exception.

Author:

Juergen Graf <graf@kit.edu>

Field Summary

Fields

Modifier and Type	Field	Description
static final MethodState	DEFAULT

Constructor Summary

Constructors

Constructor	Description
MethodState()

Method Summary

Modifier and Type	Method	Description
abstract boolean	throwsException(SSAAbstractInvokeInstruction node)

Methods inherited from class java.lang.Object

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

Field Details

DEFAULT

public static final MethodState DEFAULT

Constructor Details

MethodState

public MethodState()

Method Details

throwsException

public abstract boolean throwsException(SSAAbstractInvokeInstruction node)