CBMC
Public Attributes | List of all members
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: