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 _