CBMC
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
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_filet *  file
 

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

Definition at line 31 of file language_file.h.

◆  in_progress

bool language_modulet::in_progress

Definition at line 30 of file language_file.h.

◆  name

std::string language_modulet::name

Definition at line 29 of file language_file.h.

◆  type_checked

bool language_modulet::type_checked

Definition at line 30 of file language_file.h.

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

AltStyle によって変換されたページ (->オリジナル) /