show_symbol_table.cpp File Reference

#include "show_symbol_table.h"
#include <algorithm>
#include <iostream>
#include <memory>
#include <langapi/language.h>
#include <langapi/mode.h>
#include <util/json_irep.h>
#include <util/json_stream.h>
#include <util/ui_message.h>
#include "goto_model.h"

Include dependency graph for show_symbol_table.cpp:

Go to the source code of this file.

Functions
static std::unique_ptr< languaget >	get_show_symbol_language (const symbolt &symbol)
	Gets the language which should be used for showing the type and value of the supplied symbol. More...
void	show_symbol_table_xml_ui ()
void	show_symbol_table_brief_plain (const symbol_tablet &symbol_table, std::ostream &out)
void	show_symbol_table_plain (const symbol_tablet &symbol_table, std::ostream &out)
static void	show_symbol_table_json_ui (const symbol_tablet &symbol_table, ui_message_handlert &message_handler)
static void	show_symbol_table_brief_json_ui (const symbol_tablet &symbol_table, ui_message_handlert &message_handler)
void	show_symbol_table (const symbol_tablet &symbol_table, ui_message_handlert &ui)
void	show_symbol_table (const goto_modelt &goto_model, ui_message_handlert &ui)
void	show_symbol_table_brief (const symbol_tablet &symbol_table, ui_message_handlert &ui)
void	show_symbol_table_brief (const goto_modelt &goto_model, ui_message_handlert &ui)

Detailed Description

Show the symbol table

Definition in file show_symbol_table.cpp.

Function Documentation

get_show_symbol_language()

static std::unique_ptr<languaget> get_show_symbol_language ( const symbolt &  symbol )

static

Gets the language which should be used for showing the type and value of the supplied symbol.

Returns

A unique pointer, pointing to the language corresponding to the mode of the symbol in the case where the symbol specifies a known/registered language mode. Returns the globally configured default language/first language registered in the case where mode is empty or does not correspond to a known registered language. The enables showing the symbol even if the language is not recognised.

Definition at line 36 of file show_symbol_table.cpp.

show_symbol_table() [1/2]

void show_symbol_table	(	const goto_modelt &	goto_model,
		ui_message_handlert &	ui
	)

Definition at line 262 of file show_symbol_table.cpp.

show_symbol_table() [2/2]

void show_symbol_table	(	const symbol_tablet &	symbol_table,
		ui_message_handlert &	ui
	)

Definition at line 242 of file show_symbol_table.cpp.

show_symbol_table_brief() [1/2]

void show_symbol_table_brief	(	const goto_modelt &	goto_model,
		ui_message_handlert &	ui
	)

Definition at line 289 of file show_symbol_table.cpp.

show_symbol_table_brief() [2/2]

void show_symbol_table_brief	(	const symbol_tablet &	symbol_table,
		ui_message_handlert &	ui
	)

Definition at line 269 of file show_symbol_table.cpp.

show_symbol_table_brief_json_ui()

static void show_symbol_table_brief_json_ui ( const symbol_tablet &  symbol_table, ui_message_handlert &  message_handler  )

static

Definition at line 204 of file show_symbol_table.cpp.

show_symbol_table_brief_plain()

void show_symbol_table_brief_plain	(	const symbol_tablet &	symbol_table,
		std::ostream &	out
	)

Definition at line 48 of file show_symbol_table.cpp.

show_symbol_table_json_ui()

static void show_symbol_table_json_ui ( const symbol_tablet &  symbol_table, ui_message_handlert &  message_handler  )

static

Definition at line 142 of file show_symbol_table.cpp.

show_symbol_table_plain()

void show_symbol_table_plain	(	const symbol_tablet &	symbol_table,
		std::ostream &	out
	)

Definition at line 70 of file show_symbol_table.cpp.

show_symbol_table_xml_ui()

void show_symbol_table_xml_ui

(

)

Definition at line 44 of file show_symbol_table.cpp.