ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
source_position Struct Reference

#include <toml.hpp>

Public Member Functions

TOML_PURE_GETTER constexpr operator bool () const noexcept

Public Attributes

source_index line
source_index column

Friends

TOML_PURE_GETTER friend constexpr bool operator== (const source_position &lhs, const source_position &rhs) noexcept
TOML_PURE_INLINE_GETTER friend constexpr bool operator!= (const source_position &lhs, const source_position &rhs) noexcept
TOML_PURE_GETTER friend constexpr bool operator< (const source_position &lhs, const source_position &rhs) noexcept
TOML_PURE_GETTER friend constexpr bool operator<= (const source_position &lhs, const source_position &rhs) noexcept
TOML_PURE_GETTER friend constexpr bool operator> (const source_position &lhs, const source_position &rhs) noexcept
TOML_PURE_GETTER friend constexpr bool operator>= (const source_position &lhs, const source_position &rhs) noexcept
std::ostream & operator<< (std::ostream &lhs, const source_position &rhs)

Member Function Documentation

◆ operator bool()

TOML_PURE_GETTER constexpr source_position::operator bool ( ) const
inlineexplicitconstexprnoexcept

◆ operator!=

TOML_PURE_INLINE_GETTER friend constexpr bool operator!= ( const source_position & lhs,
const source_position & rhs )
friend

◆ operator<

TOML_PURE_GETTER friend constexpr bool operator< ( const source_position & lhs,
const source_position & rhs )
friend

◆ operator<<

std::ostream & operator<< ( std::ostream & lhs,
const source_position & rhs )
friend

◆ operator<=

TOML_PURE_GETTER friend constexpr bool operator<= ( const source_position & lhs,
const source_position & rhs )
friend

◆ operator==

TOML_PURE_GETTER friend constexpr bool operator== ( const source_position & lhs,
const source_position & rhs )
friend

◆ operator>

TOML_PURE_GETTER friend constexpr bool operator> ( const source_position & lhs,
const source_position & rhs )
friend

◆ operator>=

TOML_PURE_GETTER friend constexpr bool operator>= ( const source_position & lhs,
const source_position & rhs )
friend

Member Data Documentation

◆ column

source_index source_position::column

◆ line

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