Represents a regular Statement List instruction which consists out of one or more codet tokens. More...

Collaboration diagram for statement_list_parse_treet::instructiont:

Public Member Functions
void	add_token (const codet &token)
	Adds a codet element to the list of all tokens. More...

Public Attributes
std::vector< codet >	tokens
	Data structure for all tokens of the instruction. More...

Detailed Description

Represents a regular Statement List instruction which consists out of one or more codet tokens.

Member Function Documentation

void statement_list_parse_treet::instructiont::add_token ( const codet & token )

Adds a codet element to the list of all tokens.

Parameters

token Token to be added to the instruction.

std::vector<codet> statement_list_parse_treet::instructiont::tokens

Data structure for all tokens of the instruction.

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

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