public final class DescriptionFacade
extends java.lang.Object
ProofScriptCommand
and
ProofScriptArgument
.
It uses a COMMANDS_DESCRIPTION
property file.
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.
|
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()
Copyright © 2003-2019 The KeY-Project.