... | @@ -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.
|
... | | ... | |