### VCD Syntax Error Exception Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Exception raised when the VCD file content does not conform to the expected VCD syntax. ```python exception pyDigitalWaveTools.vcd.parser.VcdSyntaxError ``` -------------------------------- ### VcdParser Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Parses VCD (Value Change Dump) files. ```APIDOC ## VcdParser ### Description Provides functionality to parse VCD files, handling various VCD commands and value changes. ### Attributes - `SCOPE_TYPES`: A dictionary mapping scope type identifiers to their names. - `VECTOR_VALUE_CHANGE_PREFIX`: The prefix character for vector value changes. ### Methods - `drop_while_end()`: Skips lines until the end of a section. - `on_error(error)`: Handles parsing errors. - `parse()`: Initiates the parsing process. - `parse_error(error_msg)`: Parses and reports a syntax error. - `parse_str(vcd_string)`: Parses a VCD file from a string. - `read_while_end()`: Reads lines until the end of a section. - `save_declaration(var_info)`: Saves variable declarations. - `setNow(time_val)`: Sets the current simulation time. - `value_change(var_id, value)`: Processes a value change for a variable. - `vcd_dumpall()`: Handles the `$dumpall` command. - `vcd_dumpoff()`: Handles the `$dumpoff` command. - `vcd_dumpon()`: Handles the `$dumpon` command. - `vcd_dumpvars()`: Handles the `$dumpvars` command. - `vcd_end()`: Handles the `$end` command. - `vcd_enddefinitions()`: Handles the `$enddefinitions` command. - `vcd_scope(scope_type, scope_name)`: Handles the `$scope` command. - `vcd_upscope()`: Handles the `$upscope` command. - `vcd_value_change(var_id, value)`: Processes a value change command. - `vcd_var(var_type, ref, size, name)`: Handles the `$var` command to declare a variable. ``` -------------------------------- ### VcdVarWritingInfo Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Stores information for writing VCD variables. ```APIDOC ## VcdVarWritingInfo ### Description A class to hold information required for writing VCD variables. ``` -------------------------------- ### VarIdScopeJson Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.json.html Manages variable registration within a JSON context. ```APIDOC ## Class: VarIdScopeJson ### Description Manages variable registration within a JSON context. ### Methods #### `registerVariable(_sig : object_, _name : str_, _parent : VcdVarScope_, _width : int_, _sigType : VCD_SIG_TYPE_, _valueFormatter : LogValueFormatter_)` Registers a variable with its associated information. ``` -------------------------------- ### VCD Dump All Directive Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Represents the $dumpall directive in a VCD file. This directive specifies that the current values of all variables should be dumped. ```vcd $dumpall 1*@ x*# 0*$ bx (k $end ``` -------------------------------- ### JsonWriter Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.json.html A writer class for producing wave data in JSON format. ```APIDOC ## Class: JsonWriter ### Description A writer class for producing wave data in JSON format. ### Methods #### `date(_text_)` Adds a date marker to the output. #### `enddefinitions()` Marks the end of definitions in the output. #### `logChange(_time_ , _sig_ , _newVal_ , _valueUpdater_)` Logs a change in signal value. #### `setTime(_t_)` Sets the current time for the writer. #### `timescale(_picoSeconds_)` Sets the timescale for the output. #### `varScope(_name_)` Creates a new variable scope with the given name. #### `version(_text_)` Adds a version marker to the output. ``` -------------------------------- ### VcdVarIdScope Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Manages variable registration within a VCD scope. ```APIDOC ## VcdVarIdScope ### Description Manages the registration of variables within a VCD scope. ### Methods - `registerVariable(var_name, var_info)`: Registers a variable with its information. ``` -------------------------------- ### VcdWriter Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html A class for writing data in VCD format, including version, timescale, and variable scope management. ```APIDOC ## VcdWriter ### Description Facilitates writing data structures and metadata in VCD format. ### Methods - `date(date_str)`: Sets the date for the VCD output. - `enddefinitions()`: Marks the end of definitions in the VCD output. - `logChange(var_name, value)`: Logs a change for a variable. - `setTime(time_val)`: Sets the current time. - `timescale(timescale_str)`: Sets the timescale for the output. - `varScope(scope_name)`: Enters or defines a variable scope. - `version(version_str)`: Sets the version information. ``` -------------------------------- ### VCD Parser - Parse String Method Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Parses VCD data directly from a string. This is an alternative to parsing from a file handle. ```python parse_str(_vcd_string : str_):\n \n Same as `parse()` just for string ``` -------------------------------- ### VcdVarWritingScope Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Manages variables within a VCD writing scope. ```APIDOC ## VcdVarWritingScope ### Description Manages variables during the writing process within a VCD scope. ### Methods - `addVar(var_name, var_info)`: Adds a variable to the scope. - `varScope(scope_name)`: Returns a variable scope object. ``` -------------------------------- ### VarIdScopeJson Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Manages variable registration within a JSON scope. ```APIDOC ## VarIdScopeJson ### Description Manages the registration of variables within a JSON scope. ### Methods - `registerVariable(var_name, var_info)`: Registers a variable with its information. ``` -------------------------------- ### VarWritingScopeJson Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.json.html Represents a logical container for signals within a JSON writing scope. ```APIDOC ## Class: VarWritingScopeJson ### Description Represents a logical container for signals within a JSON writing scope. ### Variables - **~.sig** – user specified object to keep track of VcdVarInfo in change() - **~.sigType** – vcd type name - **~.valueFormatter** – value which converts new value in change() to vcd string ### Methods #### `addVar(_sig : object_, _name : str_, _sigType : VCD_SIG_TYPE_, _width : int_, _valueFormatter : LogValueFormatter_)` Adds a variable to the scope with its type, width, and value formatter. ``` -------------------------------- ### VcdVarWritingScope Class Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Represents a VCD writing scope, a container for variables. Inherits from VcdVarScope. ```APIDOC ## Class pyDigitalWaveTools.vcd.writer.VcdVarWritingScope ### Description Represents a VCD writing scope, a container for variables. Inherits from VcdVarScope. ### Attributes - **_name** (str) - The name of the scope. - **_writer** (VcdWriter) - The VCD writer instance. - **_parent** (VcdVarScope) - The parent scope. - **_vars** - Subscopes or signals within this scope. ### Methods #### addVar - **_sig** (object) - User-specified object to track VcdVarInfo in change(). - **_name** (str) - The name of the variable. - **_sigType** (VCD_SIG_TYPE) - The VCD type name. - **_width** (int) - The width of the variable. - **_valueFormatter** (LogValueFormatter) - The value formatter that converts new values in change() to VCD strings. #### varScope - **_name** (str) - The name of the sub-variable scope to create. ### Returns - **VcdVarWritingScope** - A new sub-variable scope with the defined name. ``` -------------------------------- ### VCD Dump On Directive Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Represents the $dumpon directive in a VCD file. This directive resumes the dumping of signal value changes and lists current values. ```vcd $dumpon x*@ 0*# x*$ b1 (k $end ``` -------------------------------- ### VcdFloatFormatter Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Formats floating-point values for VCD output. ```APIDOC ## VcdFloatFormatter ### Description Formats floating-point values for representation in VCD files. ### Methods - `bind_var_info(var_info)`: Binds variable information to the formatter. - `format(data)`: Formats the provided floating-point data for VCD output. ``` -------------------------------- ### bitToStr Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Converts a single bit to its string representation. ```APIDOC ## bitToStr ### Description Converts a single bit value (e.g., 0 or 1) into its string representation ('0' or '1'). ### Parameters - `bit` (int): The bit value to convert. ``` -------------------------------- ### VcdVarScope Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Represents a scope for variables in a VCD file. ```APIDOC ## VcdVarScope ### Description Manages variable scopes within a VCD file. ### Methods - `toJson()`: Converts the variable scope to a JSON representation. ``` -------------------------------- ### VcdEnumFormatter Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Formats enumerated values for VCD output. ```APIDOC ## VcdEnumFormatter ### Description Formats enumerated type values for representation in VCD files. ### Methods - `bind_var_info(var_info)`: Binds variable information to the formatter. - `format(data)`: Formats the provided enumerated data for VCD output. ``` -------------------------------- ### VcdVarInfo Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Represents information about a variable in a VCD file. ```APIDOC ## VcdVarInfo ### Description A class to hold information pertaining to a variable within a VCD file. ``` -------------------------------- ### JsonBitsFormatter Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Handles formatting for JSON bit strings, including binding variable information and the formatting process. ```APIDOC ## JsonBitsFormatter ### Description Provides methods to bind variable information and format data as JSON bit strings. ### Methods - `bind_var_info(var_info)`: Binds variable information to the formatter. - `format(data)`: Formats the provided data for JSON bit string output. ``` -------------------------------- ### LogValueFormatter Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Formats values for logging purposes in VCD. ```APIDOC ## LogValueFormatter ### Description Formats variable values for logging in VCD context. ### Methods - `bind_var_info(var_info)`: Binds variable information to the formatter. - `format(data)`: Formats the provided data for logging. ``` -------------------------------- ### VcdVarIdScope Class Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Represents a scope for VCD variable IDs. Inherits from dict. ```APIDOC ## Class pyDigitalWaveTools.vcd.writer.VcdVarIdScope ### Description Represents a scope for VCD variable IDs. Inherits from dict. ### Methods #### registerVariable - **_sig** (object) - The signal object. - **_name** (str) - The name of the variable. - **_parent** (VcdVarScope) - The parent scope. - **_width** (int) - The width of the variable. - **_sigType** (VCD_SIG_TYPE) - The type of the signal. - **_valueFormatter** (LogValueFormatter) - The value formatter for the variable. ``` -------------------------------- ### JsonWriter Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html A class for writing data in JSON format, including version, timescale, and variable scope management. ```APIDOC ## JsonWriter ### Description Facilitates writing data structures and metadata in JSON format. ### Methods - `date(date_str)`: Sets the date for the JSON output. - `enddefinitions()`: Marks the end of definitions in the JSON output. - `logChange(var_name, value)`: Logs a change for a variable. - `setTime(time_val)`: Sets the current time. - `timescale(timescale_str)`: Sets the timescale for the output. - `varScope(scope_name)`: Enters or defines a variable scope. - `version(version_str)`: Sets the version information. ``` -------------------------------- ### VCD Dump Vars Directive Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Represents the $dumpvars directive in a VCD file. This directive lists the initial values of all variables that are to be dumped. ```vcd $dumpvars x*@ z*$ b0 (k $end ``` -------------------------------- ### JsonBitsFormatter Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.json.html Formats bit values for JSON output. It supports binding variable information and formatting new values. ```APIDOC ## Class: JsonBitsFormatter ### Description Formats bit values for JSON output. It supports binding variable information and formatting new values. ### Methods #### `bind_var_info(_varInfo : VcdVarWritingInfo_)` Binds variable information to the formatter. #### `format(_newVal : Value_, _updater_ , _t : int_, _out : List[Tuple]_)` Formats a new value based on the provided information and appends it to the output list. ``` -------------------------------- ### VcdBitsFormatter Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Formats bit values for VCD output. ```APIDOC ## VcdBitsFormatter ### Description Formats bit values for representation in VCD files. ### Methods - `bind_var_info(var_info)`: Binds variable information to the formatter. - `format(data)`: Formats the provided bit data for VCD output. ``` -------------------------------- ### VarWritingScopeJson Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Manages variables within a JSON writing scope. ```APIDOC ## VarWritingScopeJson ### Description Manages variables during the writing process within a JSON scope. ### Methods - `addVar(var_name, var_info)`: Adds a variable to the scope. - `varScope(scope_name)`: Returns a variable scope object. ``` -------------------------------- ### VCD Parser Class Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html A parser for VCD files that reads definitions and processes value changes. It maintains internal state for the current scope, time, and signal data. ```python class pyDigitalWaveTools.vcd.parser.VcdParser:\n \n Bases: `object`\n A parser object for VCD files. Reads definitions and walks through the value changes https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=954909&tag=1 \n\n Variables:\n \n * **~.keyword_dispatch** – dictionary {keyword: parse function}\n * **~.scope** – actual VcdSignalInfo\n * **~.now** – actual time (int)\n * **~.idcode2var** – dictionary mapping vcd id to VcdVarParsingInfo\n * **~.idcode2series** – dictionary {idcode: series} where series are list of tuples (time, value), the list commes from VcdVarParsingInfo object\n * **~.signals** – dict {topName: VcdSignalInfo instance} ``` -------------------------------- ### VcdFloatFormatter Class Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Formatter for VCD float (real) values. Inherits from LogValueFormatter. ```APIDOC ## Class pyDigitalWaveTools.vcd.value_format.VcdFloatFormatter ### Description Formatter for VCD float (real) values. Inherits from LogValueFormatter. ### Methods #### bind_var_info - **_varInfo** (VcdVarWritingInfo_) - Information about the variable to bind. #### format - **_newVal** (float_) - The new float value to format. - **_updater** - The updater object. - **_t** (int) - The current time. - **_out** (StringIO_) - The output stream to write the formatted value to. ``` -------------------------------- ### LogValueFormatter Class Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Base class for VCD value formatters. Provides methods to bind variable information and format values. ```APIDOC ## Class pyDigitalWaveTools.vcd.value_format.LogValueFormatter ### Description Base class for VCD value formatters. Provides methods to bind variable information and format values. ### Methods #### bind_var_info - **_varInfo** (VcdVarWritingInfo_) - Information about the variable to bind. #### format - **_newVal** (Value_) - The new value to format. - **_updater** - The updater object. - **_t** (int) - The current time. - **_out** (StringIO_) - The output stream to write the formatted value to. ``` -------------------------------- ### VcdBitsFormatter Class Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Formatter for VCD bit values. Inherits from LogValueFormatter. ```APIDOC ## Class pyDigitalWaveTools.vcd.value_format.VcdBitsFormatter ### Description Formatter for VCD bit values. Inherits from LogValueFormatter. ### Methods #### bind_var_info - **_varInfo** (VcdVarWritingInfo_) - Information about the variable to bind. #### format - **_newVal** (Value_) - The new value to format. - **_updater** - The updater object. - **_t** (int) - The current time. - **_out** (StringIO_) - The output stream to write the formatted value to. ``` -------------------------------- ### VCD_SIG_TYPE Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Enumeration for VCD signal types. ```APIDOC ## VCD_SIG_TYPE ### Description An enumeration representing different types of signals in VCD files. ### Members - `ARRAY`: Represents an array signal. - `ENUM`: Represents an enumerated signal. - `REAL`: Represents a real-valued signal. - `WIRE`: Represents a wire signal. ``` -------------------------------- ### VCD Vector Value Change Prefixes Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Set of characters that indicate a vector value change in a VCD file. These are used to distinguish vector updates from scalar updates. ```python VECTOR_VALUE_CHANGE_PREFIX = {'B', 'R', 'b', 'r'} ``` -------------------------------- ### VcdVarParsingInfo Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Stores parsed information about a VCD variable. ```APIDOC ## VcdVarParsingInfo ### Description Holds the parsed data and associated information for a VCD variable. ### Attributes - `data`: The parsed data of the variable. ### Methods - `toJson()`: Converts the variable parsing information to a JSON representation. ``` -------------------------------- ### VcdEnumFormatter Class Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Formatter for VCD enumerated values. Inherits from LogValueFormatter. Note: Does not comply with the standard. ```APIDOC ## Class pyDigitalWaveTools.vcd.value_format.VcdEnumFormatter ### Description Formatter for VCD enumerated values. Inherits from LogValueFormatter. Note: Does not comply with the standard. ### Methods #### bind_var_info - **_varInfo** (VcdVarWritingInfo_) - Information about the variable to bind. #### format - **_newVal** (Value_) - The new value to format. - **_updater** - The updater object. - **_t** (int) - The current time. - **_out** (StringIO_) - The output stream to write the formatted value to. ``` -------------------------------- ### JsonArrayFormatter Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Handles formatting for JSON arrays, including binding variable information and the formatting process. ```APIDOC ## JsonArrayFormatter ### Description Provides methods to bind variable information and format data for JSON arrays. ### Methods - `bind_var_info(var_info)`: Binds variable information to the formatter. - `format(data)`: Formats the provided data for JSON array output. ``` -------------------------------- ### VCD Scope Type Constants Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Set of keywords that define different types of scopes in a VCD file. Used during parsing to identify scope boundaries. ```python SCOPE_TYPES = {'begin', 'fork', 'function', 'module', 'task'} ``` -------------------------------- ### VCD Duplicated Variable Error Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Exception raised when a VCD file defines the same variable multiple times. This indicates an issue with the VCD file's structure. ```python exception pyDigitalWaveTools.vcd.parser.VcdDuplicatedVariableError ``` -------------------------------- ### JsonEnumFormatter Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Handles formatting for JSON enumerated types. ```APIDOC ## JsonEnumFormatter ### Description Provides a method to format enumerated type data for JSON output. ### Methods - `format(data)`: Formats the provided enumerated data for JSON output. ``` -------------------------------- ### JsonEnumFormatter Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.json.html Formats enumerated values for JSON output. ```APIDOC ## Class: JsonEnumFormatter ### Description Formats enumerated values for JSON output. ### Methods #### `format(_newVal : Value_, _updater_ , _t : int_, _out : List[Tuple]_)` Formats a new value based on the provided information and appends it to the output list. ``` -------------------------------- ### VCD Dump Off Directive Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Represents the $dumpoff directive in a VCD file. This directive stops the dumping of signal value changes. ```vcd $dumpoff x*@ x*# x*$ bx (k $end ``` -------------------------------- ### VCD Signal Type Constants Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Constants representing different types of signals in a VCD file. These are used to categorize variables. ```python ARRAY = 'array'\ ENUM = 'enum'\ REAL = 'real'\ WIRE = 'wire' ``` -------------------------------- ### VCD Variable Parsing Information Class Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Container for variable information specifically used during the parsing of a VCD file. It extends VcdVarInfo and includes a data field to store value changes over time. ```python class pyDigitalWaveTools.vcd.parser.VcdVarParsingInfo(_vcdId : str | VcdVarInfo_, _name : str_, _width_ , _sigType_ , _parent_):\n \n Bases: `VcdVarInfo`\n Container of informations about variable in VCD for parsing of VCD file \n\n data: List[Tuple[int, str]] ``` -------------------------------- ### VCD Variable Scope Class Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Represents a scope (e.g., module, task) in a VCD file, acting as a container for variables and nested scopes. It stores the scope's name, parent, and children. ```python class pyDigitalWaveTools.vcd.common.VcdVarScope(_name_ , _parent =None_):\n \n Bases: `object`\n VCD module - container for variables \n\n Variables:\n \n * **~.name** – name of this scope\n * **~.parent** – parent scope of this scope or None\n * **~.children** – dict {name: } ``` -------------------------------- ### bitVectorToStr Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.html Converts a vector of bits to its string representation. ```APIDOC ## bitVectorToStr ### Description Converts a vector of bits into its string representation. ### Parameters - `bit_vector` (list or similar iterable): An iterable of bit values. ``` -------------------------------- ### VCD Parser - Value Change Method Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Appends a signal value change to the data series for a given VCD ID. This method is called when a value change is encountered during parsing. ```python value_change(_vcdId_ , _value_ , _lineNo_):\n \n append change from VCD file signal data series ``` -------------------------------- ### VCD Variable Information Class Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.vcd.html Represents common information about a variable within a VCD file. It holds details like VCD ID, name, width, signal type, and parent scope. ```python class pyDigitalWaveTools.vcd.common.VcdVarInfo(_vcdId : str | VcdVarInfo_, _name : str_, _width_ , _sigType_ , _parent_):\n \n Bases: `object`\n Common part of VcdParsingVarInfo and VcdVarWritingInfo Container of informations about variable in VCD \n\n Variables:\n \n * **~.vcdId** – id in VCD file or the first VcdVarInfo which uses the same id (in this case this var is just reference to it)\n * **~.name** – name in VCD file\n * **~.width** – width in VCD file (int)\n * **~.sigType** – VCD var type name (from VCD_SIG_TYPE)\n * **~.parent** – parent VcdSignalScope object ``` -------------------------------- ### JsonArrayFormatter Source: https://pydigitalwavetools.readthedocs.io/en/latest/pyDigitalWaveTools.json.html Formats array values for JSON output. It supports binding variable information and formatting new values. ```APIDOC ## Class: JsonArrayFormatter ### Description Formats array values for JSON output. It supports binding variable information and formatting new values. ### Methods #### `bind_var_info(_varInfo : VcdVarWritingInfo_)` Binds variable information to the formatter. #### `format(_newVal : Value_, _updater_ , _t : int_, _out : List[Tuple]_)` Formats a new value based on the provided information and appends it to the output list. ``` === COMPLETE CONTENT === This response contains all available snippets from this library. No additional content exists. Do not make further requests.