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