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.
-
-
Field Summary
Fields Modifier and Type Field Description static MethodState
DEFAULT
-
Constructor Summary
Constructors Constructor Description MethodState()
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract boolean
throwsException(SSAAbstractInvokeInstruction node)
-
-
-
Field Detail
-
DEFAULT
public static final MethodState DEFAULT
-
-
Method Detail
-
throwsException
public abstract boolean throwsException(SSAAbstractInvokeInstruction node)
-
-