Package slime.absynt

Interface Summary
Visitors.IAction  
Visitors.IActionQualifier  
Visitors.IDeclaration  
Visitors.IExpr  
Visitors.ISFC  
Visitors.IStep  
Visitors.IStepAction  
Visitors.IStmt  
Visitors.ITransition  
Visitors.IType  
 

Class Summary
Absynt Abstract class to provide coordinates and locations.
Action Class for sfc actions.
ActionQualifier ActionQualifier.java
Assign An assignment-statement as part of the simple assignment language
B_expr binary expressions
BoolType Type for booleans.
Constval Constant values as expressions.
Declaration Declaration of a variables.
DoubleType Type for doubles
Example The class offers an example for a program int abstract syntax.
Expr Abstract class for simple expressions
InputAction Class for sfc input actions.
IntType Type for integers (the name ``Int'' is already used by Java, of course).
Nqual  
OutputAction Class for sfc output actions.
Position A class to store 2-dimensional positioning information.
SFC SFC.java Class for sfc-programs, the top level syntactic construct, i.e., the entry point.
Skip A skip statement as part of the simple assignement language
Step A step of a Slime-program.
StepAction Class for sfc actions associated with a step.
Stmt Visitor acceptor
Transition A transition of an SFC connects source and target step and is labelled with a guard.
Type Types for the assignement language of Slime, with the concrete types as subclasses.
U_expr Unary expressions
UndefType ``Type'' to denote absence of type information.
UnitType Type for well-type program side-effect constructs.
Variable Variables of the simple assignement language.
Visitors Visitors for Slime abstract syntax (just for the fun of it)