interpreter.h

Go to the documentation of this file.

/*
 *  GXML/Graphite: Geometry and Graphics Programming Library + Utilities
 *  Copyright (C) 2000 Bruno Levy
 *
 *  This program is free software; you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation; either version 2 of the License, or
 *  (at your option) any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program; if not, write to the Free Software
 *  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 *
 *  If you modify this software, you should include a notice giving the
 *  name of the person performing the modification, the date of modification,
 *  and the reason for such modification.
 *
 *  Contact: Bruno Levy
 *
 *     levy@loria.fr
 *
 *     ISA Project
 *     LORIA, INRIA Lorraine, 
 *     Campus Scientifique, BP 239
 *     54506 VANDOEUVRE LES NANCY CEDEX 
 *     FRANCE
 *
 *  Note that the GNU General Public License does not permit incorporating
 *  the Software into proprietary programs. 
 */
 
#ifndef H_OGF_GOM_INTERPRETER_H
#define H_OGF_GOM_INTERPRETER_H
 
#include <OGF/gom/common/common.h>
#include <OGF/gom/types/object.h>
#include <geogram/basic/numeric.h>
#include <string>
#include <vector>
#include <map>
 
namespace OGF {
 
    class Interpreter;
    class Object;
    class MetaClass;
    class MetaMethod;
    class ArgList;
    class Request;
    class Callable;
    class Connection;
    
    /*************************************************************************/ 
 
    gom_attribute(abstract,"true")
    gom_class GOM_API Scope : public Object {
      public:
        Scope(Object* object);
 
        ~Scope() override;
 
        virtual Any resolve(const std::string& name) = 0;
 
        virtual void list_names(std::vector<std::string>& names) const;
 
        void search(
            const std::string& needle, const std::string& path=""
        ) override;
        
      protected:
        Object* object_;
    };
    
    typedef SmartPointer<Scope> Scope_var;
    
    /*************************************************************************/
 
    gom_class GOM_API GlobalScope : public Scope {
      public:
        GlobalScope(Interpreter* interpreter);
 
        ~GlobalScope() override;
 
        Any resolve(const std::string& name) override;
 
        void list_names(std::vector<std::string>& names) const override;
    };
    
    /************************************************************************/ 
    
    gom_class GOM_API InterfaceScope : public Scope {
      public:
        InterfaceScope(Object* object);
 
        ~InterfaceScope() override;
 
        Any resolve(const std::string& name) override;
 
        void list_names(std::vector<std::string>& names) const override;
    };
 
    /*************************************************************************/ 
 
    gom_class GOM_API MetaTypesScope : public Scope {
      public:
        MetaTypesScope(const std::string& prefix = "");
 
        ~MetaTypesScope() override;
 
        Any resolve(const std::string& name) override;
 
        void list_names(std::vector<std::string>& names) const override;
 
    gom_slots:
        MetaTypesScope* create_subscope(const std::string& name);
        
    private:
        std::string prefix_;
        std::map<std::string, Scope_var> subscopes_;
    };
 
 
    /*************************************************************************/ 
 
    
    gom_attribute(abstract,"true")         
    gom_class GOM_API Interpreter : public Object {
 
    public:
 
        Interpreter();
 
        virtual void reset()=0;
        
        virtual Any resolve(const std::string& id, bool quiet=true) const;
 
        virtual void bind(const std::string& id, const Any& value) = 0;
 
        virtual void list_names(std::vector<std::string>& names) const;
        
        virtual Any eval(
            const std::string& expression, bool quiet=true
        ) const;
 
        
    gom_slots:
        void inspect(Object* object);
 
        void inspect_meta_type(MetaType* meta_type);
 
        void list_classes();
 
        void bind_object(const std::string& id, Object* object);
        
        Object* resolve_object(const std::string& id, bool quiet=true) const;
 
 
        Object* resolve_object_by_global_id(
            const std::string& id, bool quiet=true
        ) const;
        
        Object* eval_object(
            const std::string& expression, bool quiet=true
        ) const;
 
        std::string eval_string(
            const std::string& expression, bool quiet=true
        ) const;
 
        virtual MetaType* resolve_meta_type(const std::string& type_name) const;
 
        virtual bool bind_meta_type(MetaType* mtype);
 
        virtual Object* create(const ArgList& args);
 
        virtual std::string get_environment_value(const std::string& name);
 
        virtual void set_environment_value(
            const std::string& name, const std::string& value
        );
 
        virtual bool execute(
            const std::string& command, 
            bool save_in_history = true,
            bool log = true
        ) = 0;
 
        virtual bool execute_file(const std::string& file_name);
 
        virtual void out(
            const std::string& message, const std::string& tag = "GOM"
        );
 
        virtual void err(
            const std::string& message, const std::string& tag = "GOM"
        );
 
        virtual void warn(
            const std::string& message, const std::string& tag = "GOM"
        );
        
        virtual void status(const std::string& message);
 
        virtual void append_dynamic_libraries_path(const std::string& path);
        
        virtual bool load_module(const std::string& module_name);
 
        virtual Connection* connect(Request* from, Callable* to);
 
 
        Interpreter* interpreter(const std::string& language) {
            return instance_by_language(language);
        }
 
        Interpreter* interpreter_by_file_extension(
            const std::string& extension
        ) {
            return instance_by_file_extension(extension);
        }
 
        void search(const std::string& needle, const std::string& path="");
        
      public:
        static Interpreter* default_interpreter() {
            return default_interpreter_;
        }
        
      gom_properties:
        virtual std::string get_history() const;
 
        const std::string& get_language() const {
            return language_;
        }
 
        const std::string& get_filename_extension() const {
            return extension_;
        }
 
        Scope* get_globals() const {
            return globals_;
        }
 
        Scope* get_meta_types() const {
            return meta_types_;
        }
        
      public:
        
        static Interpreter* instance_by_language(const std::string& language);
 
        static Interpreter* instance_by_file_extension(
            const std::string& extension
        );
        
        virtual ~Interpreter();
        
        static void initialize(
            Interpreter* instance, const std::string& language,
            const std::string& extension
        );
 
 
        static void terminate(
            const std::string& language, const std::string& extension
        );
        
        static void terminate();
 
        Object* create(const std::string& classname, const ArgList& args);
 
        virtual void automatic_completion(
            const std::string& line, index_t startw, index_t endw,
            const std::string& cmpword, std::vector<std::string>& matches
        );
        
        
        virtual void save_history(const std::string& file_name) const;
 
        virtual void clear_history();
 
        void add_to_history(const std::string& command);
 
        size_t history_size() const {
            return history_.size();
        }
 
        std::string history_line(unsigned int l) const {
            return l < history_size() ? history_[l] : std::string("");
        }
 
      protected:
        void filename_completion(
            const std::string& prefix,
            std::vector<std::string>& completions
        );
 
        void filter_completion_candidates(
            const std::string& prefix, std::vector<std::string>& completions
        );
        
        virtual void get_keys(
            const std::string& context, std::vector<std::string>& keys
        );
 
        virtual void get_keys(
            Any& context, std::vector<std::string>& keys
        );
 
        void inspect_method(Object* object, MetaMethod* mmethod);
 
        void inspect_meta_class(Object* object, MetaClass* mclass);
        
        void inspect_meta_method(MetaMethod* mmethod);
 
        void set_language(const std::string& language) {
            language_ = language;
        }
 
        void set_filename_extension(const std::string& extension) {
            extension_ = extension;
        }
 
        virtual std::string stringify(const std::string& str) const;
 
        virtual std::string name_value_pair_call(const std::string& args) const;
        
    protected:
        std::vector<std::string> history_;
        std::string language_;
        std::string extension_;
        
    private:
        static std::map<
            std::string, SmartPointer<Interpreter>
        > instance_;
        static std::map<std::string, Interpreter*>
            instance_by_file_extension_;
        static Interpreter* default_interpreter_;
        
        Scope_var globals_;
        Scope_var meta_types_;
    };
 
    typedef SmartPointer<Interpreter> Interpreter_var;
    
    /*************************************************************************/
 
} 
 
#endif