cprover
mode.cpp File Reference
#include "mode.h"
#include <list>
#include <memory>
#include <set>
#include <util/language.h>
Include dependency graph for mode.cpp:

Go to the source code of this file.

Classes

struct  language_entryt
 

Typedefs

typedef std::list< language_entrytlanguagest
 

Functions

void register_language (language_factoryt factory)
 
languagetget_language_from_mode (const irep_idt &mode)
 
languagetget_language_from_filename (const std::string &filename)
 
languagetget_default_language ()
 

Variables

languagest languages
 

Typedef Documentation

§ languagest

typedef std::list<language_entryt> languagest

Definition at line 28 of file mode.cpp.

Function Documentation

§ get_default_language()

languaget* get_default_language ( )

§ get_language_from_filename()

§ get_language_from_mode()

languaget* get_language_from_mode ( const irep_idt mode)

§ register_language()

Variable Documentation

§ languages