Serialized Form

Package org.latdraw.beans

Class org.latdraw.beans.ChangeSupport extends java.beans.PropertyChangeSupport implements Serializable

Class org.latdraw.beans.DrawPanel extends javax.swing.JPanel implements Serializable

Serialized Fields

allowedVertices

java.util.Set<E> allowedVertices

changeSupport

ChangeSupport changeSupport

We use this to let outside listeners know about certain events to avoid some problems with the old stye java events used here.

highlightedEdges

java.util.HashMap<K,V> highlightedEdges

filledVertices

java.util.HashMap<K,V> filledVertices

drawnVertices

java.util.HashMap<K,V> drawnVertices

view

View view

diagram

Diagram diagram

poset

OrderedSet poset

size

int size

pointRadius

int pointRadius

pointDiameter

int pointDiameter

highlightPointRadius

int highlightPointRadius

highlightPointDiameter

int highlightPointDiameter

phase1

int phase1

phase2

int phase2

phase3

int phase3

improving

boolean improving

attFactor

double attFactor

repFactor

double repFactor

att_I

double att_I

att_II

double att_II

att_III

double att_III

att_user

double att_user

rep_I

double rep_I

rep_II

double rep_II

rep_III

double rep_III

rep_user

double rep_user

wd

int wd

ht

int ht

xorig

int xorig

yorig

int yorig

backgroundColor

java.awt.Color backgroundColor

currentVertex

Vertex currentVertex

origVertex

Vertex origVertex

origX

double origX

origY

double origY

yRange

double[] yRange

currentEdge

Vertex[] currentEdge

draggingAllowed

boolean draggingAllowed

draggingHorizontal

boolean draggingHorizontal

mouseDragged

boolean mouseDragged

draggedMousePoint

java.awt.Point draggedMousePoint

ptLabel

java.lang.String ptLabel

justChanged

boolean justChanged

rotating

boolean rotating

rotAngleDelta

double rotAngleDelta

rotationAngle

double rotationAngle

rotationTimer

javax.swing.Timer rotationTimer

rotationDelay

int rotationDelay

improveDelay

int improveDelay

useImproveDelay

boolean useImproveDelay

labelForegroundColor

java.awt.Color labelForegroundColor

labelBackgroundColor

java.awt.Color labelBackgroundColor

highlightColor

java.awt.Color highlightColor

labelFont

java.awt.Font labelFont

edgeColorMap

java.util.HashMap<K,V> edgeColorMap

Class org.latdraw.beans.RotateButton extends javax.swing.JButton implements Serializable

Serialized Fields

drawPanel

DrawPanel drawPanel

stopLabel

java.lang.String stopLabel

rotateLabel

java.lang.String rotateLabel

Package org.latdraw.orderedset

Class org.latdraw.orderedset.InputLattice extends java.lang.Object implements Serializable

Serialized Fields

labels

java.util.List<E> labels

upperCoversList

java.util.List<E> upperCoversList

edgeColors

java.util.HashMap<K,V> edgeColors

convertJoinMeet

boolean convertJoinMeet

name

java.lang.String name

Class org.latdraw.orderedset.NonOrderedSetException extends java.lang.Exception implements Serializable

Package org.latdraw.sample

Class org.latdraw.sample.ObjAttTable extends javax.swing.JTable implements Serializable

Serialized Fields

conceptLattice

ConceptLattice conceptLattice

things

java.lang.Object[] things

drawPanel

DrawPanel drawPanel

attributes

boolean attributes

Class org.latdraw.sample.SampleApp extends javax.swing.JFrame implements Serializable

Serialized Fields

currentFolder

java.lang.String currentFolder

drawPanel

DrawPanel drawPanel

mainPanel

javax.swing.JPanel mainPanel

appPanel

javax.swing.JPanel appPanel

objScrollPane

javax.swing.JScrollPane objScrollPane

attScrollPane

javax.swing.JScrollPane attScrollPane

toolBar

javax.swing.JToolBar toolBar

objTable

ObjAttTable objTable

attTable

ObjAttTable attTable

conceptLattice

ConceptLattice conceptLattice

Package org.latdraw.sample.posetdrawer

Class org.latdraw.sample.posetdrawer.PosetDrawer extends javax.swing.JPanel implements Serializable

Serialized Fields

aboveType

PosetDrawer.RadioButtonType aboveType

belowType

PosetDrawer.RadioButtonType belowType

drawPanel

DrawPanel drawPanel

frame

javax.swing.JFrame frame

mainPanel

javax.swing.JPanel mainPanel

appPanel

javax.swing.JPanel appPanel

toolBar

javax.swing.JToolBar toolBar

currentFolder

java.lang.String currentFolder

poset

OrderedSet poset

selectedElem

Vertex selectedElem

Package org.latdraw.util

Class org.latdraw.util.SimpleList extends java.lang.Object implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream s)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Reconstitute the SimpleList instance from a stream (that is, deserialize it).

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeObject

private void writeObject(java.io.ObjectOutputStream s)
                  throws java.io.IOException

Save the state of the SimpleList instance to a stream (that is, serialize it).

Following Eric's suggestion: we go down the list modifing rest of each node making it the EMPTY_LIST, write it, modify it back.

Throws:

java.io.IOException

Serialized Fields

first

java.lang.Object first