source: src/ResolvExpr/CandidatePrinter.cpp @ 2908f08

//
// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// CandidatePrinter.cpp -- Print expression canditates.
//
// Author           : Andrew Beach
// Created On       : Tue Nov  9  9:54:00 2021
// Last Modified By : Andrew Beach
// Last Modified On : Wed Mar 16 13:56:00 2022
// Update Count     : 1
//

#include "CandidatePrinter.hpp"

#include "AST/Expr.hpp"
#include "AST/Pass.hpp"
#include "AST/Print.hpp"
#include "AST/Stmt.hpp"
#include "AST/TranslationUnit.hpp"
#include "ResolvExpr/CandidateFinder.hpp"
#include "ResolvExpr/Resolver.h"

#include <iostream>

namespace ResolvExpr {

namespace {

class CandidatePrintCore : public ast::WithSymbolTable,
                public ast::WithConstTranslationUnit {
        std::ostream & os;
public:
        CandidatePrintCore( std::ostream & os ) : os( os ) {}

        void postvisit( const ast::ExprStmt * stmt ) {
                ast::TypeEnvironment env;
                CandidateFinder finder( { symtab, transUnit().global }, env );
                finder.find( stmt->expr, ResolvMode::withAdjustment() );
                int count = 1;
                os << "There are " << finder.candidates.size() << " candidates\n";
                for ( const std::shared_ptr<Candidate> & cand : finder ) {
                        os << "Candidate " << count++ << " ==============\n";
                        ast::print( os, cand->expr->result.get() );
                        os << std::endl;
                }
        }
};

} // namespace

void printCandidates( ast::TranslationUnit & transUnit ) {
        ast::Pass<CandidatePrintCore>::run( transUnit, std::cout );
}

} // namespace ResolvExpr

// Local Variables: //
// tab-width: 4 //
// mode: c++ //
// compile-command: "make install" //
// End: //