cprover
language_modulet Class Reference

#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 24 of file language_file.h.

Constructor & Destructor Documentation

◆ language_modulet()

language_modulet::language_modulet ( )
inline

Definition at line 31 of file language_file.h.

References in_progress, and type_checked.

Member Data Documentation

◆ file

language_filet* language_modulet::file

◆ in_progress

bool language_modulet::in_progress

Definition at line 28 of file language_file.h.

Referenced by language_modulet(), and language_filest::typecheck_module().

◆ name

std::string language_modulet::name

◆ type_checked

bool language_modulet::type_checked

Definition at line 28 of file language_file.h.

Referenced by language_modulet(), and language_filest::typecheck_module().


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