cprover
|
#include <designator.h>
Classes | |
struct | entryt |
Public Member Functions | |
bool | empty () const |
size_t | size () const |
const entryt & | operator[] (size_t i) const |
entryt & | operator[] (size_t i) |
const entryt & | back () const |
const entryt & | front () const |
designatort () | |
void | push_entry (const entryt &entry) |
void | pop_entry () |
void | print (std::ostream &out) const |
Protected Types | |
typedef std::vector< entryt > | index_listt |
Protected Attributes | |
index_listt | index_list |
Definition at line 20 of file designator.h.
|
protected |
Definition at line 59 of file designator.h.
|
inline |
Definition at line 43 of file designator.h.
|
inline |
Definition at line 40 of file designator.h.
References index_list.
Referenced by c_typecheck_baset::do_designated_initializer().
|
inline |
Definition at line 36 of file designator.h.
References index_list.
Referenced by c_typecheck_baset::designator_enter(), c_typecheck_baset::do_designated_initializer(), c_typecheck_baset::increment_designator(), and c_typecheck_baset::make_designator().
|
inline |
Definition at line 41 of file designator.h.
References index_list.
|
inline |
Definition at line 38 of file designator.h.
References index_list.
|
inline |
Definition at line 39 of file designator.h.
References index_list.
|
inline |
Definition at line 50 of file designator.h.
References index_list, and print().
Referenced by c_typecheck_baset::increment_designator().
void designatort::print | ( | std::ostream & | out | ) | const |
Definition at line 16 of file designator.cpp.
References index_list.
Referenced by operator<<(), and pop_entry().
|
inline |
Definition at line 45 of file designator.h.
References index_list.
Referenced by c_typecheck_baset::designator_enter(), and c_typecheck_baset::make_designator().
|
inline |
Definition at line 37 of file designator.h.
References index_list.
Referenced by c_typecheck_baset::do_designated_initializer(), and c_typecheck_baset::increment_designator().
|
protected |
Definition at line 60 of file designator.h.
Referenced by back(), empty(), front(), operator[](), pop_entry(), print(), push_entry(), and size().