expr_query.h File Reference

Helper class for querying expressions Throw CATCH exceptions when the query fails. More...

#include <testing-utils/use_catch.h>
#include <util/expr_cast.h>

Include dependency graph for expr_query.h:

Go to the source code of this file.

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

Functions
expr_queryt< exprt >	make_query (exprt e)

Detailed Description

Helper class for querying expressions Throw CATCH exceptions when the query fails.

Definition in file expr_query.h.

Function Documentation

make_query()

expr_queryt<exprt> make_query ( exprt  e )

inline

Definition at line 57 of file expr_query.h.