Serialized Form

Package EASE.Acting

Class EASE.Acting.StartControl implements Serializable

Serialized Fields

actuators

ActInterface actuators

agentDisplay

AgentDisplay agentDisplay

agentDisplayB

javax.swing.JButton agentDisplayB

agentDisplayed

boolean agentDisplayed

agentFile

javax.swing.JTextField agentFile

allAgents

AllAgents allAgents

buttPanel

javax.swing.JPanel buttPanel

currentAgentFile

java.io.File currentAgentFile

debugger

Debugger debugger

displayPanel

javax.swing.JPanel displayPanel

env

EnvironmentSpecification env

factoryDisplay

FactoryDisplay factoryDisplay

factoryDisplayB

javax.swing.JButton factoryDisplayB

factoryDisplayed

boolean factoryDisplayed

fileChooser

javax.swing.JFileChooser fileChooser

main

javax.swing.JPanel main

running

boolean running

sensors

Interface sensors

setAgentFile

javax.swing.JButton setAgentFile

startB

javax.swing.JButton startB

transitionB

javax.swing.JButton transitionB

Package EASE.Agents.Engine

Class EASE.Agents.Engine.AgentDisplay implements Serializable

Serialized Fields

actTraceB

javax.swing.JButton actTraceB

agents

java.util.Hashtable agents

buttPanel

javax.swing.JPanel buttPanel

createB

javax.swing.JButton createB

createF

CreateAgentFrame createF

cTrace

CalculationTrace cTrace

displayTree

javax.swing.JTree displayTree

killFailB

javax.swing.JButton killFailB

killSuccessB

javax.swing.JButton killSuccessB

pauseB

javax.swing.JButton pauseB

satTraceB

javax.swing.JButton satTraceB

selectedAgent

InstantiatedAgent selectedAgent

Looking after selections

tranTraceB

javax.swing.JButton tranTraceB

treeModel

javax.swing.tree.DefaultTreeModel treeModel

treeRoot

javax.swing.tree.DefaultMutableTreeNode treeRoot

Class EASE.Agents.Engine.AgentTreeNode implements Serializable

Serialized Fields

ia

InstantiatedAgent ia

isSelected

boolean isSelected

sad

SingleAgentDisplay sad

Class EASE.Agents.Engine.CreateAgentFrame implements Serializable

Serialized Fields

agentList

javax.swing.JList agentList

allAgents

AllAgents allAgents

condDisplay

NoEditDisplay condDisplay

createB

javax.swing.JButton createB

editB

javax.swing.JButton editB

savedAgents

java.util.Vector savedAgents

Class EASE.Agents.Engine.CreateAgentFrame.InstantiateAgent implements Serializable

Serialized Fields

approved

boolean approved

Set to true if OK button clicked.

buttP

javax.swing.JPanel buttP

cancelB

javax.swing.JButton cancelB

instParams

java.util.Vector instParams

Vector containing the InstantiateParam objects i.e. the Panels where the parameters are instantiated.

OKB

javax.swing.JButton OKB

paramP

javax.swing.JPanel paramP

this$0

CreateAgentFrame this$0

Class EASE.Agents.Engine.CreateAgentFrame.InstantiateAgent.InstantiateParam implements Serializable

Serialized Fields

pr

ParameterReference pr

this$1

CreateAgentFrame.InstantiateAgent this$1

Class EASE.Agents.Engine.SingleAgentDisplay implements Serializable

Serialized Fields

config

Configuration config

ia

InstantiatedAgent ia

nameL

javax.swing.JLabel nameL

priorityL

javax.swing.JLabel priorityL

stateL

javax.swing.JLabel stateL

Class EASE.Agents.Engine.TransitionMonitor implements Serializable

Serialized Fields

text

javax.swing.JTextArea text

Package EASE.Agents.Specification

Class EASE.Agents.Specification.ActivationChooser implements Serializable

Serialized Fields

condDisplay

NoEditDisplay condDisplay

previous

CellReference previous

Class EASE.Agents.Specification.AgentSave implements Serializable

Serialized Fields

activation

CellReference activation

exportContract

ExportContract exportContract

name

java.lang.String name

priority

int priority

states

java.util.Vector states

transitions

java.util.Vector transitions

type

java.lang.String type

Class EASE.Agents.Specification.AgentStartSpecification implements Serializable

Serialized Fields

agent

AgentSave agent

params

java.util.Hashtable params

Class EASE.Agents.Specification.AllAgents implements Serializable

Serialized Fields

agentList

javax.swing.JList agentList

agentListModel

javax.swing.DefaultListModel agentListModel

editAgentB

javax.swing.JButton editAgentB

listeners

java.util.Vector listeners

listScrollPane

javax.swing.JScrollPane listScrollPane

main

javax.swing.JPanel main

newAgentB

javax.swing.JButton newAgentB

Class EASE.Agents.Specification.AxisPopupListener implements Serializable

Serialized Fields

gradient

double gradient

onFail

Transition onFail

start

double start

Class EASE.Agents.Specification.BasicPanel implements Serializable

Serialized Fields

gbc

java.awt.GridBagConstraints gbc

name

javax.swing.JTextField name

prioritySlider

javax.swing.JSlider prioritySlider

setActivationB

javax.swing.JButton setActivationB

showContract

javax.swing.JButton showContract

typeCombo

javax.swing.JComboBox typeCombo

Class EASE.Agents.Specification.Chooser implements Serializable

Serialized Fields

buttP

javax.swing.JPanel buttP

cancelB

javax.swing.JButton cancelB

condDisplay

NoEditDisplay condDisplay

editB

javax.swing.JButton editB

fieldWidth

int fieldWidth

main

javax.swing.JPanel main

OKB

javax.swing.JButton OKB

optionsP

javax.swing.JPanel optionsP

Class EASE.Agents.Specification.Configuration implements Serializable

Serialized Fields

ENGINEER_COLOR

java.awt.Color ENGINEER_COLOR

Color of an engineer in agent engine display.

FAILURE_COLOR

java.awt.Color FAILURE_COLOR

Color of failure states

FontSize

int FontSize

Size of writing on the state

LIST_MANAGER_COLOR

java.awt.Color LIST_MANAGER_COLOR

Color of a manager in agent engine display.

MANAGER_COLOR

java.awt.Color MANAGER_COLOR

Color of a manager in agent engine display.

SM_PANEL_SIZE

java.awt.Dimension SM_PANEL_SIZE

Size of the State Machine Panel.

StateSize

int StateSize

Size of a state

STROKE_WIDTH

float STROKE_WIDTH

Width of the lines for the State Machine

SUCCESS_COLOR

java.awt.Color SUCCESS_COLOR

Color of success states

TRANSITION_CIRCLE_SIZE

int TRANSITION_CIRCLE_SIZE

Size of the transition end marking

Class EASE.Agents.Specification.ConsumableMouseEvent implements Serializable

Serialized Fields

consumed

boolean consumed

Class EASE.Agents.Specification.ContractInstantiation implements Serializable

Serialized Fields

agentC

javax.swing.JComboBox agentC

agents

java.util.Vector agents

all

AllAgents all

contractPanel

javax.swing.JPanel contractPanel

first

boolean first

inst

java.util.Vector inst

ips

java.util.Hashtable ips

lastSel

Agent lastSel

paramsPanel

javax.swing.JPanel paramsPanel

removeB

javax.swing.JButton removeB

updating

boolean updating

Class EASE.Agents.Specification.ContractInstantiation.InstantiateParam implements Serializable

Serialized Fields

condDisplay

NoEditDisplay condDisplay

pr

ParameterReference pr

this$0

ContractInstantiation this$0

Class EASE.Agents.Specification.ExportContract implements Serializable

Serialized Fields

agentName

java.lang.String agentName

comment

java.lang.String comment

instantiatedParams

java.util.Vector instantiatedParams

priority

int priority

type

java.lang.String type

uninstantiatedParams

java.util.Vector uninstantiatedParams

Class EASE.Agents.Specification.FileFormat implements Serializable

Serialized Fields

agents

java.util.Vector agents

starters

java.util.Vector starters

Class EASE.Agents.Specification.InstantiatedContract implements Serializable

Serialized Fields

agent

AgentSave agent

exportContract

ExportContract exportContract

Data

id

long id

This id can be set to any number and is fairly meaningless. It is only uses to create slightly different objects of this type so the hashtable can distinguish them.

instantiatedParams

java.util.Vector instantiatedParams

Any instantiated parameters associated with this contract

Class EASE.Agents.Specification.OpenFileAction implements Serializable

Serialized Fields

debugger

Debugger debugger

spec

Specification spec

Class EASE.Agents.Specification.PopupListener implements Serializable

Serialized Fields

popup

javax.swing.JPopupMenu popup

x

int x

y

int y

Class EASE.Agents.Specification.QuitAction implements Serializable

Class EASE.Agents.Specification.Satisfaction implements Serializable

Serialized Fields

satisfaction

CellReference satisfaction

Class EASE.Agents.Specification.SatisfactionChooser implements Serializable

Serialized Fields

addB

javax.swing.JButton addB

previous

java.util.Vector previous

registrations

java.util.Vector registrations

Class EASE.Agents.Specification.SatisfactionChooser.ChoicePanel implements Serializable

Serialized Fields

condDisplay

NoEditDisplay condDisplay

removeB

javax.swing.JButton removeB

this$0

SatisfactionChooser this$0

Class EASE.Agents.Specification.SaveFileAction implements Serializable

Serialized Fields

debugger

Debugger debugger

spec

Specification spec

Class EASE.Agents.Specification.SetStartAgentsAction implements Serializable

Serialized Fields

savedStarters

java.util.Vector savedStarters

selectDialog

SetStartAgentsAction.SelectionDialog selectDialog

spec

Specification spec

Class EASE.Agents.Specification.SetStartAgentsAction.SelectionDialog implements Serializable

Serialized Fields

addB

javax.swing.JButton addB

allAgents

AllAgents allAgents

buttP

javax.swing.JPanel buttP

doneB

javax.swing.JButton doneB

mainP

javax.swing.JPanel mainP

starters

java.util.Vector starters

startersP

javax.swing.JPanel startersP

this$0

SetStartAgentsAction this$0

Class EASE.Agents.Specification.SetStartAgentsAction.SingleStarter implements Serializable

Serialized Fields

agentsC

javax.swing.JComboBox agentsC

allAgents

AllAgents allAgents

lastSel

Agent lastSel

removeB

javax.swing.JButton removeB

this$0

SetStartAgentsAction this$0

Class EASE.Agents.Specification.ShowContract implements Serializable

Serialized Fields

commentF

javax.swing.JTextArea commentF

debugger

Debugger debugger

fieldWidth

int fieldWidth

gbc

java.awt.GridBagConstraints gbc

main

javax.swing.JPanel main

nameF

javax.swing.JTextField nameF

paramDisplays

java.util.Vector paramDisplays

params

java.util.Vector params

paramsPanel

javax.swing.JPanel paramsPanel

paramsScroll

javax.swing.JScrollPane paramsScroll

prioritySlider

javax.swing.JSlider prioritySlider

typeCombo

javax.swing.JComboBox typeCombo

Class EASE.Agents.Specification.ShowContract.ParamDisplay implements Serializable

Serialized Fields

condDisplay

NoEditDisplay condDisplay

pr

ParameterReference pr

this$0

ShowContract this$0

Class EASE.Agents.Specification.SMPanel implements Serializable

Serialized Fields

actChoose

ActivationChooser actChoose

activation

CellReference activation

agentSpec

AgentSpecification agentSpec

config

Configuration config

currentAgentType

java.lang.String currentAgentType

debugger

Debugger debugger

last

java.util.Vector last

newStateM

javax.swing.JMenuItem newStateM

popup

javax.swing.JPopupMenu popup

setActivationM

javax.swing.JMenuItem setActivationM

startTransition

State startTransition

states

java.util.Vector states

transitions

java.util.Vector transitions

Class EASE.Agents.Specification.State implements Serializable

Serialized Fields

addTransitionM

javax.swing.JMenuItem addTransitionM

contracts

java.util.Vector contracts

deleteM

javax.swing.JMenuItem deleteM

editNameM

javax.swing.JMenuItem editNameM

isFailure

boolean isFailure

isFinal

boolean isFinal

isStart

boolean isStart

listeners

java.util.Vector listeners

mouseListener

MouseToAction mouseListener

name

java.lang.String name

Default name for state

popListener

PopupListener popListener

popup

javax.swing.JPopupMenu popup

satisChoose

SatisfactionChooser satisChoose

satisfaction

java.util.Vector satisfaction

setContractsM

javax.swing.JMenuItem setContractsM

setFailureStateM

javax.swing.JCheckBoxMenuItem setFailureStateM

setFinalStateM

javax.swing.JCheckBoxMenuItem setFinalStateM

setSatisfactionM

javax.swing.JMenuItem setSatisfactionM

setStartStateM

javax.swing.JCheckBoxMenuItem setStartStateM

ss

StateSave ss

subSpecification

SubContractsSpecification subSpecification

type

java.lang.String type

One of the types defined in EASE.Constants

Class EASE.Agents.Specification.StateSave implements Serializable

Serialized Fields

contracts

java.util.Vector contracts

isFailure

boolean isFailure

Does this state represent a failure state

isFinal

boolean isFinal

Does this state represent a finished/success state

isStart

boolean isStart

Does this state represent a starting state.

name

java.lang.String name

position

java.awt.Rectangle position

satisfaction

java.util.Vector satisfaction

type

java.lang.String type

Class EASE.Agents.Specification.SubContractsSpecification implements Serializable

Serialized Fields

addB

javax.swing.JButton addB

allAgents

AllAgents allAgents

buttonP

javax.swing.JPanel buttonP

contracts

java.util.Vector contracts

contractsP

javax.swing.JPanel contractsP

editB

javax.swing.JButton editB

mainP

javax.swing.JPanel mainP

Class EASE.Agents.Specification.Transition implements Serializable

Serialized Fields

condition

CellReference condition

conditions

java.util.Vector conditions

deleteM

javax.swing.JMenuItem deleteM

editM

javax.swing.JMenuItem editM

end

State end

endIsEnd

boolean endIsEnd

ep

java.awt.Point ep

ex

int ex

ey

int ey

failureM

javax.swing.JCheckBoxMenuItem failureM

isFailure

boolean isFailure

These variables describe whether the transition should be taken on failure or success, respectively, of an existing contract.

isSuccess

boolean isSuccess

These variables describe whether the transition should be taken on failure or success, respectively, of an existing contract.

ix

int ix

iy

int iy

listeners

java.util.Vector listeners

popListener

AxisPopupListener popListener

popup

javax.swing.JPopupMenu popup

setConditionM

javax.swing.JMenuItem setConditionM

sp

java.awt.Point sp

start

State start

successM

javax.swing.JCheckBoxMenuItem successM

sx

int sx

sy

int sy

th

int th

tranChoose

TransitionChooser tranChoose

tw

int tw

tx

int tx

ty

int ty

Class EASE.Agents.Specification.TransitionChooser implements Serializable

Serialized Fields

previous

CellReference previous

t

Transition t

t is the transition that started this, tr is the reverse if there is one

tp

TransitionChooser.SpecPanel tp

tr

Transition tr

t is the transition that started this, tr is the reverse if there is one

trp

TransitionChooser.SpecPanel trp

Class EASE.Agents.Specification.TransitionChooser.SpecPanel implements Serializable

Serialized Fields

addB

javax.swing.JButton addB

failureC

javax.swing.JCheckBox failureC

infoP

javax.swing.JPanel infoP

rules

java.util.Vector rules

rulesP

javax.swing.JPanel rulesP

successC

javax.swing.JCheckBox successC

t

Transition t

this$0

TransitionChooser this$0

Class EASE.Agents.Specification.TransitionChooser.SpecPanel.RulePanel implements Serializable

Serialized Fields

condDisplay

NoEditDisplay condDisplay

deleteB

javax.swing.JButton deleteB

this$1

TransitionChooser.SpecPanel this$1

Class EASE.Agents.Specification.TransitionSave implements Serializable

Serialized Fields

condition

CellReference condition

Deprecated. Use conditions.

conditions

java.util.Vector conditions

end

StateSave end

isFailure

boolean isFailure

Whether or not the transition is a failure transition.

isSuccess

boolean isSuccess

Whether or not the transition is a success transition.

start

StateSave start

Package EASE.Factories

Class EASE.Factories.FactoryDisplay implements Serializable

Serialized Fields

choicePanel

javax.swing.JPanel choicePanel

current

FactoryDisplay.DisplayPanel current

displayPanel

javax.swing.JPanel displayPanel

EngineersLastTime

int EngineersLastTime

env

EnvironmentSpecification env

factoryC

javax.swing.JComboBox factoryC

mainPanel

javax.swing.JPanel mainPanel

theAgents

AllAgents theAgents

updater

FactoryDisplay.Updater updater

Class EASE.Factories.FactoryDisplay.DisplayPanel implements Serializable

Serialized Fields

backColor

java.awt.Color backColor

colors

java.awt.Color[] colors

f

Factory f

gbc

java.awt.GridBagConstraints gbc

graph

FactoryDisplay.DisplayPanel.Graph graph

legend

FactoryDisplay.DisplayPanel.Legend legend

this$0

FactoryDisplay this$0

values

java.util.Vector values

Class EASE.Factories.FactoryDisplay.DisplayPanel.Graph implements Serializable

Serialized Fields

f

NumberFactory f

first

boolean first

maxValues

int maxValues

min

double min

output

double output

pointSize

int pointSize

satMax

double satMax

this$1

FactoryDisplay.DisplayPanel this$1

valueRange

double valueRange

values

java.util.Vector values

xaxisspace

int xaxisspace

yaxisspace

int yaxisspace

Class EASE.Factories.FactoryDisplay.DisplayPanel.Legend implements Serializable

Serialized Fields

f

Factory f

legendSize

int legendSize

this$1

FactoryDisplay.DisplayPanel this$1

Package EASE.Sensing.Engine

Class EASE.Sensing.Engine.CalculationTrace implements Serializable

Serialized Fields

actDisp

CalculationTrace.SingleCalcDisp actDisp

activationTrace

boolean activationTrace

allAgents

AllAgents allAgents

debugger

Debugger debugger

display

CalculationTrace.Display display

ia

InstantiatedAgent ia

satDisp

CalculationTrace.SingleCalcDisp satDisp

satisfactionTrace

boolean satisfactionTrace

tranDisp

CalculationTrace.SingleCalcDisp tranDisp

transitionTrace

boolean transitionTrace

updateB

javax.swing.JButton updateB

Class EASE.Sensing.Engine.CalculationTrace.Display implements Serializable

Serialized Fields

this$0

CalculationTrace this$0

Class EASE.Sensing.Engine.CalculationTrace.SingleCalcDisp implements Serializable

Serialized Fields

this$0

CalculationTrace this$0

Package EASE.Sensing.Specification

Class EASE.Sensing.Specification.Activation implements Serializable

Class EASE.Sensing.Specification.ActivationAction implements Serializable

Serialized Fields

spec

SpecExport spec

Class EASE.Sensing.Specification.ActivationPanel implements Serializable

Serialized Fields

allOptions

java.util.Vector allOptions

mainPanel

javax.swing.JPanel mainPanel

option

EnhancedCombo option

paramOptions

java.util.Vector paramOptions

titleString

java.lang.String titleString

Class EASE.Sensing.Specification.Cell implements Serializable

Serialized Fields

comment

java.lang.String comment

creationDate

java.util.Date creationDate

defaultFileName

java.lang.String defaultFileName

fileName

java.lang.String fileName

instantiatedParams

java.util.Vector instantiatedParams

name

java.lang.String name

previousVersion

Cell previousVersion

subCells

java.util.Vector subCells

subsequentVersion

Cell subsequentVersion

treePath

java.lang.String[] treePath

Class EASE.Sensing.Specification.CellReference implements Serializable

Serialized Fields

cellName

java.lang.String cellName

Deprecated. Use getCellName();

fileName

java.lang.String fileName

Deprecated. Use getFileName();

instantiatedParams

java.util.Vector instantiatedParams

params

java.util.Vector params

Class EASE.Sensing.Specification.CellStore implements Serializable

Serialized Fields

debugger

Debugger debugger

openFiles

java.util.HashMap openFiles

Class EASE.Sensing.Specification.CellTreeRenderer implements Serializable

Class EASE.Sensing.Specification.Conditional implements Serializable

Serialized Fields

LEFT

int LEFT

operator

int operator

RIGHT

int RIGHT

Class EASE.Sensing.Specification.ConditionalPanel implements Serializable

Serialized Fields

buttPanel

javax.swing.JPanel buttPanel

cancel

javax.swing.JButton cancel

comment

javax.swing.JTextArea comment

commentPanel

javax.swing.JPanel commentPanel

condPanel

javax.swing.JPanel condPanel

currentType

int currentType

debugger

Debugger debugger

done

javax.swing.JButton done

fieldWidth

int fieldWidth

historyB

javax.swing.JButton historyB

left

EnhancedCombo left

leftValues

java.util.Vector leftValues

main

javax.swing.JPanel main

namePanel

javax.swing.JPanel namePanel

operator

javax.swing.JComboBox operator

operators

java.util.Vector operators

right

EnhancedCombo right

rightValues

java.util.Vector rightValues

spec

SpecExport spec

Class EASE.Sensing.Specification.Constant implements Serializable

Serialized Fields

numValue

java.lang.Double numValue

strValue

java.lang.String strValue

type

int type

Class EASE.Sensing.Specification.ConstantPanel implements Serializable

Serialized Fields

cancel

javax.swing.JButton cancel

comment

javax.swing.JTextArea comment

debugger

Debugger debugger

done

javax.swing.JButton done

historyB

javax.swing.JButton historyB

spec

SpecExport spec

value

javax.swing.JTextField value

Class EASE.Sensing.Specification.DeleteSimpleAction implements Serializable

Serialized Fields

debugger

Debugger debugger

main

SpecExport main

Class EASE.Sensing.Specification.DeleteTopAction implements Serializable

Serialized Fields

debugger

Debugger debugger

main

SpecExport main

Class EASE.Sensing.Specification.EditItemAction implements Serializable

Serialized Fields

debugger

Debugger debugger

main

SpecExport main

Class EASE.Sensing.Specification.EditTopAction implements Serializable

Serialized Fields

debugger

Debugger debugger

main

SpecExport main

Class EASE.Sensing.Specification.ElseClause implements Serializable

Serialized Fields

action

EnhancedCombo action

delete

javax.swing.JButton delete

Class EASE.Sensing.Specification.EnhancedCombo implements Serializable

Serialized Fields

allowFactorySuggestion

boolean allowFactorySuggestion

allowFactorySuggestionInstantiated

boolean allowFactorySuggestionInstantiated

combo

javax.swing.JComboBox combo

debugger

Debugger debugger

factoryList

javax.swing.JList factoryList

factoryOptionsVisible

boolean factoryOptionsVisible

factorySuggestion

FactorySuggestion factorySuggestion

fieldWidth

int fieldWidth

gbParamComment

java.awt.GridBagConstraints gbParamComment

gbParamList

java.awt.GridBagConstraints gbParamList

gbParamName

java.awt.GridBagConstraints gbParamName

instantiated

java.util.Vector instantiated

objectInfo

java.util.Vector objectInfo

objectInfoC

javax.swing.JComboBox objectInfoC

objectOptionsVisible

boolean objectOptionsVisible

objects

java.util.Vector objects

options

java.util.Vector options

param

Parameter param

paramComment

javax.swing.JTextField paramComment

paramListVisible

boolean paramListVisible

paramName

javax.swing.JTextField paramName

paramNameVisible

boolean paramNameVisible

showParamsPane

EnhancedCombo.ShowParamsPane showParamsPane

Class EASE.Sensing.Specification.EnhancedCombo.InstantiatePanel implements Serializable

Serialized Fields

combo

javax.swing.JComboBox combo

debugger

Debugger debugger

options

java.util.Vector options

param

Parameter param

propagate

java.lang.String propagate

this$0

EnhancedCombo this$0

Class EASE.Sensing.Specification.EnhancedCombo.ListInstantiatePanel implements Serializable

Serialized Fields

this$0

EnhancedCombo this$0

Class EASE.Sensing.Specification.EnhancedCombo.ShowParamsPane implements Serializable

Serialized Fields

debugger

Debugger debugger

panels

java.util.Vector panels

this$0

EnhancedCombo this$0

Class EASE.Sensing.Specification.ExplainIcons implements Serializable

Class EASE.Sensing.Specification.ExportCell implements Serializable

Class EASE.Sensing.Specification.FactorySuggestion implements Serializable

Serialized Fields

factory

java.lang.String factory

Class EASE.Sensing.Specification.FileFormat implements Serializable

Serialized Fields

activations

java.util.Vector activations

constants

java.util.Vector constants

expressions

java.util.Vector expressions

ifs

java.util.Vector ifs

satisfactions

java.util.Vector satisfactions

sensors

java.util.Vector sensors

transitions

java.util.Vector transitions

unaryExpressions

java.util.Vector unaryExpressions

Class EASE.Sensing.Specification.HistoryWindow implements Serializable

Class EASE.Sensing.Specification.IfClause implements Serializable

Serialized Fields

action

EnhancedCombo action

condition

EnhancedCombo condition

delete

javax.swing.JButton delete

instantiated

java.util.Vector instantiated

Class EASE.Sensing.Specification.IfPanel implements Serializable

Serialized Fields

buttPanel

javax.swing.JPanel buttPanel

cancel

javax.swing.JButton cancel

comment

javax.swing.JTextArea comment

commentPanel

javax.swing.JPanel commentPanel

debugger

Debugger debugger

done

javax.swing.JButton done

historyB

javax.swing.JButton historyB

internal

InternalIf internal

main

javax.swing.JPanel main

namePanel

javax.swing.JPanel namePanel

spec

SpecExport spec

title

javax.swing.JLabel title

Class EASE.Sensing.Specification.IfStatement implements Serializable

Class EASE.Sensing.Specification.InputData implements Serializable

Serialized Fields

parameters

java.util.Vector parameters

typeName

java.lang.String typeName

Class EASE.Sensing.Specification.InputListData implements Serializable

Class EASE.Sensing.Specification.InputObjectField implements Serializable

Serialized Fields

field

java.lang.String field

input

InputData input

Class EASE.Sensing.Specification.InputObjectFieldReference implements Serializable

Serialized Fields

field

java.lang.String field

Class EASE.Sensing.Specification.InstantiatedParameter implements Serializable

Serialized Fields

param

Parameter param

paramRef

ParameterReference paramRef

value

Cell value

valueRef

CellReference valueRef

Class EASE.Sensing.Specification.InternalIf implements Serializable

Serialized Fields

actions

java.util.Vector actions

clauses

java.util.Vector clauses

conditions

java.util.Vector conditions

elseClause

ElseClause elseClause

gbc

java.awt.GridBagConstraints gbc

instantiated

java.util.Vector instantiated

newClause

javax.swing.JButton newClause

Class EASE.Sensing.Specification.NewConstant implements Serializable

Serialized Fields

main

SpecExport main

Class EASE.Sensing.Specification.NewExpressionAction implements Serializable

Serialized Fields

main

SpecExport main

Class EASE.Sensing.Specification.NewIfAction implements Serializable

Serialized Fields

main

SpecExport main

Class EASE.Sensing.Specification.NewTransitionConditionAction implements Serializable

Serialized Fields

spec

SpecExport spec

Class EASE.Sensing.Specification.NewUnaryAction implements Serializable

Serialized Fields

main

SpecExport main

Class EASE.Sensing.Specification.NoEditDisplay implements Serializable

Serialized Fields

allowNone

boolean allowNone

curr

EnhancedCombo curr

instantiated

java.util.Vector instantiated

noneCell

Cell noneCell

optionsAct

EnhancedCombo optionsAct

optionsBasic

EnhancedCombo optionsBasic

optionsSatis

EnhancedCombo optionsSatis

optionsTran

EnhancedCombo optionsTran

spec

SpecExport spec

type

int type

Class EASE.Sensing.Specification.OpenFileAction implements Serializable

Serialized Fields

debugger

Debugger debugger

Class EASE.Sensing.Specification.Parameter implements Serializable

Serialized Fields

owner

Cell owner

======================== Data

ref

ParameterReference ref

Class EASE.Sensing.Specification.ParameterReference implements Serializable

Serialized Fields

comment

java.lang.String comment

owner

CellReference owner

Class EASE.Sensing.Specification.QuitAction implements Serializable

Serialized Fields

hideOnly

boolean hideOnly

main

SpecExport main

Class EASE.Sensing.Specification.Satisfaction implements Serializable

Class EASE.Sensing.Specification.SatisfactionAction implements Serializable

Serialized Fields

spec

SpecExport spec

Class EASE.Sensing.Specification.SatisfactionPanel implements Serializable

Serialized Fields

allOptions

java.util.Vector allOptions

mainPanel

javax.swing.JPanel mainPanel

option

EnhancedCombo option

paramOptions

java.util.Vector paramOptions

Class EASE.Sensing.Specification.SaveAction implements Serializable

Serialized Fields

debugger

Debugger debugger

main

SpecExport main

Class EASE.Sensing.Specification.SensedInformation implements Serializable

Serialized Fields

data

java.util.Hashtable data

Class EASE.Sensing.Specification.SensorReference implements Serializable

Class EASE.Sensing.Specification.SpecPanel implements Serializable

Serialized Fields

changed

boolean changed

debugPanel

javax.swing.JPanel debugPanel

fieldWidth

int fieldWidth

name

javax.swing.JTextField name

previous

Cell previous

specPanel

javax.swing.JPanel specPanel

Class EASE.Sensing.Specification.TopLevelAction implements Serializable

Serialized Fields

debugger

Debugger debugger

main

SpecExport main

Class EASE.Sensing.Specification.TopLevelSpec implements Serializable

Serialized Fields

buttPanel

javax.swing.JPanel buttPanel

cancel

javax.swing.JButton cancel

comment

javax.swing.JTextArea comment

commentPanel

javax.swing.JPanel commentPanel

debugger

Debugger debugger

done

javax.swing.JButton done

fieldWidth

int fieldWidth

historyB

javax.swing.JButton historyB

main

javax.swing.JPanel main

namePanel

javax.swing.JPanel namePanel

spec

SpecExport spec

title

javax.swing.JLabel title

titleString

java.lang.String titleString

Class EASE.Sensing.Specification.TransitionCondition implements Serializable

Class EASE.Sensing.Specification.TransitionPanel implements Serializable

Serialized Fields

allOptions

java.util.Vector allOptions

mainPanel

javax.swing.JPanel mainPanel

option

EnhancedCombo option

paramOptions

java.util.Vector paramOptions

titleString

java.lang.String titleString

Class EASE.Sensing.Specification.UnaryExpression implements Serializable

Serialized Fields

engineNode

Node engineNode

operator

int operator

Class EASE.Sensing.Specification.UnaryPanel implements Serializable

Serialized Fields

buttPanel

javax.swing.JPanel buttPanel

cancel

javax.swing.JButton cancel

comment

javax.swing.JTextArea comment

commentPanel

javax.swing.JPanel commentPanel

condPanel

javax.swing.JPanel condPanel

currentType

int currentType

debugger

Debugger debugger

done

javax.swing.JButton done

fieldWidth

int fieldWidth

historyB

javax.swing.JButton historyB

left

EnhancedCombo left

leftValues

java.util.Vector leftValues

main

javax.swing.JPanel main

namePanel

javax.swing.JPanel namePanel

operator

javax.swing.JComboBox operator

operators

java.util.Vector operators

spec

SpecExport spec