CBMC
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
statement_list_parse_treet::instructiont Struct Reference

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

#include <statement_list_parse_tree.h>

+ Collaboration diagram for statement_list_parse_treet::instructiont:

Public Member Functions

  Adds a codet element to the list of all tokens.
 

Public Attributes

std::vector< codettokens
  Data structure for all tokens of the instruction.
 

Detailed Description

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

Definition at line 46 of file statement_list_parse_tree.h.

Member Function Documentation

◆  add_token()

void statement_list_parse_treet::instructiont::add_token ( const codettoken )

Adds a codet element to the list of all tokens.

Parameters
token Token to be added to the instruction.

Definition at line 120 of file statement_list_parse_tree.cpp.

Member Data Documentation

◆  tokens

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

Data structure for all tokens of the instruction.

Definition at line 49 of file statement_list_parse_tree.h.


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

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