de.cau.cs.kieler.krep.evalbench.program.kep
Class Program

java.lang.Object
  extended by de.cau.cs.kieler.krep.evalbench.program.kep.Program

public class Program
extends Object

Rating red

Field Summary
static Constants constants
           
 
Constructor Summary
Program(boolean debug, boolean info, String countCrit)
           
 
Method Summary
 void addInstruction(Instruction inst)
           
 void addLabel(String label)
           
 void addReg(String var)
           
 void addSignal(String name, Constants.SignalType t)
           
 void addThread(ThreadID thread)
           
 HashMap<String,Integer> count(String crit)
           
 ArrayList<Instruction> getInstructions()
           
 int getInstsize()
           
 Label getLabel(String addr)
           
 Watcher getNewWatcher(int endAddr)
           
 int getProgramCounter()
           
 Register getRegisterByName(String name)
           
 int getRegSize()
           
 KepSignal getSignalbyName(String name)
           
 ThreadID getThread(String id)
           
 String info()
           
 int length()
           
 void postProcess()
           
 void postProcessLegacy()
           
 String printHeader()
           
 String toEsi()
           
 void toEsi(String file)
           
 void toFile(String file)
           
 void toListingFile(String file)
           
 String toLst()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

constants

public static Constants constants
Constructor Detail

Program

public Program(boolean debug,
               boolean info,
               String countCrit)
Method Detail

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()