A B C D E F G H I K L M N O P Q R S T U V W X Y

A

ACTIONS - Static variable in class slime.simulator.SimSFC

ACTION_GAP - Static variable in class slime.editor.SFCPainter

AND - Static variable in class slime.absynt.Expr

Absfc - class slime.absynt.absfc.Absfc.

Abstract class to provide depth and processed.

Absfc() - Constructor for class slime.absynt.absfc.Absfc

Absfc2SFCConverter - class slime.sfcparser.Absfc2SFCConverter.

Absfc2SFCConverter(SFCabtree) - Constructor for class slime.sfcparser.Absfc2SFCConverter

Absfc2SFCConverter the constructor for creating a converter object, which transform
a given SFCabtree-tree to an equivalent
SFC-tree.

Absynt - class slime.absynt.Absynt.

Abstract class to provide coordinates and locations.

Absynt() - Constructor for class slime.absynt.Absynt

Action - class slime.absynt.Action.

Class for sfc actions.

Action(String, LinkedList) - Constructor for class slime.absynt.Action

ActionListListener - class slime.editor.ActionListListener.

For the Slime project of the Fortgeschrittenen-Praktikum.

ActionListListener(Editor) - Constructor for class slime.editor.ActionListListener

ActionQualifier - class slime.absynt.ActionQualifier.

ActionQualifier.java

ActionQualifier() - Constructor for class slime.absynt.ActionQualifier

Assign - class slime.absynt.Assign.

An assignment-statement as part of the simple assignment language

Assign(Variable, Expr) - Constructor for class slime.absynt.Assign

a_expr - Variable in class slime.absynt.InputAction

a_expr - Variable in class slime.absynt.OutputAction

a_name - Variable in class slime.absynt.Action

a_name - Variable in class slime.absynt.InputAction

a_name - Variable in class slime.absynt.OutputAction

a_name - Variable in class slime.absynt.StepAction

a_var - Variable in class slime.absynt.InputAction

a_var - Variable in class slime.absynt.OutputAction

accept(Visitors.IAction) - Method in class slime.absynt.Action

accept(Visitors.IActionQualifier) - Method in class slime.absynt.ActionQualifier

accept(Visitors.IStmt) - Method in class slime.absynt.Assign

visitor acceptor

accept(Visitors.IExpr) - Method in class slime.absynt.B_expr

visitor acceptor

accept(Visitors.IType) - Method in class slime.absynt.BoolType

visitor acceptor

accept(Visitors.IExpr) - Method in class slime.absynt.Constval

visitor acceptor

accept(Visitors.IDeclaration) - Method in class slime.absynt.Declaration

visitor acceptor

accept(Visitors.IExpr) - Method in class slime.absynt.Expr

accept(Visitors.IStmt) - Method in class slime.absynt.InputAction

visitor acceptor

accept(Visitors.IType) - Method in class slime.absynt.IntType

visitor acceptor

accept(Visitors.IActionQualifier) - Method in class slime.absynt.Nqual

visitor acceptor

accept(Visitors.IStmt) - Method in class slime.absynt.OutputAction

visitor acceptor - just for compiling, this IS NOT the real thing

accept(Visitors.ISFC) - Method in class slime.absynt.SFC

accept(Visitors.IStmt) - Method in class slime.absynt.Skip

visitor acceptor

accept(Visitors.IStep) - Method in class slime.absynt.Step

visitor acceptor

accept(Visitors.IStepAction) - Method in class slime.absynt.StepAction

accept(Visitors.IStmt) - Method in class slime.absynt.Stmt

accept(Visitors.ITransition) - Method in class slime.absynt.Transition

accept(Visitors.IType) - Method in class slime.absynt.Type

accept(Visitors.IExpr) - Method in class slime.absynt.U_expr

visitor acceptor

accept(Visitors.IType) - Method in class slime.absynt.UndefType

accept(Visitors.IType) - Method in class slime.absynt.UnitType

visitor acceptor

accept(Visitors.IExpr) - Method in class slime.absynt.Variable

visitor acceptor

actionCounter - Variable in class slime.sfcparser.Absfc2SFCConverter

for enumberating declarations

actionNameExists(String) - Method in class slime.editor.ESFC

Returns true iff the given name is used for an action.

actionPerformed(ActionEvent) - Method in class slime.simulator.Simulator

actions - Variable in class slime.absynt.SFC

actions - Variable in class slime.absynt.Step

add(String, Type) - Method in class slime.checks.Typecheck.TEnv

add(ESFC) - Method in class slime.editor.ESFCList

Adds the given ESFC iff it is not contained in this eSFCList.

add(SFC) - Method in class slime.editor.Editor

Adds the given sfc to this editor in a seperate DrawBoard.

add(String) - Method in class slime.editor.Editor

Adds a new sfc under the given name to this editor on a seperate DrawBoard.

add(SFC, String) - Method in class slime.editor.Editor

addAction(Action) - Method in class slime.editor.ESFC

Adds the given action to this sfc.

addSourceStep(Step) - Method in class slime.editor.ESFC

The given step will be added to the sourcelist if it is not already in and will be removed optinally from the targetlist.

addStep(String, int, int) - Method in class slime.editor.ESFC

Adds a new step with the given name at the given position.

addTargetStep(Step) - Method in class slime.editor.ESFC

The given step will be added to the targetlist if it is not already in and will be removed optinally from the sourcelist.

addTransition(LinkedList, Expr, LinkedList) - Method in class slime.editor.ESFC

Adds a new transition with the given source and target steps and the given expression as guard.

adjustDimension() - Method in class slime.editor.DrawBoard

B

BACKGROUND_COLOR - Static variable in class slime.editor.Editor

B_expr - class slime.absynt.B_expr.

binary expressions

B_expr(Expr, int, Expr) - Constructor for class slime.absynt.B_expr

Constructor in ``infix''-convention.

BoolType - class slime.absynt.BoolType.

Type for booleans.

BoolType() - Constructor for class slime.absynt.BoolType

C

CheckException - exception slime.checks.CheckException.

Generic exception for the check class.

CheckException() - Constructor for class slime.checks.CheckException

Comment - class slime.absynt.absfc.Comment.

Comment Class for abstract SFC tree

Comment(String) - Constructor for class slime.absynt.absfc.Comment

Comment() - Constructor for class slime.absynt.absfc.Comment

Constval - class slime.absynt.Constval.

Constant values as expressions.

Constval(boolean) - Constructor for class slime.absynt.Constval

3 overloaded constructors.

Constval(int) - Constructor for class slime.absynt.Constval

Constval(double) - Constructor for class slime.absynt.Constval

changePhase() - Method in class slime.simulator.SimSFC

check(SFC) - Method in class slime.checks.Typecheck

Type check routine sfcs, internally implemented as wrapper around the visitor.

check(Expr) - Method in class slime.checks.Typecheck

Type check routine for expressions, implemented as wrapper around the corresponding visitor.

check(SFC) - Method in class slime.checks.Wellformed.Consistency

check(SFC) - Method in class slime.checks.Wellformed.Initcheck

check(SFC) - Method in class slime.checks.Wellformed

clearSourceSteps() - Method in class slime.editor.ESFC

Removes highlightning from all steps in the sourcelist and sets this sourcelist to an empty list.

clearTargetSteps() - Method in class slime.editor.ESFC

Removes highlightning from all steps in the sourcelist and sets this targetlist to an empty list.

closeSelectedSFC() - Method in class slime.editor.Editor

Closes the actual selected sfc.

contains(ESFC) - Method in class slime.editor.ESFCList

Checks if this list contains the given ESFC.

containsKey(String) - Method in class slime.checks.Typecheck.TEnv

content - Variable in class slime.absynt.absfc.Comment

createStatePane(Simulator) - Method in class slime.simulator.SimSFC

D

DIV - Static variable in class slime.absynt.Expr

Declaration - class slime.absynt.Declaration.

Declaration of a variables.

Declaration(Variable, Type, Constval) - Constructor for class slime.absynt.Declaration

DeclarationListListener - class slime.editor.DeclarationListListener.

For the Slime project of the Fortgeschrittenen-Praktikum.

DeclarationListListener(Editor) - Constructor for class slime.editor.DeclarationListListener

DoubleType - class slime.absynt.DoubleType.

Type for doubles

DoubleType() - Constructor for class slime.absynt.DoubleType

DrawBoard - class slime.editor.DrawBoard.

An object of this class is used to draw a sfc on it.

DrawBoard(Editor, ESFC) - Constructor for class slime.editor.DrawBoard

deHighlight(Object) - Method in class slime.editor.ESFC

Set the color value

deHighlight(Object) - Method in class slime.editor.Editor

Removes highlight effect from the given object.

debugflag - Variable in class slime.sfcparser.Absfc2SFCConverter

current state of tree processing - see notes

decCnt - Variable in class slime.absynt.absfc.SFCabtree

declarationCounter - Variable in class slime.sfcparser.Absfc2SFCConverter

for enumberating statements

declist - Variable in class slime.absynt.SFC

declist - Variable in class slime.absynt.absfc.SFCabtree

depth - Variable in class slime.absynt.absfc.Absfc

determineDimension(Step) - Method in class slime.editor.DrawBoard

E

EQ - Static variable in class slime.absynt.Expr

ESFC - class slime.editor.ESFC.

An object of this class is used to add some functionality to the sfc.

ESFC(SFC) - Constructor for class slime.editor.ESFC

Sets the colors for all steps and transitions for the given SFC.

ESFCList - class slime.editor.ESFCList.

An object of this class is used for storing different ESFC's in a list.

ESFCList() - Constructor for class slime.editor.ESFCList

Constructs an empty list of ESFC's.

Editor - class slime.editor.Editor.

For the Slime project of the Fortgeschrittenen-Praktikum.

Editor() - Constructor for class slime.editor.Editor

Creates an editor with an 'empty' SFC.

Editor(SFC) - Constructor for class slime.editor.Editor

Creates an editor with the given SFC.

EditorInFrame - class slime.editor.EditorInFrame.

For the Slime project of the Fortgeschrittenen-Praktikum.

Example - class slime.absynt.Example.

The class offers an example for a program int abstract syntax.

Example() - Constructor for class slime.absynt.Example

Expr - class slime.absynt.Expr.

Abstract class for simple expressions

Expr() - Constructor for class slime.absynt.Expr

elemNr - Variable in class slime.absynt.absfc.Statement

elements() - Method in class slime.checks.Typecheck.TEnv

elist - Variable in class slime.checks.tests.TestExpressions

elsestmtlist - Variable in class slime.absynt.absfc.StmtIfElse

emptyelse - Variable in class slime.absynt.absfc.StmtIfElse

enableButtons() - Method in class slime.editor.MenuAndStatePanel

A call of this method checks the current selected sfc in the editor and enables buttons depending on the result of the check.

end_step - Variable in class slime.absynt.absfc.Absfc

start step within sfc

equals(Type) - Method in class slime.absynt.BoolType

equals(Type) - Method in class slime.absynt.DoubleType

equals(Type) - Method in class slime.absynt.IntType

equals(Type) - Method in class slime.absynt.Type

equals(Type) - Method in class slime.absynt.UndefType

type equality.

equals(Type) - Method in class slime.absynt.UnitType

type equality.

equals(Variable) - Method in class slime.absynt.Variable

equals(Declaration, Declaration) - Method in class slime.editor.ESFC

equals(Variable, Variable) - Method in class slime.editor.ESFC

equals(Type, Type) - Method in class slime.editor.ESFC

equals(Expr, Expr) - Method in class slime.editor.ESFC

evaluateKeyTyped(char) - Method in class slime.editor.Editor

evaluateMouseDragged(int, int, int, int) - Method in class slime.editor.Editor

evaluateMouseMoved(int, int) - Method in class slime.editor.Editor

evaluateSingleMouseClickOn(int, int) - Method in class slime.editor.Editor

expr - Variable in class slime.absynt.absfc.StmtDecl

expr - Variable in class slime.absynt.absfc.StmtIf

expr - Variable in class slime.absynt.absfc.StmtIfElse

expr - Variable in class slime.absynt.absfc.StmtRepeat

expr - Variable in class slime.absynt.absfc.StmtWhile

expr1 - Variable in class slime.absynt.absfc.StmtFor

expr2 - Variable in class slime.absynt.absfc.StmtFor

F

falseGuard - Variable in class slime.sfcparser.Absfc2SFCConverter

forAction(String, LinkedList) - Method in interface slime.absynt.Visitors.IAction

forAllActions(Object, String, Object[]) - Method in class slime.editor.ESFC

Invoces the given method on the given object for every action as the first argument together with the other given arguments.

forAllPositions(Object, String, Object[]) - Method in class slime.editor.ESFC

Invoces the given method on the given object for every position as the first argument together with the other given arguments.

forAllSteps(Object, String, Object[]) - Method in class slime.editor.ESFC

Invoces the given method on the given object for every step as the first argument together with the other given arguments.

forAllTransitions(Object, String, Object[]) - Method in class slime.editor.ESFC

Invoces the given method on the given object for every transition as the first argument together with the other given arguments.

forAssign(Variable, Expr) - Method in interface slime.absynt.Visitors.IStmt

forB_Expr(Expr, int, Expr) - Method in interface slime.absynt.Visitors.IExpr

forBoolType() - Method in interface slime.absynt.Visitors.IType

forConstval(Object) - Method in interface slime.absynt.Visitors.IExpr

forDeclaration(Variable, Type, Constval) - Method in interface slime.absynt.Visitors.IDeclaration

forIntType() - Method in interface slime.absynt.Visitors.IType

forNqual() - Method in interface slime.absynt.Visitors.IActionQualifier

forSFC(Step, LinkedList, LinkedList, LinkedList, LinkedList) - Method in interface slime.absynt.Visitors.ISFC

forSkip() - Method in interface slime.absynt.Visitors.IStmt

forStep(String, LinkedList) - Method in interface slime.absynt.Visitors.IStep

forStepAction(ActionQualifier, String) - Method in interface slime.absynt.Visitors.IStepAction

forTransition(LinkedList, Expr, LinkedList) - Method in interface slime.absynt.Visitors.ITransition

forU_Expr(Expr, int) - Method in interface slime.absynt.Visitors.IExpr

forUndefType() - Method in interface slime.absynt.Visitors.IType

forUnitType() - Method in interface slime.absynt.Visitors.IType

forVariable(String, Type) - Method in interface slime.absynt.Visitors.IExpr

fordepth - Variable in class slime.absynt.absfc.StmtFor

G

GEQ - Static variable in class slime.absynt.Expr

GREATER - Static variable in class slime.absynt.Expr

get(int) - Method in class slime.editor.ESFCList

Gets the ESFC from the specified position of this eSFCList.

getAction(int) - Method in class slime.editor.ESFC

Returns the i-th action of the action list.

getAction(String) - Method in class slime.editor.ESFC

Returns the action with the given name.

getButton() - Method in class slime.editor.ScrollList

Returns the button used by this scroll list.

getColorHashtable() - Method in class slime.editor.ESFC

Return the color hashtable used for this SFC.

getDrawBoard() - Method in class slime.editor.ESFC

Returns the DrawBoard used by this ESFC.

getExample1() - Static method in class slime.absynt.Example

getExampleExpression1() - Static method in class slime.absynt.Example

getExampleSAP1() - Static method in class slime.absynt.Example

getExampleStepActionList1() - Static method in class slime.absynt.Example

The following method gives back an example program, containing most constructs of the abstract syntax.

getExceptionMessage(CheckException) - Method in class slime.editor.Editor

getExtendedSelectedSFC() - Method in class slime.editor.Editor

Return the current selected ESFC of this editor or null if no ESFC is selected.

getFont() - Method in class slime.editor.ESFC

Returns the font used by this ESFC.

getGuardPositions() - Method in class slime.editor.ESFC

Returns the guard positions represented by a hashtable.

getItemFromList(LinkedList, String) - Method in class slime.editor.Editor

getList() - Method in class slime.editor.ScrollList

Returns the list of this scroll list.

getMessage() - Method in class slime.checks.CheckException

access the message of the exception

getMessage() - Method in class slime.checks.Typecheck.IncompleteDeclaration

getMessage() - Method in class slime.checks.Typecheck.MissingType

getMessage() - Method in class slime.checks.Typecheck.NoUsertype

getMessage() - Method in class slime.checks.Typecheck.NonuniqueDeclaration

getMessage() - Method in class slime.checks.Typecheck.TypeMismatch

getMessage() - Method in class slime.checks.Typecheck.TypecheckException

getMessage() - Method in class slime.checks.Typecheck.UnbooleanGuard

getMessage() - Method in class slime.checks.Typecheck.UndeclaredVariable

getMessage() - Method in class slime.checks.Wellformed.WException

getNumberOfSourceSteps() - Method in class slime.editor.ESFC

Returns the number of steps which are marked as source.

getNumberOfTargetSteps() - Method in class slime.editor.ESFC

Returns the number of steps which are marked as target.

getPosition(int) - Method in class slime.editor.ESFC

Returns the positon of the i-th step in the step list.

getPossibleActions() - Method in class slime.simulator.SimSFC

getSFC() - Method in class slime.editor.ESFC

Returns the SFC of this ESFC.

getSFC() - Method in class slime.sfcparser.Absfc2SFCConverter

getSFC returns the generated SFC-Object

getSUID() - Static method in class slime.absynt.absfc.Version

getScrollList() - Method in class slime.editor.ScrollList

Returns the scroll pane for this scroll list.

getSelectedIndices() - Method in class slime.editor.ScrollList

Returns the selected indices of this list.

getSelectedObject() - Method in class slime.editor.ESFC

Returns the selected Object of this SFC.

getSelectedSFC() - Method in class slime.editor.Editor

Returns the actual SFC used by the editor or null if no SFC is selected.

getSelectedValues() - Method in class slime.editor.ScrollList

Returns the selected valus of this list.

getSimulatorActive() - Method in class slime.editor.Editor

getSourceSteps() - Method in class slime.editor.ESFC

Returns a list steps which are marked as source.

getStep(int) - Method in class slime.editor.ESFC

Returns the i-th step of the step list.

getTargetSteps() - Method in class slime.editor.ESFC

Returns a list steps which are marked as target.

getTitledBorder(String) - Method in class slime.editor.Editor

Returns a titled border with the given name.

getTransition(int) - Method in class slime.editor.ESFC

Returns the i-th transition of the transition list.

getVersion() - Static method in class slime.absynt.absfc.Version

getWidth(Step) - Static method in class slime.editor.ESFC

Returns the width of the name-box of the given step.

getWidthOfActionList(LinkedList) - Static method in class slime.editor.ESFC

guard - Variable in class slime.absynt.Transition

H

HIGHLIGHT_COLOR - Static variable in class slime.editor.Editor

hascontent - Variable in class slime.absynt.absfc.Absfc

hasvalue - Variable in class slime.absynt.absfc.StmtDecl

highlight(Object, Color) - Method in class slime.editor.ESFC

Highlights the given object by setting the color value in the color hashtable for this object.

highlight(Object) - Method in class slime.editor.Editor

Highlights the given object iff it is part of a SFC.

I

InputAction - class slime.absynt.InputAction.

Class for sfc input actions.

InputAction(String, Variable, Expr) - Constructor for class slime.absynt.InputAction

IntType - class slime.absynt.IntType.

Type for integers (the name ``Int'' is already used by Java, of course).

IntType() - Constructor for class slime.absynt.IntType

ifdepth - Variable in class slime.absynt.absfc.StmtIf

ifelsedepth - Variable in class slime.absynt.absfc.StmtIfElse

ifstmtlist - Variable in class slime.absynt.absfc.StmtIfElse

inputvar - Variable in class slime.absynt.Variable

inputvar - Variable in class slime.editor.ESFC

internalActionList - Variable in class slime.absynt.absfc.Process

internalDeclarationList - Variable in class slime.absynt.absfc.Process

internalStepList - Variable in class slime.absynt.absfc.Process

internalTransitionList - Variable in class slime.absynt.absfc.Process

isChecked() - Method in class slime.editor.ESFC

Returns true if the SFC is cheched.

isLayouted() - Method in class slime.editor.ESFC

Returns true if the SFC is layouted.

isSourceStep(Step) - Method in class slime.editor.ESFC

Returns true if the given step is a source step.

isTargetStep(Step) - Method in class slime.editor.ESFC

Returns true if the given step is a target step.

isexpr - Variable in class slime.absynt.absfc.StmtDecl

istep - Variable in class slime.absynt.SFC

K

keyPressed(KeyEvent) - Method in class slime.editor.DrawBoard

keyReleased(KeyEvent) - Method in class slime.editor.DrawBoard

keyTyped(KeyEvent) - Method in class slime.editor.DrawBoard

keys() - Method in class slime.checks.Typecheck.TEnv

L

LEQ - Static variable in class slime.absynt.Expr

LESS - Static variable in class slime.absynt.Expr

Layouter - class slime.layout.Layouter.

For the Slime project of the Fortgeschrittenen-Praktikum.

left_expr - Variable in class slime.absynt.B_expr

lookup(String) - Method in class slime.checks.Typecheck.TEnv

M

MINUS - Static variable in class slime.absynt.Expr

MOD - Static variable in class slime.absynt.Expr

Main - class slime.Main.

Top-level file for the Slime project of the Fortgeschrittenen-Praktikum.

Main - class slime.simulator.Main.

some description Bla

Main() - Constructor for class slime.simulator.Main

MenuAndStatePanel - class slime.editor.MenuAndStatePanel.

An object of this class represents a part of the editor display.

MenuAndStatePanel(Editor) - Constructor for class slime.editor.MenuAndStatePanel

Constructs a JPanel for an editor with several buttons and a status message line.

main(String[]) - Static method in class slime.Main

main(String[]) - Static method in class slime.checks.tests.TypecheckTest

main(String[]) - Static method in class slime.checks.tests.WellformedTest

main(String[]) - Static method in class slime.editor.EditorInFrame

main(String[]) - Static method in class slime.sfcparser.ParserTest

main(String[]) - Static method in class slime.simulator.Main

main(String[]) - Static method in class slime.utils.PpExample

main(String[]) - Static method in class slime.utils.TestParser

main method to call from commandline

message - Variable in class slime.checks.CheckException

contains exception message

mouseClicked(MouseEvent) - Method in class slime.editor.ActionListListener

mouseClicked(MouseEvent) - Method in class slime.editor.DeclarationListListener

mouseClicked(MouseEvent) - Method in class slime.editor.DrawBoard

mouseDragged(MouseEvent) - Method in class slime.editor.DrawBoard

mouseEntered(MouseEvent) - Method in class slime.editor.ActionListListener

mouseEntered(MouseEvent) - Method in class slime.editor.DeclarationListListener

mouseEntered(MouseEvent) - Method in class slime.editor.DrawBoard

mouseExited(MouseEvent) - Method in class slime.editor.ActionListListener

mouseExited(MouseEvent) - Method in class slime.editor.DeclarationListListener

mouseExited(MouseEvent) - Method in class slime.editor.DrawBoard

mouseMoved(MouseEvent) - Method in class slime.editor.DrawBoard

mousePressed(MouseEvent) - Method in class slime.editor.ActionListListener

mousePressed(MouseEvent) - Method in class slime.editor.DeclarationListListener

mousePressed(MouseEvent) - Method in class slime.editor.DrawBoard

mouseReleased(MouseEvent) - Method in class slime.editor.ActionListListener

mouseReleased(MouseEvent) - Method in class slime.editor.DeclarationListListener

mouseReleased(MouseEvent) - Method in class slime.editor.DrawBoard

N

NEG - Static variable in class slime.absynt.Expr

NEQ - Static variable in class slime.absynt.Expr

NORM_COLUMN - Static variable in class slime.sfcparser.PrettyPrint4Absfc

NORM_COLUMN - Static variable in class slime.utils.PrettyPrint

NORM_TAB - Static variable in class slime.sfcparser.PrettyPrint4Absfc

NORM_TAB - Static variable in class slime.utils.PrettyPrint

Nqual - class slime.absynt.Nqual.

Nqual() - Constructor for class slime.absynt.Nqual

name - Variable in class slime.absynt.SFC

name - Variable in class slime.absynt.Step

name - Variable in class slime.absynt.Variable

name - Variable in class slime.absynt.absfc.Process

nodetype - Variable in class slime.absynt.absfc.Absfc

O

OR - Static variable in class slime.absynt.Expr

OutputAction - class slime.absynt.OutputAction.

Class for sfc output actions.

OutputAction(String, Variable, Expr) - Constructor for class slime.absynt.OutputAction

op - Variable in class slime.absynt.B_expr

op - Variable in class slime.absynt.U_expr

output(Transition) - Static method in class slime.editor.ESFC

output(Action) - Static method in class slime.editor.ESFC

output(StepAction) - Static method in class slime.editor.ESFC

output(ActionQualifier) - Static method in class slime.editor.ESFC

output(Step) - Static method in class slime.editor.ESFC

output(Declaration) - Static method in class slime.editor.ESFC

output(Skip) - Static method in class slime.editor.ESFC

output(Stmt) - Static method in class slime.editor.ESFC

output(Variable) - Static method in class slime.editor.ESFC

output(Assign) - Static method in class slime.editor.ESFC

output(B_expr) - Static method in class slime.editor.ESFC

output(Expr) - Static method in class slime.editor.ESFC

output(U_expr) - Static method in class slime.editor.ESFC

output(Constval) - Static method in class slime.editor.ESFC

output(Type) - Static method in class slime.editor.ESFC

outputfilename - Variable in class slime.sfcparser.Absfc2SFCConverter

used for output if viewOutputOnStdOut is false

outputvar - Variable in class slime.absynt.Variable

outputvar - Variable in class slime.editor.ESFC

P

PLUS - Static variable in class slime.absynt.Expr

POW - Static variable in class slime.absynt.Expr

ParseException - exception slime.utils.ParseException.

Exception-Class for to report back parse-errors.

ParserTest - class slime.sfcparser.ParserTest.

ParserTest
for testing the SFCParser class in commandline
mode with ASCII SFC-formated files or short sfc expressions

ParserTest() - Constructor for class slime.sfcparser.ParserTest

Position - class slime.absynt.Position.

A class to store 2-dimensional positioning information.

Position(float, float) - Constructor for class slime.absynt.Position

Position() - Constructor for class slime.absynt.Position

PpExample - class slime.utils.PpExample.

Example showing the use of the pretty printer

PpExample() - Constructor for class slime.utils.PpExample

PrettyPrint - class slime.utils.PrettyPrint.

Pretty printer for SFC's

PrettyPrint() - Constructor for class slime.utils.PrettyPrint

PrettyPrint4Absfc - class slime.sfcparser.PrettyPrint4Absfc.

PrettyPrint4Absfc() - Constructor for class slime.sfcparser.PrettyPrint4Absfc

Process - class slime.absynt.absfc.Process.

Process Class for abstract SFC tree

Process(String, LinkedList) - Constructor for class slime.absynt.absfc.Process

Process(String) - Constructor for class slime.absynt.absfc.Process

Process() - Constructor for class slime.absynt.absfc.Process

paint(Graphics) - Method in class slime.Main

paint(Graphics) - Method in class slime.editor.DrawBoard

This method updates the size of this DrawBoard and paints the sfc with a SFCPainter.

paint(Graphics) - Method in class slime.editor.EditorInFrame

paint(Graphics) - Method in class slime.layout.Layouter

For testing only! Will be removed in the final version of this package.

paintSFC(Graphics) - Method in class slime.editor.SFCPainter

Paints the sfc on the given Graphics object.

perform(String) - Method in class slime.simulator.SimSFC

pos - Variable in class slime.absynt.Absynt

pos - Variable in class slime.absynt.Step

position_sfc(SFC) - Static method in class slime.layout.Layouter

This method applies a graphical layout algorithm on the given sfc.

print(Absynt) - Static method in class slime.editor.ESFC

print(Absynt) - Method in class slime.sfcparser.PrettyPrint4Absfc

print(Absynt) - Method in class slime.utils.PrettyPrint

public print method for pretty printing.

print(Type) - Method in class slime.utils.PrettyPrint

printExpession(LinkedList) - Method in class slime.sfcparser.PrettyPrint4Absfc

printExpession(LinkedList) - Method in class slime.utils.PrettyPrint

printSAP(LinkedList) - Method in class slime.utils.PrettyPrint

printStmts(LinkedList) - Method in class slime.sfcparser.PrettyPrint4Absfc

procActionCounter - Variable in class slime.sfcparser.Absfc2SFCConverter

for enumberating declarations in processes

procCnt - Variable in class slime.absynt.absfc.SFCabtree

procDeclarationCounter - Variable in class slime.sfcparser.Absfc2SFCConverter

for enumberating statements in processes

procProcessCounter - Variable in class slime.sfcparser.Absfc2SFCConverter

for enumberating actions in processes

procStatementCounter - Variable in class slime.sfcparser.Absfc2SFCConverter

for enumberating transitions in processes

procStepCounter - Variable in class slime.sfcparser.Absfc2SFCConverter

for enumberating actions

procTransitionCounter - Variable in class slime.sfcparser.Absfc2SFCConverter

for enumberating steps in processes

procdepth - Variable in class slime.absynt.absfc.Process

procdepth - Variable in class slime.absynt.absfc.StmtJoin

procdepth - Variable in class slime.absynt.absfc.StmtSplit

processCounter - Variable in class slime.sfcparser.Absfc2SFCConverter

for enumberating processes in processes

processed - Variable in class slime.absynt.absfc.Absfc

proclist - Variable in class slime.absynt.absfc.SFCabtree

proclist - Variable in class slime.absynt.absfc.StmtJoin

proclist - Variable in class slime.absynt.absfc.StmtSplit

Q

qualifier - Variable in class slime.absynt.StepAction

R

reactOnChangeOfAction() - Method in class slime.editor.Editor

reactOnChangeOfDeclaration() - Method in class slime.editor.Editor

read() - Method in class slime.simulator.SimSFC

remove(ESFC) - Method in class slime.editor.ESFCList

Removes the given ESFC from this eSFCList.

removeList() - Method in class slime.editor.ScrollList

Sets this list to an empty list.

removeSourceStep(Step) - Method in class slime.editor.ESFC

Removes the given step from the sourcelist.

removeStep(Step) - Method in class slime.editor.ESFC

Removes the given step from this SFC and all transitions which are connected to this step.

removeTargetStep(Step) - Method in class slime.editor.ESFC

Removes the given step from the targetlist.

removeTransition(Transition) - Method in class slime.editor.ESFC

Removes the given transition.

renderVersion() - Static method in class slime.absynt.absfc.Version

repeatdepth - Variable in class slime.absynt.absfc.StmtRepeat

right_expr - Variable in class slime.absynt.B_expr

S

SELECTABLE_COLOR - Static variable in class slime.editor.Editor

SFC - class slime.absynt.SFC.

SFC.java Class for sfc-programs, the top level syntactic construct, i.e., the entry point.

SFC(Step, LinkedList, LinkedList, LinkedList, LinkedList) - Constructor for class slime.absynt.SFC

Constructor just stores the arguments into the fields

SFC(Step, LinkedList, LinkedList, LinkedList, LinkedList, String) - Constructor for class slime.absynt.SFC

SFC() - Constructor for class slime.absynt.SFC

Constructor creates empty LinkedLists

SFC(String) - Constructor for class slime.absynt.SFC

SFCPainter - class slime.editor.SFCPainter.

An object of this class is used to paint a sfc on an Graphics object.

SFCPainter(ESFC) - Constructor for class slime.editor.SFCPainter

Constructs a painter for the given ESFC.

SFCParseException - exception slime.sfcparser.SFCParseException.

SFCParserException-Class
- returns standard, user-specified or predefined
SFCParseException with the errortype as
exception message
- awfully it is not possible (without modifying java_cup source
this is currently not our tasks) to override the report_error,
report_fatal_error,...

SFCabtree - class slime.absynt.absfc.SFCabtree.

SFCabtree.java Class for an (abstract sfc)-tree, the top level syntactic construct, i.e., the entry point.

SFCabtree(String, LinkedList) - Constructor for class slime.absynt.absfc.SFCabtree

Constructor just stores the arguments into the fields

SFCabtree() - Constructor for class slime.absynt.absfc.SFCabtree

Constructor creates empty LinkedLists

ScrollList - class slime.editor.ScrollList.

For the Slime project of the Fortgeschrittenen-Praktikum.

ScrollList(Color) - Constructor for class slime.editor.ScrollList

Constructs a scroll list with an empty list.

ScrollList(Color, LinkedList) - Constructor for class slime.editor.ScrollList

Constructs a scroll list with the given list.

ScrollList(Color, String) - Constructor for class slime.editor.ScrollList

Constructs a scroll list with the given list and a button with the given name.

SimSFC - class slime.simulator.SimSFC.

some description Bla

Simulator - class slime.simulator.Simulator.

some description Bla

Simulator(Editor) - Constructor for class slime.simulator.Simulator

Skip - class slime.absynt.Skip.

A skip statement as part of the simple assignement language

Skip() - Constructor for class slime.absynt.Skip

Statement - class slime.absynt.absfc.Statement.

Statements for (abstract SFC tree).

Statement() - Constructor for class slime.absynt.absfc.Statement

Step - class slime.absynt.Step.

A step of a Slime-program.

Step(String) - Constructor for class slime.absynt.Step

Step(String, LinkedList) - Constructor for class slime.absynt.Step

Step(String, LinkedList, Position) - Constructor for class slime.absynt.Step

StepAction - class slime.absynt.StepAction.

Class for sfc actions associated with a step.

StepAction(ActionQualifier, String) - Constructor for class slime.absynt.StepAction

Stmt - class slime.absynt.Stmt.

Visitor acceptor

Stmt() - Constructor for class slime.absynt.Stmt

StmtAssign - class slime.absynt.absfc.StmtAssign.

An assignment-statement in the Abstract SFC tree

StmtAssign(Variable, Expr) - Constructor for class slime.absynt.absfc.StmtAssign

StmtAssign() - Constructor for class slime.absynt.absfc.StmtAssign

StmtDecl - class slime.absynt.absfc.StmtDecl.

Declaration of a variables within the abstract sfc tree.

StmtDecl(Variable, Type, Constval) - Constructor for class slime.absynt.absfc.StmtDecl

StmtDecl(Variable, Type, B_expr) - Constructor for class slime.absynt.absfc.StmtDecl

StmtDecl(Variable, Type, U_expr) - Constructor for class slime.absynt.absfc.StmtDecl

StmtDecl(Variable, Type, Expr) - Constructor for class slime.absynt.absfc.StmtDecl

StmtDecl(Variable, Type) - Constructor for class slime.absynt.absfc.StmtDecl

StmtDecl() - Constructor for class slime.absynt.absfc.StmtDecl

StmtFor - class slime.absynt.absfc.StmtFor.

Class for for-statements.

StmtFor(Type, Variable, Expr, Expr, Statement, LinkedList) - Constructor for class slime.absynt.absfc.StmtFor

StmtFor(Variable, Expr, Expr, Statement, LinkedList) - Constructor for class slime.absynt.absfc.StmtFor

StmtFor(Variable, Expr, Expr, LinkedList) - Constructor for class slime.absynt.absfc.StmtFor

StmtFor(LinkedList) - Constructor for class slime.absynt.absfc.StmtFor

StmtIf - class slime.absynt.absfc.StmtIf.

Class for if-statements.

StmtIf(Expr, LinkedList, int) - Constructor for class slime.absynt.absfc.StmtIf

StmtIf(Expr, LinkedList) - Constructor for class slime.absynt.absfc.StmtIf

StmtIf() - Constructor for class slime.absynt.absfc.StmtIf

StmtIfElse - class slime.absynt.absfc.StmtIfElse.

Class for if-else-statements.

StmtIfElse(Expr, LinkedList, LinkedList, int) - Constructor for class slime.absynt.absfc.StmtIfElse

StmtIfElse(Expr, LinkedList, LinkedList) - Constructor for class slime.absynt.absfc.StmtIfElse

StmtIfElse(Expr, LinkedList) - Constructor for class slime.absynt.absfc.StmtIfElse

StmtIfElse(Expr) - Constructor for class slime.absynt.absfc.StmtIfElse

StmtIfElse() - Constructor for class slime.absynt.absfc.StmtIfElse

StmtInput - class slime.absynt.absfc.StmtInput.

Class for input-statements.

StmtInput(Variable, Expr) - Constructor for class slime.absynt.absfc.StmtInput

StmtInput() - Constructor for class slime.absynt.absfc.StmtInput

StmtJoin - class slime.absynt.absfc.StmtJoin.

Join Assignment for abstract SFC tree

StmtJoin(LinkedList, int) - Constructor for class slime.absynt.absfc.StmtJoin

StmtJoin(LinkedList) - Constructor for class slime.absynt.absfc.StmtJoin

StmtJoin() - Constructor for class slime.absynt.absfc.StmtJoin

StmtOutput - class slime.absynt.absfc.StmtOutput.

Class for output-statements.

StmtOutput(Variable, Expr) - Constructor for class slime.absynt.absfc.StmtOutput

StmtOutput() - Constructor for class slime.absynt.absfc.StmtOutput

StmtPostDec - class slime.absynt.absfc.StmtPostDec.

An increment-statement, that is postevaluated in the Abstract SFC tree

StmtPostDec(Variable) - Constructor for class slime.absynt.absfc.StmtPostDec

StmtPostDec() - Constructor for class slime.absynt.absfc.StmtPostDec

StmtPostInc - class slime.absynt.absfc.StmtPostInc.

An increment-statement, that is postevaluated in the Abstract SFC tree

StmtPostInc(Variable) - Constructor for class slime.absynt.absfc.StmtPostInc

StmtPostInc() - Constructor for class slime.absynt.absfc.StmtPostInc

StmtPreDec - class slime.absynt.absfc.StmtPreDec.

An increment-statement, that is postevaluated in the Abstract SFC tree

StmtPreDec(Variable) - Constructor for class slime.absynt.absfc.StmtPreDec

StmtPreDec() - Constructor for class slime.absynt.absfc.StmtPreDec

StmtPreInc - class slime.absynt.absfc.StmtPreInc.

An increment-statement, that is postevaluated in the Abstract SFC tree

StmtPreInc(Variable) - Constructor for class slime.absynt.absfc.StmtPreInc

StmtPreInc() - Constructor for class slime.absynt.absfc.StmtPreInc

StmtRepeat - class slime.absynt.absfc.StmtRepeat.

Class for repeat-statements.

StmtRepeat(Expr, LinkedList, int) - Constructor for class slime.absynt.absfc.StmtRepeat

StmtRepeat(Expr, LinkedList) - Constructor for class slime.absynt.absfc.StmtRepeat

StmtRepeat() - Constructor for class slime.absynt.absfc.StmtRepeat

StmtSplit - class slime.absynt.absfc.StmtSplit.

Split Assignment for abstract SFC tree

StmtSplit(LinkedList, int) - Constructor for class slime.absynt.absfc.StmtSplit

StmtSplit(LinkedList) - Constructor for class slime.absynt.absfc.StmtSplit

StmtSplit() - Constructor for class slime.absynt.absfc.StmtSplit

StmtWhile - class slime.absynt.absfc.StmtWhile.

Class for while-statements.

StmtWhile(Expr, LinkedList, int) - Constructor for class slime.absynt.absfc.StmtWhile

StmtWhile(Expr, LinkedList) - Constructor for class slime.absynt.absfc.StmtWhile

StmtWhile() - Constructor for class slime.absynt.absfc.StmtWhile

sap - Variable in class slime.absynt.Action

setChecked(boolean) - Method in class slime.editor.ESFC

Marks this ESFC as checked or unchecked.

setDrawBoard(DrawBoard) - Method in class slime.editor.ESFC

Sets the DrawBoard for this ESFC.

setGuardPositions(Hashtable) - Method in class slime.editor.ESFC

Sets the guard positions using the transition as key and a Position object as value.

setLayouted(boolean) - Method in class slime.editor.ESFC

Marks this ESFC as layouted or not layouted.

setList(LinkedList) - Method in class slime.editor.ScrollList

setMode(String) - Method in class slime.editor.MenuAndStatePanel

setSelectedIndices(int[]) - Method in class slime.editor.ScrollList

Selects the the given indices in this list.

setSelectedObject(Object) - Method in class slime.editor.ESFC

Selects the given objekt of this SFC.

setSelectionMode(int) - Method in class slime.editor.ScrollList

Sets the selection mode of this list.

setSimulatorActive(boolean) - Method in class slime.editor.Editor

setStatusMessage(String) - Method in class slime.editor.MenuAndStatePanel

Writes the given message into the status message line.

setVersion(String) - Static method in class slime.absynt.absfc.Version

sfcprogname - Variable in class slime.absynt.absfc.SFCabtree

size() - Method in class slime.editor.ESFCList

slime - package slime

slime.absynt - package slime.absynt

slime.absynt.absfc - package slime.absynt.absfc

slime.checks - package slime.checks

slime.checks.tests - package slime.checks.tests

slime.editor - package slime.editor

slime.layout - package slime.layout

slime.sfcparser - package slime.sfcparser

slime.simulator - package slime.simulator

slime.utils - package slime.utils

source - Variable in class slime.absynt.Transition

start() - Method in class slime.simulator.SimSFC

start_step - Variable in class slime.absynt.absfc.Absfc

for easier processing of the SFCabtree

stateChanged(ChangeEvent) - Method in class slime.editor.Editor

stateChanged(ChangeEvent) - Method in class slime.simulator.Simulator

statementCounter - Variable in class slime.sfcparser.Absfc2SFCConverter

for enumberating transitions

stepCounter - Variable in class slime.sfcparser.Absfc2SFCConverter

steps - Variable in class slime.absynt.SFC

stmt - Variable in class slime.absynt.absfc.StmtFor

stmtCnt - Variable in class slime.absynt.absfc.SFCabtree

stmt_trans - Variable in class slime.absynt.absfc.Absfc

end step within sfc

stmtlist - Variable in class slime.absynt.absfc.Process

stmtlist - Variable in class slime.absynt.absfc.SFCabtree

stmtlist - Variable in class slime.absynt.absfc.StmtFor

stmtlist - Variable in class slime.absynt.absfc.StmtIf

stmtlist - Variable in class slime.absynt.absfc.StmtRepeat

stmtlist - Variable in class slime.absynt.absfc.StmtWhile

sub_expr - Variable in class slime.absynt.U_expr

T

TIMES - Static variable in class slime.absynt.Expr

TRANSITIONS - Static variable in class slime.simulator.SimSFC

Test - class slime.simulator.Test.

This class is a simple test wrapper for the simulator for the common example.

Test() - Constructor for class slime.simulator.Test

TestExpressions - class slime.checks.tests.TestExpressions.

Test expression This is just a list of string expressions that can be iterated through for testing.

TestParser - class slime.utils.TestParser.

Standalone file to test the parser on input files

TestParser() - Constructor for class slime.utils.TestParser

Transition - class slime.absynt.Transition.

A transition of an SFC connects source and target step and is labelled with a guard.

Transition(LinkedList, Expr, LinkedList) - Constructor for class slime.absynt.Transition

Transition(LinkedList, LinkedList) - Constructor for class slime.absynt.Transition

Type - class slime.absynt.Type.

Types for the assignement language of Slime, with the concrete types as subclasses.

Type() - Constructor for class slime.absynt.Type

Typecheck - class slime.checks.Typecheck.

Type checker for Slime programs

Typecheck() - Constructor for class slime.checks.Typecheck

Typecheck.IncompleteDeclaration - exception slime.checks.Typecheck.IncompleteDeclaration.

Typecheck.IncompleteDeclaration() - Constructor for class slime.checks.Typecheck.IncompleteDeclaration

Typecheck.MissingType - exception slime.checks.Typecheck.MissingType.

Typecheck.MissingType() - Constructor for class slime.checks.Typecheck.MissingType

Typecheck.NoUsertype - exception slime.checks.Typecheck.NoUsertype.

Typecheck.NoUsertype(String) - Constructor for class slime.checks.Typecheck.NoUsertype

Typecheck.NonuniqueDeclaration - exception slime.checks.Typecheck.NonuniqueDeclaration.

Typecheck.NonuniqueDeclaration(String) - Constructor for class slime.checks.Typecheck.NonuniqueDeclaration

Typecheck.TEnv - class slime.checks.Typecheck.TEnv.

The environment for type checking contains the association of variables to types.

Typecheck.TEnv() - Constructor for class slime.checks.Typecheck.TEnv

Typecheck.TypeMismatch - exception slime.checks.Typecheck.TypeMismatch.

Typecheck.TypeMismatch() - Constructor for class slime.checks.Typecheck.TypeMismatch

Typecheck.TypecheckException - exception slime.checks.Typecheck.TypecheckException.

General, non-specific exception when doing type checking.

Typecheck.TypecheckException() - Constructor for class slime.checks.Typecheck.TypecheckException

Typecheck.UnbooleanGuard - exception slime.checks.Typecheck.UnbooleanGuard.

Typecheck.UnbooleanGuard() - Constructor for class slime.checks.Typecheck.UnbooleanGuard

Typecheck.UndeclaredVariable - exception slime.checks.Typecheck.UndeclaredVariable.

TypecheckTest - class slime.checks.tests.TypecheckTest.

TypecheckTest A little testing of the typechecker, using the parser code ``recycled'' from sfcparser.ParserTest.java

TypecheckTest() - Constructor for class slime.checks.tests.TypecheckTest

target - Variable in class slime.absynt.Transition

toString() - Method in class slime.absynt.absfc.Process

toString() - Method in class slime.absynt.absfc.SFCabtree

toString() - Method in class slime.absynt.absfc.StmtAssign

toString() - Method in class slime.absynt.absfc.StmtDecl

toString() - Method in class slime.absynt.absfc.StmtFor

toString() - Method in class slime.absynt.absfc.StmtIf

toString() - Method in class slime.absynt.absfc.StmtIfElse

toString() - Method in class slime.absynt.absfc.StmtInput

toString() - Method in class slime.absynt.absfc.StmtJoin

toString() - Method in class slime.absynt.absfc.StmtOutput

toString() - Method in class slime.absynt.absfc.StmtPostDec

toString() - Method in class slime.absynt.absfc.StmtPostInc

toString() - Method in class slime.absynt.absfc.StmtPreDec

toString() - Method in class slime.absynt.absfc.StmtPreInc

toString() - Method in class slime.absynt.absfc.StmtRepeat

toString() - Method in class slime.absynt.absfc.StmtSplit

toString() - Method in class slime.absynt.absfc.StmtWhile

toString() - Method in class slime.absynt.absfc.Version

toString() - Method in class slime.simulator.SimSFC

toggleMode(int) - Method in class slime.editor.Editor

toggleMode() - Method in class slime.editor.Editor

transitionCounter - Variable in class slime.sfcparser.Absfc2SFCConverter

for enumberating steps

translatePosition(Position, float, float) - Method in class slime.editor.DrawBoard

transs - Variable in class slime.absynt.SFC

trueGuard - Variable in class slime.sfcparser.Absfc2SFCConverter

type - Variable in class slime.absynt.Declaration

type - Variable in class slime.absynt.Expr

type - Variable in class slime.absynt.Variable

type - Variable in class slime.absynt.absfc.StmtDecl

U

U_expr - class slime.absynt.U_expr.

Unary expressions

U_expr(int, Expr) - Constructor for class slime.absynt.U_expr

UndefType - class slime.absynt.UndefType.

``Type'' to denote absence of type information.

UndefType() - Constructor for class slime.absynt.UndefType

UnitType - class slime.absynt.UnitType.

Type for well-type program side-effect constructs.

UnitType() - Constructor for class slime.absynt.UnitType

unuseable() - Method in class slime.editor.ScrollList

Disables this list by disabling this button.

updateActions() - Method in class slime.editor.ESFC

Do not look at runtime complexity :-(

updateWindow() - Method in class slime.editor.Editor

Updates the editors components.

V

Variable - class slime.absynt.Variable.

Variables of the simple assignement language.

Variable(String) - Constructor for class slime.absynt.Variable

Variable(String, Type) - Constructor for class slime.absynt.Variable

Variable(String, boolean, boolean) - Constructor for class slime.absynt.Variable

Version - class slime.absynt.absfc.Version.

Version class to provide serial version for serialized objects of this package.

Version() - Constructor for class slime.absynt.absfc.Version

Version(String) - Constructor for class slime.absynt.absfc.Version

Visitors - class slime.absynt.Visitors.

Visitors for Slime abstract syntax (just for the fun of it)

Visitors() - Constructor for class slime.absynt.Visitors

Visitors.IAction - interface slime.absynt.Visitors.IAction.

Visitors.IActionQualifier - interface slime.absynt.Visitors.IActionQualifier.

Visitors.IDeclaration - interface slime.absynt.Visitors.IDeclaration.

Visitors.IExpr - interface slime.absynt.Visitors.IExpr.

Visitors.ISFC - interface slime.absynt.Visitors.ISFC.

Visitors.IStep - interface slime.absynt.Visitors.IStep.

Visitors.IStepAction - interface slime.absynt.Visitors.IStepAction.

Visitors.IStmt - interface slime.absynt.Visitors.IStmt.

Visitors.ITransition - interface slime.absynt.Visitors.ITransition.

Visitors.IType - interface slime.absynt.Visitors.IType.

val - Variable in class slime.absynt.Assign

val - Variable in class slime.absynt.Constval

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

val - Variable in class slime.absynt.Declaration

val - Variable in class slime.absynt.absfc.StmtAssign

val - Variable in class slime.absynt.absfc.StmtDecl

val - Variable in class slime.absynt.absfc.StmtInput

val - Variable in class slime.absynt.absfc.StmtOutput

var - Variable in class slime.absynt.Assign

var - Variable in class slime.absynt.Declaration

var - Variable in class slime.absynt.absfc.StmtAssign

var - Variable in class slime.absynt.absfc.StmtDecl

var - Variable in class slime.absynt.absfc.StmtFor

var - Variable in class slime.absynt.absfc.StmtInput

var - Variable in class slime.absynt.absfc.StmtOutput

var - Variable in class slime.absynt.absfc.StmtPostDec

var - Variable in class slime.absynt.absfc.StmtPostInc

var - Variable in class slime.absynt.absfc.StmtPreDec

var - Variable in class slime.absynt.absfc.StmtPreInc

varCnt - Variable in class slime.absynt.absfc.SFCabtree

varlist - Variable in class slime.absynt.absfc.SFCabtree

vartype - Variable in class slime.absynt.absfc.StmtFor

viewOutputOnStdOut - Variable in class slime.sfcparser.Absfc2SFCConverter

switch whether output should be shown or redirected to outputfilename

W

Wellformed - class slime.checks.Wellformed.

checking well-formedness for Slime programs

Wellformed() - Constructor for class slime.checks.Wellformed

Wellformed.Consistency - class slime.checks.Wellformed.Consistency.

Inner class for consistency checking.

Wellformed.Consistency() - Constructor for class slime.checks.Wellformed.Consistency

Wellformed.Initcheck - class slime.checks.Wellformed.Initcheck.

Visitor for SFC's, the entry point of the recursion.

Wellformed.Initcheck() - Constructor for class slime.checks.Wellformed.Initcheck

Wellformed.WException - exception slime.checks.Wellformed.WException.

General, non-specific exception when doing wellformed checking.

Wellformed.WException() - Constructor for class slime.checks.Wellformed.WException

Wellformed.WException(String) - Constructor for class slime.checks.Wellformed.WException

WellformedTest - class slime.checks.tests.WellformedTest.

WellformedTest A little testing of the wellformedness checker, using the parser

WellformedTest() - Constructor for class slime.checks.tests.WellformedTest

whiledepth - Variable in class slime.absynt.absfc.StmtWhile

windowActivated(WindowEvent) - Method in class slime.simulator.Simulator

windowClosed(WindowEvent) - Method in class slime.simulator.Simulator

windowClosing(WindowEvent) - Method in class slime.simulator.Simulator

windowDeactivated(WindowEvent) - Method in class slime.simulator.Simulator

windowDeiconified(WindowEvent) - Method in class slime.simulator.Simulator

windowIconified(WindowEvent) - Method in class slime.simulator.Simulator

windowOpened(WindowEvent) - Method in class slime.simulator.Simulator

X

x - Variable in class slime.absynt.Position

Y

y - Variable in class slime.absynt.Position

A B C D E F G H I K L M N O P Q R S T U V W X Y