Serialized Form

Package core.time

Class core.time.VSVectorTime extends java.util.ArrayList<java.lang.Long> implements Serializable

serialVersionUID: 1L

Serialized Fields

globalTime

long globalTime

The global time.

Package exceptions

Class exceptions.VSEventNotCopyableException extends java.lang.Exception implements Serializable

serialVersionUID: 1L

Class exceptions.VSNegativeNumberException extends java.lang.Exception implements Serializable

serialVersionUID: 1L

Class exceptions.VSParseIntegerVectorException extends java.lang.Exception implements Serializable

serialVersionUID: 1L

Package prefs

Class prefs.VSPrefsRestriction extends java.lang.Object implements Serializable

serialVersionUID: 2L

Serialization Methods

readObject

public abstract void readObject(java.io.ObjectInputStream in)
                         throws java.io.IOException,
                                java.lang.ClassNotFoundException

Deserializes the object.

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeObject

public abstract void writeObject(java.io.ObjectOutputStream out)
                          throws java.io.IOException

Serializes the object.

Throws:

java.io.IOException

Class prefs.VSPrefsRestriction.VSIntegerPrefsRestriction extends VSPrefsRestriction implements Serializable

serialVersionUID: 2L

Serialization Methods

readObject

public void readObject(java.io.ObjectInputStream in)
                throws java.io.IOException,
                       java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeObject

public void writeObject(java.io.ObjectOutputStream out)
                 throws java.io.IOException

Throws:

java.io.IOException

Serialized Fields

minValue

int minValue

The min value.

maxValue

int maxValue

The max value.

Class prefs.VSPrefsRestriction.VSStringPrefsRestriction extends VSPrefsRestriction implements Serializable

serialVersionUID: 2L

Serialization Methods

readObject

public void readObject(java.io.ObjectInputStream in)
                throws java.io.IOException,
                       java.lang.ClassNotFoundException

Throws:

java.io.IOException

java.lang.ClassNotFoundException

writeObject

public void writeObject(java.io.ObjectOutputStream out)
                 throws java.io.IOException

Throws:

java.io.IOException

Serialized Fields

possibleSelections

java.util.Vector<E> possibleSelections

The possible selections.

Package prefs.editors

Class prefs.editors.VSColorChooser extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

colorChooser

javax.swing.JColorChooser colorChooser

The color chooser.

color

java.awt.Color color

The color.

valField

javax.swing.JTextField valField

The val field.

Class prefs.editors.VSEditorFrame extends VSFrame implements Serializable

serialVersionUID: 1L

Serialized Fields

editor

VSAbstractBetterEditor editor

The editor.

prefs

VSPrefs prefs

The prefs.

Class prefs.editors.VSEditorTable extends javax.swing.JTable implements Serializable

serialVersionUID: 1L

Serialized Fields

nodes

java.util.ArrayList<E> nodes

The nodes.

model

prefs.editors.VSEditorTable.VSEditorTableModel model

The model.

Package simulator

Class simulator.VSSimulator extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

globalTextFields

java.util.ArrayList<E> globalTextFields

The global text fields.

localTextFields

java.util.ArrayList<E> localTextFields

The local text fields.

createTasks

java.util.ArrayList<E> createTasks

The create tasks array list.

filterActiveCheckBox

javax.swing.JCheckBox filterActiveCheckBox

The filter active check box.

lamportActiveCheckBox

javax.swing.JCheckBox lamportActiveCheckBox

The lamport active check box.

vectorTimeActiveCheckBox

javax.swing.JCheckBox vectorTimeActiveCheckBox

The vector time active check box.

globalPIDComboBox

javax.swing.JComboBox globalPIDComboBox

The global pid combo box.

localPIDComboBox

javax.swing.JComboBox localPIDComboBox

The local pid combo box.

processesComboBox

javax.swing.JComboBox processesComboBox

The processes combo box.

localAddPanel

javax.swing.JPanel localAddPanel

The local add panel.

localPanel

javax.swing.JPanel localPanel

The local panel.

logingPanel

javax.swing.JPanel logingPanel

The loging panel.

splitPane1

javax.swing.JSplitPane splitPane1

The split pane1.

splitPaneH

javax.swing.JSplitPane splitPaneH

The split pane h.

splitPaneV

javax.swing.JSplitPane splitPaneV

The split pane v.

tabbedPane

javax.swing.JTabbedPane tabbedPane

The tabbed pane.

logingArea

javax.swing.JTextArea logingArea

The loging area.

filterTextField

javax.swing.JTextField filterTextField

The filter text field.

globalTextField

javax.swing.JTextField globalTextField

The global text field.

localTextField

javax.swing.JTextField localTextField

The local text field.

thread

java.lang.Thread thread

The thread.

loging

VSLogging loging

The loging.

menuItemStates

VSMenuItemStates menuItemStates

The menu item states.

prefs

VSPrefs prefs

The prefs.

simulatorVisualization

VSSimulatorVisualization simulatorVisualization

The simulator canvas.

simulatorFrame

VSSimulatorFrame simulatorFrame

The simulator frame.

taskManager

VSTaskManager taskManager

The task manager.

taskManagerGlobalModel

simulator.VSSimulator.VSTaskManagerTableModel taskManagerGlobalModel

The task manager global model.

taskManagerLocalModel

simulator.VSSimulator.VSTaskManagerTableModel taskManagerLocalModel

The task manager local model.

taskManagerGlobalEditor

simulator.VSSimulator.VSTaskManagerCellEditor taskManagerGlobalEditor

The task manager global editor.

taskManagerLocalEditor

simulator.VSSimulator.VSTaskManagerCellEditor taskManagerLocalEditor

The task manager local editor.

lastSelectedProcessNum

int lastSelectedProcessNum

The last selected process num.

lastExpertState

boolean lastExpertState

The last expert state.

Class simulator.VSSimulatorFrame extends VSFrame implements Serializable

serialVersionUID: 1L

Serialized Fields

pauseItem

javax.swing.JMenuItem pauseItem

The pause item.

replayItem

javax.swing.JMenuItem replayItem

The replay item.

resetItem

javax.swing.JMenuItem resetItem

The reset item.

startItem

javax.swing.JMenuItem startItem

The start item.

pauseButton

javax.swing.JButton pauseButton

The pause button.

replayButton

javax.swing.JButton replayButton

The replay button.

resetButton

javax.swing.JButton resetButton

The reset button.

startButton

javax.swing.JButton startButton

The start button.

menuEdit

javax.swing.JMenu menuEdit

The menu edit.

menuFile

javax.swing.JMenu menuFile

The menu file.

closeItem

javax.swing.JMenuItem closeItem

The close item.

saveItem

javax.swing.JMenuItem saveItem

The save item.

saveAsItem

javax.swing.JMenuItem saveAsItem

The save as item.

menuSimulator

javax.swing.JMenu menuSimulator

The menu simulator.

toolBar

javax.swing.JToolBar toolBar

The tool bar.

prefs

VSPrefs prefs

The prefs.

simulators

java.util.Vector<E> simulators

The simulators.

currentSimulator

VSSimulator currentSimulator

The current simulator.

tabbedPane

javax.swing.JTabbedPane tabbedPane

The tabbed pane.

actionListener

java.awt.event.ActionListener actionListener

The action listener

Class simulator.VSSimulatorVisualization extends java.awt.Canvas implements Serializable

serialVersionUID: 1L

Serialized Fields

highlightedProcess

VSInternalProcess highlightedProcess

The highlighted process.

simulator

VSSimulator simulator

The simulator.

prefs

VSPrefs prefs

The prefs.

loging

VSLogging loging

The loging.

numProcesses

int numProcesses

The num processes.

secondsSpaceing

int secondsSpaceing

The seconds spaceing.

threadSleep

int threadSleep

The thread sleep.

untilTime

long untilTime

The until time. Until then goes the simulator?

isPaused

boolean isPaused

The simulator is paused.

hasThreadStopped

boolean hasThreadStopped

The simulator thread is stopped.

hasFinished

boolean hasFinished

The simulator is finished.

isResetted

boolean isResetted

The simulator is resetted.

isAntiAliased

boolean isAntiAliased

The simulator is anti aliased.

isAntiAliasedChanged

boolean isAntiAliasedChanged

The simulator's anti aliasing has changed.

showLamport

boolean showLamport

The simulator shows the lamport time.

showVectorTime

boolean showVectorTime

The simulator shows the vector time.

pauseTime

long pauseTime

The pause time.

startTime

long startTime

The start time.

time

long time

The global time.

lastTime

long lastTime

The last global time.

taskManager

VSTaskManager taskManager

The task manager.

messageLines

java.util.LinkedList<E> messageLines

The message lines.

messageLinesToRemove

java.util.LinkedList<E> messageLinesToRemove

The message lines to remove.

processes

java.util.ArrayList<E> processes

The processes.

clockSpeed

double clockSpeed

The clock speed.

clockOffset

double clockOffset

The clock offset.

simulatorTime

long simulatorTime

The simulator time.

xPaintSize

double xPaintSize

The x paint size.

paintSize

double paintSize

The paint size.

yDistance

double yDistance

The y distance.

globalTimeXPosition

double globalTimeXPosition

The global time x position.

xoffset_plus_xpaintsize

int xoffset_plus_xpaintsize

The xoffset_plus_xpaintsize.

xpaintsize_dividedby_untiltime

double xpaintsize_dividedby_untiltime

The xpaintsize_dividedby_untiltime.

paintProcessesOffset

int paintProcessesOffset

The paint processes offset.

paintSecondlinesSeconds

int paintSecondlinesSeconds

The paint secondlines seconds.

paintSecondlinesLine

int[] paintSecondlinesLine

The paint secondlines line.

paintSecondlinesYStringPos1

int paintSecondlinesYStringPos1

The paint secondlines y string pos1.

paintSecondlinesYStringPos2

int paintSecondlinesYStringPos2

The paint secondlines y string pos2.

paintGlobalTimeYPosition

int paintGlobalTimeYPosition

The paint global time y position.

strategy

java.awt.image.BufferStrategy strategy

The strategy for buffering.

g

java.awt.Graphics2D g

The graphics object to paint at.

processlineColor

java.awt.Color processlineColor

The processline color.

processSecondlineColor

java.awt.Color processSecondlineColor

The process secondline color.

processSeplineColor

java.awt.Color processSeplineColor

The process sepline color.

messageArrivedColor

java.awt.Color messageArrivedColor

The message arrived color.

messageSendingColor

java.awt.Color messageSendingColor

The message sending color.

messageLostColor

java.awt.Color messageLostColor

The message lost color.

backgroundColor

java.awt.Color backgroundColor

The background color.

messageLineCounter

long messageLineCounter

The message line counter.

processCounter

int processCounter

The process counter. Needed for the unique process id's.

Package utils

Class utils.VSAboutFrame extends VSFrame implements Serializable

serialVersionUID: 1L

Serialized Fields

prefs

VSPrefs prefs

The prefs.

Class utils.VSFrame extends javax.swing.JFrame implements Serializable

serialVersionUID: 1L

Serialized Fields

parent

java.awt.Component parent

The parent window/component.

dispose

boolean dispose

True, if the current window will get disposed with its parent.

Class utils.VSInfoArea extends javax.swing.JTextPane implements Serializable

serialVersionUID: 1L

Class utils.VSPriorityQueue extends java.util.PriorityQueue<T> implements Serializable

serialVersionUID: 1L

Class utils.VSRandom extends java.util.Random implements Serializable

serialVersionUID: 1L