expr_queryt< T > Class Template Reference

Wrapper for std::optional<exprt> with useful method for queries to be used in unit tests. More...

#include <expr_query.h>

Collaboration diagram for expr_queryt< T >:

Public Member Functions
	expr_queryt (T e)
template<typename targett >
expr_queryt< targett >	as () const
expr_queryt< exprt >	operator[] (const std::size_t i) const
T	get () const

Private Attributes
T	value

Detailed Description

template<typename T = exprt>
class expr_queryt< T >

Wrapper for std::optional<exprt> with useful method for queries to be used in unit tests.

Definition at line 23 of file expr_query.h.

Constructor & Destructor Documentation

expr_queryt()

template<typename T = exprt>

expr_queryt< T >::expr_queryt ( T  e )

inlineexplicit

Definition at line 30 of file expr_query.h.

Member Function Documentation

as()

template<typename T = exprt>

template<typename targett >

expr_queryt<targett> expr_queryt< T >::as ( ) const

inline

Definition at line 35 of file expr_query.h.

get()

template<typename T = exprt>

T expr_queryt< T >::get ( ) const

inline

Definition at line 48 of file expr_query.h.

operator[]()

template<typename T = exprt>

expr_queryt<exprt> expr_queryt< T >::operator[] ( const std::size_t  i ) const

inline

Definition at line 42 of file expr_query.h.

Member Data Documentation

value

template<typename T = exprt>

T expr_queryt< T >::value

private

Definition at line 54 of file expr_query.h.

---

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

• /home/runner/work/cbmc/cbmc/unit/testing-utils/expr_query.h