|
||||||||||
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.KlpProgram
public class KlpProgram
Klp assembler, extends a program by the compiler from CEQs into actual klp assembler.
Field Summary | |
---|---|
static int |
N_IO
Number of input output registers. |
static int |
N_LOCAL
Number of full local registers. |
static int |
N_TEMP
Number of temporary registers. |
Constructor Summary | |
---|---|
KlpProgram(String name)
|
|
KlpProgram(String name,
Program p)
Generate a new program from an existing one. |
Method Summary | |
---|---|
LinkedList<AbstractInstruction> |
compile(boolean useHWClocks,
String scope)
generate KLP instructions for all equations. |
LinkedList<AbstractInstruction> |
compileInit(boolean useHWClocks,
String scope,
boolean setInputs,
boolean setOutputs,
int prioOffset)
|
int |
nEq()
|
int |
nInstr()
|
int |
nReg()
|
String |
toDot()
|
String |
toString()
|
Methods inherited from class de.cau.cs.kieler.krep.compiler.ceq.Program |
---|
addEq, addInput, addLocal, addOutput, addVar, 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, wcrt |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final int N_IO
public static final int N_LOCAL
public static final int N_TEMP
Constructor Detail |
---|
public KlpProgram(String name)
name
- name of the main nodepublic KlpProgram(String name, Program p)
name
- of the programp
- the programMethod Detail |
---|
public LinkedList<AbstractInstruction> compile(boolean useHWClocks, String scope)
useHWClocks
- use hardware clocks, if false, a software test for clocks is generatedscope
- scope, if the equations is in a state
public String toString()
toString
in class Program
public int nInstr()
public int nEq()
public String toDot()
public LinkedList<AbstractInstruction> compileInit(boolean useHWClocks, String scope, boolean setInputs, boolean setOutputs, int prioOffset)
useHWClocks
- should the hw clocks of the klp be used?scope
- scope of this program, if it is inside of an automatonsetInputs
- should inputs be initialized (for initial states)setOutputs
- should outputs be initialized (for initial states)prioOffset
- minimal priority to use
public int nReg()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |