dereference.h File Reference

Pointer Dereferencing. More...

#include <util/namespace.h>
#include <util/expr.h>

Include dependency graph for dereference.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	dereferencet
	Wrapper for a function which dereference a pointer-expression. More...

Functions
exprt	dereference (const exprt &pointer, const namespacet &ns)
	Dereference the given pointer-expression. More...

Detailed Description

Pointer Dereferencing.

Definition in file dereference.h.

Function Documentation

dereference()

exprt dereference ( const exprt &  pointer, const namespacet &  ns  )

inline

Dereference the given pointer-expression.

Parameters

pointer	A pointer-typed expression, to be dereferenced.
ns	namespace

Returns

Object after dereferencing.

Definition at line 75 of file dereference.h.