cprover
language_entryt Struct Reference
Collaboration diagram for language_entryt:
[legend]

Public Attributes

language_factoryt factory
 
std::set< std::string > extensions
 
irep_idt mode
 

Detailed Description

Definition at line 21 of file mode.cpp.

Member Data Documentation

§ extensions

std::set<std::string> language_entryt::extensions

Definition at line 24 of file mode.cpp.

§ factory

language_factoryt language_entryt::factory

Definition at line 23 of file mode.cpp.

Referenced by register_language().

§ mode

irep_idt language_entryt::mode

Definition at line 25 of file mode.cpp.


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