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)
|