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 
17 
19 {
21 }
void register_languages() override
std::unique_ptr< languaget > new_java_bytecode_language()
JDIFF Command Line Option Processing.
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