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

A

a_name - Variable in class absynt.Action
 
a_name - Variable in class absynt.StepAction
 
absynt - package absynt
 
Absynt - class absynt.Absynt.
Abstract class to provide coordinates and locations.
Absynt() - Constructor for class absynt.Absynt
 
accept(File) - Method in class gui.SnotFileFilter
Return true if this file should be shown in the directory pane, false if it shouldn't.
Action - class absynt.Action.
Class for sfc actions.
action_obj - Variable in class io.Parser
Instance of action encapsulation class.
action_table() - Method in class io.Parser
Access to parse-action table.
Action(String, LinkedList) - Constructor for class absynt.Action
 
ActionFailure - exception checks.ActionFailure.
Diese Klasse enth"alt die Spezifikation von ActionFailure
ActionFailure(Action, String) - Constructor for class checks.ActionFailure
 
actionPerformed(ActionEvent) - Method in class editor.Editor
 
actionPerformed(ActionEvent) - Method in class editor.Expression_Parser
 
ActionQualifier - class absynt.ActionQualifier.
ActionQualifier.java
ActionQualifier() - Constructor for class absynt.ActionQualifier
 
actions - Variable in class absynt.SFC
 
actions - Variable in class absynt.Step
 
ACTIONS - Static variable in class io.sym
 
addExtension(String) - Method in class gui.SnotFileFilter
Adds a filetype "dot" extension to filter against.
addProject(Project) - Method in class gui.Session
Adds a Project object to the session.
aligningSFC - Variable in class editor.Editor
 
AND - Static variable in class absynt.Expr
 
AND - Static variable in class io.sym
 
Assign - class absynt.Assign.
An assignment-statement as part of the simple assignment language
ASSIGN - Static variable in class io.sym
 
Assign(Variable, Expr) - Constructor for class absynt.Assign
 

B

B_expr - class absynt.B_expr.
binary expressions
B_expr(Expr, int, Expr) - Constructor for class absynt.B_expr
Constructor in ``infix''-convention.
BEGIN - Static variable in class io.sym
 
bendPos - Variable in class editor.TransAlignInfo
 
BOOL - Static variable in class io.sym
 
BoolException - exception checks.BoolException.
 
BoolException(String) - Constructor for class checks.BoolException
 
BoolType - class absynt.BoolType.
Type for booleans.
BoolType() - Constructor for class absynt.BoolType
 
Bounds - Variable in class editor.StepPosition
 

C

CheckException - exception checks.CheckException.
 
CheckException() - Constructor for class checks.CheckException
 
checks - package checks
 
clearModified() - Method in class editor.Editor
hiermit besteht die M?glichkeit, das Modified-Flag zur?ckzusetzen
clearModified() - Method in class gui.Project
Sets the editor modified flag.
COLON - Static variable in class io.sym
 
COMMA - Static variable in class io.sym
 
Constval - class absynt.Constval.
Constant values as expressions.
Constval(boolean) - Constructor for class absynt.Constval
2 overloaded constructors.
Constval(int) - Constructor for class absynt.Constval
 
contains(double, double) - Method in class editor.PosRect
 
contains(double, double, double, double) - Method in class editor.PosRect
 
createRect2D() - Method in class editor.PosRect
 

D

Declaration - class absynt.Declaration.
Declaration of a variables.
Declaration(Variable, Type, Constval) - Constructor for class absynt.Declaration
 
declist - Variable in class absynt.SFC
 
DecListFailure - exception checks.DecListFailure.
 
DecListFailure(Declaration, String) - Constructor for class checks.DecListFailure
 
deleteSelection() - Method in class editor.Editor
 
deleteStep(Step) - Method in class editor.Editor
 
disposeEditors() - Method in class gui.Session
Shuts down all pending editor frames.
DIV - Static variable in class absynt.Expr
 
DIV - Static variable in class io.sym
 
do_action(int, lr_parser, Stack, int) - Method in class io.Parser
Invoke a user supplied parse action.
DrawSFCPanel - class editor.DrawSFCPanel.
 
DrawSFCPanel(Editor) - Constructor for class editor.DrawSFCPanel
 

E

editor - package editor
 
Editor - class editor.Editor.
Editor - Klasse
Editor.StepIterator - class editor.Editor.StepIterator.
 
Editor.StepIterator(Editor, LinkedList) - Constructor for class editor.Editor.StepIterator
 
Editor.StepLL - class editor.Editor.StepLL.
 
Editor.StepLL(Editor) - Constructor for class editor.Editor.StepLL
 
Editor.StepLL(Editor, LinkedList) - Constructor for class editor.Editor.StepLL
 
Editor.TAInfoIterator - class editor.Editor.TAInfoIterator.
 
Editor.TAInfoIterator(Editor, LinkedList) - Constructor for class editor.Editor.TAInfoIterator
 
Editor.TransAlignInfoLL - class editor.Editor.TransAlignInfoLL.
 
Editor.TransAlignInfoLL(Editor) - Constructor for class editor.Editor.TransAlignInfoLL
 
Editor.TransAlignInfoLL(Editor, LinkedList) - Constructor for class editor.Editor.TransAlignInfoLL
 
Editor.TransIterator - class editor.Editor.TransIterator.
 
Editor.TransIterator(Editor, LinkedList) - Constructor for class editor.Editor.TransIterator
 
Editor.TransLL - class editor.Editor.TransLL.
 
Editor.TransLL(Editor) - Constructor for class editor.Editor.TransLL
 
Editor.TransLL(Editor, LinkedList) - Constructor for class editor.Editor.TransLL
 
Editor(SFC) - Constructor for class editor.Editor
baut ein Editor-Fenster (momentan JFrame-Ableitung) auf.
EditorException - exception editor.EditorException.
 
EditorException() - Constructor for class editor.EditorException
Creates new EditorException without detail message.
EditorException(String) - Constructor for class editor.EditorException
Constructs an EditorException with the specified detail message.
editStepName(Step) - Method in class editor.Editor
 
END - Static variable in class io.sym
 
EOF - Static variable in class io.sym
 
EOF_sym() - Method in class io.Parser
EOF Symbol index.
EQ - Static variable in class absynt.Expr
 
EQ - Static variable in class io.sym
 
error - Static variable in class io.sym
 
error_sym() - Method in class io.Parser
error Symbol index.
Example - class absynt.Example.
The class offers an example for a program int abstract syntax.
Example() - Constructor for class absynt.Example
 
exportSFC(File) - Method in class gui.Project
 
Expr - class absynt.Expr.
Abstract class for simple expressions
Expr() - Constructor for class absynt.Expr
 
Expression_Parser - class editor.Expression_Parser.
 
Expression_Parser(JFrame, SFC) - Constructor for class editor.Expression_Parser
 

F

FALSE - Static variable in class io.sym
 
FROMTO - Static variable in class io.sym
 

G

GEQ - Static variable in class absynt.Expr
 
GEQ - Static variable in class io.sym
 
get__expr() - Method in class editor.Expression_Parser
 
get_Action() - Method in class checks.ActionFailure
 
get_assign() - Method in class editor.Expression_Parser
 
get_canceled() - Method in class editor.Expression_Parser
 
get_Declaration() - Method in class checks.DecListFailure
 
get_expr() - Method in class editor.Expression_Parser
 
get_Index() - Method in class editor.Expression_Parser
 
get_Step() - Method in class checks.StepFailure
 
get_Trans() - Method in class checks.TransitionFailure
 
get_VarAssign() - Method in class editor.Expression_Parser
 
get_VarAssignName() - Method in class editor.Expression_Parser
 
getDescription() - Method in class gui.SnotFileFilter
Returns the human readable description of this filter.
getEditor() - Method in class gui.Project
Retruns the project editor.
getExample1() - Static method in class absynt.Example
 
getExampleStepActionList1() - Static method in class absynt.Example
The following method gives back an example program, containing most constructs of the abstract syntax.
getExtension(File) - Method in class gui.SnotFileFilter
Return the extension portion of the file's name .
getFile() - Method in class gui.Session
Returns the session filename.
getFirstStep() - Method in class editor.Editor.StepLL
 
getFirstTAInfo() - Method in class editor.Editor.TransAlignInfoLL
 
getFirstTrans() - Method in class editor.Editor.TransLL
 
getHeight() - Method in class editor.PosRect
 
getHeightAsFloat() - Method in class editor.PosRect
 
getHeightAsInt() - Method in class editor.PosRect
 
getMaxX() - Method in class editor.PosRect
 
getMaxXAsFloat() - Method in class editor.PosRect
 
getMaxXAsInt() - Method in class editor.PosRect
 
getMaxY() - Method in class editor.PosRect
 
getMaxYAsFloat() - Method in class editor.PosRect
 
getMaxYAsInt() - Method in class editor.PosRect
 
getMessage() - Method in class checks.CheckException
 
getMidX() - Method in class editor.PosRect
 
getMidXAsFloat() - Method in class editor.PosRect
 
getMidXAsInt() - Method in class editor.PosRect
 
getMidY() - Method in class editor.PosRect
 
getMidYAsFloat() - Method in class editor.PosRect
 
getMidYAsInt() - Method in class editor.PosRect
 
getMinX() - Method in class editor.PosRect
 
getMinXAsFloat() - Method in class editor.PosRect
 
getMinXAsInt() - Method in class editor.PosRect
 
getMinY() - Method in class editor.PosRect
 
getMinYAsFloat() - Method in class editor.PosRect
 
getMinYAsInt() - Method in class editor.PosRect
 
getName() - Method in class gui.Project
Retruns the project name.
getName() - Method in class gui.Session
Returns the session name.
getNamesList() - Method in class gui.Session
 
getProject(Object) - Method in class gui.Session
Returns the corresponding Project object.
getProjectList() - Method in class gui.Session
to get the projectvector to display the list
getSFC() - Method in class editor.Editor
 
getSFC() - Method in class gui.Project
Retruns the project SFC.
getStep(int) - Method in class editor.Editor.StepLL
 
getTAInfo(int) - Method in class editor.Editor.TransAlignInfoLL
 
getTrans(int) - Method in class editor.Editor.TransLL
 
GetVar(Variable) - Method in class simulator.Simulator.State
 
getWidth() - Method in class editor.PosRect
 
getWidthAsFloat() - Method in class editor.PosRect
 
getWidthAsInt() - Method in class editor.PosRect
 
GREATER - Static variable in class absynt.Expr
 
GREATER - Static variable in class io.sym
 
guard - Variable in class absynt.Transition
 
gui - package gui
 
Gui - class gui.Gui.
The GUI!
Gui(Session) - Constructor for class gui.Gui
Creates new form Gui

H

hasEditor() - Method in class gui.Project
 
highlight_state(Absynt, boolean) - Method in class editor.Editor
setzt den Highlight-Status eines Absynt-Elements -
HILIGHT_OFF - Variable in class editor.Editor
Konstante zum Highlight ausschalten
HILIGHT_ON - Variable in class editor.Editor
Konstante zum Highlight einschalten

I

IDENT - Static variable in class io.sym
 
importSFC(File) - Static method in class gui.Project
The import sfc routine
INIT - Static variable in class io.sym
 
init_actions() - Method in class io.Parser
Action encapsulation object initializer.
Initialize() - Method in class simulator.Simulator
Bringt den Simulator in den Anfangszustand
INSERT_STEP - Static variable in class editor.Editor
 
INSERT_TRANS1 - Static variable in class editor.Editor
 
INSERT_TRANS2 - Static variable in class editor.Editor
 
insertSourceStep(Step, LinkedList, LinkedList) - Method in class editor.TransAlignInfo
 
INT - Static variable in class io.sym
 
INTEGER - Static variable in class io.sym
 
IntType - class absynt.IntType.
Type for integers (the name ``Int'' is already used by Java, of course).
IntType() - Constructor for class absynt.IntType
 
io - package io
 
isChecked() - Method in class gui.Project
Return the projet checked flag.
isEmpty() - Method in class editor.PosRect
 
isEmpty() - Method in class editor.TransAlignInfo
 
isEmpty() - Method in class gui.Session
 
isExtensionListInDescription() - Method in class gui.SnotFileFilter
Returns whether the extension list (.jpg, .gif, etc) should show up in the human readable description.
isModified() - Method in class editor.Editor
gibt an, ob der SFC (seit dem letzten Speichern/Laden) ge?ndert wurde
isModified() - Method in class gui.Project
Returns the editor modified flag.
isModified() - Method in class gui.Session
Returns the modified flag.
isNamed() - Method in class gui.Project
 
isOnlyBool() - Method in class gui.Project
Returns the project isOnlyBool flag.
isOnlyBool(SFC) - Static method in class checks.Snotcheck
Diese Funktion prueft, ob nur boolsche Variablen vorkommen.
isSaved() - Method in class gui.Session
Returns the saved flag of a session.
isStepNameHit(Step, double, double) - Method in class editor.Editor
 
istep - Variable in class absynt.SFC
 
IStepException - exception checks.IStepException.
 
IStepException(String) - Constructor for class checks.IStepException
 
isWellDefined(SFC) - Static method in class checks.Snotcheck
Diese Funktion prueft, ob der angegebene SFC korrekt ist

L

LBRACKET - Static variable in class io.sym
 
left_expr - Variable in class absynt.B_expr
 
LEQ - Static variable in class absynt.Expr
 
LEQ - Static variable in class io.sym
 
LESS - Static variable in class absynt.Expr
 
LESS - Static variable in class io.sym
 
LPAREN - Static variable in class io.sym
 

M

Main - class io.Main.
Standalone file to test the parser on input files
Main() - Constructor for class io.Main
 
main(String[]) - Static method in class utils.PpExample
 
main(String[]) - Static method in class gui.Gui
The main function:
main(String[]) - Static method in class simulator.SimExample
 
main(String[]) - Static method in class io.Main
 
MINUS - Static variable in class absynt.Expr
 
MINUS - Static variable in class io.sym
 
moveSelection(double, double) - Method in class editor.Editor
 
moveStep(Step, double, double) - Method in class editor.Editor
 

N

nachricht - Variable in class checks.CheckException
 
name - Variable in class absynt.Variable
 
name - Variable in class absynt.Step
 
NEG - Static variable in class absynt.Expr
 
NEG - Static variable in class io.sym
 
NEQ - Static variable in class absynt.Expr
 
NEQ - Static variable in class io.sym
 
noOfProjects() - Method in class gui.Session
Returns the number of Projects in the session.
NORM_COLUMN - Static variable in class utils.PrettyPrint
 
NORM_TAB - Static variable in class utils.PrettyPrint
 
Nqual - class absynt.Nqual.
 
Nqual() - Constructor for class absynt.Nqual
 

O

op - Variable in class absynt.U_expr
 
op - Variable in class absynt.B_expr
 
OR - Static variable in class absynt.Expr
 
OR - Static variable in class io.sym
 
output(Action) - Method in class utils.PrettyPrint
 
output(ActionQualifier) - Method in class utils.PrettyPrint
 
output(Assign) - Method in class utils.PrettyPrint
 
output(B_expr) - Method in class utils.PrettyPrint
 
output(Constval) - Method in class utils.PrettyPrint
 
output(Declaration) - Method in class utils.PrettyPrint
 
output(Expr) - Method in class utils.PrettyPrint
 
output(SFC) - Method in class utils.PrettyPrint
 
output(Skip) - Method in class utils.PrettyPrint
 
output(Step) - Method in class utils.PrettyPrint
 
output(StepAction) - Method in class utils.PrettyPrint
 
output(Stmt) - Method in class utils.PrettyPrint
 
output(Transition) - Method in class utils.PrettyPrint
 
output(U_expr) - Method in class utils.PrettyPrint
 
output(Variable) - Method in class utils.PrettyPrint
 

P

paint_Expression_Panel(Expr, Graphics) - Method in class editor.Expression_Parser
 
paint(Graphics) - Method in class editor.DrawSFCPanel
 
paintStep(Step, Graphics2D) - Method in class editor.DrawSFCPanel
 
paintStep(Step, Graphics2D, boolean, boolean, boolean) - Method in class editor.DrawSFCPanel
 
ParseException - exception io.ParseException.
Exception-Class for to report back parse-errors.
parseExpression(String) - Method in class io.Parser
public method to parse a single expression
parseFile(File) - Method in class io.Parser
public method to parse a file
Parser - class io.Parser.
CUP v0.10k generated parser.
Parser() - Constructor for class io.Parser
Default constructor.
Parser(Scanner) - Constructor for class io.Parser
Constructor which sets the default scanner.
PLUS - Static variable in class absynt.Expr
 
PLUS - Static variable in class io.sym
 
pos - Variable in class absynt.Absynt
 
pos - Variable in class absynt.Step
 
Position - class absynt.Position.
A class to store 2-dimensional positioning information.
Position() - Constructor for class absynt.Position
 
Position(float, float) - Constructor for class absynt.Position
 
PosRect - class editor.PosRect.
 
PosRect() - Constructor for class editor.PosRect
 
PosRect(double, double, double, double) - Constructor for class editor.PosRect
 
PosRect(PosRect) - Constructor for class editor.PosRect
 
PosRect(Rectangle2D) - Constructor for class editor.PosRect
 
PpExample - class utils.PpExample.
Beispiel fuer die Verwendung des Pretty Printers.
PpExample() - Constructor for class utils.PpExample
 
PrettyPrint - class utils.PrettyPrint.
 
PrettyPrint() - Constructor for class utils.PrettyPrint
 
PrettyPrint(int, int) - Constructor for class utils.PrettyPrint
 
PrettyPrint(int, int, boolean) - Constructor for class utils.PrettyPrint
 
print(Absynt) - Method in class utils.PrettyPrint
 
PrintConfiguration(PrintStream) - Method in class simulator.Simulator
Ausgabe des aktuellen Zustands in Textform
processKeyEvent(KeyEvent) - Method in class editor.Editor
 
production_table() - Method in class io.Parser
Access to production table.
Project - class gui.Project.
The Project keeps the SFC and a reference to the connected editor frame.
Project() - Constructor for class gui.Project
The standard constructor.

Q

qualifier - Variable in class absynt.StepAction
 

R

RBRACKET - Static variable in class io.sym
 
read(File) - Static method in class gui.Session
 
realignSFC() - Method in class editor.Editor
 
reduce_table() - Method in class io.Parser
Access to reduce_goto table.
removeProject(Project) - Method in class gui.Session
Removes a Project from the session.
removeTrans(Transition) - Method in class editor.TransAlignInfo
 
repaintSFC() - Method in class editor.Editor
 
report_error(String, Object) - Method in class io.Parser
 
report_fatal_error(String, Object) - Method in class io.Parser
 
restoreEnvironment() - Method in class gui.Project
 
right_expr - Variable in class absynt.B_expr
 
RPAREN - Static variable in class io.sym
 

S

sap - Variable in class absynt.Action
 
save(File) - Method in class gui.Session
Saves the whole Session inclusive all Projects.
sBounds - Variable in class editor.TransAlignInfo
 
SELECT - Static variable in class editor.Editor
 
SelectedLL - Variable in class editor.Editor
 
SEM - Static variable in class io.sym
 
Session - class gui.Session.
Class Session.
Session() - Constructor for class gui.Session
The standard constructor.
Session(File) - Constructor for class gui.Session
The constructor.
set_Constante(Constval) - Method in class editor.Expression_Parser
 
set_Variable(Variable) - Method in class editor.Expression_Parser
 
setChecked(boolean) - Method in class gui.Project
Sets the project checked flag.
setDescription(String) - Method in class gui.SnotFileFilter
Sets the human readable description of this filter.
setEditor(Editor) - Method in class gui.Project
Sets the editor in the project.
setEnvironment() - Method in class gui.Project
 
setExtensionListInDescription(boolean) - Method in class gui.SnotFileFilter
Determines whether the extension list (.jpg, .gif, etc) should show up in the human readable description.
setFile(File) - Method in class gui.Session
Sets the session filename.
setLocation(double, double) - Method in class editor.PosRect
 
setModified(boolean) - Method in class gui.Session
Sets the modified flag.
setName(String) - Method in class gui.Project
Sets the name of the project.
setOnlyBool(boolean) - Method in class gui.Project
Sets the project welldefined flag.
setRect(PosRect) - Method in class editor.PosRect
 
setRect2D(Rectangle2D) - Method in class editor.PosRect
 
setRectWH(double, double, double, double) - Method in class editor.PosRect
 
setSaved(boolean) - Method in class gui.Session
Sets the saved status.
setSFC(SFC) - Method in class gui.Project
 
setSFCName(String) - Method in class editor.Editor
setzt den Namen (nur zur Anzeige in der Titelleise, Datei-IO macht ansonsten die GUI-Gruppe)
SetVar(Variable, Constval) - Method in class simulator.Simulator.State
 
setWidth(double) - Method in class editor.PosRect
 
sfc - Variable in class editor.DrawSFCPanel
 
SFC - class absynt.SFC.
SFC.java Class for sfc-programs, the top level syntactic construct, i.e., the entry point.
SFC() - Constructor for class absynt.SFC
Constructor creates empty LinkedLists
SFC(Step, LinkedList, LinkedList, LinkedList, LinkedList) - Constructor for class absynt.SFC
Constructor just stores the arguments into the fields
show() - Method in class editor.Expression_Parser
 
SimExample - class simulator.SimExample.
Beispiel fuer die Verwendung des Simulators.
SimExample() - Constructor for class simulator.SimExample
 
SimException - exception simulator.SimException.
 
SimException(String) - Constructor for class simulator.SimException
 
simulator - package simulator
 
Simulator - class simulator.Simulator.
Diese Klasse erm?glicht es, SFCs schrittweise auszuf?hren
Simulator.State - class simulator.Simulator.State.
Variablenbelegung
Simulator.State(Simulator, LinkedList) - Constructor for class simulator.Simulator.State
 
Simulator.State(Simulator, Simulator.State) - Constructor for class simulator.Simulator.State
 
Simulator(Editor) - Constructor for class simulator.Simulator
Erzeugt einen neuen Simulator.
Simulator(SFC) - Constructor for class simulator.Simulator
Erzeugt einen neuen Simulator.
SingleStep() - Method in class simulator.Simulator
Simuliert einen SFC-Zyklus
Skip - class absynt.Skip.
A skip statement as part of the simple assignement language
SKIP - Static variable in class io.sym
 
Skip() - Constructor for class absynt.Skip
 
smv - package smv
 
SMVException - exception smv.SMVException.
 
SMVException(String) - Constructor for class smv.SMVException
Creates new SMVException
SMVTranslator - class smv.SMVTranslator.
 
SMVTranslator(SFC) - Constructor for class smv.SMVTranslator
Creates new SMVTranslator
Snotcheck - class checks.Snotcheck.
Diese Klasse macht eine ganze Menge, n"amlich zum Beispiel: checken von SFCs
Snotcheck() - Constructor for class checks.Snotcheck
 
SnotFileFilter - class gui.SnotFileFilter.
A convenience implementation of FileFilter that filters out all files except for those type extensions that it knows about.
SnotFileFilter() - Constructor for class gui.SnotFileFilter
Creates a file filter.
SnotFileFilter(String) - Constructor for class gui.SnotFileFilter
Creates a file filter that accepts files with the given extension.
SnotFileFilter(String[]) - Constructor for class gui.SnotFileFilter
Creates a file filter from the given string array.
SnotFileFilter(String[], String) - Constructor for class gui.SnotFileFilter
Creates a file filter from the given string array and description.
SnotFileFilter(String, String) - Constructor for class gui.SnotFileFilter
Creates a file filter that accepts the given file type.
source - Variable in class absynt.Transition
 
sourceSteps - Variable in class editor.Editor
 
sSteps - Variable in class editor.TransAlignInfo
 
start_production() - Method in class io.Parser
Indicates start production.
start_state() - Method in class io.Parser
Indicates start state.
Step - class absynt.Step.
A step of a Snot-program.
Step(String) - Constructor for class absynt.Step
 
Step(String, LinkedList) - Constructor for class absynt.Step
 
Step(String, LinkedList, Position) - Constructor for class absynt.Step
 
stepActDialog - Variable in class editor.Editor
 
StepAction - class absynt.StepAction.
Class for sfc actions associated with a step.
StepAction(ActionQualifier, String) - Constructor for class absynt.StepAction
 
StepFailure - exception checks.StepFailure.
 
StepFailure(Step, String) - Constructor for class checks.StepFailure
 
StepPosition - class editor.StepPosition.
 
StepPosition() - Constructor for class editor.StepPosition
 
StepPosition(double, double, double, double) - Constructor for class editor.StepPosition
 
StepPosition(PosRect) - Constructor for class editor.StepPosition
 
steps - Variable in class absynt.SFC
 
STEPS - Static variable in class io.sym
 
Stmt - class absynt.Stmt.
Statements for SFC's as part of (very) simple assignement language.
Stmt() - Constructor for class absynt.Stmt
 
sub_expr - Variable in class absynt.U_expr
 
sym - class io.sym.
CUP generated class containing symbol constants.
sym() - Constructor for class io.sym
 
syntax_error(Symbol) - Method in class io.Parser
 

T

target - Variable in class absynt.Transition
 
targetSteps - Variable in class editor.Editor
 
tBounds - Variable in class editor.TransAlignInfo
 
TIMES - Static variable in class absynt.Expr
 
TIMES - Static variable in class io.sym
 
toStream() - Method in class smv.SMVTranslator
Prints SMV commands in Stream
TransAlignInfo - class editor.TransAlignInfo.
 
TransAlignInfo(Transition) - Constructor for class editor.TransAlignInfo
 
transAlignInfoLL - Variable in class editor.Editor
 
Transition - class 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 absynt.Transition
 
Transition(LinkedList, LinkedList) - Constructor for class absynt.Transition
 
TransitionFailure - exception checks.TransitionFailure.
 
TransitionFailure(Transition, String) - Constructor for class checks.TransitionFailure
 
TRANSITIONS - Static variable in class io.sym
 
transs - Variable in class absynt.SFC
 
TRUE - Static variable in class io.sym
 
tSteps - Variable in class editor.TransAlignInfo
 
type - Variable in class absynt.Expr
 
type - Variable in class absynt.Variable
 
type - Variable in class absynt.Declaration
 
Type - class absynt.Type.
Types for the assgnement language of Snot, with the concrete types as subclasses.
Type() - Constructor for class absynt.Type
 

U

U_expr - class absynt.U_expr.
Unary expressions
U_expr(int, Expr) - Constructor for class absynt.U_expr
 
unionRect(PosRect) - Method in class editor.PosRect
 
unrecovered_syntax_error(Symbol) - Method in class io.Parser
 
updateBendPos() - Method in class editor.TransAlignInfo
 
updateBounds() - Method in class editor.TransAlignInfo
 
updateStepSize(Step) - Method in class editor.Editor
 
utils - package utils
 

V

val - Variable in class absynt.Assign
 
val - Variable in class absynt.Declaration
 
val - Variable in class absynt.Constval
Constant values are integers and booleans; they are directly implemented using the corresponding data types from Java.
var - Variable in class absynt.Assign
 
var - Variable in class absynt.Declaration
 
Variable - class absynt.Variable.
Variables of the simple assignement language.
Variable(String) - Constructor for class absynt.Variable
 
Variable(String, Type) - Constructor for class absynt.Variable
 
VARS - Static variable in class io.sym
 

W

WHEN - Static variable in class io.sym
 
withEachStepDo(Step) - Method in class editor.Editor.StepIterator
 
withEachTAInfoDo(TransAlignInfo) - Method in class editor.Editor.TAInfoIterator
 
withEachTransDo(Transition) - Method in class editor.Editor.TransIterator
 

X

x - Variable in class absynt.Position
 

Y

y - Variable in class absynt.Position
 

_

_action_table - Static variable in class io.Parser
Parse-action table.
_production_table - Static variable in class io.Parser
Production table.
_reduce_table - Static variable in class io.Parser
reduce_goto table.

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