source: src/Common/SemanticError.h @ ecd4923

//
// 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.h --
//
// 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 22:03:36 2017
// Update Count     : 17
//

#pragma once

#include <exception>                                                                    // for exception
#include <iostream>                                                                             // for ostream
#include <list>                                                                                 // for list
#include <string>                                                                               // for string
#include <unistd.h>                                                                             // for isatty

#include "CodeLocation.h"                                                               // for CodeLocation, toString

struct error {
        std::string description;
        CodeLocation location;

        error() = default;
        error( const std::string & str ) : description( str ) {}

        void maybeSet( const CodeLocation & location ) {
                if( this->location.isUnset() ) {
                        this->location = location;
                }
        }
};

class SemanticError : public std::exception {
  public:
        SemanticError();
        SemanticError( std::string error );
        template< typename T > SemanticError( const std::string & error, const T * obj );
        ~SemanticError() throw() {}

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

        void append( SemanticError & other );
        void append( const std::string & );
        bool isEmpty() const;
        void print( std::ostream & os );

        void set_location( const CodeLocation & location );
        // constructs an exception using the given message and the printed representation of the obj (T must have a print
        // method)
  private:
        std::list< error > errors;
};

template< typename T >
SemanticError::SemanticError( const std::string & error, const T * obj ) {
        append( toString( error, obj ) );
}

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