MADARA  3.4.1
CompositeAndNode.cpp
Go to the documentation of this file.
1 /* -*- C++ -*- */
2 
3 #ifndef COMPOSITE_AND_NODE_CPP
4 #define COMPOSITE_AND_NODE_CPP
5 
6 #ifndef _MADARA_NO_KARL_
7 
8 #include <iostream>
9 
14 
15 // Ctor
16 
18  logger::Logger& logger, const ComponentNodes& nodes)
19  : madara::expression::CompositeTernaryNode(logger, nodes)
20 {
21 }
22 
24  void) const
25 {
26  return knowledge::KnowledgeRecord("&&");
27 }
28 
33  bool& can_change)
34 {
36 
37  int j = 0;
38  for (ComponentNodes::iterator i = nodes_.begin(); i != nodes_.end(); ++i, ++j)
39  {
40  bool value_changes = false;
42  value = (*i)->prune(value_changes);
43  if (!value_changes && dynamic_cast<LeafNode*>(*i) == 0)
44  {
45  delete *i;
46  *i = new LeafNode(*this->logger_, value);
47  }
48 
49  if (j == 0)
50  return_value = value;
51  else
52  return_value = knowledge::KnowledgeRecord(value && return_value);
53 
54  can_change = can_change || value_changes;
55  }
56 
57  if (nodes_.size() < 2)
58  {
60  "CompositeAndNode: "
61  "KARL COMPILE ERROR (&&): "
62  "And should have a left and right-hand side argument.\n");
63 
65  "CompositeAndNode: "
66  "KARL COMPILE ERROR (&&): "
67  "And should have a left and right-hand side argument.\n");
68  }
69 
70  return return_value;
71 }
72 
78 {
79  int j = 0;
80  for (ComponentNodes::iterator i = nodes_.begin(); i != nodes_.end(); ++i, ++j)
81  {
82  // if we have a zero eval, return 0 immediately
83  if ((*i)->evaluate(settings).is_false())
85  }
86 
87  // if everything was true, return true
89 }
90 
91 // accept a visitor
93 {
94  visitor.visit(*this);
95 }
96 
97 #endif // _MADARA_NO_KARL_
98 
99 #endif /* COMPOSITE_AND_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
CompositeAndNode(logger::Logger &logger, const ComponentNodes &nodes)
Constructor.
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 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.
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.