MADARA  3.2.3
CompositeEqualityNode.cpp
Go to the documentation of this file.
1 /* -*- C++ -*- */
2 
3 #ifndef _EQUALITY_NODE_CPP_
4 #define _EQUALITY_NODE_CPP_
5 
6 #ifndef _MADARA_NO_KARL_
7 
8 #include <iostream>
9 
14 
15 
16 // Ctor
17 
20  ComponentNode *left, ComponentNode *right)
21 : madara::expression::CompositeBinaryNode (logger, left, right)
22 {
23 }
24 
27 {
29  record.set_value ("==");
30  return record;
31 }
32 
33 
39 {
40  bool left_child_can_change = false;
41  bool right_child_can_change = false;
44 
45  if (this->left_)
46  {
47  left_value = this->left_->prune (left_child_can_change);
48  if (!left_child_can_change && dynamic_cast <LeafNode *> (left_) == 0)
49  {
50  delete this->left_;
51  this->left_ = new LeafNode (*(this->logger_), left_value);
52  }
53  }
54  else
55  {
57  "madara::expression::CompositeEqualityNode::"
58  "KARL COMPILE ERROR: Equality has no left expression\n");
59 
60  throw KarlException ("madara::expression::CompositeEqualityNode::"
61  "KARL COMPILE ERROR: Equality has no left expression\n");
62  }
63 
64  if (this->right_)
65  {
66  right_value = this->right_->prune (right_child_can_change);
67  if (!right_child_can_change && dynamic_cast <LeafNode *> (right_) == 0)
68  {
69  delete this->right_;
70  this->right_ = new LeafNode (*(this->logger_), right_value);
71  }
72  }
73  else
74  {
76  "madara::expression::CompositeEqualityNode::"
77  "KARL COMPILE ERROR: Equality has no right expression\n");
78 
79  throw KarlException ("madara::expression::CompositeEqualityNode::"
80  "KARL COMPILE ERROR: Equality has no right expression\n");
81 
82  }
83 
84  can_change = left_child_can_change || right_child_can_change;
85 
86  return knowledge::KnowledgeRecord (left_value == right_value);
87 }
88 
94 {
96  left_->evaluate (settings) == right_->evaluate (settings));
97 }
98 
99 
100 // accept a visitor
101 void
103 {
104  visitor.visit (*this);
105 }
106 
107 #endif // _MADARA_NO_KARL_
108 
109 #endif /* _EQUALITY_NODE_CPP_ */
This class encapsulates an entry in a KnowledgeBase.
virtual madara::knowledge::KnowledgeRecord prune(bool &can_change)=0
Prunes the expression tree of unnecessary nodes.
ComponentNode * right_
Right expression.
virtual madara::knowledge::KnowledgeRecord prune(bool &can_change)
Prunes the expression tree of unnecessary nodes.
madara::knowledge::KnowledgeRecord KnowledgeRecord
virtual void accept(Visitor &visitor) const
Accepts a visitor subclassed from the Visitor class.
logger::Logger * logger_
handle the context
Definition: ComponentNode.h:97
virtual madara::knowledge::KnowledgeRecord evaluate(const madara::knowledge::KnowledgeUpdateSettings &settings)=0
Evaluates the expression tree.
Defines a left and right node (via inheritance from CompositeUnaryNode).
Defines a node that contains a madara::knowledge::KnowledgeRecord::Integer value. ...
Definition: LeafNode.h:23
Provides knowledge logging services to files and terminals.
Definition: GlobalLogger.h:11
ComponentNode * left_
left expression
A multi-threaded logger for logging to one or more destinations.
Definition: Logger.h:88
void set_value(const KnowledgeRecord &new_value)
Sets the value from another KnowledgeRecord, does not copy clock and write_quality.
CompositeEqualityNode(logger::Logger &logger, ComponentNode *left, ComponentNode *right)
Constructor.
virtual madara::knowledge::KnowledgeRecord item(void) const
Returns the printable character of the node.
#define madara_logger_ptr_log(logger, level,...)
Fast version of the madara::logger::log method for Logger pointers.
Definition: Logger.h:32
An abstract base class defines a simple abstract implementation of an expression tree node...
Definition: ComponentNode.h:36
virtual madara::knowledge::KnowledgeRecord evaluate(const madara::knowledge::KnowledgeUpdateSettings &settings)
Evaluates the expression tree.
Abstract base class for all visitors to all classes that derive from ComponentNode.
Definition: Visitor.h:91
An exception for unrecoverable KaRL compilation issues.
Definition: KarlException.h:18
Settings for applying knowledge updates.
virtual void visit(const LeafNode &node)=0
Visit a LeafNode.
Copyright (c) 2015 Carnegie Mellon University.