|
libutap
0.93
Uppaal Timed Automata Parser
|
#include <cinttypes>#include <climits>#include <vector>#include <string>#include <iostream>

Go to the source code of this file.
Classes | |
| struct | UTAP::position_t |
| class | UTAP::Positions |
| A container for information about lines and positions in the input file. More... | |
| struct | UTAP::Positions::line_t |
| struct | UTAP::error_t |
Namespaces | |
| UTAP | |
Functions | |
| std::ostream & | operator<< (std::ostream &out, const UTAP::error_t &) |
| std::ostream& operator<< | ( | std::ostream & | out, |
| const UTAP::error_t & | |||
| ) |
Definition at line 78 of file position.cpp.
References UTAP::position_t::end, UTAP::error_t::end, UTAP::Positions::line_t::line, UTAP::error_t::message, UTAP::Positions::line_t::path, UTAP::Positions::line_t::position, UTAP::error_t::position, UTAP::position_t::start, and UTAP::error_t::start.