Package kawa.lang

Class Lambda

java.lang.Object

kawa.lang.Syntax

kawa.lang.Lambda

All Implemented Interfaces:

gnu.kawa.format.Printable, Named

public class Lambda
extends Syntax

The Syntax transformer that re-writes the lambda builtin.

Field Summary

Fields

Modifier and Type	Field	Description
BindDecls	bindParser
Expression	defaultDefault
Object	keyKeyword
static Keyword	nameKeyword
Object	optionalKeyword
Object	restKeyword

Constructor Summary

Constructors

Constructor	Description
Lambda()

Method Summary

Modifier and Type	Method	Description
protected Declaration	addParam(Symbol name, TemplateScope templateScope, LambdaExp lexp, Translator tr)
Expression	auxillaryRewrite(Object body, Translator tr)
static boolean	isAnnotationSymbol(Object key)
Object[]	parsePatternCar(Pair patList, TemplateScope templateScope, LambdaExp lexp, Translator comp)
void	print(Consumer out)
void	rewrite(LambdaExp lexp, Object formals, Object body, Translator tr, TemplateScope templateScopeRest)	Higher-level constructor, that does the re-writing.
Expression	rewrite(Object obj, Translator tr)	Re-write an expression that is an "application" of this Syntax object.
static void	rewriteAnnotations(Declaration decl, Translator tr)
Object	rewriteAttrs(LambdaExp lexp, Object body, Translator tr)
void	rewriteBody(LambdaExp lexp, Object body, Translator tr)
void	rewriteFormals(LambdaExp lexp, Object formals, Translator tr, TemplateScope templateScopeRest)
void	setKeywords(Object optional, Object rest, Object key)
Object	skipAttrs(LambdaExp lexp, Object body, Translator tr)

Methods inherited from class kawa.lang.Syntax

getName, getSymbol, rewriteForm, scanForDefinitions, scanForm, setName, setName

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

optionalKeyword

public Object optionalKeyword

restKeyword

public Object restKeyword

keyKeyword

public Object keyKeyword

bindParser

public BindDecls bindParser

nameKeyword

public static final Keyword nameKeyword

defaultDefault

public Expression defaultDefault

Constructor Detail

Lambda

public Lambda()

Method Detail

setKeywords

public void setKeywords(Object optional,
                        Object rest,
                        Object key)

rewrite

public Expression rewrite(Object obj,
                          Translator tr)

Description copied from class: Syntax

Re-write an expression that is an "application" of this Syntax object.

Overrides:

rewrite in class Syntax

Parameters:

obj - the arguments to this "application" (i.e. the cdr of the macro/builtin invocation)

tr - the Translator that provides context

Returns:

the re-written expression

rewrite

public void rewrite(LambdaExp lexp,
                    Object formals,
                    Object body,
                    Translator tr,
                    TemplateScope templateScopeRest)

Higher-level constructor, that does the re-writing.

Parameters:

formals - the formal parameter list (or symbol)

body - the body of the procedure

tr - the (Scheme) Translator

rewriteFormals

public void rewriteFormals(LambdaExp lexp,
                           Object formals,
                           Translator tr,
                           TemplateScope templateScopeRest)

addParam

protected Declaration addParam(Symbol name,
                               TemplateScope templateScope,
                               LambdaExp lexp,
                               Translator tr)

rewriteAttrs

public Object rewriteAttrs(LambdaExp lexp,
                           Object body,
                           Translator tr)

skipAttrs

public Object skipAttrs(LambdaExp lexp,
                        Object body,
                        Translator tr)

rewriteBody

public void rewriteBody(LambdaExp lexp,
                        Object body,
                        Translator tr)

auxillaryRewrite

public Expression auxillaryRewrite(Object body,
                                   Translator tr)

print

public void print(Consumer out)

Specified by:

print in interface gnu.kawa.format.Printable

Overrides:

print in class Syntax

isAnnotationSymbol

public static boolean isAnnotationSymbol(Object key)

rewriteAnnotations

public static void rewriteAnnotations(Declaration decl,
                                      Translator tr)

parsePatternCar

public Object[] parsePatternCar(Pair patList,
                                TemplateScope templateScope,
                                LambdaExp lexp,
                                Translator comp)