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