MADARA  3.4.1
CompositeSubtractNode.cpp
Go to the documentation of this file.
1 /* -*- C++ -*- */
2 #ifndef _SUBTRACT_NODE_CPP_
3 #define _SUBTRACT_NODE_CPP_
4 
5 #ifndef _MADARA_NO_KARL_
6 
12 
15  : madara::expression::CompositeBinaryNode(logger, left, right)
16 {
17 }
18 
19 // Dtor
21 
24 {
25  return knowledge::KnowledgeRecord("-");
26 }
27 
33 {
34  bool left_child_can_change = false;
35  bool right_child_can_change = false;
38 
39  if (this->left_)
40  {
41  left_value = this->left_->prune(left_child_can_change);
42  if (!left_child_can_change && dynamic_cast<LeafNode*>(left_) == 0)
43  {
44  delete this->left_;
45  this->left_ = new LeafNode(*(this->logger_), left_value);
46  }
47  }
48  else
49  {
51  "madara::expression::CompositeSubtractNode: "
52  "KARL COMPILE ERROR: Subtraction has no left expression\n");
53 
55  "madara::expression::CompositeSubtractNode: "
56  "KARL COMPILE ERROR: "
57  "Node has no left expression\n");
58  }
59 
60  if (this->right_)
61  {
62  right_value = this->right_->prune(right_child_can_change);
63  if (!right_child_can_change && dynamic_cast<LeafNode*>(right_) == 0)
64  {
65  delete this->right_;
66  this->right_ = new LeafNode(*(this->logger_), right_value);
67  }
68  }
69  else
70  {
72  "madara::expression::CompositeSubtractNode: "
73  "KARL COMPILE ERROR: Subtraction has no right expression\n");
74 
76  "madara::expression::CompositeSubtractNode: "
77  "KARL COMPILE ERROR: "
78  "Node has no right expression\n");
79  }
80 
81  can_change = left_child_can_change || right_child_can_change;
82 
83  return knowledge::KnowledgeRecord(left_value - right_value);
84 }
85 
91 {
92  knowledge::KnowledgeRecord left = left_->evaluate(settings);
93  knowledge::KnowledgeRecord right = right_->evaluate(settings);
94 
96  "madara::expression::CompositeSubtractNode:evaluate: "
97  "%s - %s\n",
98  left.to_string().c_str(), right.to_string().c_str());
99 
100  // note we do not check if left or right are null. This should be checked
101  // during prune or an earlier phase. Evaluate is all about speed.
102  return left - right;
103 }
104 
105 // accept a visitor
107 {
108  visitor.visit(*this);
109 }
110 
111 #endif // _MADARA_NO_KARL_
112 
113 #endif /* _SUBTRACT_NODE_CPP_ */
#define madara_logger_ptr_log(loggering, level,...)
Fast version of the madara::logger::log method for Logger pointers.
Definition: Logger.h:41
madara::knowledge::KnowledgeRecord KnowledgeRecord
An exception for unrecoverable KaRL compilation issues.
Definition: KarlException.h:21
An abstract base class defines a simple abstract implementation of an expression tree node.
Definition: ComponentNode.h:37
Defines a left and right node (via inheritance from CompositeUnaryNode).
virtual madara::knowledge::KnowledgeRecord item(void) const
Returns the printable character of the node.
CompositeSubtractNode(logger::Logger &logger, ComponentNode *left, ComponentNode *right)
Constructor.
virtual madara::knowledge::KnowledgeRecord prune(bool &can_change)
Prunes the expression tree of unnecessary nodes.
virtual void accept(Visitor &visitor) const
Accepts a visitor subclassed from the Visitor class.
virtual madara::knowledge::KnowledgeRecord evaluate(const madara::knowledge::KnowledgeUpdateSettings &settings)
Evaluates the node.
Defines a node that contains a madara::knowledge::KnowledgeRecord::Integer value.
Definition: LeafNode.h:25
Abstract base class for all visitors to all classes that derive from ComponentNode.
Definition: Visitor.h:93
virtual void visit(const LeafNode &node)=0
Visit a LeafNode.
This class encapsulates an entry in a KnowledgeBase.
std::string to_string(const std::string &delimiter=", ") const
converts the value to a string.
Settings for applying knowledge updates.
A multi-threaded logger for logging to one or more destinations.
Definition: Logger.h:165
Provides knowledge logging services to files and terminals.
Definition: GlobalLogger.h:12
Copyright(c) 2020 Galois.