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:

• /home/runner/work/cbmc/cbmc/src/ansi-c/designator.h