@@ -95,7 +95,12 @@ Updates the context such that the provided identifier is mapped to the bit given
...
@@ -95,7 +95,12 @@ Updates the context such that the provided identifier is mapped to the bit given
Note : any non nil integer is mapped to `true`, 0 is mapped to `false`.
Note : any non nil integer is mapped to `true`, 0 is mapped to `false`.
## `input_bus : Netlist_ast.ident -> unit`
## `input_bus : Netlist_ast.ident -> unit`
Updates the context such that the provided identifier is mapped to the bits given by the user, bit by bit, in `stdin` (it asks the value of every wire).
Updates the context such that the provided identifier is mapped to the bits given by the user, according to the mode given in the CLI, in `stdin`.
Description of the modes:
- 'b'(it) : legacy mode. Here only because I didn't dare to remove it. It asks for the value of the bus wire per wire, bit per bit. Also officially known as "masochist mode".
- 'l'(ittle) : default mode. Asks for the input in the form of a `n` bit word. Is read as little-endian.
- 'B'(ig) : Asks for the input in the form of a `n` bit word. Is read a big-endian.
- 'i'(nteger) : Asks for the input in the form of an integer. Its binary representation is converted in a little-endian mode.
## `input : Netlist_ast.program -> unit`
## `input : Netlist_ast.program -> unit`
Calls [input_wire](#input_wire-netlist_astident-unit) or [input_bus](#input_bus-netlist_astident-unit) on every identifier marked as an input in the program.
Calls [input_wire](#input_wire-netlist_astident-unit) or [input_bus](#input_bus-netlist_astident-unit) on every identifier marked as an input in the program.
