libutap  0.93
Uppaal Timed Automata Parser
Public Member Functions | Public Attributes | List of all members
UTAP::error_t Struct Reference

#include <position.h>

Collaboration diagram for UTAP::error_t:
Collaboration graph
[legend]

Public Member Functions

 error_t (Positions::line_t s, Positions::line_t e, position_t pos, std::string msg, std::string ctx="")
 

Public Attributes

Positions::line_t start
 
Positions::line_t end
 
position_t position
 
const std::string message
 
const std::string context
 

Detailed Description

Definition at line 94 of file position.h.

Constructor & Destructor Documentation

◆ error_t()

UTAP::error_t::error_t ( Positions::line_t  s,
Positions::line_t  e,
position_t  pos,
std::string  msg,
std::string  ctx = "" 
)
inline

Definition at line 102 of file position.h.

References UTAP::operator<<().

Here is the call graph for this function:

Member Data Documentation

◆ context

const std::string UTAP::error_t::context

Definition at line 100 of file position.h.

◆ end

Positions::line_t UTAP::error_t::end

Definition at line 97 of file position.h.

Referenced by operator<<().

◆ message

const std::string UTAP::error_t::message

Definition at line 99 of file position.h.

Referenced by operator<<().

◆ position

position_t UTAP::error_t::position

Definition at line 98 of file position.h.

Referenced by operator<<().

◆ start

Positions::line_t UTAP::error_t::start

Definition at line 96 of file position.h.

Referenced by operator<<().

The documentation for this struct was generated from the following file: