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

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

public class Exit
extends AddrInstruction

Rating red
Generated:
This code was automatically generated.

Constructor Summary
Exit(Label toAddr, Label fromAddr, SCLine sc)
           
 
Method Summary
 String encode()
           
 String info()
           
 int length()
           
 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

Exit

public Exit(Label toAddr,
            Label fromAddr,
            SCLine sc)
Method Detail

encode

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

info

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

toString

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

length

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