Serialized Form

Package de.saar.basic

Class WaitingDialog extends JDialog implements Serializable

serialVersionUID: -8877214779756381415L

Serialized Fields

tasklength

int tasklength

progressBar

JProgressBar progressBar

ok

JButton ok

dialogPane

JPanel dialogPane

Class XmlDecodingException extends Exception implements Serializable

serialVersionUID: -7183568847584750846L

Package de.saar.chorus.domgraph

Class ExampleManager.ParserException extends Exception implements Serializable

serialVersionUID: 2728280775395157375L

Package de.saar.chorus.domgraph.codec

Class CodecRegistrationException extends Exception implements Serializable

Class MalformedDomgraphException extends Exception implements Serializable

Serialized Fields

exitcode

int exitcode

hasMessage

boolean hasMessage

Class ParserException extends Exception implements Serializable

Package de.saar.chorus.domgraph.codec.domcon

Class ParseException extends Exception implements Serializable

Serialized Fields

specialConstructor

boolean specialConstructor

This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).

currentToken

Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

eol

String eol

The end of line string for this machine.

Class TokenMgrError extends Error implements Serializable

Serialized Fields

errorCode

int errorCode

Indicates the reason why the exception is thrown. It will have one of the above 4 values.

Package de.saar.chorus.domgraph.codec.glue

Class ParseException extends Exception implements Serializable

Serialized Fields

specialConstructor

boolean specialConstructor

This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).

currentToken

Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

eol

String eol

The end of line string for this machine.

Class TokenMgrError extends Error implements Serializable

Serialized Fields

errorCode

int errorCode

Indicates the reason why the exception is thrown. It will have one of the above 4 values.

Package de.saar.chorus.domgraph.codec.holesem

Class ParseException extends Exception implements Serializable

Serialized Fields

specialConstructor

boolean specialConstructor

This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).

currentToken

Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

eol

String eol

The end of line string for this machine.

Class TokenMgrError extends Error implements Serializable

Serialized Fields

errorCode

int errorCode

Indicates the reason why the exception is thrown. It will have one of the above 4 values.

Package de.saar.chorus.domgraph.codec.mrs

Class ParseException extends Exception implements Serializable

Serialized Fields

specialConstructor

boolean specialConstructor

This variable determines which constructor was used to create this object and thereby affects the semantics of the "getMessage" method (see below).

currentToken

Token currentToken

This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token.

expectedTokenSequences

int[][] expectedTokenSequences

Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.

tokenImage

String[] tokenImage

This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.

eol

String eol

The end of line string for this machine.

Class TokenMgrError extends Error implements Serializable

Serialized Fields

errorCode

int errorCode

Indicates the reason why the exception is thrown. It will have one of the above 4 values.

Package de.saar.chorus.domgraph.utool

Class AbstractOptionsParsingException extends Exception implements Serializable

serialVersionUID: 3527362476007640864L

Serialized Fields

exitcode

int exitcode

haveCause

boolean haveCause

haveMessage

boolean haveMessage

Package de.saar.chorus.jgraph

Class GraphScroller extends JPanel implements Serializable

serialVersionUID: -143970333537067054L

Serialized Fields

apptitle

String apptitle

graphs

IGraphSource graphs

seen

Map<K,V> seen

current

ImprovedJGraph<NodeType,NodeData extends INodeData<NodeType>,EdgeType,EdgeData extends IEdgeData<EdgeType>> current

next

JButton next

prev

JButton prev

indexField

JTextField indexField

indexScroller

JPanel indexScroller

frameHasMeaningfulSize

Boolean frameHasMeaningfulSize

Class ImprovedJGraph extends JGraph implements Serializable

Serialized Fields

nodes

Set<E> nodes

edges

Set<E> edges

nameToNode

Map<K,V> nameToNode

parents

Map<K,V> parents

children

Map<K,V> children

name

String name

nodeFont

Font nodeFont

edgeOrder

Map<K,V> edgeOrder

edgeCounter

int edgeCounter

Class ImprovedJGraphAdapter extends ImprovedJGraph<NodeType,NodeData extends INodeData<NodeType>,EdgeType,EdgeData extends IEdgeData<EdgeType>> implements Serializable

Serialized Fields

graph

Graph graph

cellsToNodes

Map<K,V> cellsToNodes

nodesToCells

Map<K,V> nodesToCells

Class ImprovedJGraphAdapter$1 extends Object implements Serializable

Class JGraphSlider extends JSlider implements Serializable

serialVersionUID: -1714437093647356459L

Serialized Fields

graph

JGraph graph

Class JScrollableJGraph extends JPanel implements Serializable

serialVersionUID: -4459883694973861984L

Serialized Fields

slider

JGraphSlider slider

scrollpane

JScrollPane scrollpane

Package de.saar.chorus.ubench

Class JDomGraph extends ImprovedJGraph<NodeType,NodeData,EdgeType,EdgeData> implements Serializable

serialVersionUID: 3205330183133471528L

Serialized Fields

fragments

Set<E> fragments

dominanceEdges

Set<E> dominanceEdges

nodeToFragment

Map<K,V> nodeToFragment

edgeToFragment

Map<K,V> edgeToFragment

popupListeners

Set<E> popupListeners

activePopupCell

DefaultGraphCell activePopupCell

boundingBox

Rectangle boundingBox

myDomGraph

DomGraph myDomGraph

hnc

boolean hnc

wccs

List<E> wccs

Package de.saar.chorus.ubench.gui

Class ExampleViewer extends JFrame implements Serializable

serialVersionUID: 8997638614124891904L

Serialized Fields

layout

BorderLayout layout

listContents

JSplitPane listContents

desc

JTextPane desc

fontname

String fontname

files

JList files

exampleNames

String[] exampleNames

load

JButton load

cancel

JButton cancel

listPane

JScrollPane listPane

descriptionPane

JScrollPane descriptionPane

manager

ExampleManager manager

Class JCodecFileChooser extends JFileChooser implements Serializable

serialVersionUID: 2420583972471990944L

Serialized Fields

empty

JPanel empty

button

JPanel button

input

boolean input

optview

boolean optview

manager

CodecManager manager

options

JCodecOptionPane options

showOptions

JButton showOptions

allKnownTypesFileFilter

JCodecFileChooser.SeveralExtensionsFilter allKnownTypesFileFilter

defaultFileFilter

FileFilter defaultFileFilter

currentCodec

String currentCodec

Class JCodecOptionPane extends JComponent implements Serializable

serialVersionUID: 5201435318585726488L

Serialized Fields

layout

GridBagLayout layout

left

GridBagConstraints left

right

GridBagConstraints right

optionTypes

Map<K,V> optionTypes

gridy

int gridy

Class JDomGraphMenu extends JMenuBar implements Serializable

serialVersionUID: -5896778846575447247L

Serialized Fields

fileMenu

JMenu fileMenu

viewMenu

JMenu viewMenu

utoolMenu

JMenu utoolMenu

helpMenu

JMenu helpMenu

loadGraph

JMenuItem loadGraph

quit

JMenuItem quit

saveUtool

JMenuItem saveUtool

pdfPrint

JMenuItem pdfPrint

close

JMenuItem close

closeAll

JMenuItem closeAll

duplicate

JMenuItem duplicate

cSolvForms

JMenuItem cSolvForms

countAndSolve

JMenuItem countAndSolve

showLabels

JMenuItem showLabels

resetLayout

JMenuItem resetLayout

fitAll

JMenuItem fitAll

about

JMenuItem about

solve

JMenuItem solve

next

JMenuItem next

previous

JMenuItem previous

pictureExport

JMenuItem pictureExport

print

JMenuItem print

loadExample

JMenuItem loadExample

saveAll

JMenuItem saveAll

displayChart

JMenuItem displayChart

displayCodecs

JMenuItem displayCodecs

loadeqs

JMenuItem loadeqs

autoreduce

JMenuItem autoreduce

preferences

JMenuItem preferences

server

JToggleButton server

listener

CommandListener listener

graphSpecificItems

Set<E> graphSpecificItems

Class JDomGraphPreferencePane extends JFrame implements Serializable

serialVersionUID: 2688760547399503949L

Serialized Fields

tabs

JTabbedPane tabs

servertab

JPanel servertab

warmup

JCheckBox warmup

logging

JCheckBox logging

port2802

JRadioButton port2802

systemerrout

JRadioButton systemerrout

ownport

JRadioButton ownport

ownlog

JRadioButton ownlog

port

JTextField port

logfile

JTextField logfile

ok

JButton ok

apply

JButton apply

cancel

JButton cancel

browse

JButton browse

logfilepath

String logfilepath

Class JDomGraphStatusBar extends JPanel implements Serializable

serialVersionUID: 357657081130185650L

Serialized Fields

progressPanel

JPanel progressPanel

emptyPanel

JPanel emptyPanel

emptyLabel

JLabel emptyLabel

layout

CardLayout layout

progressBar

JProgressBar progressBar

label

long label

Class JDomGraphTab extends JGraphTab implements Serializable

serialVersionUID: 1L

Serialized Fields

solvable

boolean solvable

isSolvedYet

boolean isSolvedYet

compactifiable

boolean compactifiable

chart

Chart chart

compactGraph

DomGraph compactGraph

Class JDomTabbedPane extends JTabbedPane implements Serializable

serialVersionUID: 1123628090923260178L

Serialized Fields

browse

Action browse

browseBack

Action browseBack

Class JDomTabPopup extends JPopupMenu implements Serializable

serialVersionUID: 3971251434089241635L

Class JGraphTab extends JScrollableJGraph implements Serializable

Serialized Fields

graph

JDomGraph graph

empty

boolean empty

domGraph

DomGraph domGraph

nodeLabels

NodeLabels nodeLabels

solvedForms

long solvedForms

defaultName

String defaultName

graphName

String graphName

solvedFormIterator

SolvedFormIterator solvedFormIterator

recentLayout

Preferences recentLayout

statusBar

JPanel statusBar

barCode

String barCode

listener

CommandListener listener

cv

ChartViewer cv

Class JSolvedFormTab extends JGraphTab implements Serializable

serialVersionUID: -8144093325748384465L

Serialized Fields

currentForm

long currentForm

solvedForm

JTextField solvedForm

Package de.saar.chorus.ubench.gui.chartviewer

Class ChartViewer extends JFrame implements Serializable

serialVersionUID: 2614540458877105512L

Serialized Fields

prettyprint

JTable prettyprint

chart

Chart chart

chartcopy

Chart chartcopy

dg

DomGraph dg

jdg

JDomGraph jdg

labels

NodeLabels labels

nameToSplit

Map<K,V> nameToSplit

orderedSplits

List<E> orderedSplits

subgraphs

List<E> subgraphs

splitNumbers

List<E> splitNumbers

rootsToSubgraphs

Map<K,V> rootsToSubgraphs

reduced

boolean reduced

longestSplit

String longestSplit

biggestSubgraph

Set<E> biggestSubgraph

lastIndex

int lastIndex

currentrow

int currentrow

currentcolumn

int currentcolumn

modified

boolean modified

statusbar

JPanel statusbar

solvedforms

JLabel solvedforms

isred

JLabel isred

red

JLabel red

solve

JButton solve

noOfSolvedForms

BigInteger noOfSolvedForms

noOfSplits

int noOfSplits

noOfSubgraphs

int noOfSubgraphs

graphName

String graphName

eqsname

String eqsname

listener

ChartViewerListener listener

menu

ChartViewer.ChartViewerMenu menu