Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

# Serialized Form

Package javafe.parser

Class javafe.parser.FileFormatException extends java.io.IOException implements Serializable

serialVersionUID: -6923801838876618362l

Package javafe.genericfile

Class javafe.genericfile.NormalGenericFile extends java.io.File implements Serializable

serialVersionUID: 4996822143630105487l

Package javafe.filespace

Class javafe.filespace.Resolve_AmbiguousName extends java.lang.Exception implements Serializable

serialVersionUID: 2257695944062705896l

Serialized Fields

### ambiguousPackage

    Tree ambiguousPackage

Package javafe.tc

Class javafe.tc.LookupException extends java.lang.Exception implements Serializable

serialVersionUID: -1716616387246135949l

Serialized Fields

### reason

    int reason

Package javafe.util

Class javafe.util.AssertionFailureException extends java.lang.RuntimeException implements Serializable

serialVersionUID: 6988776634359056514l

Class javafe.util.FatalError extends java.lang.RuntimeException implements Serializable

serialVersionUID: 4916981747846620833l

Class javafe.util.NotImplementedException extends java.lang.RuntimeException implements Serializable

serialVersionUID: 582846680511107743l

Class javafe.util.UsageError extends java.lang.Exception implements Serializable

serialVersionUID: 961376577543322857l

Package escjava.gui

Class escjava.gui.EscEditor extends javax.swing.JFrame implements Serializable

Serialized Fields

### editor

    javax.swing.JEditorPane editor

### scroll

    javax.swing.JScrollPane scroll

### fileChoice

    javax.swing.JComboBox fileChoice

### files

    java.lang.String[] files

Class escjava.gui.EscFrame extends javax.swing.JFrame implements Serializable

Serialized Fields

### escoptionPanel

    EscOptions escoptionPanel

### guioptionPanel

    GuiOptionsPanel guioptionPanel

### listArea

    javax.swing.JTextArea listArea

### treeView

    javax.swing.JScrollPane treeView

### sizeinfo

    javax.swing.JLabel sizeinfo

### guilight

    javax.swing.JComponent guilight

### proverlight

    javax.swing.JComponent proverlight

### currentdirText

    javax.swing.JTextField currentdirText

### classpathText

    javax.swing.JTextField classpathText

### specspathText

    javax.swing.JTextField specspathText

### fc

    javax.swing.JFileChooser fc

### cachedText

    java.lang.String cachedText

Class escjava.gui.EscFrame.EscTreeCellRenderer extends javax.swing.JPanel implements Serializable

Serialized Fields

### label

    javax.swing.JLabel label

### cb

    javax.swing.JCheckBox cb

Class escjava.gui.EscHtml extends javax.swing.JFrame implements Serializable

Serialized Fields

### editor

    javax.swing.JEditorPane editor

### scroll

    javax.swing.JScrollPane scroll

Class escjava.gui.EscOptions extends javax.swing.JPanel implements Serializable

Serialized Fields

### doc

    Options doc

  A reference to the Options structure in the ESC tool, which serves as the document for this GUI.

Class escjava.gui.EscOutputFrame extends javax.swing.JFrame implements Serializable

Serialized Fields

### textArea

    javax.swing.JTextArea textArea

Class escjava.gui.GUI.Stop extends java.lang.RuntimeException implements Serializable

Class escjava.gui.GuiOptionsPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

### settings

    GuiOptionsPanel.Settings settings

Package escjava.prover

Class escjava.prover.SExpTypeError extends java.lang.Exception implements Serializable

serialVersionUID: 5767797092888960711l

Class escjava.prover.SubProcess.Died extends java.lang.RuntimeException implements Serializable

serialVersionUID: 2624260378471410994l

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved
PREV NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage