Uses of Package
com.javapathfinder.vjp.verify.view

Packages that use com.javapathfinder.vjp.verify.view

com.javapathfinder.vjp.verify
com.javapathfinder.vjp.verify.view

Classes in com.javapathfinder.vjp.verify.view used by com.javapathfinder.vjp.verify

VJPView
This class represent the VJP view.

Classes in com.javapathfinder.vjp.verify.view used by com.javapathfinder.vjp.verify.view

ControlPanel
The Composite the holds all of the buttons to control verification

ErrorViewer
Displays the errors generated from the verification

TraceTable
The table used to display information about the thread trace generated by JPF during verification.

TransitionView
Serves as a viewer into the contents of a transition

VJPView
This class represent the VJP view.