UTAP::position_t Struct Reference

#include <position.h>

Public Member Functions
	position_t ()
	position_t (uint32_t s, uint32_t e)

Public Attributes
uint32_t	start
uint32_t	end

Detailed Description

Definition at line 34 of file position.h.

Constructor & Destructor Documentation

position_t() [1/2]

UTAP::position_t::position_t ( )

inline

Definition at line 39 of file position.h.

position_t() [2/2]

UTAP::position_t::position_t ( uint32_t  s, uint32_t  e  )

inline

Definition at line 40 of file position.h.

Member Data Documentation

end

uint32_t UTAP::position_t::end

Definition at line 36 of file position.h.

Referenced by UTAP::TimedAutomataSystem::addError(), UTAP::TimedAutomataSystem::addWarning(), and operator<<().

start

uint32_t UTAP::position_t::start

Definition at line 36 of file position.h.

Referenced by UTAP::TimedAutomataSystem::addError(), UTAP::TimedAutomataSystem::addWarning(), and operator<<().

---

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

• position.h