waypoint Class Reference

#include <waypoint.h>

Classes
struct	parsed_constraintt

Public Types
enum	Type {   assumption , target , function_enter , function_return ,   branching , unknown }
enum	Action { follow , avoid , cycle }

Public Attributes
Type	type = unknown
Action	action = follow
size_t	segment_idx = 0
std::string	file
std::string	value
std::string	format
BigInt	line = c_nonset
BigInt	column = c_nonset
std::string	function
irep_idt	line_id
irep_idt	column_id
irep_idt	function_id
parsed_constraintt	parsed_cond

Member Enumeration Documentation

Action

enum waypoint::Action

Enumerator
follow
avoid
cycle

Type

enum waypoint::Type

Enumerator
assumption
target
function_enter
function_return
branching
unknown

Member Data Documentation

action

Action waypoint::action = follow

column

BigInt waypoint::column = c_nonset

column_id

irep_idt waypoint::column_id

file

std::string waypoint::file

format

std::string waypoint::format

function

std::string waypoint::function

function_id

irep_idt waypoint::function_id

line

BigInt waypoint::line = c_nonset

line_id

irep_idt waypoint::line_id

parsed_cond

parsed_constraintt waypoint::parsed_cond

segment_idx

size_t waypoint::segment_idx = 0

type

Type waypoint::type = unknown

value

std::string waypoint::value

---

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

• src/goto-symex/waypoint.h