Uses of Class
de.cau.cs.kieler.krep.evalbench.program.kep.Label

Packages that use Label
de.cau.cs.kieler.krep.evalbench.program.kep   
de.cau.cs.kieler.krep.evalbench.program.kep.parser   
 

Uses of Label in de.cau.cs.kieler.krep.evalbench.program.kep
 

Methods in de.cau.cs.kieler.krep.evalbench.program.kep that return Label
 Label AddrInstruction.getAddr()
           
 Label Program.getLabel(String addr)
           
 

Methods in de.cau.cs.kieler.krep.evalbench.program.kep with parameters of type Label
 void AddrInstruction.setAddr(Label addr)
           
 

Constructors in de.cau.cs.kieler.krep.evalbench.program.kep with parameters of type Label
Abort(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
Aborti(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
AddrInstruction(String id, String name, Label addr, SCLine sc)
           
AddrSigInstruction(String id, String name, KepSignal sig, Label addr, SCLine sc)
           
AddrSigWatchInstruction(String id, String name, KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
Call(Label addr, SCLine sc)
           
CAwait(KepSignal sig, Label addr, SCLine sc)
           
CAwaite(Label addr, SCLine sc)
           
CAwaiti(KepSignal sig, Label addr, SCLine sc)
           
Exit(Label toAddr, Label fromAddr, SCLine sc)
           
Goto(Label addr, SCLine sc)
           
Jc(Label addr, SCLine sc)
           
Jnc(Label addr, SCLine sc)
           
JW_ee(Label addr, SCLine sc)
           
JW_g(Label addr, SCLine sc)
           
JW_ge(Label addr, SCLine sc)
           
JW_l(Label addr, SCLine sc)
           
JW_le(Label addr, SCLine sc)
           
JW_ne(Label addr, SCLine sc)
           
JW_z(Label addr, SCLine sc)
           
LAbort(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
LAborti(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
LwAbort(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
LwAborti(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
Par(Label addr, ThreadID thread, SCLine sc)
           
Pare(Label addr, PrioID prio, SCLine sc)
           
Present(KepSignal sig, Label addr, SCLine sc)
           
Suspend(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
Suspendi(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
Tabort(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
Taborti(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
TwAbort(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
TwAborti(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
WAbort(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
WAborti(KepSignal sig, Label addr, Watcher watch, SCLine sc)
           
 

Uses of Label in de.cau.cs.kieler.krep.evalbench.program.kep.parser
 

Methods in de.cau.cs.kieler.krep.evalbench.program.kep.parser that return Label
 Label kepParser.addr()