Main Page | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Class Members | File Members

LExpressionLambda Class Reference

#include <llambda.hpp>

Inheritance diagram for LExpressionLambda:

Inheritance graph
[legend]
Collaboration diagram for LExpressionLambda:

Collaboration graph
[legend]
List of all members.

Detailed Description

A Lisp function written in Lisp.

This object represents a closure, that is, the thing created by #'(lambda (...) ...), or by DEFUN, or FLET.

Definition at line 63 of file llambda.hpp.

Public Member Functions

 LExpressionLambda (const LContextRef &a_cont, const SReference &lambda, const SReference &body)
 The constructor.
virtual void DoApply (int paramc, const SReference *paramv, IntelibContinuation &cont) const
 Perform application to the given parameters.
virtual SString TextRepresentation () const
 Text representation of the S-expression.
void Apply (int paramc, const SReference *paramv, IntelibContinuation &cont) const
const IntelibTypeIdTermType () const
 Actual S-expression type.
bool IsChangeable () const
 Can it be changed during the lifetime of the object?
virtual SExpressionClone () const
 Clone a changeable object.
virtual bool SpecificEql (const SExpression *) const
 Are the two objects EQL (while not EQ).
SReferenceGetBody ()
 Get the body.

Static Public Attributes

static IntelibTypeId TypeId
 The type identifier.

Protected Member Functions

virtual ~LExpressionLambda ()
bool CanDie ()
 Is it OK to delete the object now?
void DoAnalyseLambdaList (const SReference &rest, int n)

Protected Attributes

int min_param
int max_param
LContextRef context
SReference lambda_list
LExpressionSymbol ** lambda_vector
LExpressionSymbollambda_rest
int lambda_length
SReference body


Constructor & Destructor Documentation

LExpressionLambda::LExpressionLambda const LContextRef a_cont,
const SReference lambda,
const SReference body
 

The constructor.

Parameters:
a_cont is the lexical context within which the closure is created
lambda is the list of symbols to be used as formal parameters
body is the list of forms that is to be used as the function's body

Definition at line 64 of file llambda.cpp.

LExpressionLambda::~LExpressionLambda  )  [protected, virtual]
 

Definition at line 73 of file llambda.cpp.


Member Function Documentation

void LExpressionLambda::DoApply int  paramc,
const SReference paramv,
IntelibContinuation cont
const [virtual]
 

Perform application to the given parameters.

This method actually does all the job; however, you'd better use the SExpressionFunction::Apply() method as it is more general. Furthermore, you generally won't need to do even so; better construct the appropriate form and LReference::Evaluate() it. This is because the application is actually only scheduled to be done within the given continuation, and you'll need yourself to make the continuation run to get the result of the application.

Implements SExpressionFunction.

Definition at line 96 of file llambda.cpp.

References PTheEmptyList.

SString LExpressionLambda::TextRepresentation  )  const [virtual]
 

Text representation of the S-expression.

Returns the text string which represents the given S-expression as for real Lisp (for example, (25 36 49))

Implements SExpression.

Definition at line 118 of file llambda.cpp.

void SExpressionFunction::Apply int  paramc,
const SReference paramv,
IntelibContinuation cont
const [inherited]
 

Definition at line 24 of file lispform.cpp.

References SExpressionFunction::DoApply(), SExpressionFunction::max_param, and SExpressionFunction::min_param.

const IntelibTypeId& SExpression::TermType  )  const [inherited]
 

Actual S-expression type.

Definition at line 195 of file sexpress.hpp.

Referenced by SReference::DynamicCastGetPtr(), SchReference::IsEql(), LReference::IsEql(), SReference::SimpleCastGetPtr(), SchReference::TextRepresentation(), and LReference::TextRepresentation().

bool SExpression::IsChangeable  )  const [inherited]
 

Can it be changed during the lifetime of the object?

Definition at line 198 of file sexpress.hpp.

References IntelibTypeId::IsChangeable().

virtual SExpression* SExpression::Clone  )  const [virtual, inherited]
 

Clone a changeable object.

The method should return the pointer created with new

Note:
It can (and should) return null pointer for non-changeables
Warning:
This method will hang your program being called for a looped data structure, including looped lists, a hash table which references a list in which it is a member, etc.

If you create a changeable S-expression, you MUST make sure this method duplicates your object in such a way that nothing is shared between the old and new objects, that is, changing the new object can not in any way change the old object.

Reimplemented in SExpressionBacklink, SExpressionCons, SExpressionHashTable, SExpressionRawBuffer, and SExpressionVector.

Definition at line 214 of file sexpress.hpp.

virtual bool SExpression::SpecificEql const SExpression  )  const [virtual, inherited]
 

Are the two objects EQL (while not EQ).

This function is overriden by those SExpressions able to be EQL while being not EQ.

Warning:
It is not demanded that this function return true if it's arguments are the same SExpression (that is, they're EQ). It is only called by the EQL predicate implementation when it has been checked that the operands are not the same object.

Reimplemented in SExpressionInt, SExpressionFloat, SExpressionChar, and SExpressionString.

Definition at line 235 of file sexpress.hpp.

Referenced by SchReference::IsEql(), and LReference::IsEql().

bool GarbageSafe::CanDie  )  [protected, inherited]
 

Is it OK to delete the object now?

Our children have no access to the private attribute RefCount and should never need it except when checking if the destruction is not an error. This solves the problem.

Definition at line 53 of file refcount.hpp.

void LispLambdaBody::DoAnalyseLambdaList const SReference rest,
int  n
[protected, inherited]
 

Definition at line 36 of file llambda.cpp.

References SExpressionCons::Car(), SExpressionCons::Cdr(), SReference::DynamicCastGetPtr(), SReference::GetPtr(), INTELIB_ASSERT, LispLambdaBody::lambda_length, LispLambdaBody::lambda_rest, and LispLambdaBody::lambda_vector.

Referenced by LispLambdaBody::LispLambdaBody().

SReference& LispLambdaBody::GetBody  )  [inherited]
 

Get the body.

Definition at line 56 of file llambda.hpp.

References LispLambdaBody::body.


Member Data Documentation

IntelibTypeId LExpressionLambda::TypeId [static]
 

The type identifier.

Reimplemented from SExpressionFunction.

int SExpressionFunction::min_param [protected, inherited]
 

Definition at line 41 of file lispform.hpp.

Referenced by SExpressionFunction::Apply(), and SExpressionFunction::SExpressionFunction().

int SExpressionFunction::max_param [protected, inherited]
 

Definition at line 41 of file lispform.hpp.

Referenced by SExpressionFunction::Apply(), and SExpressionFunction::SExpressionFunction().

LContextRef LispLambdaBody::context [protected, inherited]
 

Definition at line 41 of file llambda.hpp.

SReference LispLambdaBody::lambda_list [protected, inherited]
 

Definition at line 42 of file llambda.hpp.

LExpressionSymbol** LispLambdaBody::lambda_vector [protected, inherited]
 

Definition at line 43 of file llambda.hpp.

Referenced by LispLambdaBody::DoAnalyseLambdaList(), and LispLambdaBody::~LispLambdaBody().

LExpressionSymbol* LispLambdaBody::lambda_rest [protected, inherited]
 

Definition at line 44 of file llambda.hpp.

Referenced by LispLambdaBody::DoAnalyseLambdaList().

int LispLambdaBody::lambda_length [protected, inherited]
 

Definition at line 45 of file llambda.hpp.

Referenced by LispLambdaBody::DoAnalyseLambdaList().

SReference LispLambdaBody::body [protected, inherited]
 

Definition at line 46 of file llambda.hpp.

Referenced by LispLambdaBody::GetBody().


The documentation for this class was generated from the following files:
Generated on Tue Dec 18 00:41:22 2007 for InteLib by  doxygen 1.4.1