/**
 ** \file assert/desugar-visitor.hxx
 ** \brief Implementation of assert::DesugarVisitor (inlined methods).
 */

#pragma once

#include <assert/desugar-visitor.hh>

#include <sstream>
#include <string>

#include <ast/pretty-printer.hh>

namespace assert
{

  inline std::string
  DesugarVisitor::get_formatted_assert_cond(const ast::AssertExp& e)
  {
    std::stringstream stream{};
    ast::PrettyPrinter pretty_printer(stream);

    pretty_printer(e.cond_get());

    return stream.str();
  }

  inline std::string
  DesugarVisitor::get_formatted_location(const ast::Location& loc)
  {
    std::stringstream stream{};

    stream << loc;

    return stream.str();
  }

}