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

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

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

Methods in de.cau.cs.kieler.krep.evalbench.program.kep that return Watcher
 Watcher Program.getNewWatcher(int endAddr)
           
 Watcher AddrSigWatchInstruction.getWatch()
           
 

Methods in de.cau.cs.kieler.krep.evalbench.program.kep with parameters of type Watcher
 void AddrSigWatchInstruction.setWatch(Watcher watch)
           
 

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)