public final class DescriptionFacade
extends java.lang.Object
ProofScriptCommand
and
ProofScriptArgument
.
It uses a COMMANDS_DESCRIPTION
property file.
Modifier and Type | Field and Description |
---|---|
private static java.lang.String |
COMMANDS_DESCRIPTION
The filename of the XML properties containing the documentation of proof script commands.
|
private static java.util.Properties |
properties
Lazy-loaded properties
|
Modifier | Constructor and Description |
---|---|
private |
DescriptionFacade() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
getDocumentation(ProofScriptArgument<?> arg)
Looks up the documentation for the given proof script argument.
|
static java.lang.String |
getDocumentation(ProofScriptCommand<?> cmd)
Looks up the documentation for the given command in the properties file.
|
static java.util.Properties |
getProperties()
Lazy loading of the properties.
|
private static java.lang.String |
getString(java.lang.String key)
Helper function for look ups in the property file.
|
private static final java.lang.String COMMANDS_DESCRIPTION
private static java.util.Properties properties
getProperties()
public static java.util.Properties getProperties()
public static java.lang.String getDocumentation(ProofScriptCommand<?> cmd)
cmd
- non-null proof script commandProofScriptCommand.getDocumentation()
public static java.lang.String getDocumentation(ProofScriptArgument<?> arg)
arg
- non-null proof script argumentarg
is null or arg.getCommand
returns nullProofScriptArgument.getDocumentation()
private static java.lang.String getString(java.lang.String key)
key
- look up key