cprover
designatort Class Reference

#include <designator.h>

Collaboration diagram for designatort:
[legend]

Classes

struct  entryt
 

Public Member Functions

bool empty () const
 
size_t size () const
 
const entrytoperator[] (size_t i) const
 
entrytoperator[] (size_t i)
 
const entrytback () const
 
const entrytfront () const
 
 designatort ()
 
void push_entry (const entryt &entry)
 
void pop_entry ()
 
void print (std::ostream &out) const
 

Protected Types

typedef std::vector< entrytindex_listt
 

Protected Attributes

index_listt index_list
 

Detailed Description

Definition at line 20 of file designator.h.

Member Typedef Documentation

§ index_listt

typedef std::vector<entryt> designatort::index_listt
protected

Definition at line 59 of file designator.h.

Constructor & Destructor Documentation

§ designatort()

designatort::designatort ( )
inline

Definition at line 43 of file designator.h.

Member Function Documentation

§ back()

const entryt& designatort::back ( ) const
inline

Definition at line 40 of file designator.h.

References index_list.

Referenced by c_typecheck_baset::do_designated_initializer().

§ empty()

§ front()

const entryt& designatort::front ( ) const
inline

Definition at line 41 of file designator.h.

References index_list.

§ operator[]() [1/2]

const entryt& designatort::operator[] ( size_t  i) const
inline

Definition at line 38 of file designator.h.

References index_list.

§ operator[]() [2/2]

entryt& designatort::operator[] ( size_t  i)
inline

Definition at line 39 of file designator.h.

References index_list.

§ pop_entry()

void designatort::pop_entry ( )
inline

Definition at line 50 of file designator.h.

References index_list, and print().

Referenced by c_typecheck_baset::increment_designator().

§ print()

void designatort::print ( std::ostream &  out) const

Definition at line 16 of file designator.cpp.

References index_list.

Referenced by operator<<(), and pop_entry().

§ push_entry()

void designatort::push_entry ( const entryt 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().

§ size()

size_t designatort::size ( ) const
inline

Member Data Documentation

§ index_list

index_listt designatort::index_list
protected

Definition at line 60 of file designator.h.

Referenced by back(), empty(), front(), operator[](), pop_entry(), print(), push_entry(), and size().


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