MADARA  3.4.1
CompositeOrNode.cpp
Go to the documentation of this file.
1 /* -*- C++ -*- */
2 
3 #ifndef COMPOSITE_OR_NODE_CPP
4 #define COMPOSITE_OR_NODE_CPP
5 
6 #ifndef _MADARA_NO_KARL_
7 
8 #include <iostream>
9 
14 
16  logger::Logger& logger, const ComponentNodes& nodes)
17  : madara::expression::CompositeTernaryNode(logger, nodes)
18 {
19 }
20 
22  void) const
23 {
24  return knowledge::KnowledgeRecord("||");
25 }
26 
31  bool& can_change)
32 {
34 
35  int j = 0;
36  for (ComponentNodes::iterator i = nodes_.begin(); i != nodes_.end(); ++i, ++j)
37  {
38  bool value_changes = false;
40  value = (*i)->prune(value_changes);
41  if (!value_changes && dynamic_cast<LeafNode*>(*i) == 0)
42  {
43  delete *i;
44  *i = new LeafNode(*(this->logger_), value);
45  }
46 
47  if (j == 0)
48  return_value = value;
49  else
50  return_value = knowledge::KnowledgeRecord(value || return_value);
51 
52  can_change = can_change || value_changes;
53  }
54 
55  if (nodes_.size() < 2)
56  {
58  "CompositeOrNode: "
59  "KARL COMPILE ERROR (||): "
60  "Or should have a left and right-hand side argument.\n");
61 
63  "CompositeOrNode: "
64  "KARL COMPILE ERROR (||): "
65  "Or should have a left and right-hand side argument.\n");
66  }
67 
68  return return_value;
69 }
70 
76 {
77  int j = 0;
78  for (ComponentNodes::iterator i = nodes_.begin(); i != nodes_.end(); ++i, ++j)
79  {
80  // if we have a non-zero eval, return 1 immediately
81  if ((*i)->evaluate(settings).is_true())
83  }
84 
85  // if nothing was true, return false
87 }
88 
89 // accept a visitor
91 {
92  visitor.visit(*this);
93 }
94 
95 #endif // _MADARA_NO_KARL_
96 
97 #endif /* COMPOSITE_OR_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
virtual madara::knowledge::KnowledgeRecord prune(bool &can_change)
Prunes the expression tree of unnecessary nodes.
virtual madara::knowledge::KnowledgeRecord evaluate(const madara::knowledge::KnowledgeUpdateSettings &settings)
Evaluates the node.
virtual madara::knowledge::KnowledgeRecord item(void) const
Returns the printable character of the node.
CompositeOrNode(logger::Logger &logger, const ComponentNodes &nodes)
Constructor.
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.
Settings for applying knowledge updates.
A multi-threaded logger for logging to one or more destinations.
Definition: Logger.h:165
std::deque< ComponentNode * > ComponentNodes
a vector of Component Nodes
Provides knowledge logging services to files and terminals.
Definition: GlobalLogger.h:12
Copyright(c) 2020 Galois.