source: src/Designators/Processor.h @ f678663e

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