statement_list_parse_treet::var_declarationt Struct Reference

Struct for a single variable declaration in Statement List. More...

#include <statement_list_parse_tree.h>

Collaboration diagram for statement_list_parse_treet::var_declarationt:

Public Member Functions
	var_declarationt (const symbol_exprt &symbol)
	Creates a new. More...

Public Attributes
symbol_exprt	variable
	Representation of the variable, including identifier and type. More...
std::optional< exprt >	default_value
	Optional default value of the variable. More...

Detailed Description

Struct for a single variable declaration in Statement List.

Includes identifier, type and an optional default value.

Definition at line 31 of file statement_list_parse_tree.h.

Constructor & Destructor Documentation

var_declarationt()

statement_list_parse_treet::var_declarationt::var_declarationt ( const symbol_exprt &  symbol )

explicit

Creates a new.

variable declaration.

Parameters

symbol

The variable, including type and name.

Definition at line 125 of file statement_list_parse_tree.cpp.

Member Data Documentation

default_value

std::optional<exprt> statement_list_parse_treet::var_declarationt::default_value

Optional default value of the variable.

Definition at line 36 of file statement_list_parse_tree.h.

variable

symbol_exprt statement_list_parse_treet::var_declarationt::variable

Representation of the variable, including identifier and type.

Definition at line 34 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