CBMC
Loading...
Searching...
No Matches
jdiff_languages.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Language Registration
4
5Author: Peter Schrammel
6
7\*******************************************************************/
8
11
12#include "jdiff_parse_options.h"
13
14#include <langapi/mode.h>
15
17
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