cprover
Loading...
Searching...
No Matches
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< exprtoperator[] (const std::size_t i) const
get () const

Private Attributes

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:
  • /builddir/build/BUILD/cbmc-6.7.1-build/cbmc-cbmc-6.7.1/unit/testing-utils/expr_query.h