|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.krep.compiler.ceq.Program
de.cau.cs.kieler.krep.compiler.ceq.ScadeProgram
public class ScadeProgram
Representation of a Scade program, this extends a ceq program by a parser for Scade files.
Constructor Summary | |
---|---|
ScadeProgram(InputStream in)
parse input stream which is expected to be a Scade textual file. |
|
ScadeProgram(String name)
|
Method Summary | |
---|---|
void |
add(Automaton a)
|
void |
add(Equation eq)
|
void |
add(LinkedList<Variable> vars)
|
void |
addEq(LinkedList<Equation> eq)
|
void |
addEq(String s,
Expression e)
|
void |
addInput(String s,
Type t)
|
void |
addVar(Variable v)
|
Program |
getCEQ()
Transform Lustre program into simplified ceq. |
void |
setIO()
infer io from equations. |
Methods inherited from class de.cau.cs.kieler.krep.compiler.ceq.Program |
---|
addEq, addInput, addLocal, addOutput, addVar, destroyTemp, flatten, getDepGraph, getEqs, getInputs, getLabel, getLocals, getMax, getName, getOutputs, getSsms, getTemp, getVar, getVar, getVars, init, propagateConst, removeEquiv, replace, setDepGraph, setEqs, setInputs, setLocals, setName, setOutputs, setSsms, setVars, simplify, staticEval, toLustre, toString, wcrt |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ScadeProgram(String name)
name
- name of the scade program.public ScadeProgram(InputStream in) throws IOException, ClockException, TypeException
in
- input stream with scade program.
IOException
- thrown when the input stream cannot be read
ClockException
- thrown at errors in clock inference
TypeException
- thrown at errors in type inferenceMethod Detail |
---|
public void setIO()
public Program getCEQ()
public void addEq(String s, Expression e)
s
- name of the additional equatione
- expression to compute the valuepublic void addVar(Variable v)
addVar
in class Program
v
- additional variablepublic void addInput(String s, Type t)
s
- name of input signalt
- type of new input signalpublic void add(Automaton a)
add
in interface Scope
a
- additional automatonpublic void add(LinkedList<Variable> vars)
add
in interface Scope
vars
- local variablespublic void add(Equation eq)
add
in interface Scope
eq
- additional equation.public void addEq(LinkedList<Equation> eq)
addEq
in interface Scope
eq
- additional equations.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |