| repl.js | |
| bbop. | A self-contained flexible REPL to use as a base to explore the BBOP environment that you setup. |
| Functions | |
| repl | Contructor for the bbop.widget.repl object. |
| get_id | Get the id of different components in the REPL. |
| replace_buffer_text | Replace the buffer text with new text. |
| advance_log_to_bottom | Can’t be bothered to check now, but this needs to be done separately from the log because of an initial race condition. |
| destroy | Remove the autocomplete and functionality from the DOM. |
A self-contained flexible REPL to use as a base to explore the BBOP environment that you setup.
This is a completely self-contained UI and manager.
WARNING: This widget cannot display any kind of HTML tags in the log.
| Functions | |
| repl | Contructor for the bbop.widget.repl object. |
| get_id | Get the id of different components in the REPL. |
| replace_buffer_text | Replace the buffer text with new text. |
| advance_log_to_bottom | Can’t be bothered to check now, but this needs to be done separately from the log because of an initial race condition. |
| destroy | Remove the autocomplete and functionality from the DOM. |
bbop.widget.repl = function( interface_id, initial_commands, in_argument_hash )
Contructor for the bbop.widget.repl object.
The in_argument_hash has the following options.
| buffer_id | the id of the evaluation buffer textarea (default: null/random) |
| cli_id | the id of the CLI textarea (default: null/random) |
| display_initial_commands_p | (default true) |
If you do not specify ids for the inputs, random ones will be generated.
| interface_id | string id of the element to build on |
| initial_commands | a list of initial commands to feed the interpreter |
| in_argument_hash | [optional] optional hash of optional arguments |
this object
Contructor for the bbop.widget.repl object.
bbop.widget.repl = function( interface_id, initial_commands, in_argument_hash )
Get the id of different components in the REPL.
this.get_id = function( str )
Replace the buffer text with new text.
this.replace_buffer_text = function( str )
Can’t be bothered to check now, but this needs to be done separately from the log because of an initial race condition.
this.advance_log_to_bottom = function()
Remove the autocomplete and functionality from the DOM.
this.destroy = function()