Node::Tester Class Reference

Defines a method for testing nodes used by Node::forall, Node::exists. More...

#include <streenode.h>

Inheritance diagram for Node::Tester:

Public Member Functions
virtual bool	test (const Node *node, const NameSpace &nameSpace) const=0
virtual Tester *	copy () const=0
virtual Tester *	substitute (const Assignment &assign)=0
virtual	~Tester ()

---

Detailed Description

Defines a method for testing nodes used by Node::forall, Node::exists.

Definition at line 55 of file streenode.h.

---

Constructor & Destructor Documentation

virtual Node::Tester::~Tester (   )  [inline, virtual]

Definition at line 60 of file streenode.h.

---

Member Function Documentation

virtual Tester* Node::Tester::copy (   )  const [pure virtual]

Implemented in NameTester, TypeTester, ExistsTester, ForallTester, NotTester, AttributeIssetTester, AttributeIsequalTester, LocalAttributeIssetTester, LocalAttributeIsequalTester, TesterSetForall, and TesterSetExists.

virtual Tester* Node::Tester::substitute (  const Assignment &  assign  )  [pure virtual]

virtual bool Node::Tester::test (  const Node *  node, const NameSpace &  nameSpace )  const [pure virtual]

Implemented in NameTester, TypeTester, ExistsTester, ForallTester, NotTester, AttributeIssetTester, AttributeIsequalTester, LocalAttributeIssetTester, LocalAttributeIsequalTester, TesterSetForall, and TesterSetExists. Referenced by Node::exists(), and Node::forall().

---

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

• streenode.h

---