cprover
language_modulet Class Referencefinal

#include <language_file.h>

Collaboration diagram for language_modulet:
[legend]

Public Member Functions

 language_modulet ()
 

Public Attributes

std::string name
 
bool type_checked
 
bool in_progress
 
language_filetfile
 

Detailed Description

Definition at line 26 of file language_file.h.

Constructor & Destructor Documentation

◆ language_modulet()

language_modulet::language_modulet ( )
inline

Definition at line 33 of file language_file.h.

Member Data Documentation

◆ file

language_filet* language_modulet::file

◆ in_progress

bool language_modulet::in_progress

Definition at line 30 of file language_file.h.

Referenced by language_filest::typecheck_module().

◆ name

std::string language_modulet::name

◆ type_checked

bool language_modulet::type_checked

Definition at line 30 of file language_file.h.

Referenced by language_filest::typecheck_module().


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