CBMC
Public Member Functions | Public Attributes | List of all members
language_modulet Class Referencefinal

#include <language_file.h>

+ Collaboration diagram for language_modulet:

Public Member Functions

 language_modulet ()
 

Public Attributes

std::string name
 
bool type_checked
 
bool in_progress
 
language_filet * file
 

Detailed Description

Definition at line 27 of file language_file.h.

Constructor & Destructor Documentation

◆ language_modulet()

language_modulet::language_modulet ( )
inline

Definition at line 34 of file language_file.h.

Member Data Documentation

◆ file

language_filet* language_modulet::file

Definition at line 32 of file language_file.h.

◆ in_progress

bool language_modulet::in_progress

Definition at line 31 of file language_file.h.

◆ name

std::string language_modulet::name

Definition at line 30 of file language_file.h.

◆ type_checked

bool language_modulet::type_checked

Definition at line 31 of file language_file.h.

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