GCC Code Coverage Report
Directory: . Exec Total Coverage
File: src/parser/parse_op.cpp Lines: 0 15 0.0 %
Date: 2021-03-22 Branches: 0 46 0.0 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file parse_op.cpp
3
 ** \verbatim
4
 ** Top contributors (to current version):
5
 **   Andrew Reynolds
6
 ** This file is part of the CVC4 project.
7
 ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
8
 ** in the top-level source directory and their institutional affiliations.
9
 ** All rights reserved.  See the file COPYING in the top-level source
10
 ** directory for licensing information.\endverbatim
11
 **
12
 ** \brief Implementation for parsed operators
13
 **/
14
15
#include "parser/parse_op.h"
16
17
namespace CVC4 {
18
19
std::ostream& operator<<(std::ostream& os, const ParseOp& p)
20
{
21
  std::stringstream out;
22
  out << "(ParseOp ";
23
  if (!p.d_expr.isNull())
24
  {
25
    out << " :expr " << p.d_expr;
26
  }
27
  if (!p.d_op.isNull())
28
  {
29
    out << " :op " << p.d_op;
30
  }
31
  if (p.d_kind != api::NULL_EXPR)
32
  {
33
    out << " :kind " << p.d_kind;
34
  }
35
  if (!p.d_type.isNull())
36
  {
37
    out << " :type " << p.d_type;
38
  }
39
  if (!p.d_name.empty())
40
  {
41
    out << " :name " << p.d_name;
42
  }
43
  out << ")";
44
  return os << out.str();
45
}
46
47
}  // namespace CVC4