lcont.hpp

Go to the documentation of this file.

// +-------------------------------------------------------------------------+
// |               I__n__t__e__L__i__b           0.6.10 development          |
// | Copyright (c) Andrey Vikt. Stolyarov <crocodil_AT_croco.net> 2000-2007. |
// |                                                                         |
// | This is free software. The library part is available under              |
// |                               GNU LESSER GENERAL PUBLIC LICENSE v.2.1.  |
// | GNU LGPL v2.1 is found in docs/gnu_gpl2.txt,  or at  http://www.gnu.org |
// |     Please see also docs/readme.txt and visit http://www.intelib.org    |
// |                                                                         |
// | !!! THERE IS NO WARRANTY OF ANY KIND, NEITHER EXPRESSED NOR IMPLIED !!! |
// +-------------------------------------------------------------------------+




#ifndef INTELIB_LCONT_HPP_SENTRY
#define INTELIB_LCONT_HPP_SENTRY

#include "../sexpress/sexpress.hpp"
#include "../sexpress/iexcept.hpp"
#include "../sexpress/sbindtbl.hpp"
#include "../sexpress/gensref.hpp"
#include "../genlisp/conteval.hpp"
#include "lisp.hpp"


class LExpressionSymbol;

class LExpressionContext;

class IntelibX_lisp_not_a_context : public IntelibX {
public:
    IntelibX_lisp_not_a_context(SReference a_param);
};

typedef GenericSReference<LExpressionContext, IntelibX_lisp_not_a_context> 
    LContextRef;


class LExpressionContext : public SExpression {  
    LContextRef prev;
    IntelibBindTable valtbl, funtbl;
public:
    static IntelibTypeId TypeId;
    LExpressionContext(); 
    LExpressionContext(LContextRef a_prev); 
protected:
    ~LExpressionContext();    

public:
    void AddBinding(const LExpressionSymbol *symb, const SReference& val);

    SReference* GetBinding(const LExpressionSymbol *symb) const;

    SReference* ProvideBinding(const LExpressionSymbol *symb);

    void AddFunBinding(const LExpressionSymbol *symb, const SReference& val);

    SReference* GetFunBinding(const LExpressionSymbol *symb) const;

    SReference* ProvideFunBinding(const LExpressionSymbol *symb);

    SReference GetAllSymbols() const;

#if INTELIB_TEXT_REPRESENTATIONS == 1
    virtual class SString TextRepresentation() const;
#endif
};


class LispContinuation : public IntelibContinuation {
public:
    LispContinuation() : IntelibContinuation()
        { PTheFalseValue = PTheLispBooleanFalse; }

    LispContinuation(const LispContinuation &other, bool b)
        : IntelibContinuation(other, b)
        { PTheFalseValue = PTheLispBooleanFalse; }

    ~LispContinuation() {}

    enum CustomInstructions {
        take_result_as_form = max_command - 1,
        duplicate_last_result = max_command - 2
     };

    LContextRef GetContext() const
        { return IntelibContinuation::GetContext(); }

    void SetContext(const LContextRef& context)
        { IntelibContinuation::SetContext(context); }

private:
    virtual void JustEvaluate(const SReference& expr);
    virtual void CustomCommand(int opcode, const SReference& param);

    void EvaluateForm(SExpressionCons *form);
    SReference& GetSymbolValue(LExpressionSymbol *sym) const;
};

class IntelibX_lisp_not_a_function : public IntelibX {
public:
    IntelibX_lisp_not_a_function(SReference a_param);
};

class IntelibX_lisp_symbol_has_no_value : public IntelibX {
public:
    IntelibX_lisp_symbol_has_no_value(SReference a_param);
};


class IntelibX_no_associated_function : public IntelibX {
public:
    IntelibX_no_associated_function(SReference a_param);
};

#endif

---