CBMC
jdiff_languages.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Language Registration
4
5
Author: Peter Schrammel
6
7
\*******************************************************************/
8
11
12
#include "
jdiff_parse_options.h
"
13
14
#include <
langapi/mode.h
>
15
16
#include <
java_bytecode/java_bytecode_language.h
>
17
18
void
jdiff_parse_optionst::register_languages
()
19
{
20
register_language
(
new_java_bytecode_language
);
21
}
jdiff_parse_optionst::register_languages
void register_languages() override
Definition:
jdiff_languages.cpp:18
new_java_bytecode_language
std::unique_ptr< languaget > new_java_bytecode_language()
Definition:
java_bytecode_language.cpp:1532
java_bytecode_language.h
jdiff_parse_options.h
JDIFF Command Line Option Processing.
register_language
void register_language(language_factoryt factory)
Register a language Note: registering a language is required for using the functions in language_util...
Definition:
mode.cpp:39
mode.h
jbmc
src
jdiff
jdiff_languages.cpp
Generated by
1.9.1