source: src/Common/SemanticError.cc@ b91e8c1

//
// 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.
//
// SemanticError.cc --
//
// Author           : Richard C. Bilson
// Created On       : Mon May 18 07:44:20 2015
// Last Modified By : Peter A. Buhr
// Last Modified On : Tue Aug 29 18:17:35 2017
// Update Count     : 3
//

#include <cstdarg>
#include <cstdio>                                                                               // for fileno, stderr
#include <unistd.h>                                                                             // for isatty
#include <iostream>                                                                             // for basic_ostream, operator<<, ostream
#include <list>                                                                                 // for list, _List_iterator
#include <string>                                                                               // for string, operator<<, operator+, to_string

#include "Common/utility.h"                                                             // for to_string, CodeLocation (ptr only)
#include "SemanticError.h"

SemanticErrorException::SemanticErrorException( CodeLocation location, std::string error ) {
        append( location, error );
}

void SemanticErrorException::append( SemanticErrorException &other ) {
        errors.splice( errors.end(), other.errors );
}

void SemanticErrorException::append( CodeLocation location, const std::string & msg ) {
        errors.emplace_back( location, msg );
}

bool SemanticErrorException::isEmpty() const {
        return errors.empty();
}

void SemanticErrorException::print() {
        using std::to_string;
        for( auto err : errors ) {
                std::cerr << ErrorHelpers::bold() << err.location << ErrorHelpers::error_str() << ErrorHelpers::reset_font() << err.description << std::endl;
        }
}

void SemanticError( CodeLocation location, std::string error ) {
        throw SemanticErrorException(location, error);
}

namespace {
        // convert format string and arguments into a single string
        std::string fmtToString(const char * fmt, va_list ap) {
                int size = 128;
                while ( true ) {
                        char buf[size];
                        va_list args;
                        va_copy( args, ap );
                        int n = vsnprintf(&buf[0], size, fmt, args);
                        va_end( args );
                        if ( n < size && n >= 0 ) return buf;
                        size *= 2;
                }
                assert( false );
        }
}

void SemanticWarningImpl( CodeLocation location, Warning warning, const char * const fmt, ... ) {
        Severity severity = WarningFormats[(int)warning].severity;
        switch(severity) {
        case Severity::Suppress :
                break;
        case Severity::Warn :
                {
                        va_list args;
                        va_start(args, fmt);
                        std::string msg = fmtToString( fmt, args );
                        va_end(args);
                        std::cerr << ErrorHelpers::bold() << location << ErrorHelpers::warning_str() << ErrorHelpers::reset_font() << msg << std::endl;
                }
                break;
        case Severity::Error :
                {
                        va_list args;
                        va_start(args, fmt);
                        std::string msg = fmtToString( fmt, args );
                        va_end(args);
                        SemanticError(location, msg);
                }
                break;
        case Severity::Critical :
                assertf(false, "Critical errors not implemented yet");
                break;
        }
}

//-----------------------------------------------------------------------------
// Helpers
namespace ErrorHelpers {
        const std::string & error_str() {
                static std::string str = isatty( STDERR_FILENO ) ? "\e[31merror:\e[39m " : "error: ";
                return str;
        }

        const std::string & warning_str() {
                static std::string str = isatty( STDERR_FILENO ) ? "\e[95mwarning:\e[39m " : "warning: ";
                return str;
        }

        const std::string & bold_ttycode() {
                static std::string str = isatty( STDERR_FILENO ) ? "\e[1m" : "";
                return str;
        }

        const std::string & reset_font_ttycode() {
                static std::string str = isatty( STDERR_FILENO ) ? "\e[0m" : "";
                return str;
        }

        std::string make_bold( const std::string & str ) {
                return bold_ttycode() + str + reset_font_ttycode();
        }

        std::ostream & operator<<(std::ostream & os, bold) {
                os << bold_ttycode();
                return os;
        }

        std::ostream & operator<<(std::ostream & os, reset_font) {
                os << reset_font_ttycode();
                return os;
        }
}

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