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

#include <position.h>

Collaboration diagram for UTAP::Positions::line_t:
Collaboration graph
[legend]

Public Member Functions

 line_t (uint32_t pos, uint32_t offs, uint32_t l, std::string p)
 

Public Attributes

uint32_t position
 
uint32_t offset
 
uint32_t line
 
std::string path
 

Detailed Description

Definition at line 64 of file position.h.

Constructor & Destructor Documentation

◆ line_t()

UTAP::Positions::line_t::line_t ( uint32_t  pos,
uint32_t  offs,
uint32_t  l,
std::string  p 
)
inline

Definition at line 70 of file position.h.

Member Data Documentation

◆ line

uint32_t UTAP::Positions::line_t::line

Definition at line 68 of file position.h.

Referenced by operator<<().

◆ offset

uint32_t UTAP::Positions::line_t::offset

Definition at line 67 of file position.h.

◆ path

std::string UTAP::Positions::line_t::path

Definition at line 69 of file position.h.

Referenced by operator<<().

◆ position

uint32_t UTAP::Positions::line_t::position

Definition at line 66 of file position.h.

Referenced by operator<<().

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