cprover
goto_instrument_languages.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Language Registration
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#include "
goto_instrument_parse_options.h
"
13
14
#include <
langapi/mode.h
>
15
16
#include <
ansi-c/ansi_c_language.h
>
17
#include <
cpp/cpp_language.h
>
18
#include <
java_bytecode/java_bytecode_language.h
>
19
20
void
goto_instrument_parse_optionst::register_languages
()
21
{
22
register_language
(
new_ansi_c_language
);
23
register_language
(
new_cpp_language
);
24
register_language
(
new_java_bytecode_language
);
25
}
goto_instrument_parse_options.h
Command Line Parsing.
new_ansi_c_language
languaget * new_ansi_c_language()
Definition:
ansi_c_language.cpp:140
java_bytecode_language.h
cpp_language.h
C++ Language Module.
new_cpp_language
languaget * new_cpp_language()
Definition:
cpp_language.cpp:208
new_java_bytecode_language
languaget * new_java_bytecode_language()
Definition:
java_bytecode_language.cpp:658
register_language
void register_language(language_factoryt factory)
Definition:
mode.cpp:31
mode.h
ansi_c_language.h
goto_instrument_parse_optionst::register_languages
virtual void register_languages()
Definition:
goto_instrument_languages.cpp:20
goto-instrument
goto_instrument_languages.cpp
Generated by
1.8.14