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.