CBMC: /home/runner/work/cbmc/cbmc/src/goto-diff/goto_diff_languages.cpp Source File

CBMC
Loading...
Searching...
No Matches
goto_diff_languages.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Language Registration
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#include "goto_diff_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
std::unique_ptr< languaget > new_ansi_c_language()
void register_languages() override
std::unique_ptr< languaget > new_cpp_language()
C++ Language Module.
GOTO-DIFF 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

AltStyle によって変換されたページ (->オリジナル) /