PointerIs< PRE_RESTRICTION > Struct Template Reference

#include <soft_patterns.hpp>

Inheritance diagram for PointerIs< PRE_RESTRICTION >:

Collaboration diagram for PointerIs< PRE_RESTRICTION >:

List of all members.

Public Member Functions
virtual bool	DecidedCompare (const CompareReplace *sr, const TreePtrInterface &x, bool can_key, Conjecture &conj)
Public Attributes
SPECIAL_NODE_FUNCTIONS TreePtr < PRE_RESTRICTION >	pointer

---

Detailed Description

template<class PRE_RESTRICTION>
struct PointerIs< PRE_RESTRICTION >

Make an architype of the pointed-to type and compare that. So if in the program tree we have a->b and the search pattern is x->PointerIsBase->y, then a must match x, and the type of the pointer in a that points to b must match y.

Definition at line 238 of file soft_patterns.hpp.

---

Member Function Documentation

template<class PRE_RESTRICTION >

virtual bool PointerIs< PRE_RESTRICTION >::DecidedCompare	(	const CompareReplace *	sr,
		const TreePtrInterface &	x,
		bool	can_key,
		Conjecture &	conj
	)		[inline, virtual]

Implements SoftSearchPattern.

Definition at line 244 of file soft_patterns.hpp.

References CompareReplace::DecidedCompare(), INDENT, OOStd::SharedPtrInterface< SUB_BASE, VALUE_INTERFACE >::MakeValueArchitype(), and PointerIs< PRE_RESTRICTION >::pointer.

---

Member Data Documentation

template<class PRE_RESTRICTION >

SPECIAL_NODE_FUNCTIONS TreePtr<PRE_RESTRICTION> PointerIs< PRE_RESTRICTION >::pointer

Definition at line 243 of file soft_patterns.hpp.

Referenced by PointerIs< PRE_RESTRICTION >::DecidedCompare().

---

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

• soft_patterns.hpp