de.cau.cs.kieler.krep.evalbench.program.kep
Class Program
java.lang.Object
de.cau.cs.kieler.krep.evalbench.program.kep.Program
public class Program
- extends Object
- Rating

Constructor Summary |
Program(boolean debug,
boolean info,
String countCrit)
|
constants
public static Constants constants
Program
public Program(boolean debug,
boolean info,
String countCrit)
getNewWatcher
public Watcher getNewWatcher(int endAddr)
getProgramCounter
public int getProgramCounter()
getInstsize
public int getInstsize()
getRegSize
public int getRegSize()
getInstructions
public ArrayList<Instruction> getInstructions()
addSignal
public void addSignal(String name,
Constants.SignalType t)
throws Exception
- Throws:
Exception
addReg
public void addReg(String var)
throws Exception
- Throws:
Exception
addThread
public final void addThread(ThreadID thread)
throws Exception
- Throws:
Exception
addLabel
public void addLabel(String label)
throws Exception
- Throws:
Exception
addInstruction
public void addInstruction(Instruction inst)
printHeader
public String printHeader()
getSignalbyName
public KepSignal getSignalbyName(String name)
throws NullPointerException
- Throws:
NullPointerException
getRegisterByName
public Register getRegisterByName(String name)
throws NullPointerException
- Throws:
NullPointerException
getLabel
public Label getLabel(String addr)
throws NullPointerException
- Throws:
NullPointerException
getThread
public ThreadID getThread(String id)
throws NullPointerException
- Throws:
NullPointerException
postProcess
public void postProcess()
throws NullPointerException
- Throws:
NullPointerException
postProcessLegacy
public void postProcessLegacy()
throws NullPointerException
- Throws:
NullPointerException
info
public String info()
count
public HashMap<String,Integer> count(String crit)
toListingFile
public void toListingFile(String file)
throws IOException
- Throws:
IOException
toFile
public void toFile(String file)
throws IOException
- Throws:
IOException
toEsi
public void toEsi(String file)
throws IOException
- Throws:
IOException
length
public int length()
toString
public String toString()
- Overrides:
toString
in class Object
toEsi
public String toEsi()
toLst
public String toLst()