Serialized Form

Package fbench

Class fbench.Compiler extends CompilerAction implements Serializable

Serialized Fields

srcpane

javax.swing.JTextArea srcpane

srcScroll

javax.swing.JScrollPane srcScroll

errpane

javax.swing.JTextArea errpane

errScroll

javax.swing.JScrollPane errScroll

errstrm

java.io.InputStream errstrm

Class fbench.CompilerAction extends javax.swing.JDialog implements Serializable

Serialized Fields

status

javax.swing.JTextField status

panel

javax.swing.JPanel panel

buttonPanel

javax.swing.JPanel buttonPanel

okButton

javax.swing.JButton okButton

cancelButton

javax.swing.JButton cancelButton

cancelled

boolean cancelled

Class fbench.FBench extends javax.swing.JFrame implements Serializable

serialVersionUID: -2684239640734884416L

Serialized Fields

instances

java.util.Hashtable<K,V> instances

gvhandler

GraphViewTransfer gvhandler

The TransferHandler for dragging components into GraphViews.

preferences

java.util.Properties preferences

desktop

javax.swing.JTabbedPane desktop

toolBar

javax.swing.JToolBar toolBar

viewFrame

javax.swing.JFrame viewFrame

For View Menu

refresh_view

javax.swing.JPopupMenu refresh_view

refresh_viewwini

javax.swing.JMenuItem refresh_viewwini

mb

javax.swing.JMenuBar mb

fileMenu

javax.swing.JMenu fileMenu

fileNewMenu

javax.swing.JMenu fileNewMenu

fileNewFBMenu

javax.swing.JMenu fileNewFBMenu

fileNewDataMenu

javax.swing.JMenu fileNewDataMenu

newBFB

javax.swing.JMenuItem newBFB

newCFB

javax.swing.JMenuItem newCFB

newProxy

javax.swing.JMenuItem newProxy

newSI

javax.swing.JMenuItem newSI

newSimple

javax.swing.JMenuItem newSimple

newAdapt

javax.swing.JMenuItem newAdapt

newRes

javax.swing.JMenuItem newRes

newDev

javax.swing.JMenuItem newDev

newSys

javax.swing.JMenuItem newSys

fileOpen

javax.swing.JMenuItem fileOpen

fileSaveAsMenu

javax.swing.JMenu fileSaveAsMenu

fileSaveAsXMLItem

javax.swing.JMenuItem fileSaveAsXMLItem

fileExitItem

javax.swing.JMenuItem fileExitItem

editMenu

javax.swing.JMenu editMenu

editUndoItem

javax.swing.JMenuItem editUndoItem

editRedoItem

javax.swing.JMenuItem editRedoItem

editCutItem

javax.swing.JMenuItem editCutItem

editCopyItem

javax.swing.JMenuItem editCopyItem

editPasteItem

javax.swing.JMenuItem editPasteItem

editDeleteItem

javax.swing.JMenuItem editDeleteItem

editFindReplaceItem

javax.swing.JMenuItem editFindReplaceItem

editSelectAllItem

javax.swing.JMenuItem editSelectAllItem

viewMenu

javax.swing.JMenu viewMenu

treeViewMenu

javax.swing.JCheckBoxMenuItem treeViewMenu

compileMenu

javax.swing.JMenu compileMenu

compiletoJava

javax.swing.JMenuItem compiletoJava

compiletoJavaDebug

javax.swing.JMenuItem compiletoJavaDebug

runMenu

javax.swing.JMenu runMenu

runLaunchMenu

javax.swing.JMenu runLaunchMenu

runLaunchItem

javax.swing.JMenuItem runLaunchItem

helpMenu

javax.swing.JMenu helpMenu

helpItem

javax.swing.JMenuItem helpItem

helpHowToItem

javax.swing.JMenuItem helpHowToItem

helpAboutItem

javax.swing.JMenuItem helpAboutItem

select_item

javax.swing.JFileChooser select_item

plugin

PluginManager plugin

statusJPanel

javax.swing.JPanel statusJPanel

statusJLabel

javax.swing.JLabel statusJLabel

launchPath

java.lang.String launchPath

Class fbench.LibraryElementView extends javax.swing.JPanel implements Serializable

serialVersionUID: 3395261111185224686L

Serialized Fields

document

org.w3c.dom.Document document

graphView

GraphView graphView

tree

DOMTree tree

textModel

DOMTextModel textModel

xmlArea

javax.swing.JTextArea xmlArea

mainPanel

javax.swing.JSplitPane mainPanel

srcArea

javax.swing.JEditorPane srcArea

javaArea

javax.swing.JEditorPane javaArea

tabbedPane

javax.swing.JTabbedPane tabbedPane

tblmdl

ElementTableModel tblmdl

selectedColor

java.awt.Color selectedColor

savePath

java.lang.String savePath

translationModels

java.util.Vector<E> translationModels

Class fbench.XMLChecker extends javax.swing.JFrame implements Serializable

Serialized Fields

ta

javax.swing.JTextArea ta

reader

org.xml.sax.XMLReader reader

restartButton

javax.swing.JButton restartButton

path

java.lang.String path

Package fbench.graph

Class fbench.graph.AdapterDeclaration extends Event implements Serializable

Class fbench.graph.AdapterType extends FBType implements Serializable

Class fbench.graph.AlgorithmComponent extends GraphElement implements Serializable

serialVersionUID: -4909384609257181481L

Serialized Fields

algTextArea

CodeTextArea algTextArea

scrPane

javax.swing.JScrollPane scrPane

topPane

javax.swing.JPanel topPane

centerPane

javax.swing.JPanel centerPane

bottomPane

javax.swing.JPanel bottomPane

saveButton

javax.swing.JButton saveButton

cancelButton

javax.swing.JButton cancelButton

title

javax.swing.JLabel title

algTypeList

java.lang.String[] algTypeList

algTypeComboBox

javax.swing.JComboBox algTypeComboBox

algorithmTypeGrp

javax.swing.JPanel algorithmTypeGrp

prototypeLbl

javax.swing.JLabel prototypeLbl

prototypeText

javax.swing.JTextField prototypeText

algType

java.lang.String algType

tree

DOMTree tree

algorithmEl

org.w3c.dom.Element algorithmEl

Class fbench.graph.CodeTextArea extends javax.swing.JTextArea implements Serializable

serialVersionUID: 1534606914300344296L

Class fbench.graph.Connection extends GraphEdge implements Serializable

Serialized Fields

mousePoint

java.awt.Point mousePoint

scaleFactor

float scaleFactor

selectedSegment

int selectedSegment

value

int value

selectedColor

java.awt.Color selectedColor

Class fbench.graph.Device extends FB implements Serializable

Class fbench.graph.DeviceType extends ResourceType implements Serializable

Class fbench.graph.ECState extends GraphNode implements Serializable

serialVersionUID: -44825563959444428L

Serialized Fields

tbl

javax.swing.JTable tbl

isInitialState

boolean isInitialState

elem

org.w3c.dom.Element elem

xPos

java.lang.Float xPos

yPos

java.lang.Float yPos

scaleFactor

java.lang.Float scaleFactor

currentMousePoint

java.awt.Point currentMousePoint

currentMouseButton

int currentMouseButton

isBeingRightClickDragged

boolean isBeingRightClickDragged

isMouseOver

boolean isMouseOver

Class fbench.graph.ECTransition extends GraphEdge implements Serializable

Serialized Fields

me

ECTransition me

lblbox

java.awt.Rectangle lblbox

cond

java.lang.String cond

scaleFactor

float scaleFactor

currentMousePoint

java.awt.Point currentMousePoint

elem

org.w3c.dom.Element elem

curMouseButton

int curMouseButton

selectedColor

java.awt.Color selectedColor

Class fbench.graph.Event extends GraphNode implements Serializable

Serialized Fields

prefx

int prefx

The x-location for getPreferredBounds().

prefy

int prefy

The y-location for getPreferredBounds().

currentMouseButton

int currentMouseButton

isBeingRightClickDragged

boolean isBeingRightClickDragged

Class fbench.graph.FB extends GraphNode implements Serializable

Serialized Fields

typeNode

FBType typeNode

The internal FBType GraphNode.

type

java.lang.String type

elem

org.w3c.dom.Element elem

xPos

float xPos

yPos

float yPos

currentMousePoint

java.awt.Point currentMousePoint

scaleFactor

float scaleFactor

parentElementIndex

int parentElementIndex

Class fbench.graph.FBType extends GraphNode implements Serializable

Serialized Fields

topRect

java.awt.geom.RoundRectangle2D topRect

midRect

java.awt.Rectangle midRect

bottomRect

java.awt.geom.RoundRectangle2D bottomRect

prefx

int prefx

reversed

boolean reversed

Class fbench.graph.GraphEdge extends GraphElement implements Serializable

Serialized Fields

pathx

int[] pathx

The x-coordinates of the path to be used to draw the element in the parent GraphView's coordinate system.

pathy

int[] pathy

The y-coordinates of the path to be used to draw the element in the parent GraphView's coordinate system.

source

java.awt.Component source

The cached source component for this edge.

dest

java.awt.Component dest

The cached destination component for this edge.

Class fbench.graph.GraphElement extends javax.swing.JComponent implements Serializable

Serialized Fields

model

ElementModel model

selectedColor

java.awt.Color selectedColor

deSelectedColor

java.awt.Color deSelectedColor

selected

boolean selected

selevt

ElementSelectionEvent selevt

me

GraphElement me

Class fbench.graph.GraphNode extends GraphElement implements Serializable

Serialized Fields

mainLabel

javax.swing.JLabel mainLabel

outline

java.awt.geom.Area outline

The Area to be used to outline the component.

superGraphNode

boolean superGraphNode

gsha041: addition to opptionaly include this Element in the GraphNode Count (position count)

Class fbench.graph.GraphView extends ViewModel implements Serializable

serialVersionUID: -2916266848521408112L

Serialized Fields

document

org.w3c.dom.Document document

Class fbench.graph.GraphViewTransfer extends javax.swing.TransferHandler implements Serializable

Serialized Fields

libraryTree

javax.swing.JTree libraryTree

The JTree of Files containing LibraryElements.

Class fbench.graph.InputPrimitive extends Event implements Serializable

Class fbench.graph.IOLink extends GraphEdge implements Serializable

Serialized Fields

isEvent

boolean isEvent

Class fbench.graph.Link extends GraphEdge implements Serializable

Class fbench.graph.OutputPrimitive extends InputPrimitive implements Serializable

Class fbench.graph.Parameter extends GraphNode implements Serializable

Serialized Fields

destContainer

GraphElement destContainer

The GraphNode containing the parameter destination.

destCompt

java.awt.Component destCompt

The Component which is the destination of this parameter.

Class fbench.graph.Plug extends Socket implements Serializable

Class fbench.graph.Resource extends FB implements Serializable

Class fbench.graph.ResourceType extends FBType implements Serializable

Class fbench.graph.Segment extends GraphNode implements Serializable

Serialized Fields

path

java.awt.geom.GeneralPath path

Class fbench.graph.ServiceBounds extends GraphEdge implements Serializable

Class fbench.graph.ServiceLink extends GraphEdge implements Serializable

Serialized Fields

rbuff

java.awt.Rectangle rbuff

Class fbench.graph.ServiceSequence extends Event implements Serializable

Class fbench.graph.ServiceTransaction extends GraphNode implements Serializable

Class fbench.graph.Socket extends FB implements Serializable

Class fbench.graph.VarDeclaration extends Event implements Serializable

Class fbench.graph.VersionInfo extends GraphElement implements Serializable

Class fbench.graph.ViewModel extends javax.swing.JLayeredPane implements Serializable

Serialized Fields

selectedGraphElement

GraphElement selectedGraphElement

model

GraphModel model

element

org.w3c.dom.Element element

Class fbench.graph.WithLink extends GraphEdge implements Serializable

Serialized Fields

withnames

java.util.Vector<E> withnames

The names of the WITH elements of this link's Event.

Package fbench.graph.popup

Class fbench.graph.popup.AlgorithmDialog extends DialogModel implements Serializable

serialVersionUID: -4672846716575732683L

Serialized Fields

nameLabel

javax.swing.JLabel nameLabel

typeLabel

javax.swing.JLabel typeLabel

commentLabel

javax.swing.JLabel commentLabel

nameField

javax.swing.JTextField nameField

commentField

javax.swing.JTextField commentField

algTypeList

java.lang.String[] algTypeList

algTypeComboBox

javax.swing.JComboBox algTypeComboBox

acceptButton

javax.swing.JButton acceptButton

cancelButton

javax.swing.JButton cancelButton

helpButton

javax.swing.JButton helpButton

algElement

org.w3c.dom.Element algElement

Class fbench.graph.popup.ContextMenu extends javax.swing.JPopupMenu implements Serializable

Serialized Fields

mouseEvt

java.awt.event.MouseEvent mouseEvt

element

org.w3c.dom.Element element

isInternalVarAllowed

boolean isInternalVarAllowed

Class fbench.graph.popup.DialogModel extends javax.swing.JDialog implements Serializable

Serialized Fields

layout

javax.swing.GroupLayout layout

me

DialogModel me

document

org.w3c.dom.Document document

ownerFrame

javax.swing.JFrame ownerFrame

mouseEvt

java.awt.event.MouseEvent mouseEvt

element

org.w3c.dom.Element element

scaleFactor

java.lang.Float scaleFactor

tab

java.lang.String tab

Class fbench.graph.popup.ECCDialog extends DialogModel implements Serializable

Serialized Fields

setInitialCheckBox

javax.swing.JCheckBox setInitialCheckBox

nameLabel

javax.swing.JLabel nameLabel

commentLabel

javax.swing.JLabel commentLabel

sourceLabel

javax.swing.JLabel sourceLabel

destinationLabel

javax.swing.JLabel destinationLabel

nameField

javax.swing.JTextField nameField

commentField

javax.swing.JTextField commentField

acceptButton

javax.swing.JButton acceptButton

cancelButton

javax.swing.JButton cancelButton

helpButton

javax.swing.JButton helpButton

sourceStateBox

javax.swing.JComboBox sourceStateBox

destinationStateBox

javax.swing.JComboBox destinationStateBox

eventListBox

javax.swing.JComboBox eventListBox

guardConditionListBox

javax.swing.JComboBox guardConditionListBox

actionPane

javax.swing.JPanel actionPane

conditionPane

javax.swing.JPanel conditionPane

aoTable

javax.swing.JTable aoTable

aoTablePane

javax.swing.JScrollPane aoTablePane

sourceStateName

java.lang.String sourceStateName

destinationStateName

java.lang.String destinationStateName

stateElement

org.w3c.dom.Element stateElement

stateElement represents element of the selected ECState from ECC

isForAddingState

boolean isForAddingState

transitionElement

org.w3c.dom.Element transitionElement

transitionElement represents element of the selected ECTransition from ECC

isForAddingTransition

boolean isForAddingTransition

Class fbench.graph.popup.FBNetworkDialog extends DialogModel implements Serializable

Serialized Fields

commentLabel

javax.swing.JLabel commentLabel

connectionType

javax.swing.JLabel connectionType

nameLabel

javax.swing.JLabel nameLabel

typeLabel

javax.swing.JLabel typeLabel

fbIcon

javax.swing.ImageIcon fbIcon

addFBButton

javax.swing.JLabel addFBButton

commentField

javax.swing.JTextField commentField

nameField

javax.swing.JTextField nameField

typeField

javax.swing.JTextField typeField

fbBoxDimension

java.awt.Dimension fbBoxDimension

fbVariableDimension

java.awt.Dimension fbVariableDimension

destinationInputBox

javax.swing.JComboBox destinationInputBox

destinationFBBox

javax.swing.JComboBox destinationFBBox

sourceOutputBox

javax.swing.JComboBox sourceOutputBox

sourceFBBox

javax.swing.JComboBox sourceFBBox

fbPreviewPane

javax.swing.JPanel fbPreviewPane

sourcePanel

javax.swing.JPanel sourcePanel

destinationPanel

javax.swing.JPanel destinationPanel

eventButton

javax.swing.JRadioButton eventButton

variableButton

javax.swing.JRadioButton variableButton

acceptButton

javax.swing.JButton acceptButton

cancelButton

javax.swing.JButton cancelButton

helpButton

javax.swing.JButton helpButton

isForAddingConn

boolean isForAddingConn

connectionElement

org.w3c.dom.Element connectionElement

fbElement

org.w3c.dom.Element fbElement

isForAddingFB

boolean isForAddingFB

Class fbench.graph.popup.FBTypeDialog extends DialogModel implements Serializable

Serialized Fields

nameLabel

javax.swing.JLabel nameLabel

typeLabel

javax.swing.JLabel typeLabel

commentLabel

javax.swing.JLabel commentLabel

arraySizeLabel

javax.swing.JLabel arraySizeLabel

initialValueLabel

javax.swing.JLabel initialValueLabel

nameField

javax.swing.JTextField nameField

commentField

javax.swing.JTextField commentField

arraySizeField

javax.swing.JTextField arraySizeField

initialValueField

javax.swing.JTextField initialValueField

variableDetailPane

javax.swing.JPanel variableDetailPane

variableListPane

javax.swing.JPanel variableListPane

variableTable

javax.swing.JTable variableTable

typeOptions

java.lang.String[] typeOptions

typeBox

javax.swing.JComboBox typeBox

acceptButton

javax.swing.JButton acceptButton

cancelButton

javax.swing.JButton cancelButton

helpButton

javax.swing.JButton helpButton

eventType

fbench.graph.popup.FBTypeDialog.EventType eventType

variableType

fbench.graph.popup.FBTypeDialog.VariableType variableType

isForAddingEvent

boolean isForAddingEvent

eventElement

org.w3c.dom.Element eventElement

isForAddingVar

boolean isForAddingVar

varElement

org.w3c.dom.Element varElement

Class fbench.graph.popup.ParameterDialog extends DialogModel implements Serializable

Serialized Fields

nameLabel

javax.swing.JLabel nameLabel

valueLabel

javax.swing.JLabel valueLabel

commentLabel

javax.swing.JLabel commentLabel

nameField

javax.swing.JTextField nameField

valueField

javax.swing.JTextField valueField

commentField

javax.swing.JTextField commentField

acceptButton

javax.swing.JButton acceptButton

cancelButton

javax.swing.JButton cancelButton

Package fbench.table

Class fbench.table.ElementTableModel extends javax.swing.table.AbstractTableModel implements Serializable

Serialized Fields

element

org.w3c.dom.Element element

The encapsulated Element.

document

org.w3c.dom.Document document

mutev

org.w3c.dom.events.MutationEvent mutev

attributes

org.w3c.dom.NamedNodeMap attributes

The list of attribute names of the encapsulated Element, in the order in which they are to appear in the table.

Package fbench.tree

Class fbench.tree.DOMTree extends javax.swing.JTree implements Serializable

serialVersionUID: -6831240633532660344L

Serialized Fields

selevt

ElementSelectionEvent selevt

renderer

javax.swing.JLabel renderer

document

org.w3c.dom.Document document

mouseButton

int mouseButton

mouseEvent

java.awt.event.MouseEvent mouseEvent

mouseListener

java.awt.event.MouseAdapter mouseListener

treeModel

javax.swing.tree.DefaultTreeModel treeModel

root

DOMTreeNode root

selectedColor

java.awt.Color selectedColor

Package fbench.ui

Class fbench.ui.CloseTabbedPane extends javax.swing.JTabbedPane implements Serializable

serialVersionUID: 5847554365267820061L

Serialized Fields

closeUI

TabCloseUI closeUI

Class fbench.ui.TabPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 9130094704554958571L

Serialized Fields

title

javax.swing.JLabel title

closeButton

TabPanel.TabCloseButton closeButton

component

java.awt.Component component

Class fbench.ui.TabPanel.TabCloseButton extends javax.swing.JButton implements Serializable

serialVersionUID: -4901377612777070667L

Serialized Fields

parentPane

javax.swing.JTabbedPane parentPane

component

java.awt.Component component

size

int size