source: src/Parser/TypedefTable.h @ c468150

//
// 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.
//
// TypedefTable.h --
//
// Author           : Peter A. Buhr
// Created On       : Sat May 16 15:24:36 2015
// Last Modified By : Peter A. Buhr
// Last Modified On : Sat Feb 15 08:06:37 2020
// Update Count     : 117
//

#pragma once

#include <string>                                                                               // for string

#include "Common/ScopedMap.h"                                                   // for ScopedMap

class TypedefTable {
        struct Note { size_t level; bool forall; };
        typedef ScopedMap< std::string, int, Note > KindTable;
        KindTable kindTable;
        unsigned int level = 0;
  public:
        ~TypedefTable();

        bool exists( const std::string & identifier ) const;
        bool existsCurr( const std::string & identifier ) const;
        int isKind( const std::string & identifier ) const;
        void makeTypedef( const std::string & name, int kind );
        void makeTypedef( const std::string & name );
        void addToScope( const std::string & identifier, int kind, const char * );
        void addToEnclosingScope( const std::string & identifier, int kind, const char * );
        bool getEnclForall() { return kindTable.getNote( kindTable.currentScope() -  1 ).forall; }

        void enterScope();
        void leaveScope();

        void up( bool );
        void down();

        void print( void ) const;
}; // TypedefTable

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