CBMC
|
Statement List Language Parse Tree Output. More...
#include "statement_list_parse_tree.h"
Go to the source code of this file.
Functions | |
void | output_parse_tree (std::ostream &os, const statement_list_parse_treet &tree) |
Prints the given Statement List parse tree in a human-readable form to the given output stream. More... | |
void | output_function_block (std::ostream &os, const statement_list_parse_treet::function_blockt &block) |
Prints the given Statement List function block in a human-readable form to the given output stream. More... | |
void | output_function (std::ostream &os, const statement_list_parse_treet::functiont &function) |
Prints the given Statement List function in a human-readable form to the given output stream. More... | |
void | output_tia_module_properties (const statement_list_parse_treet::tia_modulet &module, std::ostream &os) |
Prints the basic information about a TIA module to the given output stream. More... | |
void | output_return_value (const statement_list_parse_treet::functiont &function, std::ostream &os) |
Prints the return value of a function to the given output stream. More... | |
void | output_common_var_declarations (std::ostream &os, const statement_list_parse_treet::tia_modulet &module) |
Prints all variable declarations functions and function blocks have in common to the given output stream. More... | |
void | output_static_var_declarations (std::ostream &os, const statement_list_parse_treet::function_blockt &block) |
Prints the static variable declarations of a function block to the given output stream. More... | |
void | output_var_declaration_list (std::ostream &os, const statement_list_parse_treet::var_declarationst &declarations) |
Prints all variable declarations of the given list to the given output stream. More... | |
void | output_var_declaration (std::ostream &os, const statement_list_parse_treet::var_declarationt &declaration) |
Prints the given Statement List variable declaration in a human-readable form to the given output stream. More... | |
void | output_network_list (std::ostream &os, const statement_list_parse_treet::networkst &networks) |
Prints the given network list in a human-readable form to the given output stream. More... | |
void | output_network (std::ostream &os, const statement_list_parse_treet::networkt &network) |
Prints the given Statement List network in a human-readable form to the given output stream. More... | |
void | output_instruction (std::ostream &os, const statement_list_parse_treet::instructiont &instruction) |
Prints the given Statement List instruction in a human-readable form to the given output stream. More... | |
Statement List Language Parse Tree Output.
Definition in file statement_list_parse_tree_io.h.
void output_common_var_declarations | ( | std::ostream & | os, |
const statement_list_parse_treet::tia_modulet & | module | ||
) |
Prints all variable declarations functions and function blocks have in common to the given output stream.
os | Stream that should receive the result. |
module | TIA module whose variable declarations should be printed. |
Definition at line 127 of file statement_list_parse_tree_io.cpp.
void output_function | ( | std::ostream & | os, |
const statement_list_parse_treet::functiont & | function | ||
) |
Prints the given Statement List function in a human-readable form to the given output stream.
os | Stream that should receive the result. |
function | Function whose contents should be printed. |
Definition at line 97 of file statement_list_parse_tree_io.cpp.
void output_function_block | ( | std::ostream & | os, |
const statement_list_parse_treet::function_blockt & | block | ||
) |
Prints the given Statement List function block in a human-readable form to the given output stream.
os | Stream that should receive the result. |
block | Function block whose contents should be printed. |
Definition at line 87 of file statement_list_parse_tree_io.cpp.
void output_instruction | ( | std::ostream & | os, |
const statement_list_parse_treet::instructiont & | instruction | ||
) |
Prints the given Statement List instruction in a human-readable form to the given output stream.
os | Stream that should receive the result. |
instruction | Instruction that should be printed. |
Definition at line 228 of file statement_list_parse_tree_io.cpp.
void output_network | ( | std::ostream & | os, |
const statement_list_parse_treet::networkt & | network | ||
) |
Prints the given Statement List network in a human-readable form to the given output stream.
os | Stream that should receive the result. |
network | Network that should be printed. |
Definition at line 212 of file statement_list_parse_tree_io.cpp.
void output_network_list | ( | std::ostream & | os, |
const statement_list_parse_treet::networkst & | networks | ||
) |
Prints the given network list in a human-readable form to the given output stream.
os | Stream that should receive the result. |
networks | List whose contents should be printed. |
Definition at line 200 of file statement_list_parse_tree_io.cpp.
void output_parse_tree | ( | std::ostream & | os, |
const statement_list_parse_treet & | tree | ||
) |
Prints the given Statement List parse tree in a human-readable form to the given output stream.
os | Stream that should receive the result. |
tree | Parse Tree whose contents should be printed. |
Definition at line 58 of file statement_list_parse_tree_io.cpp.
void output_return_value | ( | const statement_list_parse_treet::functiont & | function, |
std::ostream & | os | ||
) |
Prints the return value of a function to the given output stream.
function | Function whose return value should be printed. |
os | Stream that should receive the result. |
Definition at line 115 of file statement_list_parse_tree_io.cpp.
void output_static_var_declarations | ( | std::ostream & | os, |
const statement_list_parse_treet::function_blockt & | block | ||
) |
Prints the static variable declarations of a function block to the given output stream.
os | Stream that should receive the result. |
block | Function block whose static variables should be printed. |
Definition at line 162 of file statement_list_parse_tree_io.cpp.
void output_tia_module_properties | ( | const statement_list_parse_treet::tia_modulet & | module, |
std::ostream & | os | ||
) |
Prints the basic information about a TIA module to the given output stream.
module | TIA module whose contents should be printed. |
os | Stream that should receive the result. |
Definition at line 107 of file statement_list_parse_tree_io.cpp.
void output_var_declaration | ( | std::ostream & | os, |
const statement_list_parse_treet::var_declarationt & | declaration | ||
) |
Prints the given Statement List variable declaration in a human-readable form to the given output stream.
os | Stream that should receive the result. |
declaration | Declaration that should be printed. |
Definition at line 184 of file statement_list_parse_tree_io.cpp.
void output_var_declaration_list | ( | std::ostream & | os, |
const statement_list_parse_treet::var_declarationst & | declarations | ||
) |
Prints all variable declarations of the given list to the given output stream.
os | Stream that should receive the result. |
declarations | List whose contents should be printed. |
Definition at line 173 of file statement_list_parse_tree_io.cpp.