Spicy
logical-and.h
1 // Copyright (c) 2020-2021 by the Zeek Project. See LICENSE for details.
2 
3 #pragma once
4 
5 #include <utility>
6 
7 #include <hilti/ast/expression.h>
8 #include <hilti/ast/types/bool.h>
9 
10 namespace hilti::expression {
11 
13 class LogicalAnd : public NodeBase, public trait::isExpression {
14 public:
15  LogicalAnd(Expression op0, Expression op1, const Meta& m = Meta())
16  : NodeBase(nodes(std::move(op0), std::move(op1), type::Bool(m)), m) {}
17 
18  const auto& op0() const { return child<Expression>(0); }
19  const auto& op1() const { return child<Expression>(1); }
20 
21  void setOp0(const Expression& op) { children()[0] = op; }
22  void setOp1(const Expression& op) { children()[1] = op; }
23 
24  bool operator==(const LogicalAnd& other) const { return op0() == other.op0() && op1() == other.op1(); }
25 
27  bool isLhs() const { return false; }
29  bool isTemporary() const { return true; }
31  const auto& type() const { return child<Type>(2); }
33  auto isConstant() const { return op0().isConstant() && op1().isConstant(); }
35  auto isEqual(const Expression& other) const { return node::isEqual(this, other); }
36 
38  auto properties() const { return node::Properties{}; }
39 };
40 
41 } // namespace hilti::expression
Definition: logical-and.h:13
const auto & children() const
Definition: node.h:471
Definition: expression.h:18
auto isEqual(const Expression &other) const
Definition: logical-and.h:35
Definition: meta.h:19
auto isConstant() const
Definition: logical-and.h:33
bool isLhs() const
Definition: logical-and.h:27
auto properties() const
Definition: logical-and.h:38
std::map< std::string, node::detail::PropertyValue > Properties
Definition: node.h:97
Definition: bool.h:12
const auto & type() const
Definition: logical-and.h:31
bool isTemporary() const
Definition: logical-and.h:29
Definition: node.h:359
Definition: expression.h:21