public class ProofScriptCommandApi
extends java.lang.Object
Constructor and Description |
---|
ProofScriptCommandApi() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<ProofScriptCommand> |
getScriptCommands()
Returns a collection of all registered proof script commands.
|
ProofScriptCommand<?> |
getScriptCommands(java.lang.String name)
Searches for the proof script command in the registered commands by its name.
|
public java.util.Collection<ProofScriptCommand> getScriptCommands()
ProofScriptCommand
s are found via the ServiceLoader
facility.
public ProofScriptCommand<?> getScriptCommands(java.lang.String name)
name
- the non-null name of the search proof script commandCopyright © 2003-2019 The KeY-Project.