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

java.lang.Object
  extended by de.cau.cs.kieler.krep.evalbench.program.Instruction
      extended by de.cau.cs.kieler.krep.evalbench.program.kep.Instruction
          extended by de.cau.cs.kieler.krep.evalbench.program.kep.AddrInstruction
              extended by de.cau.cs.kieler.krep.evalbench.program.kep.AddrSigInstruction
                  extended by de.cau.cs.kieler.krep.evalbench.program.kep.AddrSigWatchInstruction
All Implemented Interfaces:
InstInf
Direct Known Subclasses:
Abort, Aborti, LAbort, LAborti, LwAbort, LwAborti, Suspend, Suspendi, Tabort, Taborti, TwAbort, TwAborti, WAbort, WAborti

public class AddrSigWatchInstruction
extends AddrSigInstruction

Rating red
Generated:
This code was automatically generated.

Constructor Summary
AddrSigWatchInstruction(String id, String name, KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
 
Method Summary
 String encode()
           
 Watcher getWatch()
           
 String info()
           
 int length()
           
 void setWatch(Watcher watch)
           
 String toString()
           
 
Methods inherited from class de.cau.cs.kieler.krep.evalbench.program.kep.AddrInstruction
getAddr, setAddr
 
Methods inherited from class de.cau.cs.kieler.krep.evalbench.program.kep.Instruction
asmLabel, equals, getId, getObj, getScource, setSourceCode
 
Methods inherited from class de.cau.cs.kieler.krep.evalbench.program.Instruction
getLabel, getLabels, setLabel, setLabels, writeObj
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

AddrSigWatchInstruction

public AddrSigWatchInstruction(String id,
                               String name,
                               KepSignal sig,
                               Label addr,
                               Watcher watch,
                               SCLine sc)
Method Detail

encode

public String encode()
Specified by:
encode in interface InstInf
Overrides:
encode in class AddrSigInstruction

toString

public String toString()
Specified by:
toString in interface InstInf
Overrides:
toString in class AddrSigInstruction

info

public String info()
Specified by:
info in interface InstInf
Overrides:
info in class AddrSigInstruction

length

public int length()
Specified by:
length in interface InstInf
Overrides:
length in class AddrSigInstruction

setWatch

public void setWatch(Watcher watch)

getWatch

public Watcher getWatch()