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

Package escjava.vcGeneration.xml

Class escjava.vcGeneration.xml.XmlProverException extends java.io.IOException implements Serializable

Serialized Fields

stylesheet

java.lang.String stylesheet