//
// 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.
//
// Processor.h -- 
//
// Author           : Rodolfo G. Esteves
// Created On       : Mon May 18 07:44:20 2015
// Last Modified By : Peter A. Buhr
// Last Modified On : Tue May 19 16:24:34 2015
// Update Count     : 3
//

#include "SynTree/Declaration.h"
#include "SynTree/Expression.h"
#include "SynTree/Type.h"
#include "ResolvExpr/AlternativeFinder.h"

#include <vector>
#include <string>
#include <list>
#include <map>

namespace Designators {
	class Matcher;
	class GenSym;

	template < class OutputIterator >  bool extractNames( std::list< DeclarationWithType * > &, OutputIterator );
	template < class OutputIterator >  bool extractNames( Expression *, OutputIterator, Matcher );
	void check_alternative( FunctionType *, ResolvExpr::AltList & );
	ObjectDecl *extractTupleV( Matcher, TupleExpr *names );
	bool fixDesignations( ResolvExpr::AlternativeFinder &finder, Expression *designation );
	DeclarationWithType *gensym( GenSym &, DeclarationWithType * );

	class GenSym {
	  public:
		GenSym( std::string prefix = "" ) : gensym_count(0) {}
		GenSym( GenSym &other ) { gensym_count = other.gensym_count; }

//    std::string get_symbol() { }
	  private:
		std::string prefix;
		int gensym_count;
	};

	// template< typename Key >
	class Matcher {
	  public:
		typedef std::vector< std::string >::iterator iterator;

		Matcher( const std::list< DeclarationWithType * > & );
		~Matcher() {}

		template< class OutputIterator > bool get_reorderedCall( OutputIterator );
		template< class InputIterator >  bool add(InputIterator, InputIterator, ResolvExpr::Alternative &);
		template< class InputIterator, class OutputIterator >  bool slice(InputIterator begin, InputIterator end, OutputIterator );
		//std::vector<std::string> &get_order() const { return order; }

		iterator begin() { return order.begin(); }
		iterator end() { return order.end(); }

		//Expression *operator[]( int idx ) { return table( order[ idx ] ); }
	  private:
		std::map< std::string, int > table;
		std::vector<std::string> order;
		std::vector<DeclarationWithType *> declarations;
		std::vector<ResolvExpr::Alternative *> alternatives;
	};
	//  void pruneAlternatives( Expression *expr, ResolvExpr::AlternativeFinder & );
} // namespace Designators

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