Serialized Form

Package slime

Class slime.Main extends javax.swing.JFrame implements Serializable

Serialized Fields

editor

Editor editor

Package slime.absynt

Class slime.absynt.Absynt extends java.lang.Object implements Serializable

Serialized Fields

pos

Position pos

Class slime.absynt.Action extends Absynt implements Serializable

Serialized Fields

a_name

java.lang.String a_name

sap

java.util.LinkedList sap

Class slime.absynt.ActionQualifier extends Absynt implements Serializable

Class slime.absynt.Assign extends Stmt implements Serializable

Serialized Fields

var

Variable var

val

Expr val

Class slime.absynt.B_expr extends Expr implements Serializable

Serialized Fields

left_expr

Expr left_expr

right_expr

Expr right_expr

op

int op

Class slime.absynt.BoolType extends Type implements Serializable

Class slime.absynt.Constval extends Expr implements Serializable

Serialized Fields

val

java.lang.Object val

Constant values are integers and booleans; they are directly implemented using the corresponding data types from Java.

Class slime.absynt.Declaration extends Absynt implements Serializable

Serialized Fields

var

Variable var

type

Type type

val

Constval val

Class slime.absynt.DoubleType extends Type implements Serializable

Class slime.absynt.Expr extends Absynt implements Serializable

Serialized Fields

type

Type type

Class slime.absynt.InputAction extends Stmt implements Serializable

Serialized Fields

a_name

java.lang.String a_name

a_var

Variable a_var

a_expr

Expr a_expr

Class slime.absynt.IntType extends Type implements Serializable

Class slime.absynt.Nqual extends ActionQualifier implements Serializable

Class slime.absynt.OutputAction extends Stmt implements Serializable

Serialized Fields

a_name

java.lang.String a_name

a_var

Variable a_var

a_expr

Expr a_expr

Class slime.absynt.Position extends java.lang.Object implements Serializable

Serialized Fields

x

float x

y

float y

Class slime.absynt.SFC extends Absynt implements Serializable

Serialized Fields

istep

Step istep

steps

java.util.LinkedList steps

transs

java.util.LinkedList transs

actions

java.util.LinkedList actions

declist

java.util.LinkedList declist

name

java.lang.String name

Class slime.absynt.Skip extends Stmt implements Serializable

Class slime.absynt.Step extends Absynt implements Serializable

Serialized Fields

name

java.lang.String name

actions

java.util.LinkedList actions

pos

Position pos

Class slime.absynt.StepAction extends Absynt implements Serializable

Serialized Fields

qualifier

ActionQualifier qualifier

a_name

java.lang.String a_name

Class slime.absynt.Stmt extends Absynt implements Serializable

Class slime.absynt.Transition extends Absynt implements Serializable

Serialized Fields

source

java.util.LinkedList source

guard

Expr guard

target

java.util.LinkedList target

Class slime.absynt.Type extends Absynt implements Serializable

Class slime.absynt.U_expr extends Expr implements Serializable

Serialized Fields

sub_expr

Expr sub_expr

op

int op

Class slime.absynt.UndefType extends Type implements Serializable

Class slime.absynt.UnitType extends Type implements Serializable

Class slime.absynt.Variable extends Expr implements Serializable

Serialized Fields

name

java.lang.String name

type

Type type

inputvar

boolean inputvar

outputvar

boolean outputvar

Package slime.absynt.absfc

Class slime.absynt.absfc.Absfc extends Absynt implements Serializable

Serialized Fields

depth

int depth

processed

boolean processed

hascontent

boolean hascontent

nodetype

java.lang.String nodetype

start_step

Step start_step

for easier processing of the SFCabtree

end_step

Step end_step

start step within sfc

stmt_trans

Transition stmt_trans

end step within sfc

Class slime.absynt.absfc.Comment extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

content

java.lang.String content

Class slime.absynt.absfc.Process extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

name

java.lang.String name

stmtlist

java.util.LinkedList stmtlist

procdepth

int procdepth

internalStepList

java.util.LinkedList internalStepList

internalTransitionList

java.util.LinkedList internalTransitionList

internalActionList

java.util.LinkedList internalActionList

internalDeclarationList

java.util.LinkedList internalDeclarationList

Class slime.absynt.absfc.SFCabtree extends Absfc implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

sfcprogname

java.lang.String sfcprogname

stmtlist

java.util.LinkedList stmtlist

proclist

java.util.LinkedList proclist

varlist

java.util.LinkedList varlist

declist

java.util.LinkedList declist

procCnt

int procCnt

stmtCnt

int stmtCnt

varCnt

int varCnt

decCnt

int decCnt

Class slime.absynt.absfc.Statement extends Absfc implements Serializable

Serialized Fields

elemNr

int elemNr

Class slime.absynt.absfc.StmtAssign extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

var

Variable var

val

Expr val

Class slime.absynt.absfc.StmtDecl extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

var

Variable var

type

Type type

val

Constval val

expr

Expr expr

hasvalue

boolean hasvalue

isexpr

boolean isexpr

Class slime.absynt.absfc.StmtFor extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

var

Variable var

vartype

Type vartype

expr1

Expr expr1

expr2

Expr expr2

stmt

Statement stmt

stmtlist

java.util.LinkedList stmtlist

fordepth

int fordepth

Class slime.absynt.absfc.StmtIf extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

expr

Expr expr

stmtlist

java.util.LinkedList stmtlist

ifdepth

int ifdepth

Class slime.absynt.absfc.StmtIfElse extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

expr

Expr expr

ifstmtlist

java.util.LinkedList ifstmtlist

elsestmtlist

java.util.LinkedList elsestmtlist

ifelsedepth

int ifelsedepth

emptyelse

boolean emptyelse

Class slime.absynt.absfc.StmtInput extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

var

Variable var

val

Expr val

Class slime.absynt.absfc.StmtJoin extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

proclist

java.util.LinkedList proclist

procdepth

int procdepth

Class slime.absynt.absfc.StmtOutput extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

var

Variable var

val

Expr val

Class slime.absynt.absfc.StmtPostDec extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

var

Variable var

Class slime.absynt.absfc.StmtPostInc extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

var

Variable var

Class slime.absynt.absfc.StmtPreDec extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

var

Variable var

Class slime.absynt.absfc.StmtPreInc extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

var

Variable var

Class slime.absynt.absfc.StmtRepeat extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

expr

Expr expr

stmtlist

java.util.LinkedList stmtlist

repeatdepth

int repeatdepth

Class slime.absynt.absfc.StmtSplit extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

proclist

java.util.LinkedList proclist

procdepth

int procdepth

Class slime.absynt.absfc.StmtWhile extends Statement implements Serializable

Serialization Methods

readObject

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

writeObject

private void writeObject(java.io.ObjectOutputStream stream)
                  throws java.io.IOException

Serialized Fields

expr

Expr expr

stmtlist

java.util.LinkedList stmtlist

whiledepth

int whiledepth

Package slime.utils

Class slime.utils.ParseException extends java.lang.Exception implements Serializable

Package slime.editor

Class slime.editor.DrawBoard extends java.awt.Canvas implements Serializable

Serialized Fields

mousePressedOnX

int mousePressedOnX

mousePressedOnY

int mousePressedOnY

mouseReleasedOnX

int mouseReleasedOnX

mouseReleasedOnY

int mouseReleasedOnY

mouseDragged

boolean mouseDragged

editor

Editor editor

eSFC

ESFC eSFC

maxX

int maxX

minX

int minX

maxY

int maxY

minY

int minY

Class slime.editor.Editor extends javax.swing.JComponent implements Serializable

Serialized Fields

simulatorActive

boolean simulatorActive

selectedItem

java.lang.Object selectedItem

mode

int mode

eSFCList

ESFCList eSFCList

eSFC

ESFC eSFC

drawBoardTabbedPane

javax.swing.JTabbedPane drawBoardTabbedPane

guardScrollList

ScrollList guardScrollList

actionScrollList

ScrollList actionScrollList

declarationScrollList

ScrollList declarationScrollList

menuAndStatePanel

MenuAndStatePanel menuAndStatePanel

Class slime.editor.EditorInFrame extends javax.swing.JFrame implements Serializable

Serialized Fields

editor

Editor editor

Class slime.editor.MenuAndStatePanel extends javax.swing.JPanel implements Serializable

Serialized Fields

editor

Editor editor

checkButton

javax.swing.JButton checkButton

layoutButton

javax.swing.JButton layoutButton

simulateButton

javax.swing.JButton simulateButton

modeButton

javax.swing.JButton modeButton

newButton

javax.swing.JButton newButton

parseButton

javax.swing.JButton parseButton

loadButton

javax.swing.JButton loadButton

saveButton

javax.swing.JButton saveButton

closeButton

javax.swing.JButton closeButton

exitButton

javax.swing.JButton exitButton

editorButton

javax.swing.JButton editorButton

statusMessage

javax.swing.JTextField statusMessage

iconE

javax.swing.ImageIcon iconE

iconS

javax.swing.ImageIcon iconS

iconT

javax.swing.ImageIcon iconT

iconR

javax.swing.ImageIcon iconR

Class slime.editor.ScrollList extends javax.swing.JPanel implements Serializable

Serialized Fields

scrollList

javax.swing.JScrollPane scrollList

list

javax.swing.JList list

button

javax.swing.JButton button

Package slime.checks

Class slime.checks.CheckException extends java.lang.Exception implements Serializable

Serialized Fields

message

java.lang.String message

contains exception message

Class slime.checks.Typecheck.IncompleteDeclaration extends Typecheck.TypecheckException implements Serializable

Serialized Fields

explanation

java.lang.String explanation

message

java.lang.String message

Class slime.checks.Typecheck.MissingType extends Typecheck.TypecheckException implements Serializable

Serialized Fields

message

java.lang.String message

explanation

java.lang.String explanation

Class slime.checks.Typecheck.NonuniqueDeclaration extends Typecheck.TypecheckException implements Serializable

Serialized Fields

explanation

java.lang.String explanation

message

java.lang.String message

Class slime.checks.Typecheck.NoUsertype extends Typecheck.TypecheckException implements Serializable

Serialized Fields

message

java.lang.String message

explanation

java.lang.String explanation

Class slime.checks.Typecheck.TypecheckException extends CheckException implements Serializable

Serialized Fields

message

java.lang.String message

Class slime.checks.Typecheck.TypeMismatch extends Typecheck.TypecheckException implements Serializable

Serialized Fields

message

java.lang.String message

explanation

java.lang.String explanation

Class slime.checks.Typecheck.UnbooleanGuard extends Typecheck.TypecheckException implements Serializable

Serialized Fields

explanation

java.lang.String explanation

message

java.lang.String message

Class slime.checks.Typecheck.UndeclaredVariable extends Typecheck.TypecheckException implements Serializable

Serialized Fields

explanation

java.lang.String explanation

Class slime.checks.Wellformed.WException extends CheckException implements Serializable

Serialized Fields

message

java.lang.String message

Package slime.sfcparser

Class slime.sfcparser.SFCParseException extends java.lang.Exception implements Serializable

Package slime.simulator

Class slime.simulator.Simulator extends javax.swing.JFrame implements Serializable

Serialized Fields

sfc

SimSFC sfc

editor

Editor editor

contentPane

javax.swing.JSplitPane contentPane

informationPane

javax.swing.JScrollPane informationPane

executionPane

javax.swing.JSplitPane executionPane

actionPane

javax.swing.JPanel actionPane

sfcDisplay

javax.swing.JTextArea sfcDisplay

startButton

javax.swing.JButton startButton

stepButton

javax.swing.JButton stepButton

possibleActions

javax.swing.JList possibleActions