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

Field Summary

Fields

Modifier and Type	Field and Description
static MethodState	DEFAULT

Constructor Summary

Constructors

Constructor and Description
MethodState()

Method Summary

Methods

Modifier and Type	Method and 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 Detail

DEFAULT

public static final MethodState DEFAULT

Constructor Detail

MethodState

public MethodState()

Method Detail

throwsException

public abstract boolean throwsException(SSAAbstractInvokeInstruction node)