document_propertiest::linet Struct Reference

Collaboration diagram for document_propertiest::linet:

Public Attributes
std::string	text
int	line_number

Detailed Description

Definition at line 50 of file document_properties.cpp.

Member Data Documentation

line_number

int document_propertiest::linet::line_number

Definition at line 53 of file document_properties.cpp.

text

std::string document_propertiest::linet::text

Definition at line 52 of file document_properties.cpp.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-instrument/document_properties.cpp