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

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

public class CAwait
extends AddrSigInstruction

Rating red
Generated:
This code was automatically generated.

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

CAwait

public CAwait(KepSignal sig,
              Label addr,
              SCLine sc)