spot::parsed_aut Struct Reference

Result of the automaton parser. More...

#include <spot/parseaut/public.hh>

Collaboration diagram for spot::parsed_aut:

Public Member Functions
	parsed_aut (const std::string &str)
bool	format_errors (std::ostream &os)
	Format diagnostics produced by spot::parse_aut.

Public Attributes
twa_graph_ptr	aut
	The parsed automaton.
kripke_graph_ptr	ks
	The parsed kripke structure.
bool	aborted = false
	Whether an HOA file was terminated with –ABORT
spot::location	loc
	Location of the automaton in the stream.
parsed_aut_type	type = parsed_aut_type::Unknown
	Format of the automaton.
std::string	filename
	Name of the stream (used for displaying syntax errors)
parse_aut_error_list	errors
	Syntax errors that occurred during parsing.

Detailed Description

Result of the automaton parser.

Member Function Documentation

format_errors()

bool spot::parsed_aut::format_errors

(

std::ostream &

os

)

Format diagnostics produced by spot::parse_aut.

Parameters

os	Where diagnostics should be output.

Returns

true iff any diagnostic was output.

Member Data Documentation

aborted

bool spot::parsed_aut::aborted = false

Whether an HOA file was terminated with –ABORT

aut

twa_graph_ptr spot::parsed_aut::aut

The parsed automaton.

May be null if the parser reached the end of the stream or a serious error. In the latter case, errors is non-empty. May also be null if the parser is used to parse a Kripke structure.

errors

parse_aut_error_list spot::parsed_aut::errors

Syntax errors that occurred during parsing.

Note that the parser does not print any diagnostic. Deciding how to output those errors is up to you.

filename

std::string spot::parsed_aut::filename

Name of the stream (used for displaying syntax errors)

ks

kripke_graph_ptr spot::parsed_aut::ks

The parsed kripke structure.

Used instead of aut when the parser is called with option want_kripke.

loc

spot::location spot::parsed_aut::loc

Location of the automaton in the stream.

type

parsed_aut_type spot::parsed_aut::type = parsed_aut_type::Unknown

Format of the automaton.

---

The documentation for this struct was generated from the following file:

• spot/parseaut/public.hh