|
CBMC
|
#include "statement_list_parse_tree.h"
Include dependency graph for statement_list_parse_tree_io.h:
This graph shows which files directly or indirectly include this file: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 125 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 95 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 85 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 226 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 210 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 198 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 56 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 113 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 160 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 105 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 182 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 171 of file statement_list_parse_tree_io.cpp.