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 Details

  • Constructor Details

    • MethodState

      public MethodState()
  • Method Details