Class GraphicalVerifier

public class GraphicalVerifier

extends java.lang.Object

A graphical user interface application demonstrating JustIce.

$Id: GraphicalVerifier.java 386056 2006-03-15 11:31:56Z tcurdt $

Field Summary
`(package private) boolean`	`packFrame`

Constructor Summary
`GraphicalVerifier()` Constructor.

Method Summary
`static void`	`main(String[] args)` Main method.

(package private)  boolean packFrame

public GraphicalVerifier()

Constructor.

public static void main(String[] args)

Main method.

Overview Package Class Use Tree Index Deprecated About
Prev Class \| Next Class	Frames \| No Frames
Summary: Nested \| Field \| Method \| Constr	Detail: Nested \| Field \| Method \| Constr

Field Summary