MADARA  3.4.1
CompositeNotNode.cpp
Go to the documentation of this file.
1 /* -*- C++ -*- */
2 #ifndef _NOT_NODE_CPP_
3 #define _NOT_NODE_CPP_
4 
5 #ifndef _MADARA_NO_KARL_
6 
7 #include <iostream>
8 
14 
17  : CompositeUnaryNode(logger, right)
18 {
19 }
20 
21 // Dtor
23 
25  void) const
26 {
28  record.set_value("!");
29  return record;
30 }
31 
36  bool& can_change)
37 {
38  bool right_child_can_change = false;
40 
41  if (this->right_)
42  {
43  right_value = this->right_->prune(right_child_can_change);
44  if (!right_child_can_change && dynamic_cast<LeafNode*>(right_) == 0)
45  {
46  delete this->right_;
47  this->right_ = new LeafNode(*(this->logger_), right_value);
48  }
49  }
50  else
51  {
53  "madara::expression::CompositeNotNode: "
54  "KARL COMPILE ERROR: "
55  "Logical-not has no right expression\n");
56 
57  throw exceptions::KarlException("madara::expression::CompositeNotNode: "
58  "KARL COMPILE ERROR: "
59  "Node has no right expression\n");
60  }
61 
62  can_change = right_child_can_change;
63 
64  return knowledge::KnowledgeRecord(!right_value);
65 }
66 
72 {
73  return knowledge::KnowledgeRecord(!right_->evaluate(settings));
74 }
75 
76 // accept a visitor
78 {
79  visitor.visit(*this);
80 }
81 
82 #endif // _MADARA_NO_KARL_
83 
84 #endif /* _NOT_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
CompositeNotNode(logger::Logger &logger, ComponentNode *right)
Constructor.
virtual madara::knowledge::KnowledgeRecord item(void) const
Returns the printable character of the node.
virtual void accept(Visitor &visitor) const
Accepts a visitor subclassed from the Visitor class.
virtual ~CompositeNotNode(void)
Destructor.
virtual madara::knowledge::KnowledgeRecord evaluate(const madara::knowledge::KnowledgeUpdateSettings &settings)
Evaluates the node.
virtual madara::knowledge::KnowledgeRecord prune(bool &can_change)
Prunes the expression tree of unnecessary nodes.
Encapsulates a single expression tree.
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