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