statement_list_parse_treet::networkt Struct Reference

Representation of a network in Siemens TIA. More...

#include <statement_list_parse_tree.h>

Collaboration diagram for statement_list_parse_treet::networkt:

Public Member Functions
void	set_title (const std::string &value)
	Sets the title of the network to a specific value. More...
void	add_instruction (const instructiont &inst)
	Adds an instruction to the network. More...
	networkt (const std::string &title)
	Create the network with a specific title. More...
	networkt ()=default

Public Attributes
std::optional< std::string >	title
instructionst	instructions

Detailed Description

Representation of a network in Siemens TIA.

Networks are used to divide multiple Statement List instructions into simpler parts. A function or function block contains one or more networks. A network can have a title and may contain zero or more instructions.

Definition at line 61 of file statement_list_parse_tree.h.

Constructor & Destructor Documentation

networkt() [1/2]

statement_list_parse_treet::networkt::networkt ( const std::string &  title )

explicit

Create the network with a specific title.

Definition at line 63 of file statement_list_parse_tree.cpp.

networkt() [2/2]

statement_list_parse_treet::networkt::networkt ( )

default

Member Function Documentation

add_instruction()

void statement_list_parse_treet::networkt::add_instruction

(

const instructiont &

inst

)

Adds an instruction to the network.

Definition at line 68 of file statement_list_parse_tree.cpp.

set_title()

void statement_list_parse_treet::networkt::set_title

(

const std::string &

value

)

Sets the title of the network to a specific value.

Parameters

value

New title. Use an empty string to indicate that there is no title.

Definition at line 55 of file statement_list_parse_tree.cpp.

Member Data Documentation

instructions

instructionst statement_list_parse_treet::networkt::instructions

Definition at line 64 of file statement_list_parse_tree.h.

title

std::optional<std::string> statement_list_parse_treet::networkt::title

Definition at line 63 of file statement_list_parse_tree.h.

---

The documentation for this struct was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/statement-list/statement_list_parse_tree.h
• /home/runner/work/cbmc/cbmc/src/statement-list/statement_list_parse_tree.cpp