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