Serialized Form (Java-Geometry-Expert 0.87 API)

Package maths
- Class maths.BigFraction extends java.lang.Object implements Serializable
  - Serialized Fields
    - denominator_
      
      java.math.BigInteger denominator_
    - numerator_
      
      java.math.BigInteger numerator_
Package pdf
- Class pdf.BoundingBox extends java.awt.Rectangle implements Serializable
  - Serialized Fields
    - absoluteLocation
      
      java.awt.Point absoluteLocation
      
      The absolute, world location of the box
    - drawingPoint
      
      java.awt.Point drawingPoint
      
      The point to use for Graphics.drawString()
    - parent
      
      BoundingBox parent
      
      Link to parent box
- Class pdf.PDFAnnot extends PDFObject implements Serializable
  - Serialized Fields
    - b
      
      int b
      
      The size of the annotation
    - border
      
      PDFBorder border
      
      the border for this annotation
    - dest
      
      PDFObject dest
      
      Link to the Destination page
    - fb
      
      int fb
      
      If fl!=FULL_PAGE then this is the region of the destination page shown. Otherwise they are ignored.
    - fl
      
      int fl
      
      If fl!=FULL_PAGE then this is the region of the destination page shown. Otherwise they are ignored.
    - fr
      
      int fr
      
      If fl!=FULL_PAGE then this is the region of the destination page shown. Otherwise they are ignored.
    - ft
      
      int ft
      
      If fl!=FULL_PAGE then this is the region of the destination page shown. Otherwise they are ignored.
    - l
      
      int l
      
      The size of the annotation
    - r
      
      int r
      
      The size of the annotation
    - s
      
      java.lang.String s
      
      The text of a text annotation
    - subtype
      
      java.lang.String subtype
      
      The subtype of the outline, ie text, note, etc
    - t
      
      int t
      
      The size of the annotation
- Class pdf.PDFBorder extends PDFObject implements Serializable
  - Serialized Fields
    - dash
      
      double[] dash
      
      This array allows the definition of a dotted line for the border
    - style
      
      short style
      
      The style of the border
    - width
      
      double width
      
      The width of the border
- Class pdf.PDFCatalog extends PDFObject implements Serializable
  - Serialized Fields
    - outlines
      
      PDFOutline outlines
      
      The outlines of the document
    - pagemode
      
      int pagemode
      
      The initial page mode
    - pdfPageList
      
      PDFPageList pdfPageList
      
      The pages of the document
- Class pdf.PDFDocument extends java.lang.Object implements Serializable
  - Serialized Fields
    - catalog
      
      PDFCatalog catalog
      
      This is the Catalog object, which is required by each PDF Document
    - defaultOutlineBorder
      
      PDFObject defaultOutlineBorder
      
      This holds a PDFObject describing the default border for annotations. It's only used when the document is being written.
    - fontid
      
      int fontid
      
      This is used to provide a unique name for a font
    - fonts
      
      java.util.Vector<PDFFont> fonts
      
      This holds the current fonts
    - imageid
      
      int imageid
      
      This is used to provide a unique name for an image
    - info
      
      PDFInfo info
      
      This is the info object. Although this is an optional object, we include it.
    - objects
      
      java.util.Vector<PDFObject> objects
      
      This vector contains each indirect object within the document.
    - objser
      
      int objser
    - outline
      
      PDFOutline outline
      
      This is the Outline object, which is optional
    - pdfPageList
      
      PDFPageList pdfPageList
      
      This is the Pages object, which is required by each PDF Document
- Class pdf.PDFFont extends PDFObject implements Serializable
  - Serialized Fields
    - font
      
      java.lang.String font
      
      The font's real name
    - javaFont
      
      java.lang.String javaFont
      
      The name of the equivalent Java font
    - name
      
      java.lang.String name
      
      The PDF document name of the font
    - style
      
      int style
      
      The PDF Style, ie: BOLD, ITALIC, etc
    - type
      
      java.lang.String type
      
      The PDF type of the font, usually /Type1
- Class pdf.PDFGraphics extends java.awt.Graphics2D implements Serializable
  - Serialized Fields
    - background
      
      java.awt.Color background
    - child
      
      boolean child
      
      This is true for any Graphics instance that didn't create the stream.
      
      See Also:
      
      PDFGraphics.create()
    - clip
      
      java.awt.geom.Area clip
    - clipRectangle
      
      java.awt.Rectangle clipRectangle
      
      This holds the current clipRectangle
    - composite
      
      java.awt.Composite composite
    - dg2
      
      java.awt.Graphics2D dg2
    - font
      
      java.awt.Font font
      
      This is the current font (in Java format)
    - inStroke
      
      boolean inStroke
      
      Part of the optimizer: When true, we are drawing a path.
    - inText
      
      boolean inText
      
      Part of the optimizer: When true, we are within a Text Block.
    - lineCap
      
      int lineCap
      
      The stroke line cap code;
    - lineJoin
      
      int lineJoin
      
      The stroke line join code
    - lineWidth
      
      float lineWidth
      
      The stroke line width
    - lx
      
      float lx
      
      Part of the optimizer: The last known moveto/lineto x coordinate
      
      See Also:
      
      PDFGraphics.moveto(double, double), PDFGraphics.lineto(double, double)
    - ly
      
      float ly
      
      Part of the optimizer: The last known moveto/lineto y coordinate
      
      See Also:
      
      PDFGraphics.moveto(double, double), PDFGraphics.lineto(double, double)
    - miterLimit
      
      float miterLimit
    - newFont
      
      boolean newFont
      
      Part of the optimizer: When true, the font has changed.
    - originalStroke
      
      java.awt.Stroke originalStroke
    - oTransform
      
      java.awt.geom.AffineTransform oTransform
    - page
      
      PDFPage page
      
      This is a reference to the PDFPage we are rendering to.
    - paint
      
      java.awt.Paint paint
      
      This is the current pen/fill color
    - pdffont
      
      PDFFont pdffont
      
      This is the current font (in PDF format)
    - pre_np
      
      java.lang.String pre_np
      
      Part of the optimizer: This is written to the stream when the newPath() is called. np then clears this value.
    - pTransform
      
      java.awt.geom.AffineTransform pTransform
    - pw
      
      java.io.PrintWriter pw
      
      This is the PrintWriter used to write PDF drawing commands to the Stream
    - rhints
      
      java.awt.RenderingHints rhints
      
      RenderingHints
    - stroke
      
      java.awt.Stroke stroke
    - transform
      
      java.awt.geom.AffineTransform transform
    - trax
      
      float trax
      
      This is used to translate coordinates
    - tray
      
      float tray
      
      This is used to translate coordinates
    - tx
      
      float tx
      
      Part of the optimizer: The last x coordinate when rendering text
    - ty
      
      float ty
      
      Part of the optimizer: The last y coordinate when rendering text
- Class pdf.PDFImage extends PDFStream implements Serializable
  - Serialized Fields
    - height
      
      int height
    - img
      
      java.awt.Image img
    - name
      
      java.lang.String name
    - objheight
      
      int objheight
    - objwidth
      
      int objwidth
    - width
      
      int width
- Class pdf.PDFInfo extends PDFObject implements Serializable
  - Serialized Fields
    - author
      
      java.lang.String author
    - creator
      
      java.lang.String creator
    - keywords
      
      java.lang.String keywords
    - subject
      
      java.lang.String subject
    - title
      
      java.lang.String title
- Class pdf.PDFJob extends java.awt.PrintJob implements Serializable
  - Serialized Fields
    - page
      
      PDFPage page
      
      This is the current page being constructed by the last getGraphics() call
    - pagenum
      
      int pagenum
      
      This is the page number of the current page
    - pdfDocument
      
      PDFDocument pdfDocument
      
      This is the PDF file being constructed
- Class pdf.PDFObject extends java.lang.Object implements Serializable
  - Serialized Fields
    - objser
      
      int objser
      
      This is the unique serial number for this object.
    - pdfDocument
      
      PDFDocument pdfDocument
      
      This allows any PDF object to refer to the document being constructed.
    - type
      
      java.lang.String type
      
      This is the object's PDF Type
- Class pdf.PDFOutline extends PDFObject implements Serializable
  - Serialized Fields
    - b
      
      int b
      
      The region on the destination page
    - dest
      
      PDFPage dest
      
      The destination page
    - destMode
      
      boolean destMode
      
      How the destination is handled
    - l
      
      int l
      
      The region on the destination page
    - outlines
      
      java.util.Vector<PDFOutline> outlines
      
      This holds any outlines below us
    - parent
      
      PDFOutline parent
      
      For subentries, this points to it's parent outline
    - r
      
      int r
      
      The region on the destination page
    - t
      
      int t
      
      The region on the destination page
    - title
      
      java.lang.String title
      
      This is this outlines Title
- Class pdf.PDFPage extends PDFObject implements Serializable
  - Serialized Fields
    - annotations
      
      java.util.Vector<PDFObject> annotations
      
      This holds any Annotations contained within this page.
    - contents
      
      java.util.Vector<PDFObject> contents
      
      This holds the contents of the page.
    - fonts
      
      java.util.Vector<PDFFont> fonts
      
      The fonts associated with this page
    - hasImageB
      
      boolean hasImageB
      
      These handle the procset for this page. Refer to page 140 of the PDF Reference manual NB: Text is handled when the fonts Vector is null, and a font is created refer to getFont() to see where it's defined
    - hasImageC
      
      boolean hasImageC
      
      These handle the procset for this page. Refer to page 140 of the PDF Reference manual NB: Text is handled when the fonts Vector is null, and a font is created refer to getFont() to see where it's defined
    - hasImageI
      
      boolean hasImageI
      
      These handle the procset for this page. Refer to page 140 of the PDF Reference manual NB: Text is handled when the fonts Vector is null, and a font is created refer to getFont() to see where it's defined
    - imageResources
      
      java.util.Vector<java.lang.String> imageResources
    - pageFormat
      
      java.awt.print.PageFormat pageFormat
      
      This is this page format, ie the size of the page, margins, and rotation
    - pdfPageList
      
      PDFObject pdfPageList
      
      This is the pages object id that this page belongs to. It is set by the pages object when it is added to it.
    - procset
      
      PDFPage.procset procset
    - resources
      
      java.util.Vector<java.lang.String> resources
      
      This holds any resources for this page
    - thumbnail
      
      PDFObject thumbnail
      
      Object ID that contains a thumbnail sketch of the page. -1 indicates no thumbnail.
    - xobjects
      
      java.util.Vector<java.lang.String> xobjects
      
      Contains the text strings for the xobjects.
- Class pdf.PDFPage.procset extends PDFObject implements Serializable
  - Serialized Fields
    - set
      
      java.util.Vector<java.lang.String> set
- Class pdf.PDFPageList extends PDFObject implements Serializable
  - Serialized Fields
    - pages
      
      java.util.Vector<PDFPage> pages
      
      This holds the pages
- Class pdf.PDFStream extends PDFObject implements Serializable
  - Serialization Methods
    - readObject
      
      private void readObject(java.io.ObjectInputStream in) throws java.io.IOException
      
      This implements our own special Serialization for this object
      Here we read the length of the stream's contents, then a byte array of the contents. Then we recreate a new ByteArrayOutputStream. We have to do this, as ByteArrayOutputStream is not serializable (hence the transient tag).
      
      Throws:
      
      java.io.IOException
    - writeObject
      
      private void writeObject(java.io.ObjectOutputStream out) throws java.io.IOException
      
      This implements our own special Serialization for this object.
      Here we write the length of the stream's contents, then a byte array of the contents. We have to do this, as ByteArrayOutputStream is not serializable (hence the transient tag).
      
      Throws:
      
      java.io.IOException
  - Serialized Fields
    - deflate
      
      boolean deflate
      
      True if we will compress the stream in the pdf file
- Class pdf.StringTooLongException extends java.lang.Exception implements Serializable
  - Serialized Fields
    - msg
      
      java.lang.String msg
Package UI
- Class UI.ButtonBorder extends javax.swing.border.AbstractBorder implements Serializable
- Class UI.GBevelBorder extends javax.swing.border.SoftBevelBorder implements Serializable
  - Serialized Fields
    - type
      
      int type

Package wprover

Class wprover.AboutDialog extends javax.swing.JPopupMenu implements Serializable
- Serialized Fields
  - b2
```
javax.swing.JLabel b2
```
  - color
```
java.awt.Color color
```
  - gx
```
GExpert gx
```
  - pane
```
WuTextPane pane
```

Class wprover.AllSolutionDialog extends JBaseDialog implements Serializable

Serialized Fields

backup
```
double[] backup
```
button
```
javax.swing.JButton button
```
button1
```
javax.swing.JButton button1
```
button2
```
javax.swing.JButton button2
```
button3
```
javax.swing.JButton button3
```
cns
```
Cons cns
```
cross
```
javax.swing.ImageIcon cross
```
dlg
```
ConcDialog dlg
```
field1
```
javax.swing.JTextField field1
```
field2
```
javax.swing.JTextField field2
```
gxInstance
```
GExpert gxInstance
```
hook
```
javax.swing.ImageIcon hook
```
index
```
int index
```
labelx
```
javax.swing.JLabel labelx
```
vblist
```
java.util.Vector vblist
```
vlist
```
java.util.Vector vlist
```

Class wprover.AnimatePanel extends javax.swing.JToolBar implements Serializable

Serialized Fields

ant
```
AnimateC ant
```
bx1
```
javax.swing.JToggleButton bx1
```
bx2
```
javax.swing.JToggleButton bx2
```
bx3
```
javax.swing.JToggleButton bx3
```
d
```
javax.swing.JPanel d
```
dp
```
DrawProcess dp
```
expert
```
GExpert expert
```
first
```
boolean first
```
framesPerSecond
```
javax.swing.JSlider framesPerSecond
```
menu
```
javax.swing.JPopupMenu menu
```
timer
```
javax.swing.Timer timer
```

Class wprover.AttrToCondDialog extends JBaseDialog implements Serializable

Serialized Fields

bcancel
```
javax.swing.JButton bcancel
```
bok
```
javax.swing.JButton bok
```
buttonPane
```
javax.swing.JPanel buttonPane
```
co
```
Cond co
```
contentPane
```
javax.swing.JPanel contentPane
```
panel
```
javax.swing.JPanel panel
```
topPane
```
javax.swing.JScrollPane topPane
```

Class wprover.CCoBox extends javax.swing.JComboBox implements Serializable
- Serialized Fields
  - defaultindex
```
int defaultindex
```
Class wprover.CDialogProve extends JBaseDialog implements Serializable
- Serialized Fields
  - m_cp
```
wprover.ProvePane m_cp
```
Class wprover.ColorButtonPanel extends javax.swing.JPanel implements Serializable
- Serialized Fields
  - cm
```
wprover.ColorMenu cm
```

Class wprover.ConcDialog extends JBaseDialog implements Serializable

Serialized Fields

bok
```
javax.swing.JButton bok
```
bt
```
javax.swing.JComboBox bt
```
bx1
```
javax.swing.JComboBox bx1
```
bx2
```
javax.swing.JComboBox bx2
```
cardPane
```
javax.swing.JPanel cardPane
```
gxInstance
```
GExpert gxInstance
```
ic1
```
javax.swing.ImageIcon ic1
```
ic2
```
javax.swing.ImageIcon ic2
```
ic3
```
javax.swing.ImageIcon ic3
```
ltext
```
javax.swing.JLabel ltext
```
ltext1
```
javax.swing.JLabel ltext1
```
model
```
boolean model
```
Pane2
```
wprover.ConcDialog.condPane Pane2
```
returnValue
```
int returnValue
```
type
```
int type
```
vlist
```
java.util.Vector vlist
```
vlist1
```
java.util.Vector vlist1
```

Class wprover.ConcPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

ass
```
wprover.MAssertion ass
```
ass_show
```
wprover.MAssertion ass_show
```
ass_temp
```
wprover.MAssertion ass_temp
```
asspane
```
wprover.TreeCellAssertPanel asspane
```

asspane_temp

wprover.TreeCellAssertPanel asspane_temp

bbcancel
```
javax.swing.JButton bbcancel
```
bbok
```
javax.swing.JButton bbok
```
bpanel
```
javax.swing.JPanel bpanel
```
bt
```
javax.swing.JComboBox bt
```
contentPane
```
javax.swing.JPanel contentPane
```
gxInstance
```
GExpert gxInstance
```
ipanel
```
MProveInputPanel ipanel
```
ltext1
```
javax.swing.JLabel ltext1
```
vlist
```
java.util.Vector vlist
```
vlist1
```
java.util.Vector vlist1
```

Class wprover.CProperty extends javax.swing.JPanel implements Serializable

Serialized Fields

d
```
wprover.DPanel d
```
label
```
javax.swing.JLabel label
```
lan
```
Language lan
```
pangle
```
wprover.CProperty.Panel_Angle pangle
```
parrow
```
wprover.CProperty.Panel_arrow parrow
```
pcir
```
wprover.CProperty.Panel_Circle pcir
```
pcs
```
wprover.CProperty.Panel_CS pcs
```
peqmk
```
wprover.CProperty.Panel_eqmark peqmk
```
pln
```
wprover.CProperty.Panel_Line pln
```
poly
```
wprover.CProperty.Panel_Polygon poly
```
ppt
```
wprover.CProperty.Panel_Point ppt
```
ptex
```
wprover.CProperty.Panel_text ptex
```
ptrs
```
wprover.CProperty.Panel_trace ptrs
```

Class wprover.CProveBarPanel extends FloatableToolBar implements Serializable
- Serialized Fields
  - bar
```
wprover.ProveBar bar
```

Class wprover.CStyleDialog extends FloatableToolBar implements Serializable

Serialized Fields

action
```
int action
```

agColor

wprover.CStyleDialog.DrawStylePanel agColor

agRender

wprover.CStyleDialog.PolygonFillPopComboRender agRender

d
```
wprover.DPanel d
```
gxInstance
```
GExpert gxInstance
```
pagColor
```
javax.swing.JPanel pagColor
```
pColor
```
javax.swing.JPanel pColor
```
pcs
```
wprover.CStyleDialog.Panel_CS pcs
```

pgColor

wprover.CStyleDialog.DrawStylePanel pgColor

pgRender

wprover.CStyleDialog.PolygonFillPopComboRender pgRender

ppgColor
```
javax.swing.JPanel ppgColor
```
pStyle
```
javax.swing.JPanel pStyle
```
pWidth
```
javax.swing.JPanel pWidth
```

rColor

wprover.CStyleDialog.DrawStylePanel rColor

render0

wprover.CStyleDialog.PopComboRender render0

render1

wprover.CStyleDialog.PopComboRender render1

render2

wprover.CStyleDialog.PopComboRender render2

rStyle

wprover.CStyleDialog.DrawStylePanel rStyle

rWidth

wprover.CStyleDialog.DrawStylePanel rWidth

topAgPanel
```
javax.swing.JPanel topAgPanel
```

Class wprover.DialogProperty extends JBaseDialog implements Serializable
Class wprover.DialogPsProperty extends JBaseDialog implements Serializable
- Serialized Fields
  - gxInstance
```
GExpert gxInstance
```
  - pfill
```
javax.swing.JCheckBox pfill
```
  - type
```
int type
```

Class wprover.FactFinderDialog extends JBaseDialog implements Serializable

Serialized Fields

b1
```
javax.swing.JComboBox b1
```
b2
```
javax.swing.JComboBox b2
```
b3
```
javax.swing.JComboBox b3
```
bcancel
```
javax.swing.JButton bcancel
```
breset
```
javax.swing.JButton breset
```
bs
```
javax.swing.JComboBox bs
```
bsearch
```
javax.swing.JButton bsearch
```
find_type
```
int find_type
```
gxInstance
```
GExpert gxInstance
```
label
```
javax.swing.JLabel label
```
list
```
javax.swing.JList list
```
model
```
javax.swing.DefaultListModel model
```

Class wprover.FloatableToolBar extends javax.swing.JPopupMenu implements Serializable
- Serialized Fields
  - bquit
```
javax.swing.JToggleButton bquit
```
  - mpanel
```
javax.swing.JPanel mpanel
```
  - x
```
int x
```
  - y
```
int y
```

Class wprover.GExpert extends javax.swing.JFrame implements Serializable

Serialized Fields

_command
```
java.lang.String _command
```
adialog
```
AboutDialog adialog
```
afpane
```
FloatableToolBar afpane
```
aframe
```
AnimatePanel aframe
```
anButton
```
javax.swing.JToggleButton anButton
```
BK1
```
javax.swing.JToggleButton BK1
```
BK2
```
javax.swing.JToggleButton BK2
```
BK3
```
javax.swing.JToggleButton BK3
```
BK4
```
javax.swing.JToggleButton BK4
```
buttonMove
```
javax.swing.JToggleButton buttonMove
```
buttonSelect
```
javax.swing.JToggleButton buttonSelect
```
cdialog
```
ConcDialog cdialog
```
contentPane
```
javax.swing.JSplitPane contentPane
```
cp
```
CProperty cp
```
d
```
wprover.DPanel d
```
dp
```
DrawTextProcess dp
```
filechooser
```
javax.swing.JFileChooser filechooser
```
group
```
wprover.GExpert.Group group
```
iconPool
```
java.util.Vector iconPool
```
inputm
```
MProveInputPanel inputm
```
label
```
javax.swing.JLabel label
```
label2
```
javax.swing.JLabel label2
```
listener
```
java.awt.event.ActionListener listener
```
lp
```
ListTree lp
```
menugroup
```
wprover.GExpert.Group menugroup
```
n
```
int n
```
ndialog
```
NumCheckDialog ndialog
```
pdialog
```
CDialogProve pdialog
```
ppanel
```
javax.swing.JPanel ppanel
```
pprove
```
PanelProve pprove
```
propt
```
DialogProperty propt
```
provePanelbar
```
CProveBarPanel provePanelbar
```
rdialog
```
RuleDialog rdialog
```
rview
```
JPopExView rview
```
scroll
```
javax.swing.JScrollPane scroll
```
sdialog
```
SelectDialog sdialog
```
show_button
```
javax.swing.JToggleButton show_button
```
styleDialog
```
CStyleDialog styleDialog
```
timer
```
javax.swing.Timer timer
```
tipanel
```
javax.swing.JPanel tipanel
```
udialog
```
UndoEditDialog udialog
```
vpoolist
```
java.util.Vector vpoolist
```

Class wprover.GIFOptionDialog extends JBaseDialog implements Serializable

Serialized Fields

bcancel
```
javax.swing.JButton bcancel
```
bok
```
javax.swing.JButton bok
```
field1
```
javax.swing.JTextField field1
```
field2
```
javax.swing.JTextField field2
```
gxInstance
```
GExpert gxInstance
```
result
```
boolean result
```
slider
```
javax.swing.JSlider slider
```

Class wprover.GIFProcessDialog extends JBaseDialog implements Serializable

Serialized Fields

am
```
AnimateC am
```
dp
```
DrawTextProcess dp
```
en
```
GifEncoder en
```
finished
```
boolean finished
```
gxInstance
```
GExpert gxInstance
```
label
```
javax.swing.JLabel label
```
out
```
java.io.DataOutputStream out
```
progress
```
javax.swing.JProgressBar progress
```
rect
```
java.awt.Rectangle rect
```
total
```
int total
```

Class wprover.ImageTimer extends JBaseDialog implements Serializable

Serialized Fields

bar
```
CProveBarPanel bar
```
delay
```
int delay
```
delay1
```
int delay1
```
delay2
```
int delay2
```
encorder
```
GifEncoder encorder
```
field
```
javax.swing.JTextField field
```
field1
```
javax.swing.JTextField field1
```
field2
```
javax.swing.JTextField field2
```
finished
```
boolean finished
```
gxInstance
```
GExpert gxInstance
```
interrupted
```
boolean interrupted
```
label1
```
javax.swing.JLabel label1
```
label2
```
javax.swing.JLabel label2
```
n1
```
int n1
```
n2
```
int n2
```
nf
```
int nf
```
nimage
```
java.awt.image.BufferedImage[] nimage
```
rc
```
java.awt.Rectangle rc
```
result
```
boolean result
```
running
```
boolean running
```
slider
```
javax.swing.JSlider slider
```
slider1
```
javax.swing.JSlider slider1
```
slider2
```
javax.swing.JSlider slider2
```
sprocess
```
java.lang.Thread sprocess
```
timer
```
javax.swing.Timer timer
```

Class wprover.JBaseDialog extends javax.swing.JDialog implements Serializable
Class wprover.JPopExView extends JBaseDialog implements Serializable
- Serialized Fields
  - gxInstance
```
GExpert gxInstance
```
  - panel
```
wprover.JExPanel panel
```

Class wprover.LeadVariableDialog extends JBaseDialog implements Serializable

Serialized Fields

bdtail
```
javax.swing.JButton bdtail
```
gxInstance
```
GExpert gxInstance
```

ipane

wprover.LeadVariableDialog.InspectPanel ipane

model

wprover.LeadVariableDialog.LVTableModel model

table
```
javax.swing.JTable table
```
tpane
```
javax.swing.JTabbedPane tpane
```
vdata
```
java.util.Vector vdata
```

Class wprover.ListTree extends javax.swing.JTabbedPane implements Serializable

Serialized Fields

gxInstance
```
GExpert gxInstance
```
list
```
javax.swing.JList list
```
listx
```
javax.swing.JList listx
```
model
```
javax.swing.DefaultListModel model
```
modelx
```
javax.swing.DefaultListModel modelx
```
prop
```
CProperty prop
```
undolist
```
java.util.Vector undolist
```

Class wprover.MiscDialog extends JBaseDialog implements Serializable

Serialized Fields

gxInstance
```
GExpert gxInstance
```
lan
```
java.lang.String lan
```
onSetting
```
boolean onSetting
```
pane1
```
wprover.MiscDialog.DisplayPanel pane1
```
pane2
```
wprover.MiscDialog.modePanel pane2
```
pane3
```
wprover.MiscDialog.FontPanel pane3
```
pane4
```
wprover.MiscDialog.AnglePanel pane4
```
panelc
```
wprover.MiscDialog.colorPanel panelc
```
tpane
```
javax.swing.JTabbedPane tpane
```

Class wprover.MProveInputPanel extends javax.swing.JToolBar implements Serializable

Serialized Fields

assertPane
```
ConcPanel assertPane
```
badd
```
javax.swing.JToggleButton badd
```
bappend
```
javax.swing.JToggleButton bappend
```
bcancel
```
javax.swing.JToggleButton bcancel
```
bchild
```
javax.swing.JToggleButton bchild
```
bok
```
javax.swing.JToggleButton bok
```
contentPane
```
javax.swing.JPanel contentPane
```
dp
```
DrawTextProcess dp
```
dpane
```
wprover.DPanel dpane
```

drawPane

wprover.MProveInputPanel.drawPanel drawPane

epane

wprover.MProveInputPanel.CommonEquationPanel epane

gxInstance
```
GExpert gxInstance
```
mdPanel
```
javax.swing.JPanel mdPanel
```
node
```
wprover.MNode node
```
obj
```
wprover.MObject obj
```

objectPane

wprover.MProveInputPanel.dobjPanel objectPane

popSelect

wprover.MProveInputPanel.popSelectMenu1 popSelect

prefixPane

wprover.MProveInputPanel.prefixPanel prefixPane

rulepane

wprover.MProveInputPanel.rulePanel rulepane

slabel
```
javax.swing.JLabel slabel
```

symbolPane

wprover.MProveInputPanel.symbolPanel symbolPane

textPane

wprover.MProveInputPanel.textPanel textPane

tnode

javax.swing.tree.DefaultMutableTreeNode tnode

topPanel
```
javax.swing.JPanel topPanel
```
tree
```
MProveTree tree
```
type
```
int type
```
ui
```
BLeveledButtonUI ui
```

Class wprover.MProveTree extends javax.swing.JTree implements Serializable

Serialized Fields

dp
```
DrawTextProcess dp
```
dpane
```
wprover.DPanel dpane
```
editor
```
wprover.TreeCellOPaqueEditor editor
```
gxInstance
```
GExpert gxInstance
```
isButtonDown
```
boolean isButtonDown
```
model
```
javax.swing.tree.DefaultTreeModel model
```
popup
```
wprover.MProveTree.mpopup popup
```
rstep
```
int rstep
```
statusID
```
int statusID
```

top

javax.swing.tree.DefaultMutableTreeNode top

topm
```
wprover.MNode topm
```
x1
```
int x1
```
x2
```
int x2
```
y1
```
int y1
```
y2
```
int y2
```

Class wprover.NdgDialog extends JBaseDialog implements Serializable

Serialized Fields

dp
```
DrawProcess dp
```
gt
```
GTerm gt
```
gxInstance
```
GExpert gxInstance
```

lselect1

javax.swing.DefaultListSelectionModel lselect1

model1
```
wprover.NdgDialog.ndgTableModel model1
```
model2
```
wprover.NdgDialog.ndgTableModel1 model2
```
model3
```
wprover.NdgDialog.ndgTableModel1 model3
```
sp1
```
javax.swing.JSplitPane sp1
```
spane
```
javax.swing.JSplitPane spane
```
sptop
```
javax.swing.JSplitPane sptop
```
tabel1
```
javax.swing.JTable tabel1
```
tabel2
```
javax.swing.JTable tabel2
```
tabel3
```
javax.swing.JTable tabel3
```
tt
```
javax.swing.JTabbedPane tt
```

Class wprover.NumCheckDialog extends JBaseDialog implements Serializable

Serialized Fields

bx
```
javax.swing.JComboBox bx
```
bxs
```
javax.swing.JComboBox[] bxs
```
cards
```
javax.swing.JPanel cards
```
gxInstance
```
GExpert gxInstance
```
icon1
```
javax.swing.ImageIcon icon1
```
icon2
```
javax.swing.ImageIcon icon2
```
labels
```
javax.swing.JLabel[] labels
```
TYPE
```
int TYPE
```

Class wprover.PanelAlgebraic extends javax.swing.JScrollPane implements Serializable

Serialized Fields

_mremainder
```
TMono _mremainder
```
dp
```
DrawProcess dp
```
gt
```
GTerm gt
```
gxInstance
```
GExpert gxInstance
```
lan
```
Language lan
```
main
```
java.lang.Thread main
```
poly
```
GeoPoly poly
```
rund
```
RunningDialog rund
```
running
```
boolean running
```
tpane
```
WuTextPane tpane
```

Class wprover.PanelGB extends PanelAlgebraic implements Serializable
- Serialized Fields
  - menu
```
javax.swing.JPopupMenu menu
```
  - prs
```
boolean prs
```
  - vndgs
```
java.util.Vector vndgs
```

Class wprover.PanelProve extends javax.swing.JTabbedPane implements Serializable

Serialized Fields

areaPanel
```
javax.swing.JScrollPane areaPanel
```
cdialog
```
ConcDialog cdialog
```
COLOR_ANGLES
```
java.lang.String COLOR_ANGLES
```
COLOR_CIRCLES
```
java.lang.String COLOR_CIRCLES
```
COLOR_HYPOTHESIS
```
java.lang.String COLOR_HYPOTHESIS
```
COLOR_OTHER
```
java.lang.String COLOR_OTHER
```
COLOR_PARALLEL_LINES
```
java.lang.String COLOR_PARALLEL_LINES
```

COLOR_PERPENDICULAR_LINES

java.lang.String COLOR_PERPENDICULAR_LINES

COLOR_TRIANGLES
```
java.lang.String COLOR_TRIANGLES
```
COLOR_TRIVIAL
```
java.lang.String COLOR_TRIVIAL
```
condPane
```
wprover.PanelProve.Conspanel condPane
```
dbPanel
```
javax.swing.JScrollPane dbPanel
```
dp
```
DrawTextProcess dp
```
dpane
```
wprover.DPanel dpane
```
drawStructure
```
boolean drawStructure
```

edges

java.util.HashSet<wprover.PanelProve.Pair> edges

fdialog
```
FactFinderDialog fdialog
```
findex
```
int findex
```
FORM_ANGLES
```
java.lang.String FORM_ANGLES
```
FORM_CIRCLES
```
java.lang.String FORM_CIRCLES
```
FORM_HYPOTHESIS
```
java.lang.String FORM_HYPOTHESIS
```
FORM_OTHER
```
java.lang.String FORM_OTHER
```
FORM_PARALLEL_LINES
```
java.lang.String FORM_PARALLEL_LINES
```

FORM_PERPENDICULAR_LINES

java.lang.String FORM_PERPENDICULAR_LINES

FORM_TRIANGLES
```
java.lang.String FORM_TRIANGLES
```
FORM_TRIVIAL
```
java.lang.String FORM_TRIVIAL
```
frame
```
javax.swing.JDialog frame
```
fullPanel
```
javax.swing.JScrollPane fullPanel
```

gb

org.graphper.api.Graphviz.GraphvizBuilder gb

gbPanel
```
PanelGB gbPanel
```
gddPanel
```
javax.swing.JScrollPane gddPanel
```
gindex
```
int gindex
```
gprover
```
GProver gprover
```
gxInstance
```
GExpert gxInstance
```
inputm
```
MProveInputPanel inputm
```
is_database_updated
```
boolean is_database_updated
```
lstDrawDialog
```
javax.swing.JDialog lstDrawDialog
```
lstRuleDialog
```
javax.swing.JDialog lstRuleDialog
```
mpPanel
```
javax.swing.JPanel mpPanel
```

nodes

java.util.HashSet<org.graphper.api.Node> nodes

popcond
```
wprover.PanelProve.popMenu popcond
```
STYLE_ANGLES
```
java.lang.String STYLE_ANGLES
```
STYLE_CIRCLES
```
java.lang.String STYLE_CIRCLES
```
STYLE_HYPOTHESIS
```
java.lang.String STYLE_HYPOTHESIS
```
STYLE_OTHER
```
java.lang.String STYLE_OTHER
```
STYLE_PARALLEL_LINES
```
java.lang.String STYLE_PARALLEL_LINES
```

STYLE_PERPENDICULAR_LINES

java.lang.String STYLE_PERPENDICULAR_LINES

STYLE_TRIANGLES
```
java.lang.String STYLE_TRIANGLES
```
STYLE_TRIVIAL
```
java.lang.String STYLE_TRIVIAL
```
tbar
```
wprover.PanelProve.ButtonToolBar tbar
```

top

javax.swing.tree.DefaultMutableTreeNode top

top_db

javax.swing.tree.DefaultMutableTreeNode top_db

top_full

javax.swing.tree.DefaultMutableTreeNode top_full

top_mp

javax.swing.tree.DefaultMutableTreeNode top_mp

tree
```
javax.swing.JTree tree
```
tree_db
```
javax.swing.JTree tree_db
```
tree_full
```
javax.swing.JTree tree_full
```
tree_mp
```
MProveTree tree_mp
```
wuPanel
```
PanelWu wuPanel
```

Class wprover.PanelWu extends PanelAlgebraic implements Serializable
- Serialized Fields
  - mremainder
```
TMono mremainder
```

Class wprover.PPDialog extends JBaseDialog implements Serializable

Serialized Fields

dp
```
DrawProcess dp
```
gt
```
GTerm gt
```
list1
```
javax.swing.JList list1
```
list2
```
javax.swing.JList list2
```
list22
```
javax.swing.JList list22
```
model1
```
javax.swing.DefaultListModel model1
```
model2
```
javax.swing.DefaultListModel model2
```
model22
```
javax.swing.DefaultListModel model22
```
tt
```
javax.swing.JTabbedPane tt
```

Class wprover.RatioSelectDialog extends JBaseDialog implements Serializable

Serialized Fields

button1
```
javax.swing.JButton button1
```
button2
```
javax.swing.JButton button2
```

field1

wprover.RatioSelectDialog.IntTextField field1

field2

wprover.RatioSelectDialog.IntTextField field2

returnValue
```
boolean returnValue
```

Class wprover.RectangleSelectionDialog extends JBaseDialog implements Serializable

Serialized Fields

content
```
javax.swing.JComponent content
```
contentPane
```
javax.swing.JPanel contentPane
```
dx
```
double dx
```
dy
```
double dy
```
gxInstance
```
GExpert gxInstance
```
image
```
java.awt.image.BufferedImage image
```
result
```
boolean result
```
x1
```
int x1
```
x2
```
int x2
```
y1
```
int y1
```
y2
```
int y2
```

Class wprover.RectChooser extends JBaseDialog implements Serializable

Serialized Fields

bcancel
```
javax.swing.JButton bcancel
```
bok
```
javax.swing.JButton bok
```
dpane
```
wprover.RectChooser.drawPane dpane
```
field1
```
wprover.RectChooser.TextField field1
```
field2
```
wprover.RectChooser.TextField field2
```
field3
```
wprover.RectChooser.TextField field3
```
field4
```
wprover.RectChooser.TextField field4
```
fieldh
```
wprover.RectChooser.TextField fieldh
```
fieldw
```
wprover.RectChooser.TextField fieldw
```
gxInstance
```
GExpert gxInstance
```
height
```
int height
```
pressed
```
boolean pressed
```
rc
```
java.awt.Rectangle rc
```
result
```
boolean result
```
rx
```
int rx
```
ry
```
int ry
```
width
```
int width
```
zoom
```
double zoom
```

Class wprover.RightClickPopMenu extends javax.swing.JPopupMenu implements Serializable
- Serialized Fields
  - cc
```
CClass cc
```
  - gxInstance
```
GExpert gxInstance
```
  - t1
```
javax.swing.JRadioButtonMenuItem t1
```
  - t2
```
javax.swing.JRadioButtonMenuItem t2
```

Class wprover.RightTransformPopupMenu extends javax.swing.JPopupMenu implements Serializable

Serialized Fields

dp
```
DrawProcess dp
```
m
```
javax.swing.JMenuItem m
```
m1
```
javax.swing.JRadioButtonMenuItem m1
```
m2
```
javax.swing.JRadioButtonMenuItem m2
```
m3
```
javax.swing.JRadioButtonMenuItem m3
```
xx
```
int xx
```
yy
```
int yy
```

Class wprover.RuleApplicationDialog extends JBaseDialog implements Serializable

Serialized Fields

buttona
```
javax.swing.JToggleButton buttona
```
dpane
```
wprover.DPanel dpane
```
dpp
```
DrawTextProcess dpp
```
dx
```
DrawTextProcess dx
```
gxInstance
```
GExpert gxInstance
```
hash
```
java.util.Hashtable hash
```
listener
```
java.awt.event.MouseListener listener
```
lselected
```
wprover.ItemLabel lselected
```
panel
```
javax.swing.JSplitPane panel
```

rapanel

wprover.RuleApplicationDialog.ruleAppPanel rapanel

rpanel

wprover.RuleApplicationDialog.rulePanel rpanel

ruleDialog
```
javax.swing.JDialog ruleDialog
```

rvpanel

wprover.RuleApplicationDialog.ruleViewPanel rvpanel

spanel
```
javax.swing.JScrollPane spanel
```

Class wprover.RuleDialog extends JBaseDialog implements Serializable
- Serialized Fields
  - gxInstance
```
GExpert gxInstance
```
  - pane
```
javax.swing.JTabbedPane pane
```
  - tree
```
javax.swing.JTree tree
```
  - treef
```
javax.swing.JTree treef
```

Class wprover.RuleListDialog extends JBaseDialog implements Serializable

Serialized Fields

dpane
```
wprover.RuleListDialog.ruleDpanel dpane
```
gxInstance
```
GExpert gxInstance
```

rpane

wprover.RuleListDialog.RuleViewPane rpane

scroll
```
javax.swing.JScrollPane scroll
```
split
```
javax.swing.JPanel split
```

Class wprover.RunningDialog extends javax.swing.JPopupMenu implements Serializable
- Serialized Fields
  - counter
```
int counter
```
  - label
```
javax.swing.JLabel label
```
  - labelt
```
javax.swing.JLabel labelt
```
  - panegb
```
PanelGB panegb
```
  - start_time
```
long start_time
```
  - str
```
java.lang.String str
```
Class wprover.SecondCounterDemo extends JBaseDialog implements Serializable
- Serialized Fields
  - mainThread
```
java.lang.Thread mainThread
```
  - pane
```
wprover.SecondCounterDemo.CounterPanel pane
```
  - visible
```
boolean visible
```

Class wprover.SelectDialog extends JBaseDialog implements Serializable

Serialized Fields

cancle_button
```
javax.swing.JButton cancle_button
```
gxInstance
```
GExpert gxInstance
```
list
```
javax.swing.JList list
```
listModel
```
javax.swing.DefaultListModel listModel
```
oldx
```
int oldx
```
oldy
```
int oldy
```
selected
```
java.lang.Object selected
```
selectedlist
```
java.util.Vector selectedlist
```

Class wprover.SpecificAngleDialog extends JBaseDialog implements Serializable

Serialized Fields

bca
```
javax.swing.JButton bca
```
bok
```
javax.swing.JButton bok
```
cb1
```
javax.swing.JCheckBox cb1
```
cb2
```
javax.swing.JCheckBox cb2
```
cb3
```
javax.swing.JCheckBox cb3
```
cb4
```
javax.swing.JCheckBox cb4
```
cb5
```
javax.swing.JCheckBox cb5
```
cb6
```
javax.swing.JCheckBox cb6
```
gxInstance
```
GExpert gxInstance
```
rtype
```
int rtype
```
type
```
int type
```

Class wprover.TextFrame extends JBaseDialog implements Serializable

Serialized Fields

bcancel
```
javax.swing.JButton bcancel
```
bok
```
javax.swing.JButton bok
```
color
```
javax.swing.JComboBox color
```
fontchoice
```
java.lang.String fontchoice
```
fontfamily
```
java.util.Vector fontfamily
```
fonts
```
javax.swing.JComboBox fonts
```
gxInstance
```
GExpert gxInstance
```
index
```
int index
```
siChoice
```
java.lang.String siChoice
```
sizes
```
javax.swing.JComboBox sizes
```
stChoice
```
int stChoice
```
styles
```
javax.swing.JComboBox styles
```
text
```
CText text
```
textpane
```
javax.swing.JEditorPane textpane
```
x
```
int x
```
y
```
int y
```

Class wprover.TextValueEditor extends JBaseDialog implements Serializable

Serialized Fields

gxInstance
```
GExpert gxInstance
```
mdata
```
javax.swing.JPopupMenu mdata
```
mfunc
```
javax.swing.JPopupMenu mfunc
```
pane
```
WuTextPane pane
```
pane1
```
WuTextPane pane1
```
sbutton
```
java.lang.String[] sbutton
```
text
```
CText text
```
value
```
CTextValue value
```

Class wprover.TransformConfirmDialog extends JBaseDialog implements Serializable
- Serialized Fields
  - result
```
int result
```
Class wprover.TreeCellOpaqueRender extends javax.swing.JPanel implements Serializable
- Serialized Fields
  - backgroundNonSelectionColor
```
java.awt.Color backgroundNonSelectionColor
```
    Color to use for the background when the node isn't selected.
  - backgroundSelectionColor
```
java.awt.Color backgroundSelectionColor
```
  - borderSelectionColor
```
java.awt.Color borderSelectionColor
```
    Color to use for the focus indicator when the node has focus.
  - gxInstance
```
GExpert gxInstance
```
  - hasFocus
```
boolean hasFocus
```
  - isRender
```
boolean isRender
```
  - labelSelected
```
wprover.TreeCellOpaqueLabel labelSelected
```
  - node
```
javax.swing.tree.DefaultMutableTreeNode node
```
  - selected
```
boolean selected
```
  - tree
```
javax.swing.JTree tree
```
  - userObject
```
java.lang.Object userObject
```
  - vlist
```
java.util.Vector vlist
```
Class wprover.UndoEditDialog extends JBaseDialog implements Serializable
- Serialized Fields
  - treepanel
```
ListTree treepanel
```

Class wprover.VFontChooser extends JBaseDialog implements Serializable

Serialized Fields

attributes

javax.swing.text.MutableAttributeSet attributes

boldCheckBox
```
javax.swing.JCheckBox boldCheckBox
```
Closed_Option
```
int Closed_Option
```

colorComboBox

wprover.VFontChooser.ColorComboBox colorComboBox

fontNameInputList

wprover.VFontChooser.InputList fontNameInputList

fontSizeInputList

wprover.VFontChooser.InputList fontSizeInputList

gxInstance
```
GExpert gxInstance
```
italicCheckBox
```
javax.swing.JCheckBox italicCheckBox
```
PREVIEW_TEXT
```
java.lang.String PREVIEW_TEXT
```

previewLabel

wprover.VFontChooser.FontLabel previewLabel

strikethroughCheckBox

javax.swing.JCheckBox strikethroughCheckBox

subscriptCheckBox
```
javax.swing.JCheckBox subscriptCheckBox
```

superscriptCheckBox

javax.swing.JCheckBox superscriptCheckBox

underlineCheckBox
```
javax.swing.JCheckBox underlineCheckBox
```

Class wprover.VFontChooser.InputList.AccessibleOpenList extends javax.swing.JComponent.AccessibleJComponent implements Serializable
Class wprover.WuTextPane extends javax.swing.JTextPane implements Serializable
- Serialized Fields
  - button
```
javax.swing.JButton button
```

Serialized Form

Package maths

Class maths.BigFraction extends java.lang.Object implements Serializable

Serialized Fields

denominator_

numerator_

Package pdf

Class pdf.BoundingBox extends java.awt.Rectangle implements Serializable

Serialized Fields

absoluteLocation

drawingPoint

parent

Class pdf.PDFAnnot extends PDFObject implements Serializable

Serialized Fields

b

border

dest

fb

fl

fr

ft

l

r

s

subtype

t

Class pdf.PDFBorder extends PDFObject implements Serializable

Serialized Fields

dash

style

width

Class pdf.PDFCatalog extends PDFObject implements Serializable

Serialized Fields

outlines

pagemode

pdfPageList

Class pdf.PDFDocument extends java.lang.Object implements Serializable

Serialized Fields

catalog

defaultOutlineBorder

fontid

fonts

imageid

info

objects

objser

outline

pdfPageList

Class pdf.PDFFont extends PDFObject implements Serializable

Serialized Fields

font

javaFont

name

style

type

Class pdf.PDFGraphics extends java.awt.Graphics2D implements Serializable

Serialized Fields

background

child

clip

clipRectangle

composite

dg2

font

inStroke

inText

lineCap

lineJoin

lineWidth

lx

ly

miterLimit

newFont

originalStroke

oTransform

page

paint

pdffont

pre_np

pTransform