Constructors in de.cau.cs.kieler.krep.evalbench.program.kep with parameters of type Watcher |
Abort(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
Aborti(KepSignal sig,
Label addr,
Watcher watch,
SCLine sc)
|
AddrSigWatchInstruction(String id,
String name,
KepSignal sig,
Label addr,
Watcher watch,
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)
|
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)
|