yaml_parser Class Reference

#include <yaml_parser.h>

Static Public Member Functions
static std::vector< invariant >	read_invariants (const std::string &path)
static std::vector< waypoint > &	get_waypoints (const std::string &path)
	Returns a mutable reference into the shared parse cache for path.
static bool	get_target_waypoint (const std::string &path, waypoint &out)
	Returns true and sets out to the target waypoint if the witness has one; otherwise returns false.
static void	fill_columns (const std::string &src_path, std::vector< waypoint > &waypoints)
	Fills in missing column numbers for waypoints that need it by scanning the source file at src_path.
static std::string	build_injected_source (const std::string &source_path, const std::string &original_path, const std::vector< invariant > &invariants)
static std::string	build_violation_witness_source (const std::string &source_path, const std::string &original_path, const std::vector< waypoint > &waypoints)

Member Function Documentation

build_injected_source()

std::string yaml_parser::build_injected_source ( const std::string & source_path, const std::string & original_path, const std::vector< invariant > & invariants )

static

build_violation_witness_source()

std::string yaml_parser::build_violation_witness_source ( const std::string & source_path, const std::string & original_path, const std::vector< waypoint > & waypoints )

static

fill_columns()

void yaml_parser::fill_columns ( const std::string & src_path, std::vector< waypoint > & waypoints )

static

Fills in missing column numbers for waypoints that need it by scanning the source file at src_path.

Idempotent: already-filled waypoints are skipped.

get_target_waypoint()

bool yaml_parser::get_target_waypoint ( const std::string & path, waypoint & out )

static

Returns true and sets out to the target waypoint if the witness has one; otherwise returns false.

Triggers parsing if not yet cached.

get_waypoints()

std::vector< waypoint > & yaml_parser::get_waypoints ( const std::string & path )

static

Returns a mutable reference into the shared parse cache for path.

Callers may modify waypoints in place (e.g. fill parsed_cond); changes persist for the lifetime of the process. Do not store the reference across calls that pass a different witness path.

read_invariants()

std::vector< invariant > yaml_parser::read_invariants ( const std::string & path )

static

---

The documentation for this class was generated from the following files:

• src/util/base/yaml_parser.h
• src/util/base/yaml_parser.cpp