public static interface PsConstants.ToolPARAMETERS
Modifier and Type | Field and Description |
---|---|
static boolean |
banner_visible |
static boolean |
footer_visible |
static java.lang.String[] |
framework_option_doc |
static java.lang.String[] |
framework_option_help |
static java.lang.String[] |
framework_option_lib |
static java.lang.String[] |
framework_option_new |
static java.lang.String[] |
generate_option_help |
static java.lang.String[] |
generate_option_new |
static java.lang.String[] |
generate_option_type |
static java.lang.String |
generate_type_default |
static java.lang.String[] |
generate_type_names |
static java.lang.String |
shell_CLIPS |
static java.lang.String |
shell_config_file |
static java.lang.String |
shell_HSQL |
static java.lang.String |
shell_JAVA |
static java.lang.String |
shell_JESS |
static java.lang.String[] |
shell_option_gui |
static java.lang.String[] |
shell_option_help |
static java.lang.String[] |
shell_option_shell |
static java.lang.String |
shell_PROLOG |
static final boolean banner_visible
static final boolean footer_visible
static final java.lang.String shell_JAVA
static final java.lang.String shell_CLIPS
static final java.lang.String shell_JESS
static final java.lang.String shell_HSQL
static final java.lang.String shell_PROLOG
static final java.lang.String[] shell_option_gui
static final java.lang.String[] shell_option_help
static final java.lang.String[] shell_option_shell
static final java.lang.String shell_config_file
static final java.lang.String[] framework_option_help
static final java.lang.String[] framework_option_new
static final java.lang.String[] framework_option_doc
static final java.lang.String[] framework_option_lib
static final java.lang.String[] generate_option_help
static final java.lang.String[] generate_option_new
static final java.lang.String[] generate_option_type
static final java.lang.String[] generate_type_names
static final java.lang.String generate_type_default