Uses of Class
edu.neu.ccs.jpf.JPFApplication

Packages that use JPFApplication
edu.neu.ccs.jpf Provides the classes that implement the Java Power Framework
 

Uses of JPFApplication in edu.neu.ccs.jpf
 

Fields in edu.neu.ccs.jpf declared as JPFApplication
(package private)  JPFApplication MethodGUI.application
          The associated JPFApplication.
(package private)  JPFApplication JPF.application
          The parent Java application.
 

Constructors in edu.neu.ccs.jpf with parameters of type JPFApplication
MethodGUI(JPFApplication application, Method method)
          Constructs the MethodGUI using the given Method.
MethodGUI(JPFApplication application, Method method, int orientation)
          Constructs the MethodGUI using the given Method and orientation.