gnu.expr

Class PushApply

java.lang.Object

gnu.expr.ExpVisitor<Expression,java.lang.Void>

gnu.expr.PushApply

All Implemented Interfaces:

javax.xml.transform.SourceLocator, org.xml.sax.Locator

public class PushApply
extends ExpVisitor<Expression,java.lang.Void>

Re-arranges ApplyExp where the function is a LetExp or BeginExp. Optimizes ((let (...) body) . args) to (let (...) (body . args)). Optimizes ((begin ... last) . args) to (begin ... (last . args)). This helps optimize Scheme "named let" (and some other forms) by making it more likely the application will be to a known procedure. Optimizes (if (let (...) body) e1 [e2]) to (let (...) (if body e1 [e2])). Optimizes (if (begin ... last) e1 [e2]) to (begin ... (if last e1 [e2])). These optimizations have to be done after Declarations are bound. Also, for each LambdaExp set the canFinishCondition field. This information is used in the following InlineCalls pass, to determine which calls (and thus other expressions) have the type neverReturnsType. That in turn is used in the later ChainLambda pass to warn about unreachable code.

Nested Class Summary

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

SourceLocator.Simple

Field Summary

Fields inherited from class gnu.expr.ExpVisitor

currentLambda, exitValue, messages

Constructor Summary

Constructors

Constructor and Description
PushApply()

Method Summary

Modifier and Type	Method and Description
protected Expression	defaultValue(Expression r, java.lang.Void ignored)
void	forkNext()
void	forkPop()
void	forkPush()
static void	pushApply(Expression exp, Compilation comp)
protected Expression	update(Expression exp, Expression r)
protected Expression	visitApplyExp(ApplyExp exp, java.lang.Void ignored)
protected Expression	visitBlockExp(BlockExp exp, java.lang.Void ignored)
protected Expression	visitCaseExp(CaseExp exp, java.lang.Void ignored)
protected Expression	visitClassExp(ClassExp exp, java.lang.Void ignored)
protected Expression	visitExitExp(ExitExp exp, java.lang.Void ignored)
protected Expression	visitIfExp(IfExp exp, java.lang.Void ignored)
protected Expression	visitLambdaExp(LambdaExp exp, java.lang.Void ignored)
protected Expression	visitReferenceExp(ReferenceExp exp, java.lang.Void ignored)
protected Expression	visitTryExp(TryExp exp, java.lang.Void ignored)

Methods inherited from class gnu.expr.ExpVisitor

error, getColumnNumber, getCompilation, getCurrentLambda, getEndColumn, getEndLine, getExitValue, getFileName, getLanguage, getLineNumber, getMessages, getPublicId, getStartColumn, getStartLine, getSystemId, isStableSourceLocation, noteError, setColumn, setContext, setFile, setLine, setLine, visit, visit, visitAndUpdate, visitBeginExp, visitDeclarationType, visitDeclarationTypes, visitDefaultArgs, visitExpression, visitExps, visitExps, visitFluidLetExp, visitLangExp, visitLetExp, visitModuleExp, visitObjectExp, visitQuoteExp, visitScopeExp, visitSetExp, visitSynchronizedExp, visitThisExp

Methods inherited from class java.lang.Object

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

Constructor Detail

PushApply

public PushApply()

Method Detail

pushApply

public static void pushApply(Expression exp,
                             Compilation comp)

update

protected Expression update(Expression exp,
                            Expression r)

Overrides:

update in class ExpVisitor<Expression,java.lang.Void>

defaultValue

protected Expression defaultValue(Expression r,
                                  java.lang.Void ignored)

Overrides:

defaultValue in class ExpVisitor<Expression,java.lang.Void>

visitApplyExp

protected Expression visitApplyExp(ApplyExp exp,
                                   java.lang.Void ignored)

Overrides:

visitApplyExp in class ExpVisitor<Expression,java.lang.Void>

visitIfExp

protected Expression visitIfExp(IfExp exp,
                                java.lang.Void ignored)

Overrides:

visitIfExp in class ExpVisitor<Expression,java.lang.Void>

visitCaseExp

protected Expression visitCaseExp(CaseExp exp,
                                  java.lang.Void ignored)

Overrides:

visitCaseExp in class ExpVisitor<Expression,java.lang.Void>

visitTryExp

protected Expression visitTryExp(TryExp exp,
                                 java.lang.Void ignored)

Overrides:

visitTryExp in class ExpVisitor<Expression,java.lang.Void>

visitBlockExp

protected Expression visitBlockExp(BlockExp exp,
                                   java.lang.Void ignored)

Overrides:

visitBlockExp in class ExpVisitor<Expression,java.lang.Void>

visitExitExp

protected Expression visitExitExp(ExitExp exp,
                                  java.lang.Void ignored)

Overrides:

visitExitExp in class ExpVisitor<Expression,java.lang.Void>

visitReferenceExp

protected Expression visitReferenceExp(ReferenceExp exp,
                                       java.lang.Void ignored)

Overrides:

visitReferenceExp in class ExpVisitor<Expression,java.lang.Void>

visitClassExp

protected Expression visitClassExp(ClassExp exp,
                                   java.lang.Void ignored)

Overrides:

visitClassExp in class ExpVisitor<Expression,java.lang.Void>

visitLambdaExp

protected Expression visitLambdaExp(LambdaExp exp,
                                    java.lang.Void ignored)

Overrides:

visitLambdaExp in class ExpVisitor<Expression,java.lang.Void>

forkPush

public void forkPush()

forkNext

public void forkNext()

forkPop

public void forkPop()