Takes a Request gives it to the Interpretor and after that calls kbcv.model.Model.updateViews with the generated Reply.
Takes a Request gives it to the Interpretor and after that calls kbcv.model.Model.updateViews with the generated Reply.
the Request to handle
A flag used for automatic completion.
A flag used for automatic completion. It is set to false by default.
The setter for compute used in automatic completion.
The setter for compute used in automatic completion.
a boolean
The language used by the model.
The language used by the model.
Indicates if kbcv is running on a Windows machine (true) or not (false).
Indicates if kbcv is running on a Windows machine (true) or not (false).
Adds a view to the update list.
A reference to the Stacks object.
A reference to the Stacks object.
Takes a Reply and updates the views in the update list accordingly.
This java.util.concurrent.CountDownLatch is only used if the -a flag is set like:
This java.util.concurrent.CountDownLatch is only used if the -a flag is set like:
# ./kbcv -a
This trait provides the basic functions for the communication with the core.