Package edu.neu.ccs.jpf

Provides the classes that implement the Java Power Framework.

See:
Description

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 I/O via the interface ConsoleAware a simple graphics window using a BufferedPanel.
JPFApplication	This is the main application that sets up a console, a graphics window, and installs a list of actions to select one of several tasks to run from a given collection of "proper" methods.
JPFBase	Provides the base utility methods for use in the Java Power Framework.
JPFBase.ConstructorSignature	Encapsulates constructor signature attributes.
JPFBase.MemberSignature	Encapsulates signature attributes for a class member.
JPFBase.MethodSignature	Encapsulates a method signature.
JPFBase.ParametrizedSignature	Encapsulates a parametrized member signature.
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