//
// 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 : Andrew Beach
// Last Modified On : Thr Aug 17 14:01:00 2017
// Update Count     : 7
//

#pragma once

#include <exception>  // for exception
#include <iostream>   // for ostream
#include <list>       // for list
#include <string>     // for string

#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.linenumber < 0 ) {
			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() {}

	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: //