cprover
|
#include <jdiff_languages.h>
Public Member Functions | |
jdiff_languagest (const cmdlinet &cmdline, ui_message_handlert &ui_message_handler, optionst *options) | |
![]() | |
language_uit (const cmdlinet &cmdline, ui_message_handlert &ui_message_handler, optionst *options=nullptr) | |
Constructor. More... | |
virtual | ~language_uit () |
Destructor. More... | |
virtual bool | parse () |
virtual bool | parse (const std::string &filename) |
virtual bool | typecheck () |
virtual bool | final () |
virtual void | clear_parse () |
virtual void | show_symbol_table (bool brief=false) |
virtual void | show_symbol_table_plain (std::ostream &out, bool brief) |
virtual void | show_symbol_table_xml_ui (bool brief) |
uit | get_ui () |
Protected Member Functions | |
virtual void | register_languages () |
Additional Inherited Members | |
![]() | |
typedef ui_message_handlert::uit | uit |
![]() | |
language_filest | language_files |
symbol_tablet | symbol_table |
![]() | |
const cmdlinet & | _cmdline |
ui_message_handlert & | ui_message_handler |
optionst * | options |
Definition at line 18 of file jdiff_languages.h.
|
inlineexplicit |
Definition at line 21 of file jdiff_languages.h.
|
protectedvirtual |
Definition at line 18 of file jdiff_languages.cpp.