cprover
document_propertiest::linet Struct Reference
Collaboration diagram for document_propertiest::linet:
[legend]

Public Attributes

std::string text
 
int line_number
 

Detailed Description

Definition at line 49 of file document_properties.cpp.

Member Data Documentation

◆ line_number

int document_propertiest::linet::line_number

Definition at line 52 of file document_properties.cpp.

◆ text

std::string document_propertiest::linet::text

Definition at line 51 of file document_properties.cpp.


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