|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |