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

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.LwAborti
All Implemented Interfaces:
InstInf

public class LwAborti
extends AddrSigWatchInstruction

Rating red
Generated:
This code was automatically generated.

Constructor Summary
LwAborti(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

LwAborti

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