| 
    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.