Skip to main content

read_data_source

Function read_data_source 

Source
pub fn read_data_source(
    file: &str,
    src: &str,
) -> Result<Vec<(String, bool)>, CompileError>
Expand description

Parse a data-only .vrf source and extract its PROVIDE bindings as (name, value) pairs. A data file carries only values: any statement other than PROVIDE (or a DOMAIN) is a CompileError::DataFileStatement. Used to load a --data <file> of port values without compiling it as a program.