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

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
                      extended by de.cau.cs.kieler.krep.evalbench.program.kep.Suspendi
All Implemented Interfaces:
InstInf

public class Suspendi
extends AddrSigWatchInstruction

Rating red
Generated:
This code was automatically generated.

Constructor Summary
Suspendi(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
 
Method Summary
 
Methods inherited from class de.cau.cs.kieler.krep.evalbench.program.kep.AddrSigWatchInstruction
encode, getWatch, info, length, setWatch, 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

Suspendi

public Suspendi(KepSignal sig,
                Label addr,
                Watcher watch,
                SCLine sc)