PLA parser¶
The header <lorina/pla.hpp>
implements methods to parse the PLA format.
The class lorina::pla_reader
provides the following public
member functions.
Function | Description |
---|---|
on_number_of_inputs(number_of_inputs) |
Callback method for parsed number of inputs |
on_number_of_outputs(number_of_outputs) |
Callback method for parsed number of outputs |
on_number_of_terms(number_of_terms) |
Callback method for parsed number of terms |
on_keyword(keyword, value) |
Callback method for parsed keyword-value pair |
on_end() |
Callback method for parsed end |
on_term(term, out) |
Callback method for parsed terms |
The class lorina::pla_writer
provides the following public
member functions.
Function | Description |
---|---|
on_number_of_inputs(number_of_inputs) |
Callback method for writing number of inputs |
on_number_of_outputs(number_of_outputs) |
Callback method for writing number of outputs |
on_number_of_terms(number_of_terms) |
Callback method for writing number of terms |
on_keyword(keyword, value) |
Callback method for writing keyword-value pair |
on_end() |
Callback method for writing end |
on_term(term, out) |
Callback method for writing terms |
The following reader functions are available.
Function
|
Description
|
---|---|
read_pla | Reader function for the PLA format.
|
read_pla | Reader function for PLA format.
|
-
return_code
lorina
::
read_pla
(std::istream &in, const pla_reader &reader, diagnostic_engine *diag = nullptr) Reader function for the PLA format.
Reads PLA format from a stream and invokes a callback method for each parsed primitive and each detected parse error.
- Return
- Success if parsing have been successful, or parse error if parsing have failed
- Parameters
in
: Input streamreader
: A PLA reader with callback methods invoked for parsed primitivesdiag
: An optional diagnostic engine with callback methods for parse errors
-
return_code
lorina
::
read_pla
(const std::string &filename, const pla_reader &reader, diagnostic_engine *diag = nullptr)¶ Reader function for PLA format.
Reads PLA format from a file and invokes a callback method for each parsed primitive and each detected parse error.
- Return
- Success if parsing have been successful, or parse error if parsing have failed
- Parameters
filename
: Name of the filereader
: A PLA reader with callback methods invoked for parsed primitivesdiag
: An optional diagnostic engine with callback methods for parse errors