CompareReplace Class Reference

#include <search_replace.hpp>

Inheritance diagram for CompareReplace:

Collaboration diagram for CompareReplace:

List of all members.

Public Member Functions
	CompareReplace (TreePtr< Node > cp=TreePtr< Node >(), TreePtr< Node > rp=TreePtr< Node >(), bool im=true)
void	Configure (TreePtr< Node > cp, TreePtr< Node > rp=TreePtr< Node >())
TreePtr< Node >	GetContext () const
virtual void	GetGraphInfo (vector< string > *labels, vector< TreePtr< Node > > *links) const
const CompareReplace *	GetOverallMaster () const
bool	DecidedCompare (const TreePtrInterface &x, TreePtr< Node > pattern, bool can_key, Conjecture &conj) const
bool	Compare (const TreePtrInterface &x, TreePtr< Node > pattern, bool can_key=false) const
virtual bool	IsMatch (TreePtr< Node > context, TreePtr< Node > root)
TreePtr< Node >	BuildReplace (TreePtr< Node > pattern) const
void	operator() (TreePtr< Node > context, TreePtr< Node > *proot)
Static Public Member Functions
static void	Test ()
static void	SetMaxReps (int n, bool e)
Public Attributes
bool	is_master
TreePtr< Node >	compare_pattern
TreePtr< Node >	replace_pattern
CompareReplace *	master_ptr
TreePtr< Node > *	pcontext
CouplingKeys	coupling_keys
set< TreePtr< Node > >	dirty_grass
Set< TreePtr< Node > >	pattern_pedigree
Set< TreePtr< Node > >	duplicated_pedigree
Set< TreePtr< Node > >	keyed_pedigree
Friends
class	Conjecture
class	NormalAgent

---

Detailed Description

Definition at line 76 of file search_replace.hpp.

---

Constructor & Destructor Documentation

CompareReplace::CompareReplace	(	TreePtr< Node >	cp = TreePtr<Node>(),
		TreePtr< Node >	rp = TreePtr<Node>(),
		bool	im = true
	)

Definition at line 47 of file search_replace.cpp.

References Configure().

Referenced by Test().

---

Member Function Documentation

TreePtr< Node > CompareReplace::BuildReplace

(

TreePtr< Node >

pattern

)

const

Definition at line 362 of file search_replace.cpp.

References NormalAgent::BuildReplace(), NormalAgent::Configure(), and coupling_keys.

Referenced by BuildIdentifierBase::GetNewName().

bool CompareReplace::Compare	(	const TreePtrInterface &	x,
		TreePtr< Node >	pattern,
		bool	can_key = false
	)		const

Definition at line 185 of file search_replace.cpp.

References ASSERT, Conjecture::Increment(), INDENT, and TRACE.

Referenced by IsMatch(), StarBase::MatchRange(), and Test().

void CompareReplace::Configure	(	TreePtr< Node >	cp,
		TreePtr< Node >	rp = TreePtr<Node>()
	)

Reimplemented in SearchReplace.

Definition at line 60 of file search_replace.cpp.

References ASSERT, compare_pattern, coupling_keys, FOREACH, replace_pattern, and TRACE.

Referenced by CompareReplace().

bool CompareReplace::DecidedCompare	(	const TreePtrInterface &	x,
		TreePtr< Node >	pattern,
		bool	can_key,
		Conjecture &	conj
	)		const

Definition at line 126 of file search_replace.cpp.

References NormalAgent::Configure(), coupling_keys, and NormalAgent::DecidedCompare().

Referenced by NestedBase::DecidedCompare(), and PointerIs< PRE_RESTRICTION >::DecidedCompare().

TreePtr<Node> CompareReplace::GetContext

(

)

const [inline]

Definition at line 94 of file search_replace.hpp.

References ASSERT, and pcontext.

void CompareReplace::GetGraphInfo	(	vector< string > *	labels,
		vector< TreePtr< Node > > *	links
	)		const [virtual]

Reimplemented from Transformation.

Reimplemented in SlaveIntermediate< SearchReplace >, SlaveIntermediate< CompareReplace >, and SearchReplace.

Definition at line 114 of file search_replace.cpp.

References compare_pattern, and replace_pattern.

const CompareReplace* CompareReplace::GetOverallMaster

(

)

const [inline]

Definition at line 118 of file search_replace.hpp.

References master_ptr.

Referenced by NormalAgent::DecidedCompare().

bool CompareReplace::IsMatch	(	TreePtr< Node >	context,
		TreePtr< Node >	root
	)		[virtual]

Implements Filter.

Definition at line 228 of file search_replace.cpp.

References ASSERT, Compare(), compare_pattern, and pcontext.

void CompareReplace::operator()	(	TreePtr< Node >	context,
		TreePtr< Node > *	proot
	)		[virtual]

Implements Transformation.

Definition at line 460 of file search_replace.cpp.

References ASSERT, compare_pattern, INDENT, pcontext, and TRACE.

static void CompareReplace::SetMaxReps	(	int	n,
		bool	e
	)		[inline, static]

Definition at line 117 of file search_replace.hpp.

Referenced by main().

void CompareReplace::Test

(

)

[static]

Definition at line 630 of file search_replace.cpp.

References ASSERT, Compare(), CompareReplace(), and TRACE.

Referenced by SelfTest().

---

Friends And Related Function Documentation

friend class Conjecture [friend]

Definition at line 136 of file search_replace.hpp.

friend class NormalAgent [friend]

Definition at line 169 of file search_replace.hpp.

---

Member Data Documentation

TreePtr<Node> CompareReplace::compare_pattern

Definition at line 100 of file search_replace.hpp.

Referenced by Configure(), StuffBase::GetContainerInterface(), GetGraphInfo(), SearchReplace::GetGraphInfo(), IsMatch(), and operator()().

CouplingKeys CompareReplace::coupling_keys [mutable]

Definition at line 104 of file search_replace.hpp.

Referenced by BuildReplace(), Configure(), DecidedCompare(), and IsLabelReached::DecidedCompare().

set< TreePtr<Node> > CompareReplace::dirty_grass [mutable]

Definition at line 105 of file search_replace.hpp.

Referenced by NormalAgent::DecidedCompare().

Set< TreePtr<Node> > CompareReplace::duplicated_pedigree [mutable]

Definition at line 111 of file search_replace.hpp.

bool CompareReplace::is_master

Definition at line 99 of file search_replace.hpp.

Set< TreePtr<Node> > CompareReplace::keyed_pedigree [mutable]

Definition at line 112 of file search_replace.hpp.

CompareReplace* CompareReplace::master_ptr

Definition at line 102 of file search_replace.hpp.

Referenced by GetOverallMaster().

Set< TreePtr<Node> > CompareReplace::pattern_pedigree

Definition at line 110 of file search_replace.hpp.

TreePtr<Node>* CompareReplace::pcontext

Definition at line 103 of file search_replace.hpp.

Referenced by GetContext(), IsMatch(), and operator()().

TreePtr<Node> CompareReplace::replace_pattern

Definition at line 101 of file search_replace.hpp.

Referenced by Configure(), and GetGraphInfo().

---

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

• search_replace.hpp
• search_replace.cpp