Package gnu.expr

Class LetExp

java.lang.Object

gnu.mapping.PropertySet

gnu.mapping.Procedure

gnu.expr.Expression

gnu.expr.ScopeExp

gnu.expr.LetExp

All Implemented Interfaces:

gnu.kawa.format.Printable, Named, SourceLocator, SourceLocator, Locator

Direct Known Subclasses:

CatchClause, FluidLetExp, PatternScope, TemplateScope

public class LetExp
extends ScopeExp

Class used to implement "let" syntax (and variants) for Scheme.

Nested Class Summary

Nested classes/interfaces inherited from interface gnu.text.SourceLocator

SourceLocator.Simple

Field Summary

Fields

Modifier and Type	Field	Description
static int	IS_BODY_SCOPE

Fields inherited from class gnu.expr.ScopeExp

frameSize, id, scope

Fields inherited from class gnu.expr.Expression

applyMethodExpression, flags, NEXT_AVAIL_FLAG, noExpressions, type, VALIDATED

Fields inherited from class gnu.mapping.Procedure

applyMethodType, applyToConsumerDefault, applyToConsumerMethod, applyToObjectDefault, applyToObjectMethod, compilerKey, compilerXKey, inlineIfConstantSymbol, validateApplyKey, validateXApplyKey

Fields inherited from class gnu.mapping.PropertySet

nameKey

Constructor Summary

Constructors

Constructor	Description
LetExp()

Method Summary

Modifier and Type	Method	Description
void	apply(CallContext ctx)	Evaluate the expression.
protected Type	calculateType()
void	compile(Compilation comp, Target target)
protected Object	evalVariable(Declaration decl, CallContext ctx)
Expression	getBody()
protected boolean	mustCompile()
void	print(gnu.kawa.io.OutPort out)
void	print(gnu.kawa.io.OutPort out, String startTag, String endTag)
void	setBody(Expression body)
protected <R,D> R	visit(ExpVisitor<R,D> visitor, D d)
protected <R,D> void	visitChildren(ExpVisitor<R,D> visitor, D d)
<R,D> void	visitInitializers(ExpVisitor<R,D> visitor, D d)

Methods inherited from class gnu.expr.ScopeExp

add, add, addDeclaration, addDeclaration, addDeclaration, clearCallList, countDecls, currentLambda, currentModule, duplicateDeclarationError, firstDecl, getDefine, getNoDefine, getOuter, getVarScope, isClassGenerated, lastDecl, lookup, lookup, nestedIn, nesting, popScope, remove, remove, replaceFollowing, setIndexes, setOuter, topLevel, toString

Methods inherited from class gnu.expr.Expression

applyMethodExpression, checkLiteralKeyword, compile, compile, compileWithPosition, compileWithPosition, deepCopy, deepCopy, deepCopy, deepCopy, eval, eval, getColumnNumber, getEndColumn, getEndLine, getFileName, getFlag, getFlags, getLineNumber, getPublicId, getStartColumn, getStartLine, getSystemId, getType, getTypeRaw, isSingleValue, isStableSourceLocation, makeWhile, maybeSetLine, neverReturns, numArgs, print, printLineColumn, setFile, setFlag, setFlag, setLine, setLine, setLine, setLine, setLine, setLocation, setType, side_effects, validateApply, valueIfConstant

Methods inherited from class gnu.mapping.Procedure

apply0, apply1, apply2, apply3, apply4, applyL, applyN, applyToConsumerDefault, applyToObjectDefault, checkArgCount, checkBadCode, getApplyMethod, getApplyToConsumerMethod, getApplyToObjectMethod, getReturnType, getSetter, getSourceLocation, isSideEffectFree, lookupApplyHandle, maxArgs, maxArgs, minArgs, minArgs, set0, set1, setN, setSetter, setSourceLocation

Methods inherited from class gnu.mapping.PropertySet

getName, getProperty, getSymbol, removeProperty, setName, setProperty, setProperty, setSymbol

Methods inherited from class java.lang.Object

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

Field Detail

IS_BODY_SCOPE

public static final int IS_BODY_SCOPE

See Also:

Constant Field Values

Constructor Detail

LetExp

public LetExp()

Method Detail

getBody

public Expression getBody()

setBody

public void setBody(Expression body)

mustCompile

protected boolean mustCompile()

Specified by:

mustCompile in class Expression

evalVariable

protected Object evalVariable(Declaration decl,
                              CallContext ctx)
                       throws Throwable

Throws:

Throwable

apply

public void apply(CallContext ctx)
           throws Throwable

Description copied from class: Expression

Evaluate the expression. This is named apply rather than eval so it is compatible with the full-tail-call calling convention, and we can stash an Expression in CallContext's proc field. FIXME - are we making use of this?

Overrides:

apply in class Expression

Throws:

Throwable

compile

public void compile(Compilation comp,
                    Target target)

Specified by:

compile in class Expression

calculateType

protected final Type calculateType()

Overrides:

calculateType in class Expression

visit

protected <R,D> R visit(ExpVisitor<R,D> visitor,
                              D d)

Overrides:

visit in class ScopeExp

visitInitializers

public <R,D> void visitInitializers(ExpVisitor<R,D> visitor,
                                          D d)

visitChildren

protected <R,D> void visitChildren(ExpVisitor<R,D> visitor,
                                         D d)

Overrides:

visitChildren in class Expression

print

public void print(gnu.kawa.io.OutPort out)

Specified by:

print in class Expression

print

public void print(gnu.kawa.io.OutPort out,
                  String startTag,
                  String endTag)