llambda.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_LLAMBDA_HPP_SENTRY
#define INTELIB_LLAMBDA_HPP_SENTRY

#include "../sexpress/sexpress.hpp"
#include "../sexpress/iexcept.hpp"
#include "../genlisp/lispform.hpp"
#include "lcont.hpp"

class LExpressionSymbol;


class LispLambdaBody {
protected:
    LContextRef context;
    SReference lambda_list;
    LExpressionSymbol **lambda_vector;
    LExpressionSymbol *lambda_rest;
    int lambda_length;
    SReference body;

    LispLambdaBody(const LContextRef &a_cont,
                   const SReference &lambda, const SReference& body);
    ~LispLambdaBody();

    void DoAnalyseLambdaList(const SReference &rest, int n);

public:
    SReference& GetBody() { return body; }
};


class LExpressionLambda : public SExpressionFunction, public LispLambdaBody {
public:
    static IntelibTypeId TypeId;

    LExpressionLambda(const LContextRef &a_cont,
                      const SReference &lambda, const SReference& body);
protected:
    virtual ~LExpressionLambda();

public:

    virtual void DoApply(int paramc,
                         const SReference *paramv,
                         IntelibContinuation &cont) const;

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


class LExpressionMacro : public SExpressionForm, public LispLambdaBody {
public:
    static IntelibTypeId TypeId;

    LExpressionMacro(const LContextRef &a_cont,
                     const SReference &lambda, const SReference& body);

protected:
    virtual ~LExpressionMacro();

public:

    virtual void Call(const SReference &formtail,
                      IntelibContinuation &cont) const;

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



class LExpressionUserCFunction : public SExpressionFunction {
    UserLispFunction fun;
public:
    static IntelibTypeId TypeId;
    LExpressionUserCFunction(UserLispFunction a)
        : SExpressionFunction(TypeId, -1, -1), fun(a) {}
    virtual void DoApply(int paramsc, 
                         const SReference *paramsv,
                         IntelibContinuation &lf) const
        { lf.RegularReturn(fun(paramsc, paramsv)); }
#if INTELIB_TEXT_REPRESENTATIONS == 1
    virtual SString TextRepresentation() const;
#endif
protected:
    ~LExpressionUserCFunction() {}
};

#endif

---