Serialized Form
Package ConForM.CoopnTools.Code |
viewer
Code viewer
env
CoopnEnv env
viewer
Code viewer
env
CoopnEnv env
Package ConForM.CoopnTools.CoKer |
assignments
java.util.Map assignments
readExternal
public void readExternal(java.io.ObjectInput)
throws java.io.IOException,
java.lang.ClassNotFoundException
writeExternal
public void writeExternal(java.io.ObjectOutput)
throws java.io.IOException
Package ConForM.CoopnTools.CoKer.CoalaMgr |
variable
CoalaVariableSymbol variable
value
CoopnTerm value
useCaas
CoalaUseCaaField useCaas
objects
CoalaObjectField objects
handlers
CoalaHandlerField handlers
resolutions
CoalaResolutionField resolutions
variables
CoalaVariableField variables
roles
CoalaRoleList roles
uses
CoalaUseField uses
roles
CoalaRoleField roles
exceptions
CoalaExceptionField exceptions
inter
CoalaCaaInterface inter
body
CoalaCaaBody body
module
CoalaModuleName module
role
CoalaRoleTerm role
list
java.util.Vector list
type
CoopnTypeAgg type
symbol
CoalaExceptionSymbol symbol
parameters
CoopnTermAgg parameters
event
CoopnSync event
profile
CoalaHandlerTerm profile
block
CoalaInstructionBlock block
variables
CoalaVariableField variables
type
CoopnTypeAgg type
symbol
CoalaHandlerSymbol symbol
parameters
CoopnTermAgg parameters
name
CoalaModuleName name
condition
CoopnCondition condition
thenPart
CoalaInstruction thenPart
elsePart
CoalaInstruction elsePart
list
java.util.Vector list
kind
int kind
header
CoalaHeader header
info
CoopnCompilInfo info
coopnInfo
CoopnCompilInfo coopnInfo
deps
java.lang.String[] deps
comment
java.lang.String comment
name
ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextModuleName name
name
ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextName name
type
CoopnType type
exception
CoalaException exception
exceptions
CoalaExceptionAgg exceptions
handler
CoalaHandlerTerm handler
profile
CoalaRoleTerm profile
block
CoalaInstructionBlock block
variables
CoalaVariableField variables
handlers
CoalaHandlerList handlers
type
CoopnTypeAgg type
symbol
CoalaRoleSymbol symbol
parameters
CoopnTermAgg parameters
exception
CoalaException exception
name
CoalaName name
identifier
java.lang.String identifier
module
CoalaModuleName module
comment
java.lang.String comment
list
CoalaModuleNameList list
list
CoopnModuleNameList list
type
CoopnType type
Package ConForM.CoopnTools.CoKer.CodeVisual |
texts
java.util.ResourceBundle texts
- Have the ResourceBundle as a private variable
so that don't have to pass it around in private methods
env
CoopnEnv env
- The CoopnEnv environment given to this viewer
format
java.text.NumberFormat format
styleContext
javax.swing.text.StyleContext styleContext
- The style context for this viewer.
This is used every time the textPane is redrawn
to produce a new styled document with the same
style context.
textPane
javax.swing.JTextPane textPane
- The textPane in which document drawing is performed
numberPane
javax.swing.JTextPane numberPane
- The textPane in which line number drawing is performed
allPane
javax.swing.JTextPane allPane
- The textPane in which an all-elemen drawing is performed
scrollPane
javax.swing.JScrollPane scrollPane
- The scrollpane to privide scrolling to the textpane
doc
CodeDoc doc
- The document being displayed
defStyle
javax.swing.text.Style defStyle
- The different styles used to render the tokens.
The style for symbol is either kwStyle or defStyle
depending on Mode.
comStyle
javax.swing.text.Style comStyle
- The different styles used to render the tokens.
The style for symbol is either kwStyle or defStyle
depending on Mode.
kwStyle
javax.swing.text.Style kwStyle
- The different styles used to render the tokens.
The style for symbol is either kwStyle or defStyle
depending on Mode.
linenoStyle
javax.swing.text.Style linenoStyle
- The different styles used to render the tokens.
The style for symbol is either kwStyle or defStyle
depending on Mode.
smallStyle
javax.swing.text.Style smallStyle
- The different styles used to render the tokens.
The style for symbol is either kwStyle or defStyle
depending on Mode.
exportDialog
ExportDialog exportDialog
- Dialogs for export and format
formatDialog
FormatDialog formatDialog
linenocb
javax.swing.JCheckBoxMenuItem linenocb
- The checkbuttons controlling the modes
symcb
javax.swing.JCheckBoxMenuItem symcb
- The checkbuttons controlling the modes
compcb
javax.swing.JCheckBoxMenuItem compcb
- The checkbuttons controlling the modes
prettycb
javax.swing.JCheckBoxMenuItem prettycb
- The checkbuttons controlling the modes
exportAction
ConForM.CoopnTools.CoKer.CodeVisual.CodeVisual.ExportAction exportAction
formatAction
ConForM.CoopnTools.CoKer.CodeVisual.CodeVisual.FormatAction formatAction
printAction
ConForM.CoopnTools.CoKer.CodeVisual.CodeVisual.PrintAction printAction
copyAction
ConForM.CoopnTools.CoKer.CodeVisual.CodeVisual.CopyAction copyAction
zoomAction
ConForM.CoopnTools.CoKer.CodeVisual.CodeVisual.ZoomAction zoomAction
zoomInAction
ConForM.CoopnTools.CoKer.CodeVisual.CodeVisual.ZoomInAction zoomInAction
zoomOutAction
ConForM.CoopnTools.CoKer.CodeVisual.CodeVisual.ZoomOutAction zoomOutAction
unimplementedFmtText
java.lang.String unimplementedFmtText
fontsize
int fontsize
- What is the current fontsize
The fontisize for compressed
lines is half this
currzoom
double currzoom
- what is the current zoom
notHidden
boolean[] notHidden
color
java.awt.Color[] color
tokenPtr
int[] tokenPtr
editor
CodeVisualEditor editor
env
CoopnEnv env
editor
CodeVisualEditor editor
env
CoopnEnv env
env
CoopnEnv env
editor
CodeVisualEditor editor
locale
java.util.Locale locale
clu
java.lang.String clu
in
java.lang.String in
pt
java.lang.String pt
cm
java.lang.String cm
mm
java.lang.String mm
title
java.lang.String title
fileBorderTitle
java.lang.String fileBorderTitle
exportBorderTitle
java.lang.String exportBorderTitle
sizeString
java.lang.String sizeString
approveButtonText
java.lang.String approveButtonText
formatText
java.lang.String formatText
marginText
java.lang.String marginText
deltaText
java.lang.String deltaText
topText
java.lang.String topText
bottomText
java.lang.String bottomText
leftText
java.lang.String leftText
rightText
java.lang.String rightText
zoomText
java.lang.String zoomText
zoom100Text
java.lang.String zoom100Text
fileErrText
java.lang.String fileErrText
fileErrTitle
java.lang.String fileErrTitle
fmtErrText
java.lang.String fmtErrText
fmtErrTitle
java.lang.String fmtErrTitle
percentFormat
java.text.NumberFormat percentFormat
numericFormat
java.text.NumberFormat numericFormat
sizeFormat
java.text.MessageFormat sizeFormat
sizeFmtArg
java.lang.String[] sizeFmtArg
fileErrFormat
java.text.MessageFormat fileErrFormat
fileErrFmtArg
java.lang.String[] fileErrFmtArg
exportTitle
java.lang.String exportTitle
logicalArea
java.awt.Rectangle logicalArea
insets
java.awt.Insets insets
format
int format
units
int units
zoom
double zoom
margin
double margin
topMargin
double topMargin
bottomMargin
double bottomMargin
leftMargin
double leftMargin
rightMargin
double rightMargin
formatBox
javax.swing.JComboBox formatBox
sizeLabel
javax.swing.JLabel sizeLabel
unitsBox
javax.swing.JComboBox unitsBox
marginsBox
NumericField marginsBox
topMarginBox
NumericField topMarginBox
bottomMarginBox
NumericField bottomMarginBox
leftMarginBox
NumericField leftMarginBox
rightMarginBox
NumericField rightMarginBox
zoomField
FormattedField zoomField
zoomSlider
javax.swing.JSlider zoomSlider
zoomButton100
javax.swing.JButton zoomButton100
fileChooser
javax.swing.JFileChooser fileChooser
cluPerPt
double cluPerPt
cluPerIn
double cluPerIn
cluPerMm
double cluPerMm
cluPerCm
double cluPerCm
env
CoopnEnv env
editor
CodeVisualEditor editor
locale
java.util.Locale locale
title
java.lang.String title
fileBorderTitle
java.lang.String fileBorderTitle
formatBorderTitle
java.lang.String formatBorderTitle
approveButtonText
java.lang.String approveButtonText
formatText
java.lang.String formatText
contextModeText
java.lang.String contextModeText
tabModeText
java.lang.String tabModeText
fileErrText
java.lang.String fileErrText
fileErrTitle
java.lang.String fileErrTitle
fmtErrText
java.lang.String fmtErrText
fmtErrTitle
java.lang.String fmtErrTitle
fileErrFormat
java.text.MessageFormat fileErrFormat
fileErrFmtArg
java.lang.String[] fileErrFmtArg
formatBox
javax.swing.JComboBox formatBox
tabModecb
javax.swing.JCheckBox tabModecb
contextModecb
javax.swing.JCheckBox contextModecb
fileChooser
javax.swing.JFileChooser fileChooser
contextMode
boolean contextMode
tabMode
boolean tabMode
formatno
int formatno
Package ConForM.CoopnTools.CoKer.ConstraintsMgr |
leftExpr
ConstraintsExpression leftExpr
rightExpr
ConstraintsTerm rightExpr
name
java.lang.String name
termHML
ConstraintsExpression termHML
env
CoopnEnv env
optional
boolean optional
consMgr
ConstraintsMgr consMgr
lastCorrectText
java.lang.String lastCorrectText
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
formula
ConstraintsFormula formula
axioms
ConstraintsAxiomField axioms
variables
ConstraintsVariableField variables
constant
boolean constant
env
CoopnEnv env
optional
boolean optional
consMgr
ConstraintsMgr consMgr
lastCorrectText
java.lang.String lastCorrectText
leftExpr
ConstraintsExpression leftExpr
rightExpr
ConstraintsTerm rightExpr
atom
ConstraintsAtom atom
atomlist
java.util.List atomlist
env
CoopnEnv env
optional
boolean optional
consMgr
ConstraintsMgr consMgr
lastCorrectText
java.lang.String lastCorrectText
popup
javax.swing.JPopupMenu popup
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
readExternal
public void readExternal(java.io.ObjectInput)
throws java.io.IOException,
java.lang.ClassNotFoundException
writeExternal
public void writeExternal(java.io.ObjectOutput)
throws java.io.IOException
formula
ConstraintsExpression formula
elems
java.util.List elems
symbols
java.util.List symbols
cond
ConstraintsCondition cond
assign
ConstraintsAssignation assign
constant
int constant
cons
ConstraintsConsField cons
left
ConstraintsExpression left
right
ConstraintsExpression right
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
moduleName
java.lang.String moduleName
info
CoopnCompilInfo info
comment
java.lang.String comment
inter
ConstraintsInterface inter
body
ConstraintsBody body
modifiable
boolean modifiable
env
CoopnEnv env
optional
boolean optional
consMgr
ConstraintsMgr consMgr
lastCorrectText
java.lang.String lastCorrectText
env
CoopnEnv env
optional
boolean optional
consMgr
ConstraintsMgr consMgr
lastCorrectText
java.lang.String lastCorrectText
leftExpr
ConstraintsTerm leftExpr
rightExpr
ConstraintsFactor rightExpr
env
CoopnEnv env
optional
boolean optional
consMgr
ConstraintsMgr consMgr
lastCorrectText
java.lang.String lastCorrectText
formula
ConstraintsExpression formula
formula
ConstraintsExpression formula
method
java.lang.String method
formula
ConstraintsExpression formula
formula
ConstraintsExpression formula
formula
ConstraintsExpression formula
expr
ConstraintsCondition expr
expr
ConstraintsExpression expr
formula
ConstraintsExpression formula
formula
ConstraintsExpression formula
left
ConstraintsExpression left
right
ConstraintsExpression right
formula
ConstraintsExpression formula
name
java.lang.String name
hmlVariable
ConstraintsExpression hmlVariable
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
symbolName
java.lang.String symbolName
symbolIdentifier
java.lang.String symbolIdentifier
symbolModule
java.lang.String symbolModule
comment
java.lang.String comment
formula
java.lang.String formula
formula
ConstraintsExpression formula
env
CoopnEnv env
optional
boolean optional
consMgr
ConstraintsMgr consMgr
lastCorrectIndex
int lastCorrectIndex
formula
ConstraintsExpression formula
hmlVariable
ConstraintsExpression hmlVariable
variable
java.lang.String variable
variable
java.lang.String variable
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
type
java.lang.String type
env
CoopnEnv env
optional
boolean optional
consMgr
ConstraintsMgr consMgr
lastCorrectText
java.lang.String lastCorrectText
toolTipPopupString
java.lang.String toolTipPopupString
exprPopupString
java.lang.String exprPopupString
predPopupString
java.lang.String predPopupString
userPopupString
java.lang.String userPopupString
nbEventPopupString
java.lang.String nbEventPopupString
depthPopupString
java.lang.String depthPopupString
nbOccPopupString
java.lang.String nbOccPopupString
onlyConsPopupString
java.lang.String onlyConsPopupString
onlyMutPopupString
java.lang.String onlyMutPopupString
onlyObsPopupString
java.lang.String onlyObsPopupString
shapePopupString
java.lang.String shapePopupString
sequencePopupString
java.lang.String sequencePopupString
positivePopupString
java.lang.String positivePopupString
tracePopupString
java.lang.String tracePopupString
truePopupString
java.lang.String truePopupString
falsePopupString
java.lang.String falsePopupString
defaultExprString
java.lang.String defaultExprString
defaultNameString
java.lang.String defaultNameString
hmlEditString
java.lang.String hmlEditString
preDef
java.util.Vector preDef
popup
javax.swing.JPopupMenu popup
Package ConForM.CoopnTools.CoKer.CoopnMgr |
axioms
CoopnAdtAxiomField axioms
theorems
CoopnAdtTheoremField theorems
variables
CoopnVariableField variables
condition
CoopnCondition condition
atom
CoopnAtom atom
uses
CoopnUseField uses
sorts
CoopnSortField sorts
subsorts
CoopnSubsortField subsorts
subtypes
CoopnSubtypeField subtypes
generators
CoopnGeneratorField generators
operations
CoopnOperationField operations
inter
CoopnAdtInterface inter
body
CoopnAdtBody body
left
CoopnTerm left
right
CoopnTerm right
atom
CoopnAtom atom
transitions
CoopnTransitionField transitions
places
CoopnPlaceField places
initials
CoopnInitialField initials
axioms
CoopnClassAxiomField axioms
theorems
CoopnClassTheoremField theorems
variables
CoopnVariableField variables
condition
CoopnCondition condition
event
CoopnEvent event
sync
CoopnSync sync
test
CoopnMarkAgg test
pre
CoopnMarkAgg pre
post
CoopnMarkAgg post
uses
CoopnUseField uses
types
CoopnTypeField types
subsorts
CoopnSubsortField subsorts
subtypes
CoopnSubtypeField subtypes
objects
CoopnObjectField objects
gates
CoopnClassGateField gates
methods
CoopnClassMethodField methods
creations
CoopnClassCreationField creations
destructions
CoopnClassDestructionField destructions
inter
CoopnClassInterface inter
body
CoopnClassBody body
object
CoopnTerm object
symbol
CoopnClassPortSymbol symbol
parameters
CoopnTermAgg parameters
originType
CoopnTypeAgg originType
type
CoopnTypeAgg type
left
CoopnCondition left
right
CoopnCondition right
sub
CoopnCondition sub
module
CoopnModuleName module
supMod
CoopnModuleName supMod
module
CoopnModuleName module
supMod
CoopnModuleName supMod
usecontexts
CoopnUseContextField usecontexts
objects
CoopnObjectField objects
axioms
CoopnContextAxiomField axioms
theorems
CoopnContextTheoremField theorems
variables
CoopnVariableField variables
condition
CoopnCondition condition
required
CoopnSync required
provided
CoopnSync provided
uses
CoopnUseField uses
subsorts
CoopnSubsortField subsorts
subtypes
CoopnSubtypeField subtypes
gates
CoopnContextGateField gates
methods
CoopnContextMethodField methods
inter
CoopnContextInterface inter
body
CoopnContextBody body
symbol
CoopnContextPortSymbol symbol
parameters
CoopnTermAgg parameters
type
CoopnMigrationTypeAgg type
module
CoopnModuleName module
supMod
CoopnModuleName supMod
readExternal
public void readExternal(java.io.ObjectInput)
throws java.io.IOException,
java.lang.ClassNotFoundException
writeExternal
public void writeExternal(java.io.ObjectOutput)
throws java.io.IOException
elems
java.util.List elems
symbol
CoopnSymbol symbol
parameters
CoopnTermAgg parameters
domain
CoopnTypeAgg domain
codomain
CoopnType codomain
name
CoopnModuleName name
formalParams
CoopnModuleNameList formalParams
as
CoopnModuleName as
status
int status
abst
boolean abst
morphisms
CoopnMorphismField morphisms
renames
CoopnRenameField renames
realMorphism
CoopnRealMorphism realMorphism
name
CoopnModuleName name
renames
CoopnRenameField renames
redefines
CoopnRedefineField redefines
undefines
CoopnUndefineField undefines
realInheritance
CoopnRealInheritance realInheritance
mark
CoopnMarkAgg mark
source
CoopnName source
sourceModule
CoopnModuleName sourceModule
target
CoopnName target
targetModule
CoopnModuleName targetModule
symbol
CoopnPlaceSymbol symbol
mark
CoopnTermAgg mark
negative
boolean negative
type
CoopnType type
migrationInfo
int migrationInfo
kind
int kind
header
CoopnHeader header
inherits
CoopnInheritList inherits
info
CoopnCompilInfo info
table
CoopnSymbolTable table
comment
java.lang.String comment
name
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleName name
name
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextName name
type
CoopnType type
domain
CoopnTypeAgg domain
codomain
CoopnType codomain
type
CoopnTypeAgg type
ref
CoopnName ref
refModule
CoopnModuleName refModule
subSort
CoopnType subSort
superSort
CoopnType superSort
subType
CoopnType subType
superType
CoopnType superType
name
CoopnName name
identifier
java.lang.String identifier
module
CoopnModuleName module
comment
java.lang.String comment
left
CoopnSync left
right
CoopnSync right
object
CoopnTerm object
symbol
CoopnSymbol symbol
parameters
CoopnTermAgg parameters
type
CoopnType type
symbol
CoopnSymbol symbol
left
CoopnTerm left
right
CoopnType right
list
CoopnModuleNameList list
list
CoopnModuleNameList list
type
CoopnType type
Package ConForM.CoopnTools.CoKer.CoopnTest.Cons2Logic |
counter
int counter
consMgr
ConstraintsMgr consMgr
strategy
ConstraintsTranslationStrategy strategy
reverseMap
java.util.HashMap reverseMap
reverseStringMap
java.util.HashMap reverseStringMap
stringMap
java.util.HashMap stringMap
cstMap
java.util.HashMap cstMap
var
java.lang.String var
newvar
java.lang.String newvar
mod
java.lang.String mod
cons
java.lang.String cons
cst
java.lang.String cst
errorName
java.lang.String errorName
moduleNotFound
java.lang.String moduleNotFound
Package ConForM.CoopnTools.CoKer.PackageMgr |
map
java.util.Map map
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
author
java.lang.String author
emptyList
java.lang.String[] emptyList
emptyList
java.lang.String[] emptyList
env
CoopnEnv env
optional
boolean optional
packageMgr
PackageMgr packageMgr
lastCorrectText
java.lang.String lastCorrectText
moduleKind
int moduleKind
map
java.util.Map map
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
moduleKind
int moduleKind
file
java.lang.String file
symbols
java.util.List symbols
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
version
java.lang.String version
date
java.lang.String date
authors
PackageAuthorField authors
uses
PackageUseField uses
modifiable
boolean modifiable
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
moduleName
java.lang.String moduleName
info
CoopnCompilInfo info
header
PackageHeader header
modules
PackageModuleSection modules
comment
java.lang.String comment
modifiable
boolean modifiable
env
CoopnEnv env
optional
boolean optional
packageMgr
PackageMgr packageMgr
lastCorrectText
java.lang.String lastCorrectText
lastCorrectValue
java.lang.String lastCorrectValue
entries
PackageEntryField[] entries
env
CoopnEnv env
optional
boolean optional
packageMgr
PackageMgr packageMgr
lastCorrectText
java.lang.String lastCorrectText
lastCorrectValue
java.lang.String lastCorrectValue
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
symbolName
java.lang.String symbolName
symbolIdentifier
java.lang.String symbolIdentifier
symbolModule
java.lang.String symbolModule
comment
java.lang.String comment
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
list
java.util.List list
Package ConForM.CoopnTools.CoKer.ScenarioMgr |
context
CoopnModuleName context
objects
java.util.SortedMap objects
value
int value
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
name
java.lang.String name
oid
CoopnTerm oid
sharedMarking
java.util.SortedMap sharedMarking
marking
java.util.SortedMap marking
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
name
java.lang.String name
comment
java.lang.String comment
compilInfo
CoopnCompilInfo compilInfo
data
ConForM.CoopnTools.CoKer.ScenarioMgr.TransitionSystem data
anonymousBridge
java.util.Map anonymousBridge
env
CoopnEnv env
optional
boolean optional
scenMgr
ScenarioMgr scenMgr
lastCorrectText
java.lang.String lastCorrectText
env
CoopnEnv env
optional
boolean optional
scenMgr
ScenarioMgr scenMgr
lastCorrectText
java.lang.String lastCorrectText
lastCorrectValue
java.lang.String lastCorrectValue
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
name
java.lang.String name
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
name
java.lang.String name
transition
Transition transition
sigma
CoopnSubstitution sigma
before
State before
after
State after
waited
ObjectSet waited
freed
ObjectSet freed
label
SemanticEvent label
oids
java.util.Set oids
provided
CoopnSync provided
required
CoopnSync required
isTau
boolean isTau
name
CoopnModuleName name
loid
java.util.Map loid
coid
java.util.Map coid
coidContext
java.util.Map coidContext
contexts
java.util.SortedMap contexts
Package ConForM.CoopnTools.CoKer.ScenarioVisual |
editable
GraphicalVisualElement editable
scenario
Scenario scenario
fmt
java.text.MessageFormat fmt
arg
java.lang.String[] arg
editable
GraphicalVisualElement editable
dialogTitle
java.lang.String dialogTitle
editable
GraphicalVisualElement editable
dialogTitle
java.lang.String dialogTitle
editable
GraphicalVisualElement editable
dialogTitle
java.lang.String dialogTitle
editable
GraphicalVisualElement editable
dialogTitle
java.lang.String dialogTitle
titleText
java.lang.String titleText
closeText
java.lang.String closeText
closeMnemo
char closeMnemo
contextIconFactory
ContextIconFactory contextIconFactory
objectIconFactory
ObjectIconFactory objectIconFactory
Package ConForM.CoopnTools.CoKer.SpecMgr |
constraints
SpecConstraintField constraints
scenarios
SpecScenarioField scenarios
tests
SpecTestField tests
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
type
java.lang.String type
originType
java.lang.String originType
emptyList
java.lang.String[] emptyList
emptyList
java.lang.String[] emptyList
emptyList
java.lang.String[] emptyList
env
CoopnEnv env
optional
boolean optional
specMgr
SpecMgr specMgr
lastCorrectText
java.lang.String lastCorrectText
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
symbols
java.util.List symbols
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
paramType
java.lang.String paramType
returnType
java.lang.String returnType
modifiable
boolean modifiable
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
moduleName
java.lang.String moduleName
info
CoopnCompilInfo info
header
SpecHeader header
modules
SpecModuleSection modules
behaviour
SpecBehaviourSection behaviour
variables
SpecVariableSection variables
comment
java.lang.String comment
modifiable
boolean modifiable
env
CoopnEnv env
optional
boolean optional
specMgr
SpecMgr specMgr
lastCorrectText
java.lang.String lastCorrectText
lastCorrectValue
java.lang.String lastCorrectValue
sources
SpecSourceField sources
env
CoopnEnv env
optional
boolean optional
specMgr
SpecMgr specMgr
lastCorrectText
java.lang.String lastCorrectText
lastCorrectValue
java.lang.String lastCorrectValue
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
type
java.lang.String type
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
type
java.lang.String type
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
symbolName
java.lang.String symbolName
symbolIdentifier
java.lang.String symbolIdentifier
symbolModule
java.lang.String symbolModule
comment
java.lang.String comment
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
terms
SpecTermVariableField terms
sorts
SpecSortVariableField sorts
types
SpecTypeVariableField types
generators
SpecGeneratorVariableField generators
operations
SpecOperationVariableField operations
objects
SpecObjectVariableField objects
classGates
SpecClassGateVariableField classGates
classMethods
SpecClassMethodVariableField classMethods
classCreations
SpecClassCreationVariableField classCreations
classDestructions
SpecClassDestructionVariableField classDestructions
contextGates
SpecContextGateVariableField contextGates
contextMethods
SpecContextMethodVariableField contextMethods
readObject
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
Package ConForM.CoopnTools.CoKer.TemporalLogic |
specialConstructor
boolean specialConstructor
- This variable determines which constructor was used to create
this object and thereby affects the semantics of the
"getMessage" method (see below).
currentToken
Token currentToken
- This is the last token that has been consumed successfully. If
this object has been created due to a parse error, the token
followng this token will (therefore) be the first error token.
expectedTokenSequences
int[][] expectedTokenSequences
- Each entry in this array is an array of integers. Each array
of integers represents a sequence of tokens (by their ordinal
values) that is expected at this point of the parse.
tokenImage
java.lang.String[] tokenImage
- This is a reference to the "tokenImage" array of the generated
parser within which the parse error occurred. This array is
defined in the generated ...Constants interface.
eol
java.lang.String eol
- The end of line string for this machine.
errorCode
int errorCode
- Indicates the reason why the exception is thrown. It will have
one of the above 4 values.
Package ConForM.CoopnTools.CoKer.TextVisual |
texts
java.util.ResourceBundle texts
doc
TextualDoc doc
env
CoopnEnv env
default_cursor
java.awt.Cursor default_cursor
hand_cursor
java.awt.Cursor hand_cursor
wait_cursor
java.awt.Cursor wait_cursor
errorText
java.lang.String errorText
badPageText
java.lang.String badPageText
undoMgr
javax.swing.undo.UndoManager undoMgr
- UndoManager that we add edits to.
frames
javax.swing.JEditorPane[] frames
currFrame
javax.swing.JEditorPane currFrame
panes
javax.swing.JScrollPane[] panes
printAction
javax.swing.AbstractAction printAction
quitAction
javax.swing.AbstractAction quitAction
selectAllAction
javax.swing.AbstractAction selectAllAction
copyAction
javax.swing.AbstractAction copyAction
backAction
javax.swing.AbstractAction backAction
forwardAction
javax.swing.AbstractAction forwardAction
zoomInAction
javax.swing.AbstractAction zoomInAction
zoomOutAction
javax.swing.AbstractAction zoomOutAction
restoreAction
javax.swing.AbstractAction restoreAction
Package ConForM.CoopnTools.CoKer.Visual |
layouter
ConForM.CoopnTools.CoKer.Visual.DotLayouter.DotLayouter layouter
format
java.text.Format format
lastCorrectText
java.lang.String lastCorrectText
parent
GraphicalVisual parent
parentTool
GraphicalToolVisual parentTool
fmtArgs
java.lang.String[] fmtArgs
fmt
java.text.MessageFormat fmt
helperText
java.lang.String helperText
toolHelperText
java.lang.String toolHelperText
toolName
java.lang.String toolName
tool
GraphicalTool tool
picture
GraphicalPicture picture
canvas
ConForM.CoopnTools.CoKer.Visual.GraphicalCanvas canvas
viewport
javax.swing.JViewport viewport
helpers
java.util.Set helpers
hlp
java.util.Set hlp
maximalDisplaySize
java.awt.Dimension maximalDisplaySize
editor
GraphicalVisualEditor editor
env
CoopnEnv env
label
java.lang.String label
mnemo
char mnemo
icon
javax.swing.Icon icon
editor
GraphicalVisualEditor editor
env
CoopnEnv env
editor
GraphicalVisualEditor editor
env
CoopnEnv env
editor
GraphicalVisualEditor editor
env
CoopnEnv env
editor
GraphicalVisualEditor editor
env
CoopnEnv env
editable
GraphicalVisualEditable editable
editable
GraphicalVisualEditable editable
editable
GraphicalVisualEditable editable
format
java.text.NumberFormat format
this$0
NumericField this$0
container
GraphicalVisualContainer container
editable
GraphicalVisualEditable editable
contents
java.lang.String contents
group
GraphicalVisualElementGroup group
texts
java.util.Map texts
editable
GraphicalVisualEditable editable
editable
GraphicalVisualEditable editable
editable
GraphicalVisualEditable editable
edt
GraphicalVisualHelperEditor edt
layouter
ConForM.CoopnTools.CoKer.Visual.VGJLayouter.VGJLayouter layouter
Package ConForM.CoopnTools.Constraint |
texts
java.util.ResourceBundle texts
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
assignString
java.lang.String assignString
nameString
java.lang.String nameString
exprString
java.lang.String exprString
okString
java.lang.String okString
cancelString
java.lang.String cancelString
assignLabel
javax.swing.JLabel assignLabel
nameLabel
javax.swing.JLabel nameLabel
exprLabel
javax.swing.JLabel exprLabel
assignText
javax.swing.JTextField assignText
nameText
NameAssignTextField nameText
exprText
ExprAssignTextField exprText
okButton
javax.swing.JButton okButton
cancelButton
javax.swing.JButton cancelButton
assign
ConstraintsAssignation assign
axiomPanel
ConsPanelAxiom axiomPanel
texts
java.util.ResourceBundle texts
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
conditionString
java.lang.String conditionString
newAtomString
java.lang.String newAtomString
editAtomString
java.lang.String editAtomString
deleteAtomString
java.lang.String deleteAtomString
okString
java.lang.String okString
cancelString
java.lang.String cancelString
conditionLabel
javax.swing.JLabel conditionLabel
conditionText
javax.swing.JTextField conditionText
atomList
javax.swing.JList atomList
NBROW
int NBROW
newAtomButton
javax.swing.JButton newAtomButton
editAtomButton
javax.swing.JButton editAtomButton
deleteAtomButton
javax.swing.JButton deleteAtomButton
okButton
javax.swing.JButton okButton
cancelButton
javax.swing.JButton cancelButton
cond
ConstraintsCondition cond
selected
ConstraintsAtom selected
axiomPanel
ConsPanelAxiom axiomPanel
texts
java.util.ResourceBundle texts
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
atomString
java.lang.String atomString
logOpTabString
java.lang.String logOpTabString
unifTabString
java.lang.String unifTabString
subUnifTabString
java.lang.String subUnifTabString
okString
java.lang.String okString
cancelString
java.lang.String cancelString
constraintTipString
java.lang.String constraintTipString
specVarTipString
java.lang.String specVarTipString
hmlVarTipString
java.lang.String hmlVarTipString
atomLabel
javax.swing.JLabel atomLabel
atomText
javax.swing.JTextField atomText
okButton
javax.swing.JButton okButton
cancelButton
javax.swing.JButton cancelButton
bg
javax.swing.ButtonGroup bg
logOpRButton
javax.swing.JRadioButton logOpRButton
unifRButton
javax.swing.JRadioButton unifRButton
subUnifRButton
javax.swing.JRadioButton subUnifRButton
atomEditor
AtomEditor atomEditor
atom
ConstraintsAtom atom
logOpPanel
javax.swing.JPanel logOpPanel
leftLogOp
LogOpExpressionTextField leftLogOp
rightLogOp
LogOpExpressionTextField rightLogOp
comboLogOp
ComboLogOp comboLogOp
unifPanel
javax.swing.JPanel unifPanel
unifLabel
javax.swing.JLabel unifLabel
comaUnifLabel
javax.swing.JLabel comaUnifLabel
dotUnifLabel
javax.swing.JLabel dotUnifLabel
rightParUnifLabel
javax.swing.JLabel rightParUnifLabel
consUnifCombo
ConsUnifCombo consUnifCombo
varUnifCombo
VarUnifCombo varUnifCombo
hmlVarUnifCombo
HmlVarUnifCombo hmlVarUnifCombo
subUnifPanel
javax.swing.JPanel subUnifPanel
subUnifLabel
javax.swing.JLabel subUnifLabel
comaSubUnifLabel
javax.swing.JLabel comaSubUnifLabel
rightParSubUnifLabel
javax.swing.JLabel rightParSubUnifLabel
consSubUnifCombo
ConsUnifCombo consSubUnifCombo
varSubUnifCombo
VarUnifCombo varSubUnifCombo
hmlVarSubUnifCombo
HmlVarUnifCombo hmlVarSubUnifCombo
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
atomkind
AtomKindEditor atomkind
EQUAL
java.lang.String EQUAL
NOTEQUAL
java.lang.String NOTEQUAL
LESS
java.lang.String LESS
LESSEQ
java.lang.String LESSEQ
GREATER
java.lang.String GREATER
GREATEREQ
java.lang.String GREATEREQ
operation
java.util.Vector operation
frame
ConForM.CoopnTools.Constraint.ConstraintDisplay frame
env
ConsEnv env
label
java.lang.String label
mnemo
char mnemo
texts
java.util.ResourceBundle texts
consMgr
ConstraintsMgr consMgr
env
ConsEnv env
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
condText
java.lang.String condText
assignText
java.lang.String assignText
editText
java.lang.String editText
condMnemo
char condMnemo
assignMnemo
char assignMnemo
cond
ConstraintsCondition cond
assign
ConstraintsAssignation assign
conditionField
ConstraintsConditionTextField conditionField
assignField
ConstraintsAssignationTextField assignField
editCondButton
javax.swing.JButton editCondButton
editAssignButton
javax.swing.JButton editAssignButton
nameText
java.lang.String nameText
commentText
java.lang.String commentText
nameMnemo
char nameMnemo
commentMnemo
char commentMnemo
name
java.lang.String name
comment
java.lang.String comment
nameField
ConstraintsModuleNameTextField nameField
commentField
ConstraintsCommentTextField commentField
modulesText
java.lang.String modulesText
modulesMnemo
char modulesMnemo
modules
java.lang.String[] modules
nameText
java.lang.String nameText
commentText
java.lang.String commentText
nameMnemo
char nameMnemo
commentMnemo
char commentMnemo
name
java.lang.String name
comment
java.lang.String comment
nameField
ConstraintsNameTextField nameField
commentField
ConstraintsCommentTextField commentField
varText
java.lang.String varText
varMnemo
char varMnemo
typeText
java.lang.String typeText
typeMnemo
char typeMnemo
vars
java.lang.String[] vars
type
java.lang.String type
typeField
ConstraintsTypeTextField typeField
fileName
java.lang.String fileName
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
mod
ConstraintsModule mod
rootNode
ConstraintNodeConstraintSet rootNode
treeModel
javax.swing.tree.DefaultTreeModel treeModel
title
java.lang.String title
readOnly
boolean readOnly
tree
ConstraintTree tree
treeRenderer
ConsTreeCellRenderer treeRenderer
toolkit
java.awt.Toolkit toolkit
stateName
java.lang.String stateName
nodeToDrag
ConstraintNode nodeToDrag
pathToDrag
javax.swing.tree.TreePath pathToDrag
arrivalNode
ConstraintNode arrivalNode
onArrivalNode
boolean onArrivalNode
aboveArrivalNode
boolean aboveArrivalNode
dragBounds
java.awt.Rectangle dragBounds
symbolIconFactory
ConForM.CoopnTools.Constraint.SymbolIconFactory symbolIconFactory
closedIconFactory
ConForM.CoopnTools.Constraint.ClosedIconFactory closedIconFactory
openedIconFactory
ConForM.CoopnTools.Constraint.OpenedIconFactory openedIconFactory
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
atomkind
AtomKindEditor atomkind
operation
java.util.Vector operation
texts
java.util.ResourceBundle texts
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
assignEdit
AssignEditor assignEdit
lastCorrectText
java.lang.String lastCorrectText
toolTipPopupString
java.lang.String toolTipPopupString
expConsString
java.lang.String expConsString
locConsString
java.lang.String locConsString
hmlVarString
java.lang.String hmlVarString
hmlEditString
java.lang.String hmlEditString
popup
javax.swing.JPopupMenu popup
texts
java.util.ResourceBundle texts
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
hmlString
java.lang.String hmlString
newHmlString
java.lang.String newHmlString
editHmlString
java.lang.String editHmlString
deleteHmlString
java.lang.String deleteHmlString
okString
java.lang.String okString
cancelString
java.lang.String cancelString
hmlLabel
javax.swing.JLabel hmlLabel
hmlText
javax.swing.JTextField hmlText
hmlList
javax.swing.JList hmlList
NBROW
int NBROW
newHmlButton
javax.swing.JButton newHmlButton
editHmlButton
javax.swing.JButton editHmlButton
deleteHmlButton
javax.swing.JButton deleteHmlButton
okButton
javax.swing.JButton okButton
cancelButton
javax.swing.JButton cancelButton
selected
TemporalLogicFormula selected
form
ConstraintsExpression form
parent
javax.swing.JTextField parent
texts
java.util.ResourceBundle texts
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
hmlEditor
HMLEditor hmlEditor
form
TemporalLogicFormula form
okString
java.lang.String okString
cancelString
java.lang.String cancelString
replaceString
java.lang.String replaceString
formText
javax.swing.JTextField formText
okButton
javax.swing.JButton okButton
cancelButton
javax.swing.JButton cancelButton
dotFormLabel
javax.swing.JLabel dotFormLabel
specVarCombo
SpecVarUnifCombo specVarCombo
specMethodCombo
SpecMethodUnifCombo specMethodCombo
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
atomkind
AtomKindEditor atomkind
operation
java.util.Vector operation
texts
java.util.ResourceBundle texts
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
assignEdit
AssignEditor assignEdit
toolTipPopupString
java.lang.String toolTipPopupString
expConsString
java.lang.String expConsString
locConsString
java.lang.String locConsString
hmlVarString
java.lang.String hmlVarString
popup
javax.swing.JPopupMenu popup
node
ConstraintNode node
env
ConsEnv env
label
java.lang.String label
mnemo
char mnemo
display
ConForM.CoopnTools.Constraint.ConstraintDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Constraint.ConstraintDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Constraint.ConstraintDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Constraint.ConstraintDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Constraint.ConstraintDisplay display
env
CoopnEnv env
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
atomkind
AtomKindEditor atomkind
operation
java.util.Vector operation
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
atomkind
AtomKindEditor atomkind
operation
java.util.Vector operation
env
ConsEnv env
consMgr
ConstraintsMgr consMgr
atomkind
AtomKindEditor atomkind
operation
java.util.Vector operation
Package ConForM.CoopnTools.DocV |
viewer
DocV viewer
env
CoopnEnv env
viewer
DocV viewer
env
CoopnEnv env
Package ConForM.CoopnTools.Edit |
display
ConForM.CoopnTools.Edit.EditDisplay display
env
CoopnEnv env
newNameText
java.lang.String newNameText
display
ConForM.CoopnTools.Edit.EditDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Edit.EditDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Edit.EditDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Edit.EditDisplay display
env
CoopnEnv env
fileName
java.lang.String fileName
env
CoopnEnv env
coopnMgr
CoopnMgr coopnMgr
rootNode
CoopnNodeModuleList rootNode
treeModel
javax.swing.tree.DefaultTreeModel treeModel
title
java.lang.String title
readOnly
boolean readOnly
obs
ModuleNameObserver obs
tree
CoopnTree tree
treeRenderer
EditTreeCellRenderer treeRenderer
toolkit
java.awt.Toolkit toolkit
stateName
java.lang.String stateName
nodeToDrag
CoopnNode nodeToDrag
pathToDrag
javax.swing.tree.TreePath pathToDrag
arrivalNode
CoopnNode arrivalNode
onArrivalNode
boolean onArrivalNode
aboveArrivalNode
boolean aboveArrivalNode
dragBounds
java.awt.Rectangle dragBounds
display
ConForM.CoopnTools.Edit.EditDisplay display
env
CoopnEnv env
frame
ConForM.CoopnTools.Edit.EditDisplay frame
env
CoopnEnv env
label
java.lang.String label
mnemo
char mnemo
texts
java.util.ResourceBundle texts
coopnMgr
CoopnMgr coopnMgr
textMgr
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextMgr textMgr
env
CoopnEnv env
conditionText
java.lang.String conditionText
atomText
java.lang.String atomText
conditionMnemo
char conditionMnemo
atomMnemo
char atomMnemo
condition
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression condition
atom
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression atom
conditionField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField conditionField
atomField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField atomField
conditionText
java.lang.String conditionText
eventText
java.lang.String eventText
syncText
java.lang.String syncText
testText
java.lang.String testText
preText
java.lang.String preText
postText
java.lang.String postText
conditionMnemo
char conditionMnemo
eventMnemo
char eventMnemo
syncMnemo
char syncMnemo
testMnemo
char testMnemo
preMnemo
char preMnemo
postMnemo
char postMnemo
condition
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression condition
event
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression event
sync
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression sync
test
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression test
pre
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression pre
post
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression post
conditionField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField conditionField
eventField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField eventField
syncField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField syncField
testField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField testField
preField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField preField
postField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField postField
conditionText
java.lang.String conditionText
eventText
java.lang.String eventText
syncText
java.lang.String syncText
conditionMnemo
char conditionMnemo
eventMnemo
char eventMnemo
syncMnemo
char syncMnemo
condition
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression condition
event
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression event
sync
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression sync
conditionField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField conditionField
eventField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField eventField
syncField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField syncField
domainText
java.lang.String domainText
codomainText
java.lang.String codomainText
domainMnemo
char domainMnemo
codomainMnemo
char codomainMnemo
domain
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression domain
codomain
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression codomain
domainField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField domainField
codomainField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField codomainField
expressionText
java.lang.String expressionText
expressionMnemo
char expressionMnemo
expression
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression expression
expressionField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField expressionField
expressionText
java.lang.String expressionText
expressionMnemo
char expressionMnemo
expression
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression expression
expressionField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField expressionField
moduleText
java.lang.String moduleText
moduleMnemo
char moduleMnemo
module
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleName module
moduleField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleNameField moduleField
srcText
java.lang.String srcText
srcModuleText
java.lang.String srcModuleText
trgText
java.lang.String trgText
trgModuleText
java.lang.String trgModuleText
srcMnemo
char srcMnemo
srcModuleMnemo
char srcModuleMnemo
trgMnemo
char trgMnemo
trgModuleMnemo
char trgModuleMnemo
src
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextName src
srcModule
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleName srcModule
trg
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextName trg
trgModule
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleName trgModule
srcField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextNameField srcField
srcModuleField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleNameField srcModuleField
trgField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextNameField trgField
trgModuleField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleNameField trgModuleField
expressionText
java.lang.String expressionText
expressionMnemo
char expressionMnemo
expression
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextMigrExpression expression
expressionField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextMigrExpressionField expressionField
nameText
java.lang.String nameText
formalParamText
java.lang.String formalParamText
asText
java.lang.String asText
statusText
java.lang.String statusText
abstractText
java.lang.String abstractText
normalText
java.lang.String normalText
genericText
java.lang.String genericText
paramText
java.lang.String paramText
commentText
java.lang.String commentText
nameMnemo
char nameMnemo
formalParamMnemo
char formalParamMnemo
asMnemo
char asMnemo
abstractMnemo
char abstractMnemo
normalMnemo
char normalMnemo
genericMnemo
char genericMnemo
paramMnemo
char paramMnemo
commentMnemo
char commentMnemo
name
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleName name
formalParams
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleNameList formalParams
as
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleName as
abst
boolean abst
status
int status
comment
java.lang.String comment
nameField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleNameField nameField
formalParamField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleNameListField formalParamField
asField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleNameField asField
abstractCheckbox
javax.swing.JCheckBox abstractCheckbox
normalButton
javax.swing.JRadioButton normalButton
genericButton
javax.swing.JRadioButton genericButton
paramButton
javax.swing.JRadioButton paramButton
commentField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnCommentField commentField
fpLabel
javax.swing.JLabel fpLabel
asLabel
javax.swing.JLabel asLabel
statusLabel
javax.swing.JLabel statusLabel
expressionText
java.lang.String expressionText
expressionMnemo
char expressionMnemo
expression
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression expression
expressionField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField expressionField
refText
java.lang.String refText
refModuleText
java.lang.String refModuleText
refMnemo
char refMnemo
refModuleMnemo
char refModuleMnemo
ref
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextName ref
refModule
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleName refModule
refField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextNameField refField
refModuleField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleNameField refModuleField
subText
java.lang.String subText
supText
java.lang.String supText
subMnemo
char subMnemo
supMnemo
char supMnemo
sub
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression sub
sup
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression sup
subField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField subField
supField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField supField
nameText
java.lang.String nameText
commentText
java.lang.String commentText
nameMnemo
char nameMnemo
commentMnemo
char commentMnemo
name
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextName name
comment
java.lang.String comment
nameField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextNameField nameField
commentField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnCommentField commentField
modulesText
java.lang.String modulesText
modulesMnemo
char modulesMnemo
modules
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleNameList modules
modulesField
ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleNameListField modulesField
symbolIconFactory
ConForM.CoopnTools.Edit.SymbolIconFactory symbolIconFactory
closedIconFactory
ConForM.CoopnTools.Edit.ClosedIconFactory closedIconFactory
openedIconFactory
ConForM.CoopnTools.Edit.OpenedIconFactory openedIconFactory
node
CoopnNode node
env
CoopnEnv env
label
java.lang.String label
mnemo
char mnemo
display
ConForM.CoopnTools.Edit.EditDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Edit.EditDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Edit.EditDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Edit.EditDisplay display
env
CoopnEnv env
Package ConForM.CoopnTools.Evaluator |
frame
EvalFrame frame
env
CoopnEnv env
label
java.lang.String label
mnemo
char mnemo
evalField
javax.swing.JTextField evalField
unambField
javax.swing.JTextField unambField
typeField
javax.swing.JTextField typeField
substFieldA
javax.swing.JList substFieldA
substFieldT
javax.swing.JList substFieldT
mainLayout
java.awt.CardLayout mainLayout
mainPanel
javax.swing.JPanel mainPanel
titleText
java.lang.String titleText
closeText
java.lang.String closeText
evalText
java.lang.String evalText
typeText
java.lang.String typeText
unambText
java.lang.String unambText
substText
java.lang.String substText
closeMnemo
char closeMnemo
evalMnemo
char evalMnemo
unambMnemo
char unambMnemo
typeMnemo
char typeMnemo
substMnemo
char substMnemo
varVals
java.util.Map varVals
env
EvaluatorEnv env
modeMI
javax.swing.JRadioButtonMenuItem[] modeMI
normalMI
javax.swing.JRadioButtonMenuItem normalMI
shortMI
javax.swing.JRadioButtonMenuItem shortMI
bodyMI
javax.swing.JRadioButtonMenuItem bodyMI
interMI
javax.swing.JRadioButtonMenuItem interMI
teMI
javax.swing.JRadioButtonMenuItem teMI
aeMI
javax.swing.JRadioButtonMenuItem aeMI
quitAction
EvalQuitAction quitAction
newAction
EvalNewAction newAction
varAction
EvalVarAction varAction
performAction
EvalPerformAction performAction
nextAction
EvalNextAction nextAction
detailAction
EvalDetailAction detailAction
clearAction
EvalClearAction clearAction
termField
javax.swing.JTextField termField
resultField
javax.swing.JList resultField
termAtomLayout
java.awt.CardLayout termAtomLayout
termAtomPanel
javax.swing.JPanel termAtomPanel
resultTerms
java.util.List resultTerms
resultVars
java.util.List resultVars
detailFrame
EvalDetail detailFrame
varFrame
EvalVar varFrame
titleText
java.lang.String titleText
termText
java.lang.String termText
atomText
java.lang.String atomText
resultText
java.lang.String resultText
termMnemo
char termMnemo
atomMnemo
char atomMnemo
resultMnemo
char resultMnemo
badTermText
java.lang.String badTermText
badAtomText
java.lang.String badAtomText
badCondText
java.lang.String badCondText
cantbuildText
java.lang.String cantbuildText
noEvalText
java.lang.String noEvalText
noAEvalText
java.lang.String noAEvalText
interruptMessageText
java.lang.String interruptMessageText
evaluations
java.util.Iterator evaluations
specMgr
SpecMgr specMgr
coopnMgr
CoopnMgr coopnMgr
frameInternal
ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frameInternal
frameExternal
ConForM.CoopnTools.CoKer.CoopnMgr.CentralCoopnMgr.CoopnFrame frameExternal
workspace
CoopnWorkspace workspace
semantics
CoopnSem semantics
anonymousBridge
java.util.Map anonymousBridge
externalInternalImportant
boolean externalInternalImportant
env
EvaluatorEnv env
name
java.lang.String name
varNum
int varNum
varCurrent
CoopnTermVariable varCurrent
anonPtr
int anonPtr
variableList
javax.swing.JList variableList
msgFmt
java.text.MessageFormat msgFmt
msgArgs
java.lang.String[] msgArgs
titleText
java.lang.String titleText
displayText
java.lang.String displayText
closeText
java.lang.String closeText
addTermVarText
java.lang.String addTermVarText
addSortVarText
java.lang.String addSortVarText
addTypeVarText
java.lang.String addTypeVarText
addGenVarText
java.lang.String addGenVarText
addOpVarText
java.lang.String addOpVarText
addObjVarText
java.lang.String addObjVarText
addClassGateVarText
java.lang.String addClassGateVarText
addClassMethodVarText
java.lang.String addClassMethodVarText
addClassCreationVarText
java.lang.String addClassCreationVarText
addClassDestructionVarText
java.lang.String addClassDestructionVarText
addContextGateVarText
java.lang.String addContextGateVarText
addContextMethodVarText
java.lang.String addContextMethodVarText
varText
java.lang.String varText
typeText
java.lang.String typeText
ptypeText
java.lang.String ptypeText
rtypeText
java.lang.String rtypeText
otypeText
java.lang.String otypeText
termVarText
java.lang.String termVarText
sortVarText
java.lang.String sortVarText
typeVarText
java.lang.String typeVarText
genVarText
java.lang.String genVarText
opVarText
java.lang.String opVarText
objVarText
java.lang.String objVarText
classGateVarText
java.lang.String classGateVarText
classMethodVarText
java.lang.String classMethodVarText
classCreationVarText
java.lang.String classCreationVarText
classDestructionVarText
java.lang.String classDestructionVarText
contextGateVarText
java.lang.String contextGateVarText
contextMethodVarText
java.lang.String contextMethodVarText
defaultVarText
java.lang.String defaultVarText
defaultTypeText
java.lang.String defaultTypeText
defaultClassText
java.lang.String defaultClassText
emptyFieldText
java.lang.String emptyFieldText
addText
java.lang.String addText
closeMnemo
char closeMnemo
addTermVarMnemo
char addTermVarMnemo
addSortVarMnemo
char addSortVarMnemo
addTypeVarMnemo
char addTypeVarMnemo
addGenVarMnemo
char addGenVarMnemo
addOpVarMnemo
char addOpVarMnemo
addObjVarMnemo
char addObjVarMnemo
addClassGateVarMnemo
char addClassGateVarMnemo
addClassMethodVarMnemo
char addClassMethodVarMnemo
addClassCreationVarMnemo
char addClassCreationVarMnemo
addClassDestructionVarMnemo
char addClassDestructionVarMnemo
addContextGateVarMnemo
char addContextGateVarMnemo
addContextMethodVarMnemo
char addContextMethodVarMnemo
popupMenu
javax.swing.JPopupMenu popupMenu
specMgr
SpecMgr specMgr
name
java.lang.String name
specName
java.lang.String specName
env
EvaluatorEnv env
Package ConForM.CoopnTools.HLPN |
target
CoopnClassModule target
source
CoopnSpec source
errorText
java.lang.String errorText
placeErrorText
java.lang.String placeErrorText
tool
HLPN tool
editor
GraphicalVisualToolEditor editor
env
CoopnEnv env
mnemo
char mnemo
tool
HLPN tool
env
CoopnEnv env
target
CoopnClassModule target
source
CoopnSpec source
errorText
java.lang.String errorText
selectErrorText
java.lang.String selectErrorText
target
CoopnClassModule target
source
CoopnSpec source
errorText
java.lang.String errorText
selectErrorText
java.lang.String selectErrorText
tool
HLPN tool
env
CoopnEnv env
Package ConForM.CoopnTools.JavaProto |
feature
CoopnElement feature
Package ConForM.CoopnTools.JavaProto.Interpretor |
titleText
java.lang.String titleText
specMgr
SpecMgr specMgr
env
InterpretorEnv env
spec
CoopnSpec spec
name
java.lang.String name
coopnMgr
CoopnMgr coopnMgr
engine
Engine engine
tracker
ModuleTracker tracker
restartAsked
boolean restartAsked
gridBagLayout1
java.awt.GridBagLayout gridBagLayout1
jComboBox1
javax.swing.JComboBox jComboBox1
jLabel1
javax.swing.JLabel jLabel1
jLabel2
javax.swing.JLabel jLabel2
jButton1
javax.swing.JButton jButton1
jScrollPane1
javax.swing.JScrollPane jScrollPane1
jList1
javax.swing.JList jList1
jButton2
javax.swing.JButton jButton2
jButton3
javax.swing.JButton jButton3
border1
javax.swing.border.Border border1
titledBorder1
javax.swing.border.TitledBorder titledBorder1
border2
javax.swing.border.Border border2
titledBorder2
javax.swing.border.TitledBorder titledBorder2
border3
javax.swing.border.Border border3
defaultListModel1
javax.swing.DefaultListModel defaultListModel1
texts
java.util.ResourceBundle texts
syncComboModel1
SyncComboModel syncComboModel1
selected
java.lang.Object selected
- Last selected object
list
java.util.ArrayList list
- Storage
comp
ToStringComparator comp
- Orders the model
Package ConForM.CoopnTools.JavaProto.NameMapping |
map
PersistentNameMapping map
base
NameMapping base
editableMap
boolean editableMap
entries
java.util.List entries
dentries
java.util.List dentries
tsls
java.util.Map tsls
dtsls
java.util.Map dtsls
Package ConForM.CoopnTools.JavaProto.Transaction |
Package ConForM.CoopnTools.Listing |
viewer
Listing viewer
env
CoopnEnv env
viewer
Listing viewer
env
CoopnEnv env
Package ConForM.CoopnTools.Module |
viewer
Module viewer
env
CoopnEnv env
viewer
Module viewer
env
CoopnEnv env
Package ConForM.CoopnTools.Pack |
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
moduleType
int moduleType
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
moduleType
int moduleType
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
moduleType
int moduleType
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
moduleType
int moduleType
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
moduleType
int moduleType
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
moduleType
int moduleType
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
moduleType
int moduleType
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
moduleType
int moduleType
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Pack.PackDisplay display
env
CoopnEnv env
Package ConForM.CoopnTools.Simulator |
simulator
Simulator simulator
env
CoopnEnv env
simulator
Simulator simulator
env
CoopnEnv env
specName
java.lang.String specName
simulator
Simulator simulator
editor
GraphicalVisualToolEditor editor
env
CoopnEnv env
simulator
Simulator simulator
env
CoopnEnv env
simulator
Simulator simulator
env
CoopnEnv env
simulator
Simulator simulator
env
CoopnEnv env
tool
Simulator tool
editor
GraphicalVisualToolEditor editor
env
CoopnEnv env
label
java.lang.String label
mnemo
char mnemo
icon
javax.swing.Icon icon
variableList
javax.swing.JList variableList
msgFmt
java.text.MessageFormat msgFmt
msgArgs
java.lang.String[] msgArgs
titleText
java.lang.String titleText
displayText
java.lang.String displayText
closeText
java.lang.String closeText
addTermVarText
java.lang.String addTermVarText
addSortVarText
java.lang.String addSortVarText
addTypeVarText
java.lang.String addTypeVarText
addGenVarText
java.lang.String addGenVarText
addOpVarText
java.lang.String addOpVarText
addObjVarText
java.lang.String addObjVarText
addClassGateVarText
java.lang.String addClassGateVarText
addClassMethodVarText
java.lang.String addClassMethodVarText
addClassCreationVarText
java.lang.String addClassCreationVarText
addClassDestructionVarText
java.lang.String addClassDestructionVarText
addContextGateVarText
java.lang.String addContextGateVarText
addContextMethodVarText
java.lang.String addContextMethodVarText
varText
java.lang.String varText
typeText
java.lang.String typeText
ptypeText
java.lang.String ptypeText
rtypeText
java.lang.String rtypeText
otypeText
java.lang.String otypeText
termVarText
java.lang.String termVarText
sortVarText
java.lang.String sortVarText
typeVarText
java.lang.String typeVarText
genVarText
java.lang.String genVarText
opVarText
java.lang.String opVarText
objVarText
java.lang.String objVarText
classGateVarText
java.lang.String classGateVarText
classMethodVarText
java.lang.String classMethodVarText
classCreationVarText
java.lang.String classCreationVarText
classDestructionVarText
java.lang.String classDestructionVarText
contextGateVarText
java.lang.String contextGateVarText
contextMethodVarText
java.lang.String contextMethodVarText
defaultVarText
java.lang.String defaultVarText
defaultTypeText
java.lang.String defaultTypeText
defaultClassText
java.lang.String defaultClassText
emptyFieldText
java.lang.String emptyFieldText
addText
java.lang.String addText
closeMnemo
char closeMnemo
addTermVarMnemo
char addTermVarMnemo
addSortVarMnemo
char addSortVarMnemo
addTypeVarMnemo
char addTypeVarMnemo
addGenVarMnemo
char addGenVarMnemo
addOpVarMnemo
char addOpVarMnemo
addObjVarMnemo
char addObjVarMnemo
addClassGateVarMnemo
char addClassGateVarMnemo
addClassMethodVarMnemo
char addClassMethodVarMnemo
addClassCreationVarMnemo
char addClassCreationVarMnemo
addClassDestructionVarMnemo
char addClassDestructionVarMnemo
addContextGateVarMnemo
char addContextGateVarMnemo
addContextMethodVarMnemo
char addContextMethodVarMnemo
popupMenu
javax.swing.JPopupMenu popupMenu
specMgr
SpecMgr specMgr
name
java.lang.String name
specName
java.lang.String specName
env
SimulatorEnv env
Package ConForM.CoopnTools.Spec |
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Spec.SpecDisplay display
env
CoopnEnv env
Package ConForM.CoopnTools.Tool |
display
ConForM.CoopnTools.Tool.ErrorDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Tool.ErrorDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Tool.ToolDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Tool.ToolDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Tool.ErrorDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Tool.ToolDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Tool.ToolDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Tool.ToolDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Tool.ErrorDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Tool.ErrorDisplay display
env
CoopnEnv env
display
ConForM.CoopnTools.Tool.ErrorDisplay display
env
CoopnEnv env
Package ConForM.CoopnTools.Viewer |
viewer
Viewer viewer
env
CoopnEnv env
viewer
Viewer viewer
env
CoopnEnv env