Uses of Class
org.semanticweb.HermiT.debugger.Debugger.WaitOption

Packages that use Debugger.WaitOption
org.semanticweb.HermiT.debugger   
org.semanticweb.HermiT.debugger.commands   
 

Uses of Debugger.WaitOption in org.semanticweb.HermiT.debugger
 

Fields in org.semanticweb.HermiT.debugger with type parameters of type Debugger.WaitOption
protected  java.util.Set<Debugger.WaitOption> Debugger.m_waitOptions
           
 

Methods in org.semanticweb.HermiT.debugger that return Debugger.WaitOption
static Debugger.WaitOption Debugger.WaitOption.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static Debugger.WaitOption[] Debugger.WaitOption.values()
          Returns an array containing the constants of this enum type, in the order they are declared.
 

Methods in org.semanticweb.HermiT.debugger with parameters of type Debugger.WaitOption
 boolean Debugger.addWaitOption(Debugger.WaitOption option)
           
 boolean Debugger.removeWaitOption(Debugger.WaitOption option)
           
 

Uses of Debugger.WaitOption in org.semanticweb.HermiT.debugger.commands
 

Methods in org.semanticweb.HermiT.debugger.commands with parameters of type Debugger.WaitOption
protected  void WaitForCommand.modifyWaitOptions(Debugger.WaitOption waitOption, boolean add)