CBMC
Public Member Functions | Public Attributes | List of all members
designatort::entryt Struct Reference

#include <designator.h>

+ Collaboration diagram for designatort::entryt:

Public Member Functions

 entryt (const typet &type)
 

Public Attributes

size_t index
 
size_t size
 
bool vla_permitted
 
typet type
 
typet subtype
 

Detailed Description

Definition at line 23 of file designator.h.

Constructor & Destructor Documentation

◆ entryt()

designatort::entryt::entryt ( const typet &  type)
inlineexplicit

Definition at line 30 of file designator.h.

Member Data Documentation

◆ index

size_t designatort::entryt::index

Definition at line 25 of file designator.h.

◆ size

size_t designatort::entryt::size

Definition at line 26 of file designator.h.

◆ subtype

typet designatort::entryt::subtype

Definition at line 28 of file designator.h.

◆ type

typet designatort::entryt::type

Definition at line 28 of file designator.h.

◆ vla_permitted

bool designatort::entryt::vla_permitted

Definition at line 27 of file designator.h.

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