Skip to content
Snippets Groups Projects
Commit 3cd3865b authored by dgelessus's avatar dgelessus
Browse files

Remove alternate names for :help and :init

It's cleaner to have only one name for each command.
parent e2b97144
Branches
Tags
No related merge requests found
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:help :browse :help :browse
``` ```
%% Output %% Output
``` ```
:browse :browse
``` ```
Show information about the current state Show information about the current state
:browse :browse
Show information about the current state Show information about the current state
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:help :exec :help :exec
``` ```
%% Output %% Output
``` ```
:exec OPERATION [PREDICATE] :exec OPERATION [PREDICATE]
:exec OPERATION_ID :exec OPERATION_ID
``` ```
Execute an operation with the specified predicate, or by its ID Execute an operation with the specified predicate, or by its ID
:exec OPERATION [PREDICATE] :exec OPERATION [PREDICATE]
:exec OPERATION_ID :exec OPERATION_ID
Execute an operation with the specified predicate, or by its ID Execute an operation with the specified predicate, or by its ID
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:help :constants :help :constants
``` ```
%% Output %% Output
``` ```
:constants [PREDICATE] :constants [PREDICATE]
``` ```
Set up the current machine's constants with the specified predicate Set up the current machine's constants with the specified predicate
:constants [PREDICATE] :constants [PREDICATE]
Set up the current machine's constants with the specified predicate Set up the current machine's constants with the specified predicate
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:help :init :help :init
``` ```
%% Output %% Output
``` ```
:initialise [PREDICATE]
:init [PREDICATE] :init [PREDICATE]
``` ```
Initialise the current machine with the specified predicate Initialise the current machine with the specified predicate
:initialise [PREDICATE]
:init [PREDICATE] :init [PREDICATE]
Initialise the current machine with the specified predicate Initialise the current machine with the specified predicate
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:browse :browse
``` ```
%% Output %% Output
Machine: repl Machine: repl
Sets: (none) Sets: (none)
Constants: (none) Constants: (none)
Variables: (none) Variables: (none)
Operations: Operations:
0: $initialise_machine() 0: $initialise_machine()
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
::load ::load
MACHINE Counter MACHINE Counter
CONSTANTS min_value, max_value CONSTANTS min_value, max_value
PROPERTIES min_value : MININT..0 & max_value : 0..MAXINT & min_value <= max_value PROPERTIES min_value : MININT..0 & max_value : 0..MAXINT & min_value <= max_value
VARIABLES value VARIABLES value
INVARIANT value : min_value..max_value INVARIANT value : min_value..max_value
INITIALISATION value :: min_value..max_value INITIALISATION value :: min_value..max_value
OPERATIONS OPERATIONS
add(diff) = SELECT add(diff) = SELECT
value+diff : min_value..max_value value+diff : min_value..max_value
THEN THEN
value := value+diff value := value+diff
END END
END END
``` ```
%% Output %% Output
Loaded machine: Counter : [] Loaded machine: Counter : []
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:browse :browse
``` ```
%% Output %% Output
Machine: Counter Machine: Counter
Sets: (none) Sets: (none)
Constants: min_value, max_value Constants: min_value, max_value
Variables: value Variables: value
Operations: Operations:
0: $setup_constants() 0: $setup_constants()
1: $setup_constants() 1: $setup_constants()
2: $setup_constants() 2: $setup_constants()
3: $setup_constants() 3: $setup_constants()
More operations may be available (MAX_OPERATIONS/MAX_INITIALISATIONS reached) More operations may be available (MAX_OPERATIONS/MAX_INITIALISATIONS reached)
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
min_value..max_value min_value..max_value
``` ```
%% Output %% Output
:eval: NOT-INITIALISED :eval: NOT-INITIALISED
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
value value
``` ```
%% Output %% Output
:eval: NOT-INITIALISED :eval: NOT-INITIALISED
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:constants min_value=5 & max_value=-5 :constants min_value=5 & max_value=-5
``` ```
%% Output %% Output
:constants: Could not setup constants with the specified predicate :constants: Could not setup constants with the specified predicate
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:constants min_value=-1 & max_value=2 :constants min_value=-1 & max_value=2
``` ```
%% Output %% Output
Machine constants set up using operation 2: $setup_constants() Machine constants set up using operation 2: $setup_constants()
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:browse :browse
``` ```
%% Output %% Output
Machine: Counter Machine: Counter
Sets: (none) Sets: (none)
Constants: min_value, max_value Constants: min_value, max_value
Variables: value Variables: value
Operations: Operations:
4: $initialise_machine() 4: $initialise_machine()
5: $initialise_machine() 5: $initialise_machine()
6: $initialise_machine() 6: $initialise_machine()
7: $initialise_machine() 7: $initialise_machine()
More operations may be available (MAX_OPERATIONS/MAX_INITIALISATIONS reached) More operations may be available (MAX_OPERATIONS/MAX_INITIALISATIONS reached)
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
min_value..max_value min_value..max_value
``` ```
%% Output %% Output
$\{-1,0,1,2\}$ $\{-1,0,1,2\}$
{−1,0,1,2} {−1,0,1,2}
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
value value
``` ```
%% Output %% Output
:eval: NOT-INITIALISED :eval: NOT-INITIALISED
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:init value=-100 :init value=-100
``` ```
%% Output %% Output
Error from ProB: ProB reported Errors Error from ProB: ProB reported Errors
Error: INITIALISATION FAILS (/Users/Shared/Uni/SHK/ProB2/prob2-jupyter-kernel/notebooks/tests:6:15 to 6:44) Error: INITIALISATION FAILS (/Users/Shared/Uni/SHK/ProB2/prob2-jupyter-kernel/notebooks/tests:6:15 to 6:44)
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:init value=2 :init value=2
``` ```
%% Output %% Output
Machine initialised using operation 7: $initialise_machine() Machine initialised using operation 7: $initialise_machine()
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:browse :browse
``` ```
%% Output %% Output
Machine: Counter Machine: Counter
Sets: (none) Sets: (none)
Constants: min_value, max_value Constants: min_value, max_value
Variables: value Variables: value
Operations: Operations:
8: add(-3) 8: add(-3)
9: add(-2) 9: add(-2)
10: add(-1) 10: add(-1)
11: add(0) 11: add(0)
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
value value
``` ```
%% Output %% Output
$2$ $2$
2 2
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:exec add diff=-1 :exec add diff=-1
``` ```
%% Output %% Output
Executed operation 10: add(-1) Executed operation 10: add(-1)
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:browse :browse
``` ```
%% Output %% Output
Machine: Counter Machine: Counter
Sets: (none) Sets: (none)
Constants: min_value, max_value Constants: min_value, max_value
Variables: value Variables: value
Operations: Operations:
12: add(-2) 12: add(-2)
13: add(-1) 13: add(-1)
14: add(0) 14: add(0)
15: add(1) 15: add(1)
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
value value
``` ```
%% Output %% Output
$1$ $1$
1 1
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:exec 15 :exec 15
``` ```
%% Output %% Output
Executed operation 15: add(1) Executed operation 15: add(1)
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:browse :browse
``` ```
%% Output %% Output
Machine: Counter Machine: Counter
Sets: (none) Sets: (none)
Constants: min_value, max_value Constants: min_value, max_value
Variables: value Variables: value
Operations: Operations:
8: add(-3) 8: add(-3)
9: add(-2) 9: add(-2)
10: add(-1) 10: add(-1)
11: add(0) 11: add(0)
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:exec 10 1=1 :exec 10 1=1
``` ```
%% Output %% Output
:exec: Cannot specify a predicate when executing an operation by ID :exec: Cannot specify a predicate when executing an operation by ID
%% Cell type:markdown id: tags: %% Cell type:markdown id: tags:
Useful error messages are shown when an operation cannot be executed. Useful error messages are shown when an operation cannot be executed.
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:constants :constants
``` ```
%% Output %% Output
:constants: Machine constants are already set up :constants: Machine constants are already set up
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:init :init
``` ```
%% Output %% Output
:init: Machine is already initialised :init: Machine is already initialised
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:exec nope :exec nope
``` ```
%% Output %% Output
:exec: Could not execute operation nope :exec: Could not execute operation nope
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:exec add 1=0 :exec add 1=0
``` ```
%% Output %% Output
:exec: Could not execute operation add with the given predicate :exec: Could not execute operation add with the given predicate
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
::load ::load
MACHINE NoConstants MACHINE NoConstants
VARIABLES z VARIABLES z
INVARIANT z : MININT..MAXINT INVARIANT z : MININT..MAXINT
INITIALISATION z :: {0, 1} INITIALISATION z :: {0, 1}
END END
``` ```
%% Output %% Output
Loaded machine: NoConstants : [] Loaded machine: NoConstants : []
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:constants :constants
``` ```
%% Output %% Output
:constants: Machine has no constants, use :init instead :constants: Machine has no constants, use :init instead
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:init z = -1 :init z = -1
``` ```
%% Output %% Output
Error from ProB: ProB reported Errors Error from ProB: ProB reported Errors
Error: INITIALISATION FAILS (/Users/Shared/Uni/SHK/ProB2/prob2-jupyter-kernel/notebooks/tests:4:15 to 4:26) Error: INITIALISATION FAILS (/Users/Shared/Uni/SHK/ProB2/prob2-jupyter-kernel/notebooks/tests:4:15 to 4:26)
%% Cell type:markdown id: tags: %% Cell type:markdown id: tags:
`SETUP_CONSTANTS` and `INITIALISATION` can be used as operation names. `SETUP_CONSTANTS` and `INITIALISATION` can be used as operation names.
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
::load ::load
MACHINE Foo MACHINE Foo
CONSTANTS x CONSTANTS x
PROPERTIES x : MININT..MAXINT PROPERTIES x : MININT..MAXINT
VARIABLES y VARIABLES y
INVARIANT y : MININT..MAXINT INVARIANT y : MININT..MAXINT
INITIALISATION y :: MININT..MAXINT INITIALISATION y :: MININT..MAXINT
END END
``` ```
%% Output %% Output
Loaded machine: Foo : [] Loaded machine: Foo : []
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:exec SETUP_CONSTANTS x = 1 :exec SETUP_CONSTANTS x = 1
``` ```
%% Output %% Output
Executed operation 2: $setup_constants() Executed operation 2: $setup_constants()
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:exec INITIALISATION y = 2 :exec INITIALISATION y = 2
``` ```
%% Output %% Output
Executed operation 7: $initialise_machine() Executed operation 7: $initialise_machine()
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
x x
``` ```
%% Output %% Output
$1$ $1$
1 1
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
y y
``` ```
%% Output %% Output
$2$ $2$
2 2
......
%% Cell type:markdown id: tags: %% Cell type:markdown id: tags:
`:help` can be used to list all commands, or get help for a specific command. `:?` is equivalent to `:help`. `:help` can be used to list all commands, or get help for a specific command.
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:help :help
``` ```
%% Output %% Output
Type a valid B expression, or one of the following commands: Type a valid B expression, or one of the following commands:
* `::load` Load the machine source code from the body. * `::load` Load the machine source code from the body.
* `::render` Render some content with the specified MIME type. * `::render` Render some content with the specified MIME type.
* `:?` Display help for a specific command, or general help about the REPL. * `:assert` Ensure that the predicate is true, and show an error otherwise.
* `:browse` Show information about the current state * `:browse` Show information about the current state
* `:constants` Set up the current machine's constants with the specified predicate * `:constants` Set up the current machine's constants with the specified predicate
* `:eval` Evaluate an expression. * `:eval` Evaluate an expression.
* `:exec` Execute an operation with the specified predicate, or by its ID * `:exec` Execute an operation with the specified predicate, or by its ID
* `:groovy` Evaluate the given Groovy expression. * `:groovy` Evaluate the given Groovy expression.
* `:help` Display help for a specific command, or general help about the REPL. * `:help` Display help for a specific command, or general help about the REPL.
* `:init` Initialise the current machine with the specified predicate * `:init` Initialise the current machine with the specified predicate
* `:initialise` Initialise the current machine with the specified predicate
* `:load` Load the machine from the given path. * `:load` Load the machine from the given path.
* `:pref` View or change the value of one or more preferences. * `:pref` View or change the value of one or more preferences.
* `:prettyprint` Pretty-print a predicate. * `:prettyprint` Pretty-print a predicate.
* `:solve` Solve a predicate with the specified solver * `:solve` Solve a predicate with the specified solver
* `:table` Display an expression as a table. * `:table` Display an expression as a table.
* `:time` Execute the given command and measure how long it takes to execute. * `:time` Execute the given command and measure how long it takes to execute.
* `:type` Display the type of a formula.
* `:version` Display version info about the ProB CLI and ProB 2 * `:version` Display version info about the ProB CLI and ProB 2
Type a valid B expression, or one of the following commands: Type a valid B expression, or one of the following commands:
::load Load the machine source code from the body. ::load Load the machine source code from the body.
::render Render some content with the specified MIME type. ::render Render some content with the specified MIME type.
:? Display help for a specific command, or general help about the REPL. :assert Ensure that the predicate is true, and show an error otherwise.
:browse Show information about the current state :browse Show information about the current state
:constants Set up the current machine's constants with the specified predicate :constants Set up the current machine's constants with the specified predicate
:eval Evaluate an expression. :eval Evaluate an expression.
:exec Execute an operation with the specified predicate, or by its ID :exec Execute an operation with the specified predicate, or by its ID
:groovy Evaluate the given Groovy expression. :groovy Evaluate the given Groovy expression.
:help Display help for a specific command, or general help about the REPL. :help Display help for a specific command, or general help about the REPL.
:init Initialise the current machine with the specified predicate :init Initialise the current machine with the specified predicate
:initialise Initialise the current machine with the specified predicate
:load Load the machine from the given path.
:pref View or change the value of one or more preferences.
:prettyprint Pretty-print a predicate.
:solve Solve a predicate with the specified solver
:table Display an expression as a table.
:time Execute the given command and measure how long it takes to execute.
:version Display version info about the ProB CLI and ProB 2
%% Cell type:code id: tags:
``` prob
:?
```
%% Output
Type a valid B expression, or one of the following commands:
* `::load` Load the machine source code from the body.
* `::render` Render some content with the specified MIME type.
* `:?` Display help for a specific command, or general help about the REPL.
* `:browse` Show information about the current state
* `:constants` Set up the current machine's constants with the specified predicate
* `:eval` Evaluate an expression.
* `:exec` Execute an operation with the specified predicate, or by its ID
* `:groovy` Evaluate the given Groovy expression.
* `:help` Display help for a specific command, or general help about the REPL.
* `:init` Initialise the current machine with the specified predicate
* `:initialise` Initialise the current machine with the specified predicate
* `:load` Load the machine from the given path.
* `:pref` View or change the value of one or more preferences.
* `:prettyprint` Pretty-print a predicate.
* `:solve` Solve a predicate with the specified solver
* `:table` Display an expression as a table.
* `:time` Execute the given command and measure how long it takes to execute.
* `:version` Display version info about the ProB CLI and ProB 2
Type a valid B expression, or one of the following commands:
::load Load the machine source code from the body.
::render Render some content with the specified MIME type.
:? Display help for a specific command, or general help about the REPL.
:browse Show information about the current state
:constants Set up the current machine's constants with the specified predicate
:eval Evaluate an expression.
:exec Execute an operation with the specified predicate, or by its ID
:groovy Evaluate the given Groovy expression.
:help Display help for a specific command, or general help about the REPL.
:init Initialise the current machine with the specified predicate
:initialise Initialise the current machine with the specified predicate
:load Load the machine from the given path. :load Load the machine from the given path.
:pref View or change the value of one or more preferences. :pref View or change the value of one or more preferences.
:prettyprint Pretty-print a predicate. :prettyprint Pretty-print a predicate.
:solve Solve a predicate with the specified solver :solve Solve a predicate with the specified solver
:table Display an expression as a table. :table Display an expression as a table.
:time Execute the given command and measure how long it takes to execute. :time Execute the given command and measure how long it takes to execute.
:type Display the type of a formula.
:version Display version info about the ProB CLI and ProB 2 :version Display version info about the ProB CLI and ProB 2
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:help :help :help :help
``` ```
%% Output %% Output
``` ```
:? [COMMAND]
:help [COMMAND] :help [COMMAND]
``` ```
Display help for a specific command, or general help about the REPL. Display help for a specific command, or general help about the REPL.
:? [COMMAND]
:help [COMMAND]
Display help for a specific command, or general help about the REPL.
%% Cell type:code id: tags:
``` prob
:? :?
```
%% Output
```
:? [COMMAND]
:help [COMMAND]
```
Display help for a specific command, or general help about the REPL.
:? [COMMAND]
:help [COMMAND] :help [COMMAND]
Display help for a specific command, or general help about the REPL. Display help for a specific command, or general help about the REPL.
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:help :load :help :load
``` ```
%% Output %% Output
``` ```
:load FILENAME [PREF=VALUE ...] :load FILENAME [PREF=VALUE ...]
``` ```
Load the machine from the given path. Load the machine from the given path.
:load FILENAME [PREF=VALUE ...] :load FILENAME [PREF=VALUE ...]
Load the machine from the given path. Load the machine from the given path.
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:help ::load :help ::load
``` ```
%% Output %% Output
``` ```
::load [PREF=VALUE ...] ::load [PREF=VALUE ...]
MACHINE MACHINE
... ...
END END
``` ```
Load the machine source code from the body. Load the machine source code from the body.
::load [PREF=VALUE ...] ::load [PREF=VALUE ...]
MACHINE MACHINE
... ...
END END
Load the machine source code from the body. Load the machine source code from the body.
%% Cell type:markdown id: tags: %% Cell type:markdown id: tags:
When looking up help for a command, the `:` or `::` can be left off of the command name. When looking up help for a command, the `:` or `::` can be left off of the command name.
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:help help :help help
``` ```
%% Output %% Output
``` ```
:? [COMMAND]
:help [COMMAND]
```
Display help for a specific command, or general help about the REPL.
:? [COMMAND]
:help [COMMAND]
Display help for a specific command, or general help about the REPL.
%% Cell type:code id: tags:
``` prob
:help ?
```
%% Output
```
:? [COMMAND]
:help [COMMAND] :help [COMMAND]
``` ```
Display help for a specific command, or general help about the REPL. Display help for a specific command, or general help about the REPL.
:? [COMMAND]
:help [COMMAND] :help [COMMAND]
Display help for a specific command, or general help about the REPL. Display help for a specific command, or general help about the REPL.
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:help load :help load
``` ```
%% Output %% Output
``` ```
:load FILENAME [PREF=VALUE ...] :load FILENAME [PREF=VALUE ...]
``` ```
Load the machine from the given path. Load the machine from the given path.
:load FILENAME [PREF=VALUE ...] :load FILENAME [PREF=VALUE ...]
Load the machine from the given path. Load the machine from the given path.
%% Cell type:markdown id: tags: %% Cell type:markdown id: tags:
But it's not possible to use the wrong number of colons. But it's not possible to use the wrong number of colons.
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:help ::help :help ::help
``` ```
%% Output %% Output
:help: Cannot display help for unknown command "::help" :help: Cannot display help for unknown command "::help"
%% Cell type:markdown id: tags: %% Cell type:markdown id: tags:
Unknown commands cannot be looked up. Unknown commands cannot be looked up.
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:help wrong :help wrong
``` ```
%% Output %% Output
:help: Cannot display help for unknown command "wrong" :help: Cannot display help for unknown command "wrong"
%% Cell type:code id: tags: %% Cell type:code id: tags:
``` prob ``` prob
:help :wrong :help :wrong
``` ```
%% Output %% Output
:help: Cannot display help for unknown command ":wrong" :help: Cannot display help for unknown command ":wrong"
......
...@@ -135,9 +135,7 @@ public final class ProBKernel extends BaseKernel { ...@@ -135,9 +135,7 @@ public final class ProBKernel extends BaseKernel {
this.animationSelector = animationSelector; this.animationSelector = animationSelector;
this.commands = new HashMap<>(); this.commands = new HashMap<>();
final Command help = injector.getInstance(HelpCommand.class); this.commands.put(":help", injector.getInstance(HelpCommand.class));
this.commands.put(":?", help);
this.commands.put(":help", help);
this.commands.put(":version", injector.getInstance(VersionCommand.class)); this.commands.put(":version", injector.getInstance(VersionCommand.class));
this.commands.put(":eval", injector.getInstance(EvalCommand.class)); this.commands.put(":eval", injector.getInstance(EvalCommand.class));
this.commands.put(":type", injector.getInstance(TypeCommand.class)); this.commands.put(":type", injector.getInstance(TypeCommand.class));
...@@ -149,7 +147,6 @@ public final class ProBKernel extends BaseKernel { ...@@ -149,7 +147,6 @@ public final class ProBKernel extends BaseKernel {
this.commands.put(":browse", injector.getInstance(BrowseCommand.class)); this.commands.put(":browse", injector.getInstance(BrowseCommand.class));
this.commands.put(":exec", injector.getInstance(ExecCommand.class)); this.commands.put(":exec", injector.getInstance(ExecCommand.class));
this.commands.put(":constants", injector.getInstance(ConstantsCommand.class)); this.commands.put(":constants", injector.getInstance(ConstantsCommand.class));
this.commands.put(":initialise", injector.getInstance(InitialiseCommand.class));
this.commands.put(":init", injector.getInstance(InitialiseCommand.class)); this.commands.put(":init", injector.getInstance(InitialiseCommand.class));
this.commands.put(":assert", injector.getInstance(AssertCommand.class)); this.commands.put(":assert", injector.getInstance(AssertCommand.class));
this.commands.put(":time", injector.getInstance(TimeCommand.class)); this.commands.put(":time", injector.getInstance(TimeCommand.class));
......
...@@ -22,7 +22,7 @@ public final class HelpCommand implements Command { ...@@ -22,7 +22,7 @@ public final class HelpCommand implements Command {
@Override @Override
public @NotNull String getSyntax() { public @NotNull String getSyntax() {
return ":? [COMMAND]\n:help [COMMAND]"; return ":help [COMMAND]";
} }
@Override @Override
......
...@@ -30,7 +30,7 @@ public final class InitialiseCommand implements Command { ...@@ -30,7 +30,7 @@ public final class InitialiseCommand implements Command {
@Override @Override
public @NotNull String getSyntax() { public @NotNull String getSyntax() {
return ":initialise [PREDICATE]\n:init [PREDICATE]"; return ":init [PREDICATE]";
} }
@Override @Override
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment