Overview Package Class Use Tree Index Deprecated About
Prev Class | Next ClassFrames | No Frames
Summary: Nested | Field | Method | ConstrDetail: Nested | Field | Method | Constr

gnu.expr

Class ApplyExp

Implemented Interfaces:
org.xml.sax.Locator, Named, Printable, SourceLocator
public class ApplyExp
extends Expression
This class is used to represent "combination" or "application". A function and arguments are evaluated, and then the function applied.

Field Summary

static int
INLINE_IF_CONSTANT
static int
TAILCALL
ApplyExp
nextCall
The next ApplyExp in ((ReferenceExp)func).binding.firstCall list.
protected Type
type
Cache for getType().

Fields inherited from class gnu.expr.Expression

NEXT_AVAIL_FLAG, flags, noExpressions

Constructor Summary

ApplyExp(Method m, Expression[] a)
ApplyExp(Expression f, Expression[] a)
ApplyExp(Procedure p, Expression[] a)

Method Summary

void
apply(CallContext ctx)
static void
compile(ApplyExp exp, Compilation comp, Target target)
void
compile(Compilation comp, Target target)
static void
compileToArray(Expression[] args, Compilation comp)
Expression
getArg(int i)
int
getArgCount()
Expression[]
getArgs()
Expression
getFunction()
Object
getFunctionValue()
If getFunction() is constant, return its value; otherwise null.
Type
getType()
Type
getTypeRaw()
Expression
inlineIfConstant(Procedure proc, ExpWalker walker)
Expression
inlineIfConstant(Procedure proc, SourceMessages messages)
Inline this ApplyExp if parameters are constant.
boolean
isTailCall()
protected boolean
mustCompile()
void
print(OutPort out)
void
setArg(int i, Expression arg)
void
setArgs(Expression[] args)
void
setFunction(Expression func)
void
setTailCall(boolean tailCall)
void
setType(Type type)
String
toString()
protected Expression
walk(ExpWalker walker)
protected void
walkChildren(ExpWalker walker)

Methods inherited from class gnu.expr.Expression

apply, apply0, compile, compile, compile, compileButFirst, compileNotePosition, compileWithPosition, compileWithPosition, eval, eval, getColumnNumber, getFileName, getFlag, getFlags, getLineNumber, getPublicId, getSystemId, getType, inline, isStableSourceLocation, makeWhile, match0, mustCompile, print, print, printLineColumn, setFile, setFlag, setFlag, setLine, setLine, setLine, setLine, setLocation, side_effects, toString, valueIfConstant, walk, walkChildren

Methods inherited from class gnu.mapping.Procedure0

apply0, apply1, apply2, apply3, apply4, applyN, numArgs

Methods inherited from class gnu.mapping.Procedure

apply, apply, apply0, apply1, apply2, apply3, apply4, applyN, check0, check1, check2, check3, check4, checkArgCount, checkN, getSetter, getSourceLocation, match0, match1, match2, match3, match4, matchN, maxArgs, minArgs, numArgs, set0, set1, setN, setSetter, setSourceLocation, toString

Methods inherited from class gnu.mapping.PropertySet

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

Field Details

INLINE_IF_CONSTANT

public static final int INLINE_IF_CONSTANT
Field Value:
2

TAILCALL

public static final int TAILCALL
Field Value:
1

nextCall

public ApplyExp nextCall
The next ApplyExp in ((ReferenceExp)func).binding.firstCall list.

type

protected Type type
Cache for getType().

Constructor Details

ApplyExp

public ApplyExp(Method m,
                Expression[] a)

ApplyExp

public ApplyExp(Expression f,
                Expression[] a)

ApplyExp

public ApplyExp(Procedure p,
                Expression[] a)

Method Details

apply

public void apply(CallContext ctx)
            throws Throwable
Overrides:
apply in interface Expression

compile

public static void compile(ApplyExp exp,
                           Compilation comp,
                           Target target)

compile

public void compile(Compilation comp,
                    Target target)
Overrides:
compile in interface Expression

compileToArray

public static void compileToArray(Expression[] args,
                                  Compilation comp)

getArg

public Expression getArg(int i)

getArgCount

public final int getArgCount()

getArgs

public final Expression[] getArgs()

getFunction

public final Expression getFunction()

getFunctionValue

public final Object getFunctionValue()
If getFunction() is constant, return its value; otherwise null.

getType

public final Type getType()
Overrides:
getType in interface Expression

getTypeRaw

public final Type getTypeRaw()

inlineIfConstant

public final Expression inlineIfConstant(Procedure proc,
                                         ExpWalker walker)

inlineIfConstant

public final Expression inlineIfConstant(Procedure proc,
                                         SourceMessages messages)
Inline this ApplyExp if parameters are constant.
Parameters:
proc - the procedure bound to this.func.
Returns:
the constant result (as a QuoteExp) if inlining was possible; otherwise this ApplyExp. If applying proc throws an exception, print a warning on walker.messages.

isTailCall

public final boolean isTailCall()

mustCompile

protected boolean mustCompile()
Overrides:
mustCompile in interface Expression

print

public void print(OutPort out)
Overrides:
print in interface Expression

setArg

public void setArg(int i,
                   Expression arg)

setArgs

public void setArgs(Expression[] args)

setFunction

public void setFunction(Expression func)

setTailCall

public final void setTailCall(boolean tailCall)

setType

public final void setType(Type type)

toString

public String toString()
Overrides:
toString in interface Expression

walk

protected Expression walk(ExpWalker walker)
Overrides:
walk in interface Expression

walkChildren

protected void walkChildren(ExpWalker walker)
Overrides:
walkChildren in interface Expression

Overview Package Class Use Tree Index Deprecated About