CBMC
Loading...
Searching...
No Matches
Macros | Functions
statement_list_parse_tree_io.cpp File Reference

Statement List Language Parse Tree Output. More...

#include "statement_list_parse_tree_io.h"
#include <util/arith_tools.h>
#include <util/bitvector_types.h>
#include <util/ieee_float.h>
#include <util/std_code.h>
#include "converters/statement_list_types.h"
+ Include dependency graph for statement_list_parse_tree_io.cpp:

Go to the source code of this file.

Macros

#define  NO_VALUE   "(none)"
  String to indicate that there is no value.
 

Functions

static void  output_constant (std::ostream &os, const constant_exprt &constant)
  Prints a constant to the given output stream.
 
static void  output_parameter_assignment (std::ostream &os, const code_frontend_assignt &assignment)
  Prints the assignment of a module parameter to the given output stream.
 
void  output_parse_tree (std::ostream &out, const statement_list_parse_treet &parse_tree)
  Prints the given Statement List parse tree in a human-readable form to the given output stream.
 
void  output_function_block (std::ostream &os, const statement_list_parse_treet::function_blockt &function_block)
  Prints the given Statement List function block in a human-readable form to the given output stream.
 
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.
 
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.
 
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.
 
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.
 
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.
 
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.
 
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.
 
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.
 
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.
 
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.
 

Detailed Description

Statement List Language Parse Tree Output.

Definition in file statement_list_parse_tree_io.cpp.

Macro Definition Documentation

◆  NO_VALUE

#define NO_VALUE   "(none)"

String to indicate that there is no value.

Definition at line 22 of file statement_list_parse_tree_io.cpp.

Function Documentation

◆  output_common_var_declarations()

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.

Parameters
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.

◆  output_constant()

static void output_constant ( std::ostream &  os,
const constant_exprt &  constant 
)
static

Prints a constant to the given output stream.

Parameters
[out] os Stream that should receive the result.
constant Constant that shall be printed.

Definition at line 27 of file statement_list_parse_tree_io.cpp.

◆  output_function()

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.

Parameters
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.

◆  output_function_block()

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.

Parameters
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.

◆  output_instruction()

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.

Parameters
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.

◆  output_network()

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.

Parameters
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.

◆  output_network_list()

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.

Parameters
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.

◆  output_parameter_assignment()

static void output_parameter_assignment ( std::ostream &  os,
const code_frontend_assignt &  assignment 
)
static

Prints the assignment of a module parameter to the given output stream.

Parameters
[out] os Stream that should receive the result.
assignment Assignment that shall be printed.

Definition at line 45 of file statement_list_parse_tree_io.cpp.

◆  output_parse_tree()

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.

Parameters
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.

◆  output_return_value()

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.

Parameters
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.

◆  output_static_var_declarations()

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.

Parameters
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.

◆  output_tia_module_properties()

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.

Parameters
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.

◆  output_var_declaration()

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.

Parameters
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.

◆  output_var_declaration_list()

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.

Parameters
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.

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