Serialized Form


Package ConForM.CoopnTools.Code

Class ConForM.CoopnTools.Code.ShowHelpMenuItem implements Serializable

Serialized Fields

viewer

Code viewer

env

CoopnEnv env

Class ConForM.CoopnTools.Code.ShowVersionMenuItem implements Serializable

Serialized Fields

viewer

Code viewer

env

CoopnEnv env


Package ConForM.CoopnTools.CoKer

Class ConForM.CoopnTools.CoKer.CoopnEnvException implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnSubstitution implements Serializable

Serialized Fields

assignments

java.util.Map assignments

Class ConForM.CoopnTools.CoKer.CoopnSyntacticDataFlavor implements Serializable

Serialization Methods

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

Class ConForM.CoopnTools.CoKer.LexicalTokenList implements Serializable


Package ConForM.CoopnTools.CoKer.CoalaMgr

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaAbortException implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaAssignInstruction implements Serializable

Serialized Fields

variable

CoalaVariableSymbol variable

value

CoopnTerm value

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaCaaBody implements Serializable

Serialized Fields

useCaas

CoalaUseCaaField useCaas

objects

CoalaObjectField objects

handlers

CoalaHandlerField handlers

resolutions

CoalaResolutionField resolutions

variables

CoalaVariableField variables

roles

CoalaRoleList roles

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaCaaInterface implements Serializable

Serialized Fields

uses

CoalaUseField uses

roles

CoalaRoleField roles

exceptions

CoalaExceptionField exceptions

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaCaaModule implements Serializable

Serialized Fields

inter

CoalaCaaInterface inter

body

CoalaCaaBody body

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaCallInstruction implements Serializable

Serialized Fields

module

CoalaModuleName module

role

CoalaRoleTerm role

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElement implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaElementList implements Serializable

Serialized Fields

list

java.util.Vector list

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaEmptyInstruction implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaException implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaExceptionAgg implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaExceptionField implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaExceptionSymbol implements Serializable

Serialized Fields

type

CoopnTypeAgg type

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaExceptionTerm implements Serializable

Serialized Fields

symbol

CoalaExceptionSymbol symbol

parameters

CoopnTermAgg parameters

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaExecuteInstruction implements Serializable

Serialized Fields

event

CoopnSync event

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaFailException implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaField implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaHandler implements Serializable

Serialized Fields

profile

CoalaHandlerTerm profile

block

CoalaInstructionBlock block

variables

CoalaVariableField variables

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaHandlerField implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaHandlerList implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaHandlerSymbol implements Serializable

Serialized Fields

type

CoopnTypeAgg type

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaHandlerTerm implements Serializable

Serialized Fields

symbol

CoalaHandlerSymbol symbol

parameters

CoopnTermAgg parameters

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaHeader implements Serializable

Serialized Fields

name

CoalaModuleName name

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaIfInstruction implements Serializable

Serialized Fields

condition

CoopnCondition condition

thenPart

CoalaInstruction thenPart

elsePart

CoalaInstruction elsePart

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaInstruction implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaInstructionBlock implements Serializable

Serialized Fields

list

java.util.Vector list

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaModule implements Serializable

Serialized Fields

kind

int kind

header

CoalaHeader header

info

CoopnCompilInfo info

coopnInfo

CoopnCompilInfo coopnInfo

deps

java.lang.String[] deps

comment

java.lang.String comment

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaModuleName implements Serializable

Serialized Fields

name

ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextModuleName name

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaModuleNameList implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaName implements Serializable

Serialized Fields

name

ConForM.CoopnTools.CoKer.CoalaMgr.CoalaTextMgr.CoalaTextName name

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaObjectField implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaObjectSymbol implements Serializable

Serialized Fields

type

CoopnType type

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaRaiseInstruction implements Serializable

Serialized Fields

exception

CoalaException exception

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaResolutionField implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaResolutionSymbol implements Serializable

Serialized Fields

exceptions

CoalaExceptionAgg exceptions

handler

CoalaHandlerTerm handler

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaRole implements Serializable

Serialized Fields

profile

CoalaRoleTerm profile

block

CoalaInstructionBlock block

variables

CoalaVariableField variables

handlers

CoalaHandlerList handlers

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaRoleField implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaRoleList implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaRoleSymbol implements Serializable

Serialized Fields

type

CoopnTypeAgg type

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaRoleTerm implements Serializable

Serialized Fields

symbol

CoalaRoleSymbol symbol

parameters

CoopnTermAgg parameters

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaSection implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaSignalInstruction implements Serializable

Serialized Fields

exception

CoalaException exception

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaSymbol implements Serializable

Serialized Fields

name

CoalaName name

identifier

java.lang.String identifier

module

CoalaModuleName module

comment

java.lang.String comment

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaSymbolList implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaUseCaaField implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaUseCaaSymbol implements Serializable

Serialized Fields

list

CoalaModuleNameList list

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaUseField implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaUseSymbol implements Serializable

Serialized Fields

list

CoopnModuleNameList list

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.CoalaMgr.CoalaVariableSymbol implements Serializable

Serialized Fields

type

CoopnType type


Package ConForM.CoopnTools.CoKer.CodeVisual

Class ConForM.CoopnTools.CoKer.CodeVisual.CodeVisual implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.CoKer.CodeVisual.CodeVisualMenu implements Serializable

Serialized Fields

editor

CodeVisualEditor editor

env

CoopnEnv env

Class ConForM.CoopnTools.CoKer.CodeVisual.CodeVisualMenuItem implements Serializable

Serialized Fields

editor

CodeVisualEditor editor

env

CoopnEnv env

Class ConForM.CoopnTools.CoKer.CodeVisual.ExportDialog implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.CoKer.CodeVisual.FormatDialog implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsAdditionExpression implements Serializable

Serialized Fields

leftExpr

ConstraintsExpression leftExpr

rightExpr

ConstraintsTerm rightExpr

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsAssignation implements Serializable

Serialized Fields

name

java.lang.String name

termHML

ConstraintsExpression termHML

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsAssignationTextField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

consMgr

ConstraintsMgr consMgr

lastCorrectText

java.lang.String lastCorrectText

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsAtom implements Serializable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsAxiomField implements Serializable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsAxiomSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

formula

ConstraintsFormula formula

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsBody implements Serializable

Serialized Fields

axioms

ConstraintsAxiomField axioms

variables

ConstraintsVariableField variables

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsBoolean implements Serializable

Serialized Fields

constant

boolean constant

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsCommentTextField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

consMgr

ConstraintsMgr consMgr

lastCorrectText

java.lang.String lastCorrectText

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsConcatExpression implements Serializable

Serialized Fields

leftExpr

ConstraintsExpression leftExpr

rightExpr

ConstraintsTerm rightExpr

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsCondition implements Serializable

Serialized Fields

atom

ConstraintsAtom atom

atomlist

java.util.List atomlist

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsConditionTextField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

consMgr

ConstraintsMgr consMgr

lastCorrectText

java.lang.String lastCorrectText

popup

javax.swing.JPopupMenu popup

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsConsField implements Serializable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsConsSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsDataFlavor implements Serializable

Serialization Methods

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

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsDepth implements Serializable

Serialized Fields

formula

ConstraintsExpression formula

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement implements Serializable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElementList implements Serializable

Serialized Fields

elems

java.util.List elems

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsExpression implements Serializable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsFactor implements Serializable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsField implements Serializable

Serialized Fields

symbols

java.util.List symbols

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsFormula implements Serializable

Serialized Fields

cond

ConstraintsCondition cond

assign

ConstraintsAssignation assign

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsInteger implements Serializable

Serialized Fields

constant

int constant

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsInterface implements Serializable

Serialized Fields

cons

ConstraintsConsField cons

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsLogicalEqual implements Serializable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsLogicalGreater implements Serializable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsLogicalGreaterOrEqual implements Serializable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsLogicalLess implements Serializable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsLogicalLessOrEqual implements Serializable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsLogicalNotEqual implements Serializable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsLogicalOperation implements Serializable

Serialized Fields

left

ConstraintsExpression left

right

ConstraintsExpression right

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsModule implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

moduleName

java.lang.String moduleName

info

CoopnCompilInfo info

comment

java.lang.String comment

inter

ConstraintsInterface inter

body

ConstraintsBody body

modifiable

boolean modifiable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsModuleNameListTextField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

consMgr

ConstraintsMgr consMgr

lastCorrectText

java.lang.String lastCorrectText

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsModuleNameTextField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

consMgr

ConstraintsMgr consMgr

lastCorrectText

java.lang.String lastCorrectText

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsMultTerm implements Serializable

Serialized Fields

leftExpr

ConstraintsTerm leftExpr

rightExpr

ConstraintsFactor rightExpr

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsNameTextField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

consMgr

ConstraintsMgr consMgr

lastCorrectText

java.lang.String lastCorrectText

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsNbEvent implements Serializable

Serialized Fields

formula

ConstraintsExpression formula

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsNbOcc implements Serializable

Serialized Fields

formula

ConstraintsExpression formula

method

java.lang.String method

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsOnlyConstructor implements Serializable

Serialized Fields

formula

ConstraintsExpression formula

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsOnlyMutator implements Serializable

Serialized Fields

formula

ConstraintsExpression formula

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsOnlyObserver implements Serializable

Serialized Fields

formula

ConstraintsExpression formula

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsParCondition implements Serializable

Serialized Fields

expr

ConstraintsCondition expr

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsParExpr implements Serializable

Serialized Fields

expr

ConstraintsExpression expr

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsPositive implements Serializable

Serialized Fields

formula

ConstraintsExpression formula

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSequence implements Serializable

Serialized Fields

formula

ConstraintsExpression formula

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsShape implements Serializable

Serialized Fields

left

ConstraintsExpression left

right

ConstraintsExpression right

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSubUniformity implements Serializable

Serialized Fields

formula

ConstraintsExpression formula

name

java.lang.String name

hmlVariable

ConstraintsExpression hmlVariable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

symbolName

java.lang.String symbolName

symbolIdentifier

java.lang.String symbolIdentifier

symbolModule

java.lang.String symbolModule

comment

java.lang.String comment

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsTerm implements Serializable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsTLFormula implements Serializable

Serialized Fields

formula

java.lang.String formula

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsTrace implements Serializable

Serialized Fields

formula

ConstraintsExpression formula

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsTypeTextField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

consMgr

ConstraintsMgr consMgr

lastCorrectIndex

int lastCorrectIndex

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsUniformity implements Serializable

Serialized Fields

formula

ConstraintsExpression formula

hmlVariable

ConstraintsExpression hmlVariable

variable

java.lang.String variable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsVariable implements Serializable

Serialized Fields

variable

java.lang.String variable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsVariableSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

type

java.lang.String type

Class ConForM.CoopnTools.CoKer.ConstraintsMgr.LogOpExpressionTextField implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnAdtAxiomField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnAdtAxiomSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnAdtBody implements Serializable

Serialized Fields

axioms

CoopnAdtAxiomField axioms

theorems

CoopnAdtTheoremField theorems

variables

CoopnVariableField variables

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnAdtFormulaSymbol implements Serializable

Serialized Fields

condition

CoopnCondition condition

atom

CoopnAtom atom

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnAdtInterface implements Serializable

Serialized Fields

uses

CoopnUseField uses

sorts

CoopnSortField sorts

subsorts

CoopnSubsortField subsorts

subtypes

CoopnSubtypeField subtypes

generators

CoopnGeneratorField generators

operations

CoopnOperationField operations

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnAdtModule implements Serializable

Serialized Fields

inter

CoopnAdtInterface inter

body

CoopnAdtBody body

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnAdtTheoremField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnAdtTheoremSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnArityProblemException implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnAtom implements Serializable

Serialized Fields

left

CoopnTerm left

right

CoopnTerm right

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnAtomicCondition implements Serializable

Serialized Fields

atom

CoopnAtom atom

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassAxiomField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassAxiomSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassBody implements Serializable

Serialized Fields

transitions

CoopnTransitionField transitions

places

CoopnPlaceField places

initials

CoopnInitialField initials

axioms

CoopnClassAxiomField axioms

theorems

CoopnClassTheoremField theorems

variables

CoopnVariableField variables

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassCreationField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassCreationSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassCreationSymbolVariable implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassDestructionField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassDestructionSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassDestructionSymbolVariable implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassFormulaSymbol implements Serializable

Serialized Fields

condition

CoopnCondition condition

event

CoopnEvent event

sync

CoopnSync sync

test

CoopnMarkAgg test

pre

CoopnMarkAgg pre

post

CoopnMarkAgg post

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassGateField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassGateSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassGateSymbolVariable implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassInterface implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassMethodField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassMethodSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassMethodSymbolVariable implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassModule implements Serializable

Serialized Fields

inter

CoopnClassInterface inter

body

CoopnClassBody body

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassPortCohercion implements Serializable

Serialized Fields

object

CoopnTerm object

symbol

CoopnClassPortSymbol symbol

parameters

CoopnTermAgg parameters

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassPortSymbol implements Serializable

Serialized Fields

originType

CoopnTypeAgg originType

type

CoopnTypeAgg type

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassProvidePortSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassRequirePortSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassTheoremField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnClassTheoremSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCohercion implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnCondition implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnConditionAnd implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnConditionBinOp implements Serializable

Serialized Fields

left

CoopnCondition left

right

CoopnCondition right

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnConditionIsa implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnConditionIsany implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnConditionNot implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnConditionOr implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnConditionUnOp implements Serializable

Serialized Fields

sub

CoopnCondition sub

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextAxiomField implements Serializable

Serialized Fields

module

CoopnModuleName module

supMod

CoopnModuleName supMod

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextAxiomSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextBody implements Serializable

Serialized Fields

module

CoopnModuleName module

supMod

CoopnModuleName supMod

usecontexts

CoopnUseContextField usecontexts

objects

CoopnObjectField objects

axioms

CoopnContextAxiomField axioms

theorems

CoopnContextTheoremField theorems

variables

CoopnVariableField variables

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextFormulaSymbol implements Serializable

Serialized Fields

condition

CoopnCondition condition

required

CoopnSync required

provided

CoopnSync provided

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextGateField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextGateSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextGateSymbolVariable implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextInterface implements Serializable

Serialized Fields

uses

CoopnUseField uses

subsorts

CoopnSubsortField subsorts

subtypes

CoopnSubtypeField subtypes

gates

CoopnContextGateField gates

methods

CoopnContextMethodField methods

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextMethodField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextMethodSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextMethodSymbolVariable implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextModule implements Serializable

Serialized Fields

inter

CoopnContextInterface inter

body

CoopnContextBody body

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextPortCohercion implements Serializable

Serialized Fields

symbol

CoopnContextPortSymbol symbol

parameters

CoopnTermAgg parameters

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextPortSymbol implements Serializable

Serialized Fields

type

CoopnMigrationTypeAgg type

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextProvidePortSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextRequirePortSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextTheoremField implements Serializable

Serialized Fields

module

CoopnModuleName module

supMod

CoopnModuleName supMod

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnContextTheoremSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnDataFlavor implements Serializable

Serialization Methods

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

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElement implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnElementList implements Serializable

Serialized Fields

elems

java.util.List elems

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnEvent implements Serializable

Serialized Fields

symbol

CoopnSymbol symbol

parameters

CoopnTermAgg parameters

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnFunctionSymbol implements Serializable

Serialized Fields

domain

CoopnTypeAgg domain

codomain

CoopnType codomain

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnGeneratorField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnGeneratorSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnGeneratorSymbolVariable implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnHeader implements Serializable

Serialized Fields

name

CoopnModuleName name

formalParams

CoopnModuleNameList formalParams

as

CoopnModuleName as

status

int status

abst

boolean abst

morphisms

CoopnMorphismField morphisms

renames

CoopnRenameField renames

realMorphism

CoopnRealMorphism realMorphism

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnInherit implements Serializable

Serialized Fields

name

CoopnModuleName name

renames

CoopnRenameField renames

redefines

CoopnRedefineField redefines

undefines

CoopnUndefineField undefines

realInheritance

CoopnRealInheritance realInheritance

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnInheritList implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnInitialField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnInitialSymbol implements Serializable

Serialized Fields

mark

CoopnMarkAgg mark

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnMappingSymbol implements Serializable

Serialized Fields

source

CoopnName source

sourceModule

CoopnModuleName sourceModule

target

CoopnName target

targetModule

CoopnModuleName targetModule

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnMark implements Serializable

Serialized Fields

symbol

CoopnPlaceSymbol symbol

mark

CoopnTermAgg mark

negative

boolean negative

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnMarkAgg implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnMigrationType implements Serializable

Serialized Fields

type

CoopnType type

migrationInfo

int migrationInfo

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnMigrationTypeAgg implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnModule implements Serializable

Serialized Fields

kind

int kind

header

CoopnHeader header

inherits

CoopnInheritList inherits

info

CoopnCompilInfo info

table

CoopnSymbolTable table

comment

java.lang.String comment

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnModuleName implements Serializable

Serialized Fields

name

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleName name

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnModuleNameList implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnMorphismField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnMorphismModule implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnMorphismSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnName implements Serializable

Serialized Fields

name

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextName name

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnObjectField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnObjectSymbol implements Serializable

Serialized Fields

type

CoopnType type

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnObjectSymbolVariable implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnOperationField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnOperationSymbol implements Serializable

Serialized Fields

domain

CoopnTypeAgg domain

codomain

CoopnType codomain

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnOperationSymbolVariable implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnPlaceField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnPlaceSymbol implements Serializable

Serialized Fields

type

CoopnTypeAgg type

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnRedefineField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnRedefineSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnReferenceSymbol implements Serializable

Serialized Fields

ref

CoopnName ref

refModule

CoopnModuleName refModule

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnRenameField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnRenameSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSection implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSortField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSortSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSortSymbolVariable implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnStaticSemanticsException implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSubsortField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSubsortSymbol implements Serializable

Serialized Fields

subSort

CoopnType subSort

superSort

CoopnType superSort

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSubtypeField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSubtypeSymbol implements Serializable

Serialized Fields

subType

CoopnType subType

superType

CoopnType superType

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbol implements Serializable

Serialized Fields

name

CoopnName name

identifier

java.lang.String identifier

module

CoopnModuleName module

comment

java.lang.String comment

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSymbolList implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSync implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSyncAlt implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSyncBinOp implements Serializable

Serialized Fields

left

CoopnSync left

right

CoopnSync right

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSyncCreate implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSyncDestroy implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSyncSeq implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSyncSim implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnSyncUnOp implements Serializable

Serialized Fields

object

CoopnTerm object

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTerm implements Serializable

Serialized Fields

symbol

CoopnSymbol symbol

parameters

CoopnTermAgg parameters

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTermAgg implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTermVariable implements Serializable

Serialized Fields

type

CoopnType type

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTransitionField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTransitionSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnType implements Serializable

Serialized Fields

symbol

CoopnSymbol symbol

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeAgg implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeCondition implements Serializable

Serialized Fields

left

CoopnTerm left

right

CoopnType right

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypeSymbolVariable implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTypingProblemException implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnUndefineField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnUndefineSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnUseContextField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnUseContextSymbol implements Serializable

Serialized Fields

list

CoopnModuleNameList list

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnUseField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnUseSymbol implements Serializable

Serialized Fields

list

CoopnModuleNameList list

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.CoopnMgr.CoopnVariableSymbol implements Serializable

Serialized Fields

type

CoopnType type


Package ConForM.CoopnTools.CoKer.CoopnTest.Cons2Logic

Class ConForM.CoopnTools.CoKer.CoopnTest.Cons2Logic.ConsPlNameMgr implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageAuthorField implements Serializable

Serialized Fields

map

java.util.Map map

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageAuthorSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

author

java.lang.String author

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageBrowseAccessibleButton implements Serializable

Serialized Fields

emptyList

java.lang.String[] emptyList

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageBrowseAccessibleCoopnButton implements Serializable

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageBrowseLocalButton implements Serializable

Serialized Fields

emptyList

java.lang.String[] emptyList

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageCommentField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

packageMgr

PackageMgr packageMgr

lastCorrectText

java.lang.String lastCorrectText

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageElement implements Serializable

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageEntryField implements Serializable

Serialized Fields

moduleKind

int moduleKind

map

java.util.Map map

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageEntrySymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

moduleKind

int moduleKind

file

java.lang.String file

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageField implements Serializable

Serialized Fields

symbols

java.util.List symbols

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageHeader implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

version

java.lang.String version

date

java.lang.String date

authors

PackageAuthorField authors

uses

PackageUseField uses

modifiable

boolean modifiable

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageModule implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

moduleName

java.lang.String moduleName

info

CoopnCompilInfo info

header

PackageHeader header

modules

PackageModuleSection modules

comment

java.lang.String comment

modifiable

boolean modifiable

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageModuleNameField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

packageMgr

PackageMgr packageMgr

lastCorrectText

java.lang.String lastCorrectText

lastCorrectValue

java.lang.String lastCorrectValue

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageModuleSection implements Serializable

Serialized Fields

entries

PackageEntryField[] entries

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageNameField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

packageMgr

PackageMgr packageMgr

lastCorrectText

java.lang.String lastCorrectText

lastCorrectValue

java.lang.String lastCorrectValue

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

symbolName

java.lang.String symbolName

symbolIdentifier

java.lang.String symbolIdentifier

symbolModule

java.lang.String symbolModule

comment

java.lang.String comment

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageUseField implements Serializable

Class ConForM.CoopnTools.CoKer.PackageMgr.PackageUseSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

list

java.util.List list


Package ConForM.CoopnTools.CoKer.ScenarioMgr

Class ConForM.CoopnTools.CoKer.ScenarioMgr.ContextState implements Serializable

Serialized Fields

context

CoopnModuleName context

objects

java.util.SortedMap objects

Class ConForM.CoopnTools.CoKer.ScenarioMgr.CoopnAnonymousName implements Serializable

Serialized Fields

value

int value

Class ConForM.CoopnTools.CoKer.ScenarioMgr.FirstOidGeneratorSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.ScenarioMgr.NextOidGeneratorSymbol implements Serializable

Class ConForM.CoopnTools.CoKer.ScenarioMgr.ObjectSet implements Serializable

Class ConForM.CoopnTools.CoKer.ScenarioMgr.ObjectSetVariable implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

name

java.lang.String name

Class ConForM.CoopnTools.CoKer.ScenarioMgr.ObjectState implements Serializable

Serialized Fields

oid

CoopnTerm oid

sharedMarking

java.util.SortedMap sharedMarking

marking

java.util.SortedMap marking

Class ConForM.CoopnTools.CoKer.ScenarioMgr.Scenario implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

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

Class ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioCommentField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

scenMgr

ScenarioMgr scenMgr

lastCorrectText

java.lang.String lastCorrectText

Class ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioElement implements Serializable

Class ConForM.CoopnTools.CoKer.ScenarioMgr.ScenarioModuleNameField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

scenMgr

ScenarioMgr scenMgr

lastCorrectText

java.lang.String lastCorrectText

lastCorrectValue

java.lang.String lastCorrectValue

Class ConForM.CoopnTools.CoKer.ScenarioMgr.SemanticEvent implements Serializable

Class ConForM.CoopnTools.CoKer.ScenarioMgr.SemanticEventVariable implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

name

java.lang.String name

Class ConForM.CoopnTools.CoKer.ScenarioMgr.State implements Serializable

Class ConForM.CoopnTools.CoKer.ScenarioMgr.StateVariable implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

name

java.lang.String name

Class ConForM.CoopnTools.CoKer.ScenarioMgr.Step implements Serializable

Serialized Fields

transition

Transition transition

sigma

CoopnSubstitution sigma

Class ConForM.CoopnTools.CoKer.ScenarioMgr.Transition implements Serializable

Serialized Fields

before

State before

after

State after

waited

ObjectSet waited

freed

ObjectSet freed

label

SemanticEvent label

Class ConForM.CoopnTools.CoKer.ScenarioMgr.TrueObjectSet implements Serializable

Serialized Fields

oids

java.util.Set oids

Class ConForM.CoopnTools.CoKer.ScenarioMgr.TrueSemanticEvent implements Serializable

Serialized Fields

provided

CoopnSync provided

required

CoopnSync required

isTau

boolean isTau

Class ConForM.CoopnTools.CoKer.ScenarioMgr.TrueState implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.CoKer.ScenarioVisual.SetNameMenuItem implements Serializable

Serialized Fields

editable

GraphicalVisualElement editable

scenario

Scenario scenario

fmt

java.text.MessageFormat fmt

arg

java.lang.String[] arg

Class ConForM.CoopnTools.CoKer.ScenarioVisual.ShowBothMenuItem implements Serializable

Serialized Fields

editable

GraphicalVisualElement editable

dialogTitle

java.lang.String dialogTitle

Class ConForM.CoopnTools.CoKer.ScenarioVisual.ShowContentMenuItem implements Serializable

Serialized Fields

editable

GraphicalVisualElement editable

dialogTitle

java.lang.String dialogTitle

Class ConForM.CoopnTools.CoKer.ScenarioVisual.ShowMenu implements Serializable

Serialized Fields

editable

GraphicalVisualElement editable

dialogTitle

java.lang.String dialogTitle

Class ConForM.CoopnTools.CoKer.ScenarioVisual.ShowNameMenuItem implements Serializable

Serialized Fields

editable

GraphicalVisualElement editable

dialogTitle

java.lang.String dialogTitle

Class ConForM.CoopnTools.CoKer.ScenarioVisual.StateFrame implements Serializable

Serialized Fields

titleText

java.lang.String titleText

closeText

java.lang.String closeText

closeMnemo

char closeMnemo

Class ConForM.CoopnTools.CoKer.ScenarioVisual.StateTreeCellRenderer implements Serializable

Serialized Fields

contextIconFactory

ContextIconFactory contextIconFactory

objectIconFactory

ObjectIconFactory objectIconFactory


Package ConForM.CoopnTools.CoKer.SpecMgr

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecBehaviourSection implements Serializable

Serialized Fields

constraints

SpecConstraintField constraints

scenarios

SpecScenarioField scenarios

tests

SpecTestField tests

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecBiRelationnalVariableSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

type

java.lang.String type

originType

java.lang.String originType

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecBrowseConstraintButton implements Serializable

Serialized Fields

emptyList

java.lang.String[] emptyList

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecBrowseScenarioButton implements Serializable

Serialized Fields

emptyList

java.lang.String[] emptyList

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecBrowseTestButton implements Serializable

Serialized Fields

emptyList

java.lang.String[] emptyList

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecClassCreationVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecClassDestructionVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecClassGateVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecClassMethodVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecCommentField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

specMgr

SpecMgr specMgr

lastCorrectText

java.lang.String lastCorrectText

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecConstraintField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecConstraintSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecContextGateVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecContextMethodVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecElement implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecField implements Serializable

Serialized Fields

symbols

java.util.List symbols

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecFunctionnalVariableSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

paramType

java.lang.String paramType

returnType

java.lang.String returnType

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecGeneratorVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecHeader implements Serializable

Serialized Fields

modifiable

boolean modifiable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecModule implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

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

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecModuleNameField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

specMgr

SpecMgr specMgr

lastCorrectText

java.lang.String lastCorrectText

lastCorrectValue

java.lang.String lastCorrectValue

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecModuleSection implements Serializable

Serialized Fields

sources

SpecSourceField sources

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecNameField implements Serializable

Serialized Fields

env

CoopnEnv env

optional

boolean optional

specMgr

SpecMgr specMgr

lastCorrectText

java.lang.String lastCorrectText

lastCorrectValue

java.lang.String lastCorrectValue

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecObjectVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecOperationVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecParamVariableSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

type

java.lang.String type

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecRelationnalVariableSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

type

java.lang.String type

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecScenarioField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecScenarioSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecSortVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecSourceField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecSourceSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException
Serialized Fields

symbolName

java.lang.String symbolName

symbolIdentifier

java.lang.String symbolIdentifier

symbolModule

java.lang.String symbolModule

comment

java.lang.String comment

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecTermVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecTestField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecTestSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecTypeVariableField implements Serializable

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecVariableSection implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.CoKer.SpecMgr.SpecVariableSymbol implements Serializable

Serialization Methods

readObject

private void readObject(java.io.ObjectInputStream in)
                 throws java.io.IOException,
                        java.lang.ClassNotFoundException


Package ConForM.CoopnTools.CoKer.TemporalLogic

Class ConForM.CoopnTools.CoKer.TemporalLogic.ParseException implements Serializable

Serialized Fields

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.

Class ConForM.CoopnTools.CoKer.TemporalLogic.TokenMgrError implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.CoKer.TextVisual.TextualVisual implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.CoKer.Visual.CopyAction implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.DefaultIncrementalLayouterMenuItem implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.DefaultLayouterMenuItem implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.DotLayouterMenuItem implements Serializable

Serialized Fields

layouter

ConForM.CoopnTools.CoKer.Visual.DotLayouter.DotLayouter layouter

Class ConForM.CoopnTools.CoKer.Visual.ExportAction implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.FormattedField implements Serializable

Serialized Fields

format

java.text.Format format

lastCorrectText

java.lang.String lastCorrectText

Class ConForM.CoopnTools.CoKer.Visual.GraphicalHelperVisual implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.CoKer.Visual.GraphicalSelectorVisual implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.GraphicalSyncHelperVisual implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.GraphicalToolVisual implements Serializable

Serialized Fields

toolName

java.lang.String toolName

tool

GraphicalTool tool

Class ConForM.CoopnTools.CoKer.Visual.GraphicalVisual implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.CoKer.Visual.GraphicalVisualAction implements Serializable

Serialized Fields

editor

GraphicalVisualEditor editor

env

CoopnEnv env

label

java.lang.String label

mnemo

char mnemo

icon

javax.swing.Icon icon

Class ConForM.CoopnTools.CoKer.Visual.GraphicalVisualCheckBoxMenuItem implements Serializable

Serialized Fields

editor

GraphicalVisualEditor editor

env

CoopnEnv env

Class ConForM.CoopnTools.CoKer.Visual.GraphicalVisualMenu implements Serializable

Serialized Fields

editor

GraphicalVisualEditor editor

env

CoopnEnv env

Class ConForM.CoopnTools.CoKer.Visual.GraphicalVisualMenuItem implements Serializable

Serialized Fields

editor

GraphicalVisualEditor editor

env

CoopnEnv env

Class ConForM.CoopnTools.CoKer.Visual.GraphicalVisualRadioButtonMenuItem implements Serializable

Serialized Fields

editor

GraphicalVisualEditor editor

env

CoopnEnv env

Class ConForM.CoopnTools.CoKer.Visual.HideAllMenuItem implements Serializable

Serialized Fields

editable

GraphicalVisualEditable editable

Class ConForM.CoopnTools.CoKer.Visual.HideElementMenuItem implements Serializable

Serialized Fields

editable

GraphicalVisualEditable editable

Class ConForM.CoopnTools.CoKer.Visual.HideInfoMenuItem implements Serializable

Serialized Fields

editable

GraphicalVisualEditable editable

Class ConForM.CoopnTools.CoKer.Visual.NumericField implements Serializable

Serialized Fields

format

java.text.NumberFormat format

Class ConForM.CoopnTools.CoKer.Visual.NumericField.NumericDocument implements Serializable

Serialized Fields

this$0

NumericField this$0

Class ConForM.CoopnTools.CoKer.Visual.PrintAction implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.QuickHorizontalAlignMenuItem implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.QuickVerticalAlignMenuItem implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.QuitMenuItem implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.RedoAction implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.ResizeToFitMenuItem implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.RotationSlider implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.SaveAction implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.ScrollToShowMenuItem implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.SelectAllMenuItem implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.SelectInternalMenuItem implements Serializable

Serialized Fields

container

GraphicalVisualContainer container

Class ConForM.CoopnTools.CoKer.Visual.SetAndShowInfoMenuItem implements Serializable

Serialized Fields

editable

GraphicalVisualEditable editable

contents

java.lang.String contents

group

GraphicalVisualElementGroup group

texts

java.util.Map texts

Class ConForM.CoopnTools.CoKer.Visual.ShowAllMenuItem implements Serializable

Serialized Fields

editable

GraphicalVisualEditable editable

Class ConForM.CoopnTools.CoKer.Visual.ShowElementMenuItem implements Serializable

Serialized Fields

editable

GraphicalVisualEditable editable

Class ConForM.CoopnTools.CoKer.Visual.ShowInfoMenuItem implements Serializable

Serialized Fields

editable

GraphicalVisualEditable editable

Class ConForM.CoopnTools.CoKer.Visual.ShowParentMenuItem implements Serializable

Serialized Fields

edt

GraphicalVisualHelperEditor edt

Class ConForM.CoopnTools.CoKer.Visual.UndoAction implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.VGJLayouterMenuItem implements Serializable

Serialized Fields

layouter

ConForM.CoopnTools.CoKer.Visual.VGJLayouter.VGJLayouter layouter

Class ConForM.CoopnTools.CoKer.Visual.ZoomAction implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.ZoomInAction implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.ZoomOutAction implements Serializable

Class ConForM.CoopnTools.CoKer.Visual.ZoomToFitMenuItem implements Serializable


Package ConForM.CoopnTools.Constraint

Class ConForM.CoopnTools.Constraint.AssignEditor implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Constraint.AtomEditor implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Constraint.AtomKindEditor implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Constraint.ComboLogOp implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Constraint.ConsAction implements Serializable

Serialized Fields

frame

ConForM.CoopnTools.Constraint.ConstraintDisplay frame

env

ConsEnv env

label

java.lang.String label

mnemo

char mnemo

Class ConForM.CoopnTools.Constraint.ConsCheckAction implements Serializable

Class ConForM.CoopnTools.Constraint.ConsCopyAction implements Serializable

Class ConForM.CoopnTools.Constraint.ConsCutAction implements Serializable

Class ConForM.CoopnTools.Constraint.ConsGenerateAction implements Serializable

Class ConForM.CoopnTools.Constraint.ConsPanel implements Serializable

Serialized Fields

texts

java.util.ResourceBundle texts

consMgr

ConstraintsMgr consMgr

env

ConsEnv env

Class ConForM.CoopnTools.Constraint.ConsPanelAxiom implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Constraint.ConsPanelConsSet implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Constraint.ConsPanelConstraint implements Serializable

Serialized Fields

modulesText

java.lang.String modulesText

modulesMnemo

char modulesMnemo

modules

java.lang.String[] modules

Class ConForM.CoopnTools.Constraint.ConsPanelSymbol implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Constraint.ConsPanelVariable implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Constraint.ConsPasteAction implements Serializable

Class ConForM.CoopnTools.Constraint.ConsRedoAction implements Serializable

Class ConForM.CoopnTools.Constraint.ConsSaveAction implements Serializable

Class ConForM.CoopnTools.Constraint.ConstraintTree implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Constraint.ConsTreeCellRenderer implements Serializable

Serialized Fields

symbolIconFactory

ConForM.CoopnTools.Constraint.SymbolIconFactory symbolIconFactory

closedIconFactory

ConForM.CoopnTools.Constraint.ClosedIconFactory closedIconFactory

openedIconFactory

ConForM.CoopnTools.Constraint.OpenedIconFactory openedIconFactory

Class ConForM.CoopnTools.Constraint.ConsUndoAction implements Serializable

Class ConForM.CoopnTools.Constraint.ConsUnifCombo implements Serializable

Serialized Fields

env

ConsEnv env

consMgr

ConstraintsMgr consMgr

atomkind

AtomKindEditor atomkind

operation

java.util.Vector operation

Class ConForM.CoopnTools.Constraint.ExprAssignTextField implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Constraint.HMLEditor implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Constraint.HMLSyncEditor implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Constraint.HmlVarUnifCombo implements Serializable

Serialized Fields

env

ConsEnv env

consMgr

ConstraintsMgr consMgr

atomkind

AtomKindEditor atomkind

operation

java.util.Vector operation

Class ConForM.CoopnTools.Constraint.NameAssignTextField implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Constraint.NodeAction implements Serializable

Serialized Fields

node

ConstraintNode node

env

ConsEnv env

label

java.lang.String label

mnemo

char mnemo

Class ConForM.CoopnTools.Constraint.NodeAddAxiomAction implements Serializable

Class ConForM.CoopnTools.Constraint.NodeAddAxiomFieldAction implements Serializable

Class ConForM.CoopnTools.Constraint.NodeAddBodyAction implements Serializable

Class ConForM.CoopnTools.Constraint.NodeAddConsAction implements Serializable

Class ConForM.CoopnTools.Constraint.NodeAddConsFieldAction implements Serializable

Class ConForM.CoopnTools.Constraint.NodeAddInterfaceAction implements Serializable

Class ConForM.CoopnTools.Constraint.NodeAddVariableAction implements Serializable

Class ConForM.CoopnTools.Constraint.NodeAddVariableFieldAction implements Serializable

Class ConForM.CoopnTools.Constraint.NodeOpenAllAction implements Serializable

Class ConForM.CoopnTools.Constraint.NodeRemoveAction implements Serializable

Class ConForM.CoopnTools.Constraint.NodeShowEditAction implements Serializable

Class ConForM.CoopnTools.Constraint.QuitMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Constraint.ConstraintDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Constraint.ReloadMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Constraint.ConstraintDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Constraint.SaveAsMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Constraint.ConstraintDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Constraint.ShowHelpMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Constraint.ConstraintDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Constraint.ShowVersionMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Constraint.ConstraintDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Constraint.SpecMethodUnifCombo implements Serializable

Serialized Fields

env

ConsEnv env

consMgr

ConstraintsMgr consMgr

atomkind

AtomKindEditor atomkind

operation

java.util.Vector operation

Class ConForM.CoopnTools.Constraint.SpecVarUnifCombo implements Serializable

Serialized Fields

env

ConsEnv env

consMgr

ConstraintsMgr consMgr

atomkind

AtomKindEditor atomkind

operation

java.util.Vector operation

Class ConForM.CoopnTools.Constraint.VarUnifCombo implements Serializable

Serialized Fields

env

ConsEnv env

consMgr

ConstraintsMgr consMgr

atomkind

AtomKindEditor atomkind

operation

java.util.Vector operation


Package ConForM.CoopnTools.DocV

Class ConForM.CoopnTools.DocV.ShowHelpMenuItem implements Serializable

Serialized Fields

viewer

DocV viewer

env

CoopnEnv env

Class ConForM.CoopnTools.DocV.ShowVersionMenuItem implements Serializable

Serialized Fields

viewer

DocV viewer

env

CoopnEnv env


Package ConForM.CoopnTools.Edit

Class ConForM.CoopnTools.Edit.ChangeNameMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Edit.EditDisplay display

env

CoopnEnv env

newNameText

java.lang.String newNameText

Class ConForM.CoopnTools.Edit.CoopnAdtEvalMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Edit.EditDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Edit.CoopnCheckMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Edit.EditDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Edit.CoopnESourceMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Edit.EditDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Edit.CoopnSourceMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Edit.EditDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Edit.CoopnTree implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Edit.CoopnViewEGMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Edit.EditDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Edit.EditAction implements Serializable

Serialized Fields

frame

ConForM.CoopnTools.Edit.EditDisplay frame

env

CoopnEnv env

label

java.lang.String label

mnemo

char mnemo

Class ConForM.CoopnTools.Edit.EditCopyAction implements Serializable

Class ConForM.CoopnTools.Edit.EditCutAction implements Serializable

Class ConForM.CoopnTools.Edit.EditPanel implements Serializable

Serialized Fields

texts

java.util.ResourceBundle texts

coopnMgr

CoopnMgr coopnMgr

textMgr

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextMgr textMgr

env

CoopnEnv env

Class ConForM.CoopnTools.Edit.EditPanelAdtFormula implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Edit.EditPanelClassFormula implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Edit.EditPanelContextFormula implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Edit.EditPanelDblExprName implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Edit.EditPanelExprName implements Serializable

Serialized Fields

expressionText

java.lang.String expressionText

expressionMnemo

char expressionMnemo

expression

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression expression

expressionField

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField expressionField

Class ConForM.CoopnTools.Edit.EditPanelExprOptName implements Serializable

Serialized Fields

expressionText

java.lang.String expressionText

expressionMnemo

char expressionMnemo

expression

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression expression

expressionField

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField expressionField

Class ConForM.CoopnTools.Edit.EditPanelInherit implements Serializable

Serialized Fields

moduleText

java.lang.String moduleText

moduleMnemo

char moduleMnemo

module

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleName module

moduleField

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleNameField moduleField

Class ConForM.CoopnTools.Edit.EditPanelMapping implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Edit.EditPanelMigrExprName implements Serializable

Serialized Fields

expressionText

java.lang.String expressionText

expressionMnemo

char expressionMnemo

expression

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextMigrExpression expression

expressionField

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextMigrExpressionField expressionField

Class ConForM.CoopnTools.Edit.EditPanelModule implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Edit.EditPanelOptExprName implements Serializable

Serialized Fields

expressionText

java.lang.String expressionText

expressionMnemo

char expressionMnemo

expression

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpression expression

expressionField

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextExpressionField expressionField

Class ConForM.CoopnTools.Edit.EditPanelReference implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Edit.EditPanelSimpleName implements Serializable

Class ConForM.CoopnTools.Edit.EditPanelSubtype implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Edit.EditPanelSymbol implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Edit.EditPanelUse implements Serializable

Serialized Fields

modulesText

java.lang.String modulesText

modulesMnemo

char modulesMnemo

modules

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleNameList modules

modulesField

ConForM.CoopnTools.CoKer.CoopnMgr.CoopnTextMgr.CoopnTextModuleNameListField modulesField

Class ConForM.CoopnTools.Edit.EditPasteAction implements Serializable

Class ConForM.CoopnTools.Edit.EditRedoAction implements Serializable

Class ConForM.CoopnTools.Edit.EditSaveAction implements Serializable

Class ConForM.CoopnTools.Edit.EditTreeCellRenderer implements Serializable

Serialized Fields

symbolIconFactory

ConForM.CoopnTools.Edit.SymbolIconFactory symbolIconFactory

closedIconFactory

ConForM.CoopnTools.Edit.ClosedIconFactory closedIconFactory

openedIconFactory

ConForM.CoopnTools.Edit.OpenedIconFactory openedIconFactory

Class ConForM.CoopnTools.Edit.EditUndoAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAction implements Serializable

Serialized Fields

node

CoopnNode node

env

CoopnEnv env

label

java.lang.String label

mnemo

char mnemo

Class ConForM.CoopnTools.Edit.NodeAddAdtAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddAxiomAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddAxiomFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddBodyAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddClassAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddClassAxiomAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddClassTheoremAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddContextAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddContextAxiomAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddContextGateAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddContextMethodAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddContextTheoremAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddContextUseFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddCreationAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddCreationFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddDestructionAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddDestructionFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddGateAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddGateFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddGeneratorAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddGeneratorFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddInheritAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddInitialAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddInitialFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddInterfaceAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddMethodAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddMethodFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddMorphismAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddMorphismFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddMorphismModuleAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddObjectAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddObjectFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddOperationAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddOperationFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddPlaceAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddPlaceFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddRedefineAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddRedefineFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddRenameAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddRenameFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddSortAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddSortFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddSubsortAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddSubsortFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddSubtypesAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddSubtypesFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddTheoremAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddTheoremFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddTransitionAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddTransitionFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddTypeAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddTypeFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddUndefineAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddUndefineFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddUseAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddUseFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddVariableAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeAddVariableFieldAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeOpenAllAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeRemoveAction implements Serializable

Class ConForM.CoopnTools.Edit.NodeShowEditAction implements Serializable

Class ConForM.CoopnTools.Edit.QuitMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Edit.EditDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Edit.ReloadMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Edit.EditDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Edit.ShowHelpMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Edit.EditDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Edit.ShowVersionMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Edit.EditDisplay display

env

CoopnEnv env


Package ConForM.CoopnTools.Evaluator

Class ConForM.CoopnTools.Evaluator.EvalAction implements Serializable

Serialized Fields

frame

EvalFrame frame

env

CoopnEnv env

label

java.lang.String label

mnemo

char mnemo

Class ConForM.CoopnTools.Evaluator.EvalClearAction implements Serializable

Class ConForM.CoopnTools.Evaluator.EvalDetail implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Evaluator.EvalDetailAction implements Serializable

Class ConForM.CoopnTools.Evaluator.EvalFrame implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Evaluator.EvalNewAction implements Serializable

Class ConForM.CoopnTools.Evaluator.EvalNextAction implements Serializable

Class ConForM.CoopnTools.Evaluator.EvalPerformAction implements Serializable

Class ConForM.CoopnTools.Evaluator.EvalQuitAction implements Serializable

Class ConForM.CoopnTools.Evaluator.EvalVar implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Evaluator.EvalVarAction implements Serializable

Class ConForM.CoopnTools.Evaluator.ShowHelpAction implements Serializable

Class ConForM.CoopnTools.Evaluator.ShowVersionAction implements Serializable


Package ConForM.CoopnTools.HLPN

Class ConForM.CoopnTools.HLPN.CopyPlaceTransfoAction implements Serializable

Serialized Fields

target

CoopnClassModule target

source

CoopnSpec source

errorText

java.lang.String errorText

placeErrorText

java.lang.String placeErrorText

Class ConForM.CoopnTools.HLPN.HLPNAction implements Serializable

Serialized Fields

tool

HLPN tool

editor

GraphicalVisualToolEditor editor

env

CoopnEnv env

mnemo

char mnemo

Class ConForM.CoopnTools.HLPN.ShowHelpMenuItem implements Serializable

Serialized Fields

tool

HLPN tool

env

CoopnEnv env

Class ConForM.CoopnTools.HLPN.ShowSourceAction implements Serializable

Serialized Fields

target

CoopnClassModule target

source

CoopnSpec source

errorText

java.lang.String errorText

selectErrorText

java.lang.String selectErrorText

Class ConForM.CoopnTools.HLPN.ShowTargetAction implements Serializable

Serialized Fields

target

CoopnClassModule target

source

CoopnSpec source

errorText

java.lang.String errorText

selectErrorText

java.lang.String selectErrorText

Class ConForM.CoopnTools.HLPN.ShowVersionMenuItem implements Serializable

Serialized Fields

tool

HLPN tool

env

CoopnEnv env


Package ConForM.CoopnTools.JavaProto

Class ConForM.CoopnTools.JavaProto.CompilerUnavailableException implements Serializable

Class ConForM.CoopnTools.JavaProto.DifficultConditionException implements Serializable

Class ConForM.CoopnTools.JavaProto.FunctionException implements Serializable

Class ConForM.CoopnTools.JavaProto.JavaProtoException implements Serializable

Class ConForM.CoopnTools.JavaProto.UnimplementedFeatureException implements Serializable

Serialized Fields

feature

CoopnElement feature


Package ConForM.CoopnTools.JavaProto.Interpretor

Class ConForM.CoopnTools.JavaProto.Interpretor.InterpretorFrame implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.JavaProto.Interpretor.SyncComboModel implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.JavaProto.NameMapping.TableModel implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.JavaProto.Transaction.TransactionException implements Serializable


Package ConForM.CoopnTools.Listing

Class ConForM.CoopnTools.Listing.ShowHelpMenuItem implements Serializable

Serialized Fields

viewer

Listing viewer

env

CoopnEnv env

Class ConForM.CoopnTools.Listing.ShowVersionMenuItem implements Serializable

Serialized Fields

viewer

Listing viewer

env

CoopnEnv env


Package ConForM.CoopnTools.Module

Class ConForM.CoopnTools.Module.ShowHelpMenuItem implements Serializable

Serialized Fields

viewer

Module viewer

env

CoopnEnv env

Class ConForM.CoopnTools.Module.ShowVersionMenuItem implements Serializable

Serialized Fields

viewer

Module viewer

env

CoopnEnv env


Package ConForM.CoopnTools.Pack

Class ConForM.CoopnTools.Pack.AddAuthorMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.AddCoopnMenuItem implements Serializable

Serialized Fields

moduleType

int moduleType

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.AddModuleMenuItem implements Serializable

Serialized Fields

moduleType

int moduleType

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.AddPackageMenuItem implements Serializable

Serialized Fields

moduleType

int moduleType

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.AddSpecMenuItem implements Serializable

Serialized Fields

moduleType

int moduleType

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.AddSubPackageMenuItem implements Serializable

Serialized Fields

moduleType

int moduleType

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.AuthorPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.CoopnAdtEvalMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.CoopnCheckMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.CoopnESourceMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.CoopnListingMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.CoopnOpenMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.CoopnPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.CoopnSourceMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.CoopnViewEGMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.CoopnViewMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.DelAuthorMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.DelCoopnMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.DelModuleMenuItem implements Serializable

Serialized Fields

moduleType

int moduleType

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.DelPackageMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.DelSpecMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.DocConsultMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.DocGenerateMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.ModAuthorMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.ModModuleMenuItem implements Serializable

Serialized Fields

moduleType

int moduleType

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.ModulePopupMenu implements Serializable

Serialized Fields

moduleType

int moduleType

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.OpenMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.QuitMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.ReloadMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.SaveNowMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.ShowHelpMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.ShowVersionMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.SpecAdtEvalMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.SpecCheckMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.SpecOpenMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.SpecPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.SpecSimMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.SpecViewEGMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.SpecViewMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.UsedPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Pack.ViewMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Pack.PackDisplay display

env

CoopnEnv env


Package ConForM.CoopnTools.Simulator

Class ConForM.CoopnTools.Simulator.ClearAction implements Serializable

Class ConForM.CoopnTools.Simulator.DetailAction implements Serializable

Class ConForM.CoopnTools.Simulator.InitialAction implements Serializable

Class ConForM.CoopnTools.Simulator.NextAction implements Serializable

Class ConForM.CoopnTools.Simulator.OpenScenarioMenuItem implements Serializable

Serialized Fields

simulator

Simulator simulator

env

CoopnEnv env

Class ConForM.CoopnTools.Simulator.OpenSemanticsMenuItem implements Serializable

Serialized Fields

simulator

Simulator simulator

env

CoopnEnv env

Class ConForM.CoopnTools.Simulator.PerformAction implements Serializable

Class ConForM.CoopnTools.Simulator.PerformEvAction implements Serializable

Class ConForM.CoopnTools.Simulator.SaveAsSemanticsMenuItem implements Serializable

Serialized Fields

specName

java.lang.String specName

simulator

Simulator simulator

editor

GraphicalVisualToolEditor editor

env

CoopnEnv env

Class ConForM.CoopnTools.Simulator.SetCommentMenuItem implements Serializable

Serialized Fields

simulator

Simulator simulator

env

CoopnEnv env

Class ConForM.CoopnTools.Simulator.ShowHelpMenuItem implements Serializable

Serialized Fields

simulator

Simulator simulator

env

CoopnEnv env

Class ConForM.CoopnTools.Simulator.ShowVersionMenuItem implements Serializable

Serialized Fields

simulator

Simulator simulator

env

CoopnEnv env

Class ConForM.CoopnTools.Simulator.SimulatorAction implements Serializable

Serialized Fields

tool

Simulator tool

editor

GraphicalVisualToolEditor editor

env

CoopnEnv env

label

java.lang.String label

mnemo

char mnemo

icon

javax.swing.Icon icon

Class ConForM.CoopnTools.Simulator.SimVar implements Serializable

Serialized Fields

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

Class ConForM.CoopnTools.Simulator.VarAction implements Serializable


Package ConForM.CoopnTools.Spec

Class ConForM.CoopnTools.Spec.AddClassCreationVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddClassDestructionVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddClassGateVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddClassMethodVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddConstraintMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddContextGateVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddContextMethodVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddGenVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddModuleMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddObjVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddOpVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddScenarioMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddSortVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddTermVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddTestMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AddTypeVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.AdtEvalMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.CheckMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ClassCreationVarPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ClassDestructionVarPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ClassGateVarPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ClassMethodVarPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ConstraintEditMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ConstraintEditROMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ConstraintPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ContextGateVarPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ContextMethodVarPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.CoopnAdtEvalMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.CoopnCheckMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.CoopnESourceMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.CoopnListingMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.CoopnOpenMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.CoopnSourceMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.CoopnViewEGMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.CoopnViewMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelClassCreationVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelClassDestructionVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelClassGateVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelClassMethodVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelConstraintMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelContextGateVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelContextMethodVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelGenVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelModuleMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelObjVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelOpVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelScenarioMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelSortVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelTermVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelTestMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.DelTypeVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.GenVarPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.HLPNTranslationMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ModClassCreationVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ModClassDestructionVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ModClassGateVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ModClassMethodVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ModContextGateVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ModContextMethodVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ModGenVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ModObjVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ModOpVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ModSortVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ModTermVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ModTypeVarMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ObjVarPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.OpVarPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ProtoBuildMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ProtoEvalMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ProtoInterpretMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ProtoMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.QuitMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ReloadMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.SaveNowMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ScenarioPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ScenarioSimulMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ShowHelpMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ShowVersionMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.SimulMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.SortVarPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.SourcePopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.TermVarPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.TestOpenMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.TestPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.TestSetMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.TypeVarPopupMenu implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Spec.ViewEGMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Spec.SpecDisplay display

env

CoopnEnv env


Package ConForM.CoopnTools.Tool

Class ConForM.CoopnTools.Tool.ClearAction implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Tool.ErrorDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Tool.CopyAction implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Tool.ErrorDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Tool.ModifyEnvironmentMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Tool.ToolDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Tool.QuitMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Tool.ToolDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Tool.ShowAction implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Tool.ErrorDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Tool.ShowErrorMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Tool.ToolDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Tool.ShowHelpMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Tool.ToolDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Tool.ShowVersionMenuItem implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Tool.ToolDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Tool.Zoom100Action implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Tool.ErrorDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Tool.ZoomInAction implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Tool.ErrorDisplay display

env

CoopnEnv env

Class ConForM.CoopnTools.Tool.ZoomOutAction implements Serializable

Serialized Fields

display

ConForM.CoopnTools.Tool.ErrorDisplay display

env

CoopnEnv env


Package ConForM.CoopnTools.Viewer

Class ConForM.CoopnTools.Viewer.ShowHelpMenuItem implements Serializable

Serialized Fields

viewer

Viewer viewer

env

CoopnEnv env

Class ConForM.CoopnTools.Viewer.ShowVersionMenuItem implements Serializable

Serialized Fields

viewer

Viewer viewer

env

CoopnEnv env