|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Package dk.brics.bisim.controller |
---|
Class dk.brics.bisim.controller.GameControllerImpl extends java.rmi.server.UnicastRemoteObject implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int myRole
int clientServerRole
GameModel gameModel
GameView gameView
BisimulationGame controller
MessagePasser messagePasser
boolean lonely
GameControllerImpl.GameGrappaAdapter gameGrappaAdapter
GameControllerImpl.GameActionListener gameActionListener
GameControllerImpl.GameMouseListener gameMouseListener
Class dk.brics.bisim.controller.MessagePasserImpl extends java.rmi.server.UnicastRemoteObject implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
java.util.HashMap<K,V> gameControllers
Package dk.brics.bisim.model |
---|
Class dk.brics.bisim.model.GlobalModelImpl extends java.rmi.server.UnicastRemoteObject implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
java.lang.String leftFile
java.lang.String leftGraphAsDot
java.lang.String rightFile
java.lang.String rightGraphAsDot
int role
int bisimulation
Package dk.brics.bisim.view |
---|
Class dk.brics.bisim.view.AboutView extends javax.swing.JPanel implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
javax.swing.JTextPane textPane
Class dk.brics.bisim.view.GameView extends javax.swing.JPanel implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
LTSPanel leftLTSPanel
LTSPanel rightLTSPanel
GameViewUpperPanel upperPanel
javax.swing.JScrollPane traceScrollPane
javax.swing.JTextPane trace
java.awt.Image winnerImage
java.awt.Image loserImage
javax.swing.ImageIcon winnerImageIcon
javax.swing.ImageIcon loserImageIcon
java.awt.Dimension graphDimension
java.awt.Dimension traceDimension
int width
int upperHeight
Class dk.brics.bisim.view.GameViewUpperPanel extends javax.swing.JPanel implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
javax.swing.JPanel logoPanel
javax.swing.JLabel logoLabel
javax.swing.JPanel chatPanel
javax.swing.JPanel buttonPanel
javax.swing.JTextField chatTextField
javax.swing.JButton sendButton
javax.swing.JPanel sendPanel
javax.swing.JLabel chatMessageLabel
javax.swing.JButton resetGameButton
javax.swing.JButton quitButton
int gameViewType
Class dk.brics.bisim.view.HelpView extends javax.swing.JPanel implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
javax.swing.JEditorPane textPane
javax.swing.JScrollPane scrollPane
javax.swing.JPanel picturePanel
java.awt.Image gameImage
javax.swing.ImageIcon gameImageIcon
javax.swing.JLabel pictureLabel
Class dk.brics.bisim.view.LTSPanel extends javax.swing.JPanel implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
javax.swing.JScrollPane scrollPane
att.grappa.GrappaPanel grappaPanel
javax.swing.border.Border lineBorder
javax.swing.border.TitledBorder titledBorder
java.lang.String title
boolean borderIsRed
Class dk.brics.bisim.view.MainView extends javax.swing.JFrame implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
javax.swing.JTabbedPane tabbedPane
OptionsView optionsView
GameView gameView
HelpView helpView
AboutView aboutView
SimulatorView simulatorView
javax.swing.JPanel contentPane
java.awt.Image itVestImage
Class dk.brics.bisim.view.OptionsView extends javax.swing.JPanel implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
javax.swing.JPanel mainPanel
javax.swing.JPanel imagePanel
javax.swing.JTabbedPane tabbedPane
javax.swing.JPanel lowerPanel
javax.swing.JLabel imageLabel
java.awt.Image image
javax.swing.ImageIcon icon
javax.swing.JPanel gameTypePanel
javax.swing.JPanel playersPanel
javax.swing.ButtonGroup playersButtonGroup
javax.swing.JRadioButton onePlayerRadioButton
javax.swing.JRadioButton twoPlayerLocalRadioButton
javax.swing.JRadioButton twoPlayerRemoteRadioButton
javax.swing.JPanel clientServerPanel
javax.swing.ButtonGroup clientServerButtonGroup
javax.swing.JRadioButton serverRadioButton
javax.swing.JRadioButton clientRadioButton
javax.swing.JPanel serverSettingsPanel
javax.swing.JLabel hostLabel
javax.swing.JTextField hostTextField
javax.swing.JButton applyButton
javax.swing.JPanel rolePanel
javax.swing.ButtonGroup roleButtonGroup
javax.swing.JRadioButton attackerRadioButton
javax.swing.JRadioButton defenderRadioButton
javax.swing.border.Border loweredetched
javax.swing.border.TitledBorder playersBorder
javax.swing.border.TitledBorder roleBorder
javax.swing.border.TitledBorder serverSettingsBorder
javax.swing.border.TitledBorder clientServerBorder
javax.swing.JPanel ltsPanel
javax.swing.JLabel leftLTSLabel
javax.swing.JPanel leftLTSPanel
javax.swing.JTextField leftLTSTextField
javax.swing.JButton leftLTSBrowseButton
javax.swing.JLabel rightLTSLabel
javax.swing.JPanel rightLTSPanel
javax.swing.JTextField rightLTSTextField
javax.swing.JButton rightLTSBrowseButton
javax.swing.JPanel bisimulationPanel
javax.swing.ButtonGroup bisimulationButtonGroup
javax.swing.JRadioButton strongRadioButton
javax.swing.JRadioButton weakRadioButton
javax.swing.JPanel statusPanel
javax.swing.JLabel statusLabel
javax.swing.JPanel buttonPanel
javax.swing.JButton startButton
javax.swing.JButton exitButton
java.io.File currentDir
Class dk.brics.bisim.view.SimulatorView extends javax.swing.JPanel implements Serializable |
---|
serialVersionUID: 1L
Serialized Fields |
---|
int width
int height
java.awt.Dimension graphDimension
java.awt.Dimension actionDimension
java.awt.Dimension stepButtonDimension
java.awt.Dimension traceDimension
javax.swing.JButton openFileButton
javax.swing.JButton resetButton
javax.swing.JButton exitButton
javax.swing.JPanel buttonPanel
javax.swing.JScrollPane graphScrollPane
javax.swing.JScrollPane traceScrollPane
javax.swing.JPanel actionPanel
javax.swing.JScrollPane inputActionScrollPane
javax.swing.JPanel inputActions
javax.swing.JPanel inputPanel
javax.swing.JButton inputButton
javax.swing.JButton tauButton
javax.swing.JButton randomButton
javax.swing.JButton outputButton
javax.swing.JPanel stepButtonPanel
javax.swing.JScrollPane outputActionScrollPane
javax.swing.JPanel outputActions
javax.swing.JPanel outputPanel
javax.swing.JTextArea trace
javax.swing.JFileChooser fileChooser
java.io.File currentDir
att.grappa.GrappaPanel gp
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |