Serialized Form


Package dk.brics.bisim.controller

Class dk.brics.bisim.controller.GameControllerImpl extends java.rmi.server.UnicastRemoteObject implements Serializable

serialVersionUID: 1L

Serialized Fields

myRole

int myRole

clientServerRole

int clientServerRole

gameModel

GameModel gameModel

gameView

GameView gameView

controller

BisimulationGame controller

messagePasser

MessagePasser messagePasser

lonely

boolean lonely

gameGrappaAdapter

GameControllerImpl.GameGrappaAdapter gameGrappaAdapter

gameActionListener

GameControllerImpl.GameActionListener gameActionListener

gameMouseListener

GameControllerImpl.GameMouseListener gameMouseListener

Class dk.brics.bisim.controller.MessagePasserImpl extends java.rmi.server.UnicastRemoteObject implements Serializable

serialVersionUID: 1L

Serialized Fields

gameControllers

java.util.HashMap<K,V> gameControllers
Registrered game controllers.


Package dk.brics.bisim.model

Class dk.brics.bisim.model.GlobalModelImpl extends java.rmi.server.UnicastRemoteObject implements Serializable

serialVersionUID: 1L

Serialized Fields

leftFile

java.lang.String leftFile

leftGraphAsDot

java.lang.String leftGraphAsDot

rightFile

java.lang.String rightFile

rightGraphAsDot

java.lang.String rightGraphAsDot

role

int role

bisimulation

int bisimulation

Package dk.brics.bisim.view

Class dk.brics.bisim.view.AboutView extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

textPane

javax.swing.JTextPane textPane

Class dk.brics.bisim.view.GameView extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

leftLTSPanel

LTSPanel leftLTSPanel
A panel for the left LTS.


rightLTSPanel

LTSPanel rightLTSPanel
A panel for the right LTS.


upperPanel

GameViewUpperPanel upperPanel
The upper (north) panel of a game view.


traceScrollPane

javax.swing.JScrollPane traceScrollPane
A scroll pane for the trace.


trace

javax.swing.JTextPane trace
A text pane inside the trace scroll pane.


winnerImage

java.awt.Image winnerImage

loserImage

java.awt.Image loserImage

winnerImageIcon

javax.swing.ImageIcon winnerImageIcon

loserImageIcon

javax.swing.ImageIcon loserImageIcon

graphDimension

java.awt.Dimension graphDimension

traceDimension

java.awt.Dimension traceDimension

width

int width

upperHeight

int upperHeight

Class dk.brics.bisim.view.GameViewUpperPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

logoPanel

javax.swing.JPanel logoPanel

logoLabel

javax.swing.JLabel logoLabel

chatPanel

javax.swing.JPanel chatPanel
The chat panel. Not used in local games.


buttonPanel

javax.swing.JPanel buttonPanel
The button panel to the right, holding the reset and quit buttons.


chatTextField

javax.swing.JTextField chatTextField

sendButton

javax.swing.JButton sendButton

sendPanel

javax.swing.JPanel sendPanel

chatMessageLabel

javax.swing.JLabel chatMessageLabel

resetGameButton

javax.swing.JButton resetGameButton

quitButton

javax.swing.JButton quitButton

gameViewType

int gameViewType

Class dk.brics.bisim.view.HelpView extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

textPane

javax.swing.JEditorPane textPane

scrollPane

javax.swing.JScrollPane scrollPane

picturePanel

javax.swing.JPanel picturePanel

gameImage

java.awt.Image gameImage

gameImageIcon

javax.swing.ImageIcon gameImageIcon

pictureLabel

javax.swing.JLabel pictureLabel

Class dk.brics.bisim.view.LTSPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

scrollPane

javax.swing.JScrollPane scrollPane
A scroll pane holding a grappa panel.


grappaPanel

att.grappa.GrappaPanel grappaPanel
A grappa panel displaying a graph.


lineBorder

javax.swing.border.Border lineBorder
The line border of the titled border.


titledBorder

javax.swing.border.TitledBorder titledBorder
The titled border.


title

java.lang.String title
The title of the border.


borderIsRed

boolean borderIsRed
Whether or not the border is red.

Class dk.brics.bisim.view.MainView extends javax.swing.JFrame implements Serializable

serialVersionUID: 1L

Serialized Fields

tabbedPane

javax.swing.JTabbedPane tabbedPane
The tabbed pane holding an options view and a game view.


optionsView

OptionsView optionsView
The options view.


gameView

GameView gameView
The game view.


helpView

HelpView helpView
The help page.


aboutView

AboutView aboutView
The about page.


simulatorView

SimulatorView simulatorView
The CCS simulator view.


contentPane

javax.swing.JPanel contentPane

itVestImage

java.awt.Image itVestImage

Class dk.brics.bisim.view.OptionsView extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

mainPanel

javax.swing.JPanel mainPanel
The main panel of the options view.


imagePanel

javax.swing.JPanel imagePanel
The image panel to the left.


tabbedPane

javax.swing.JTabbedPane tabbedPane
The tabbed pane to the right.


lowerPanel

javax.swing.JPanel lowerPanel
The status panel underneath the tabbed pane.


imageLabel

javax.swing.JLabel imageLabel

image

java.awt.Image image

icon

javax.swing.ImageIcon icon

gameTypePanel

javax.swing.JPanel gameTypePanel

playersPanel

javax.swing.JPanel playersPanel

playersButtonGroup

javax.swing.ButtonGroup playersButtonGroup

onePlayerRadioButton

javax.swing.JRadioButton onePlayerRadioButton

twoPlayerLocalRadioButton

javax.swing.JRadioButton twoPlayerLocalRadioButton

twoPlayerRemoteRadioButton

javax.swing.JRadioButton twoPlayerRemoteRadioButton

clientServerPanel

javax.swing.JPanel clientServerPanel

clientServerButtonGroup

javax.swing.ButtonGroup clientServerButtonGroup

serverRadioButton

javax.swing.JRadioButton serverRadioButton

clientRadioButton

javax.swing.JRadioButton clientRadioButton

serverSettingsPanel

javax.swing.JPanel serverSettingsPanel

hostLabel

javax.swing.JLabel hostLabel

hostTextField

javax.swing.JTextField hostTextField

applyButton

javax.swing.JButton applyButton

rolePanel

javax.swing.JPanel rolePanel

roleButtonGroup

javax.swing.ButtonGroup roleButtonGroup

attackerRadioButton

javax.swing.JRadioButton attackerRadioButton

defenderRadioButton

javax.swing.JRadioButton defenderRadioButton

loweredetched

javax.swing.border.Border loweredetched

playersBorder

javax.swing.border.TitledBorder playersBorder

roleBorder

javax.swing.border.TitledBorder roleBorder

serverSettingsBorder

javax.swing.border.TitledBorder serverSettingsBorder

clientServerBorder

javax.swing.border.TitledBorder clientServerBorder

ltsPanel

javax.swing.JPanel ltsPanel

leftLTSLabel

javax.swing.JLabel leftLTSLabel

leftLTSPanel

javax.swing.JPanel leftLTSPanel

leftLTSTextField

javax.swing.JTextField leftLTSTextField

leftLTSBrowseButton

javax.swing.JButton leftLTSBrowseButton

rightLTSLabel

javax.swing.JLabel rightLTSLabel

rightLTSPanel

javax.swing.JPanel rightLTSPanel

rightLTSTextField

javax.swing.JTextField rightLTSTextField

rightLTSBrowseButton

javax.swing.JButton rightLTSBrowseButton

bisimulationPanel

javax.swing.JPanel bisimulationPanel

bisimulationButtonGroup

javax.swing.ButtonGroup bisimulationButtonGroup

strongRadioButton

javax.swing.JRadioButton strongRadioButton

weakRadioButton

javax.swing.JRadioButton weakRadioButton

statusPanel

javax.swing.JPanel statusPanel

statusLabel

javax.swing.JLabel statusLabel

buttonPanel

javax.swing.JPanel buttonPanel

startButton

javax.swing.JButton startButton

exitButton

javax.swing.JButton exitButton

currentDir

java.io.File currentDir

Class dk.brics.bisim.view.SimulatorView extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

width

int width

height

int height

graphDimension

java.awt.Dimension graphDimension

actionDimension

java.awt.Dimension actionDimension

stepButtonDimension

java.awt.Dimension stepButtonDimension

traceDimension

java.awt.Dimension traceDimension

openFileButton

javax.swing.JButton openFileButton

resetButton

javax.swing.JButton resetButton

exitButton

javax.swing.JButton exitButton

buttonPanel

javax.swing.JPanel buttonPanel

graphScrollPane

javax.swing.JScrollPane graphScrollPane

traceScrollPane

javax.swing.JScrollPane traceScrollPane

actionPanel

javax.swing.JPanel actionPanel

inputActionScrollPane

javax.swing.JScrollPane inputActionScrollPane

inputActions

javax.swing.JPanel inputActions

inputPanel

javax.swing.JPanel inputPanel

inputButton

javax.swing.JButton inputButton

tauButton

javax.swing.JButton tauButton

randomButton

javax.swing.JButton randomButton

outputButton

javax.swing.JButton outputButton

stepButtonPanel

javax.swing.JPanel stepButtonPanel

outputActionScrollPane

javax.swing.JScrollPane outputActionScrollPane

outputActions

javax.swing.JPanel outputActions

outputPanel

javax.swing.JPanel outputPanel

trace

javax.swing.JTextArea trace

fileChooser

javax.swing.JFileChooser fileChooser

currentDir

java.io.File currentDir

gp

att.grappa.GrappaPanel gp