gnu.expr

Class LambdaExp

public class LambdaExp extends ScopeExp

Class used to implement Scheme lambda expressions.

Field Summary
Expression	body
Field	closureEnvField If non-null, this is a Field that is used for implementing lexical closures.
Expression[]	defaultArgs
LambdaExp	firstChild
Keyword[]	keywords
int	max_args Maximum number of actual arguments; -1 if variable.
int	min_args Minumnum number of parameters.
Declaration	nameDecl If non-null, a Declaration whose value is (only) this LambdaExp.
LambdaExp	nextSibling
protected static int	NEXT_AVAIL_FLAG
static int	NO_FIELD
static int	OVERLOADABLE_FIELD
ApplyExp	returnContinuation The unique caller that calls this lambda.
Type	returnType If non-null, the type of values returned by this function.
Field	staticLinkField Field in heapFrame.getType() that contains the static link.
static int	SEQUENCE_RESULT

Constructor Summary
	LambdaExp()
	LambdaExp(int args)
	LambdaExp(Expression body)

Method Summary
void	allocChildClasses(Compilation comp)
void	allocFrame(Compilation comp)
void	apply(CallContext ctx)
void	capture(Declaration decl)
void	compile(Compilation comp, Target target)
void	compileBody(Compilation comp)
void	compileEnd(Compilation comp)
Field	compileSetField(Compilation comp)
Variable	declareClosureEnv()
Variable	declareThis(ClassType clas)
void	generateApplyMethods(Compilation comp)
int	getCallConvention() Specify the calling convention used for this function.
LambdaExp	getCaller() For an INLINE_ONLY function, return the function it gets inlined in.
boolean	getCanCall()
boolean	getCanRead()
protected ClassType	getCompiledClassType(Compilation comp) Return the ClassType of the Procedure this is being compiled into.
protected String	getExpClassName()
ClassType	getHeapFrameType()
boolean	getImportsLexVars() True iff this lambda "captures" (uses) lexical variables from outside.
boolean	getInlineOnly() True iff this lambda is only "called" inline.
Method	getMainMethod() Get the method that contains the actual body of the procedure.
Method	getMethod(int argCount) Select the method used given an argument count.
boolean	getNeedsClosureEnv()
boolean	getNeedsStaticLink() True if a child lambda uses lexical variables from outside.
LambdaExp	getOwningLambda()
Object	getProperty(Object key, Object defaultValue)
Type	getReturnType() The return type of this function, i.e the type of its returned values.
Type	getType()
int	incomingArgs() Number of argument variable actually passed by the caller.
Expression	inline(ApplyExp exp, InlineCalls walker, Declaration decl)
boolean	isClassGenerated() True if a class is generated for this procedure.
boolean	isClassMethod() True if this is a method in an ClassExp.
boolean	isHandlingTailCalls()
boolean	isModuleBody() True iff this is the dummy top-level function of a module body.
void	loadHeapFrame(Compilation comp) Generate code to load heapFrame on the JVM stack.
protected boolean	mustCompile()
LambdaExp	outerLambda()
LambdaExp	outerLambdaNotInline() Return the closest outer non-inlined LambdaExp.
void	print(OutPort out)
Type	restArgType() Return the parameter type of the "keyword/rest" parameters.
void	setCanCall(boolean called)
void	setCanRead(boolean read)
void	setClassMethod(boolean isMethod)
void	setExceptions(ReferenceExp[] exceptions)
void	setImportsLexVars(boolean importsLexVars)
void	setImportsLexVars()
void	setInlineOnly(boolean inlineOnly)
void	setNeedsStaticLink(boolean needsStaticLink)
void	setNeedsStaticLink()
void	setProperty(Object key, Object value)
void	setReturnType(Type returnType)
void	setType(ClassType type)
String	toString()
boolean	variable_args()
protected Expression	walk(ExpWalker walker)
protected void	walkChildren(ExpWalker walker)
protected void	walkChildrenOnly(ExpWalker walker)
protected void	walkProperties(ExpWalker walker)

Field Detail

If non-null, this is a Field that is used for implementing lexical closures. If getName() is "closureEnv", it is our parent's heapFrame, which is an instance of one of our siblings. (Otherwise, we use "this" as the implicit "closureEnv" field.)

defaultArgs

public Expression[] defaultArgs

firstChild

public LambdaExp firstChild

keywords

public Keyword[] keywords

max_args

public int max_args

Maximum number of actual arguments; -1 if variable.

min_args

public int min_args

Minumnum number of parameters. Does not count implicit isThisParameter().

nameDecl

public Declaration nameDecl

If non-null, a Declaration whose value is (only) this LambdaExp.

nextSibling

public LambdaExp nextSibling

NEXT_AVAIL_FLAG

protected static final int NEXT_AVAIL_FLAG

NO_FIELD

public static final int NO_FIELD

OVERLOADABLE_FIELD

public static final int OVERLOADABLE_FIELD

returnContinuation

public ApplyExp returnContinuation

The unique caller that calls this lambda. The value is null, if no callers have been seen. A value of unknownContinuation means there are multiple call sites. Tail-recursive calls do not count as multiple call sites. (With a little more analysis, we could also allow multiple non-self tail-calls as long as they all are ultimately called from the same place.) This is used to see if we can inline the function at its unique call site.

returnType

public Type returnType

If non-null, the type of values returned by this function. If null, the return type has not been set or calculated yet.

staticLinkField

public Field staticLinkField

Field in heapFrame.getType() that contains the static link. It is used by child functions to get to outer environments. Its value is this function's closureEnv value.

SEQUENCE_RESULT

public static final int SEQUENCE_RESULT

Constructor Detail

LambdaExp

public LambdaExp()

LambdaExp

public LambdaExp(int args)

LambdaExp

public LambdaExp(Expression body)

Method Detail

allocChildClasses

public void allocChildClasses(Compilation comp)

allocFrame

public void allocFrame(Compilation comp)

apply

public void apply(CallContext ctx)

capture

public void capture(Declaration decl)

compile

public void compile(Compilation comp, Target target)

compileBody

public void compileBody(Compilation comp)

compileEnd

public void compileEnd(Compilation comp)

compileSetField

public Field compileSetField(Compilation comp)

declareClosureEnv

public Variable declareClosureEnv()

declareThis

public Variable declareThis(ClassType clas)

generateApplyMethods

public void generateApplyMethods(Compilation comp)

getCallConvention

public int getCallConvention()

Specify the calling convention used for this function.

Returns: One of the CALL_WITH_xxx values in Compilation.

getCaller

public LambdaExp getCaller()

For an INLINE_ONLY function, return the function it gets inlined in.

getCanCall

public final boolean getCanCall()

getCanRead

public final boolean getCanRead()

getCompiledClassType

protected ClassType getCompiledClassType(Compilation comp)

Return the ClassType of the Procedure this is being compiled into.

getExpClassName

protected final String getExpClassName()

getHeapFrameType

public ClassType getHeapFrameType()

getImportsLexVars

public final boolean getImportsLexVars()

True iff this lambda "captures" (uses) lexical variables from outside.

getInlineOnly

public final boolean getInlineOnly()

True iff this lambda is only "called" inline.

getMainMethod

public final Method getMainMethod()

Get the method that contains the actual body of the procedure. (The other methods are just stubs that call that method.)

getMethod

public final Method getMethod(int argCount)

Select the method used given an argument count.

getNeedsClosureEnv

public final boolean getNeedsClosureEnv()

getNeedsStaticLink

public final boolean getNeedsStaticLink()

True if a child lambda uses lexical variables from outside. Hence, a child heapFrame needs a staticLink to outer frames.

getOwningLambda

public LambdaExp getOwningLambda()

getProperty

public Object getProperty(Object key, Object defaultValue)

getReturnType

public final Type getReturnType()

The return type of this function, i.e the type of its returned values.

getType

public Type getType()

incomingArgs

public int incomingArgs()

Number of argument variable actually passed by the caller. For functions that accept more than 4 argument, or take a variable number, this is 1, since in that all arguments are passed in a single array.