MADARA  3.4.1
CompositeGreaterThanEqualNode.cpp
Go to the documentation of this file.
1 /* -*- C++ -*- */
2 
3 #ifndef _COMPOSITE_GREATER_THAN_EQUAL_NODE_CPP_
4 #define _COMPOSITE_GREATER_THAN_EQUAL_NODE_CPP_
5 
6 #ifndef _MADARA_NO_KARL_
7 
8 #include <iostream>
9 
14 
15 // Ctor
16 
20  : madara::expression::CompositeBinaryNode(logger, left, right)
21 {
22 }
23 
26 {
28  record.set_value(">=");
29  return record;
30 }
31 
37 {
38  bool left_child_can_change = false;
39  bool right_child_can_change = false;
42 
43  if (this->left_)
44  {
45  left_value = this->left_->prune(left_child_can_change);
46  if (!left_child_can_change && dynamic_cast<LeafNode*>(left_) == 0)
47  {
48  delete this->left_;
49  this->left_ = new LeafNode(*(this->logger_), left_value);
50  }
51  }
52  else
53  {
55  "madara::expression::CompositeGreaterThanEqualNode: "
56  "KARL COMPILE ERROR: Greater-than-equal-to has no left expression\n");
57 
59  "madara::expression::CompositeGreaterThanEqualNode: "
60  "KARL COMPILE ERROR: "
61  "Greater-than-equal-to 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::CompositeGreaterThanEqualNode: "
77  "KARL COMPILE ERROR: Greater-than-equal-to has no right expression\n");
78 
80  "madara::expression::CompositeGreaterThanEqualNode: "
81  "KARL COMPILE ERROR: "
82  "Greater-than-equal-to has no right expression\n");
83  }
84 
85  can_change = left_child_can_change || right_child_can_change;
86 
87  return knowledge::KnowledgeRecord(left_value >= right_value);
88 }
89 
95 {
97  left_->evaluate(settings) >= right_->evaluate(settings));
98 }
99 
100 // accept a visitor
102  Visitor& visitor) const
103 {
104  visitor.visit(*this);
105 }
106 
107 #endif // _MADARA_NO_KARL_
108 
109 #endif /* _COMPOSITE_GREATER_THAN_EQUAL_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).
CompositeGreaterThanEqualNode(logger::Logger &logger, ComponentNode *left, ComponentNode *right)
Constructor.
virtual madara::knowledge::KnowledgeRecord prune(bool &can_change)
Prunes the expression tree of unnecessary nodes.
virtual madara::knowledge::KnowledgeRecord item(void) const
Returns the printable character of the node.
virtual madara::knowledge::KnowledgeRecord evaluate(const madara::knowledge::KnowledgeUpdateSettings &settings)
Evaluates the expression tree.
virtual void accept(Visitor &visitor) const
Accepts a visitor subclassed from the Visitor class.
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.
void set_value(const KnowledgeRecord &new_value)
Sets the value from another KnowledgeRecord, does not copy toi, clock, and write_quality.
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.