Class MethodState
java.lang.Object
com.ibm.wala.cfg.exc.intra.MethodState
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
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionabstract boolean
-
Field Details
-
DEFAULT
-
-
Constructor Details
-
MethodState
public MethodState()
-
-
Method Details
-
throwsException
-