|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Scope | |
---|---|
de.cau.cs.kieler.krep.compiler.ceq | Implementation of clocked equations. |
de.cau.cs.kieler.krep.compiler.parser |
Uses of Scope in de.cau.cs.kieler.krep.compiler.ceq |
---|
Classes in de.cau.cs.kieler.krep.compiler.ceq that implement Scope | |
---|---|
class |
ScadeProgram
Representation of a Scade program, this extends a ceq program by a parser for Scade files. |
class |
State
A state in a Safe State Machine, consisting of a name, a flag whether this is an initial state, and outgoing transitions. |
Uses of Scope in de.cau.cs.kieler.krep.compiler.parser |
---|
Methods in de.cau.cs.kieler.krep.compiler.parser with parameters of type Scope | |
---|---|
void |
scadeParser.actions(Scope scope)
|
String |
scadeParser.arrow(Scope scope)
|
void |
scadeParser.data_def(Scope scope)
|
void |
scadeParser.else_fork(Scope scope)
|
void |
scadeParser.elsif_fork(Scope scope)
|
void |
scadeParser.eqs(Scope scope)
|
void |
scadeParser.equation(Scope scope)
|
String |
scadeParser.fork(Scope scope)
|
void |
scadeParser.opt_body(Scope scope)
|
void |
scadeParser.sscope(Scope scope)
|
Transition |
scadeParser.transition(Scope scope)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |