Package edu.neu.ccs.jpf

Provides the classes that implement the Java Power Framework.

See:
Description

Interface Summary

MethodFilter

This interface describes an object that can prune an array of Method objects to remove those that fail to meet some criterion.

Class Summary

ActivityIcon	Provides JComponents that display icons for the input, action, and output displays in MethodGUI.
ActivityIcon.ActionIcon	Icon representing execution of an action.
ActivityIcon.InputIcon	Icon representing an input parameter.
ActivityIcon.OutputIcon	Icon representing output.
JPF	The Java Power Framework class JPF provides the foundation for creating an automatic Java GUI application with access to the JPT console and a graphics window and to automatically created action buttons.
JPFApplet	The Java Power Framework class JPFApplet provides the ability to demonstrate JPF-like code in an applet.
JPFHelper	Class JPFHelper collects utility methods that in earlier releases of the Java Power Framework were located in various other classes of the jpf package.
JPFPane	Class JPFPane is an adaption of the earlier JPF class JPFApplication which has been removed as of 2.7.0.
MethodFilter.Factory	The inner class Factory contains useful methods for defining working with MethodFilter objects.
MethodGUI	This class implements the GUI for a Method that is non-trivial, that is, has a return value and/or non-trivial parameters.

Package edu.neu.ccs.jpf Description

Provides the classes that implement the Java Power Framework.

Related Documentation

For overviews, tutorials, examples, guides, and tool documentation, please see:

• JPT Online