| Package | Description |
|---|---|
| gnu.commonlisp.lang | |
| gnu.ecmascript | |
| gnu.expr |
Supports
Expression,
and various related classes need to compile programming languages. |
| gnu.jemacs.lang |
Contains classes to implement the Emacs Lisp language.
|
| gnu.kawa.functions |
Various core run-time functions and operators.
|
| gnu.kawa.lispexpr |
Support classes for compiling and running Lisp languages.
|
| gnu.kawa.reflect |
Contains classes to use reflection.
|
| gnu.kawa.xml |
Classes for using XML within Kawa.
|
| gnu.kawa.xslt | |
| gnu.mapping |
Supports
Procedure,
and various related classes needed at run-time by dynamically typed
languages (such as Scheme and ECMAScript). |
| gnu.q2.lang |
Support for the experimental Q2 language.
|
| gnu.xquery.lang | |
| gnu.xquery.util | |
| kawa.lang |
Core Kawa classes for Scheme and Lisp compile-time.
|
| kawa.standard |
Primitive Scheme syntax and functions.
|
| Modifier and Type | Field and Description |
|---|---|
static Expression |
Lisp2.nilExpr |
| Modifier and Type | Method and Description |
|---|---|
Expression |
OrdinaryLambda.auxillaryRewrite (java.lang.Object body,
Translator tr) |
Expression |
UnwindProtect.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
prog1.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
defun.rewriteForm (Pair form,
Translator tr) |
Expression |
defvar.rewriteForm (Pair form,
Translator tr) |
Expression |
setq.rewriteForm (Pair form,
Translator tr) |
Expression |
function.rewriteForm (Pair form,
Translator tr) |
| Modifier and Type | Field and Description |
|---|---|
static Expression[] |
Parser.emptyArgs |
static Expression |
Parser.eofExpr |
| Modifier and Type | Method and Description |
|---|---|
Expression |
Parser.buildLoop (Expression init,
Expression test,
Expression incr,
Expression body) |
Expression |
Parser.makeCallExpression (Expression exp,
Expression[] args) |
Expression |
Parser.makeCallExpression (Expression exp,
Expression[] args) |
Expression |
Parser.makeNewExpression (Expression exp,
Expression[] args) |
Expression |
Parser.makeNewExpression (Expression exp,
Expression[] args) |
Expression |
Parser.makePropertyAccessor (Expression exp,
Expression prop) |
| Modifier and Type | Class and Description |
|---|---|
class |
AccessExp
A common super-type for ReferenceExpa and SetExp.
|
class |
ApplyExp
This class is used to represent "combination" or "application".
|
class |
BeginExp
This class represents a sequence of Expressions.
|
class |
BlockExp
Class used to implement a block that can be exited.
|
class |
CaseExp
This class represents a case expression
|
class |
CatchClause
A "catch" clause of a "try-catch" form.
|
class |
ClassExp |
class |
ErrorExp
Class used to mark an erroneous expression
|
class |
ExitExp
Expression to exit a lexically surrounding block.
|
class |
FluidLetExp
Class used to implement "fluid-let" for Scheme and "let" for Emacs.
|
class |
IfExp
This class represents a conditional.
|
class |
LambdaExp
Class used to implement Scheme lambda expressions.
|
class |
LangExp
A language-specific expression.
|
class |
LetExp
Class used to implement "let" syntax (and variants) for Scheme.
|
class |
ModuleExp
Class used to implement Scheme top-level environments.
|
class |
ObjectExp
An expression that evaluated to an instance of an anonymous class.
|
class |
QuoteExp
An Expression that evaluates to a constant value.
|
class |
ReferenceExp
This class represents a variable reference (an identifier).
|
class |
ScopeExp
Abstract class for expressions that add local variable bindings.
|
class |
SetExp
An Expression to set (bind) or define a new value to a named variable.
|
class |
SynchronizedExp |
class |
ThisExp
Evaluates to the "this" implicit variable.
|
class |
TryExp
This class represents try/catch/finally.
|
| Modifier and Type | Field and Description |
|---|---|
Expression |
Declaration.ValueSource.base |
Expression |
LambdaExp.body |
static Expression[] |
Expression.noExpressions |
Expression |
LambdaExp.returnContinuation
The unique call site that calls this lambda.
|
Expression[] |
ClassExp.supers
List of base classes and implemented interfaces.
|
Expression |
Declaration.typeExp |
| Modifier and Type | Field and Description |
|---|---|
java.util.Stack<Expression> |
Compilation.exprStack
A help vector for building expressions.
|
java.util.HashMap<Expression,Expression> |
FindTailCalls.savedReturnContinuations |
java.util.HashMap<Expression,Expression> |
FindTailCalls.savedReturnContinuations |
| Modifier and Type | Method and Description |
|---|---|
Expression |
Compilation.applyFunction (Expression func)
A language-dependent "apply" function for generic application.
|
static Expression |
BeginExp.canonicalize (Expression exp)
Simplifies BeginExp.
|
static Expression |
BeginExp.canonicalize (Expression[] exps) |
Expression |
InlineCalls.checkType (Expression exp,
Type required) |
Expression |
TypeValue.convertValue (Expression value)
Return converted expression or null.
|
protected static Expression |
Expression.deepCopy (Expression exp) |
static Expression[] |
Expression.deepCopy (Expression[] exps,
IdentityHashTable mapper) |
static Expression |
Expression.deepCopy (Expression exp,
IdentityHashTable mapper)
Make a deep copy of this expression, if possible.
|
protected Expression |
ReferenceExp.deepCopy (IdentityHashTable mapper) |
protected Expression |
Expression.deepCopy (IdentityHashTable mapper) |
Expression |
QuoteExp.deepCopy (IdentityHashTable mapper) |
Expression |
ApplyExp.deepCopy (IdentityHashTable mapper) |
protected Expression |
ExitExp.deepCopy (IdentityHashTable mapper) |
protected Expression |
ExpExpVisitor.defaultValue (Expression r,
D d) |
protected Expression |
PushApply.defaultValue (Expression r,
java.lang.Void ignored) |
Expression |
Declaration.getAnnotation (int i)
Indexed get of one of the annotations associated with this declaration.
|
Expression |
ApplyExp.getArg (int i) |
Expression[] |
ApplyExp.getArgs () |
Expression |
CatchClause.getBody () |
Expression |
LetExp.getBody () |
Expression |
LambdaExp.getBodyFirstExpression ()
Get the first expression/statement in the body.
|
Expression |
IfExp.getElseClause () |
Expression[] |
BeginExp.getExpressions () |
Expression |
TryExp.getFinallyClause () |
Expression |
ApplyExp.getFunction () |
Expression |
Declaration.getInitValue ()
Get the "initial value" expression.
|
Expression |
SetExp.getNewValue ()
Get the Expression for calculating the new ("right-hand") value.
|
Expression |
IfExp.getTest () |
Expression |
IfExp.getThenClause () |
Expression |
Declaration.getTypeExp () |
Expression |
Declaration.getTypeExpRaw () |
Expression |
Declaration.getValue ()
The value of this
Declaration, if known. |
Expression |
Declaration.getValueRaw () |
static Expression |
InlineCalls.inlineCall (LambdaExp lexp,
ApplyExp aexp,
boolean makeCopy)
Attempt to inline a function call.
|
static Expression |
InlineCalls.inlineCalls (Expression exp,
Compilation comp) |
Expression |
ApplyExp.inlineIfConstant (Procedure proc,
InlineCalls visitor) |
Expression |
ApplyExp.inlineIfConstant (Procedure proc,
SourceMessages messages)
Inline this ApplyExp if parameters are constant.
|
Expression |
Compilation.loopDone (Expression body)
Finish building a loop and return resulting expression.
|
Expression |
Compilation.loopRepeat (LambdaExp loop,
Expression... exps)
Recurse to next iteration of specified loop.
|
Expression |
Compilation.loopRepeatDone (Expression... exps)
Combine loopRepeat and loopDone.
|
static Expression |
Expression.makeWhile (java.lang.Object cond,
java.lang.Object body,
Compilation parser)
Helper method to create a `while' statement.
|
Expression |
InlineCalls.maybeInline (ApplyExp exp,
Type required,
Procedure proc) |
Expression |
Expression.maybeSetLine (Expression old) |
protected Expression |
ANormalize.normalizeName (Expression exp,
gnu.expr.ANormalize.Context context)
Performs the bind operation, introducing a new let expression
to capture the result of non-trivial expressions, which is bound
to a new let variable.
|
protected Expression |
ANormalize.normalizeNames (Expression[] exps,
int index,
gnu.expr.ANormalize.MultiContext context)
Deals with the normalization of multiple expressions.
|
protected Expression |
ANormalize.normalizeTerm (Expression exp)
Starts the normalization of expression exp.
|
Expression |
ExpVisitor.noteError (java.lang.String message) |
Expression |
Compilation.parse (java.lang.Object input)
This may not make sense, except for Lisp-like languages.
|
Expression |
CaseExp.selectCase (java.lang.Object keyValue)
Search for a clause containing the specified key.
|
Expression |
Expression.setLine (Expression old) |
protected Expression |
PushApply.update (Expression exp,
Expression r) |
protected Expression |
ExpExpVisitor.update (Expression exp,
Expression r) |
protected Expression |
ExpVisitor.update (Expression exp,
R r) |
Expression |
ReferenceExp.validateApply (ApplyExp exp,
InlineCalls visitor,
Type required,
Declaration decl) |
Expression |
Expression.validateApply (ApplyExp exp,
InlineCalls visitor,
Type required,
Declaration decl)
Apply inlining transformations on a given ApplyExp.
|
Expression |
LambdaExp.validateApply (ApplyExp exp,
InlineCalls visitor,
Type required,
Declaration decl) |
Expression |
QuoteExp.validateApply (ApplyExp exp,
InlineCalls visitor,
Type required,
Declaration decl) |
Expression |
InlineCalls.visit (Expression exp,
Type required) |
Expression |
ExpVisitor.visitAndUpdate (Expression exp,
D d) |
protected Expression |
ANormalize.visitApplyExp (ApplyExp exp,
gnu.expr.ANormalize.Context context) |
protected Expression |
FindTailCalls.visitApplyExp (ApplyExp exp,
Expression returnContinuation) |
protected Expression |
ChainLambdas.visitApplyExp (ApplyExp exp,
ScopeExp scope) |
protected Expression |
InlineCalls.visitApplyExp (ApplyExp exp,
Type required) |
protected Expression |
PushApply.visitApplyExp (ApplyExp exp,
java.lang.Void ignored) |
protected Expression |
FindCapturedVars.visitApplyExp (ApplyExp exp,
java.lang.Void ignored) |
Expression |
InlineCalls.visitApplyOnly (ApplyExp exp,
Type required)
Visit an ApplyExp assuming function and arguments have been visited.
|
protected Expression |
ANormalize.visitBeginExp (BeginExp exp,
gnu.expr.ANormalize.Context context) |
protected Expression |
FindTailCalls.visitBeginExp (BeginExp exp,
Expression returnContinuation) |
protected Expression |
ChainLambdas.visitBeginExp (BeginExp exp,
ScopeExp scope) |
protected Expression |
InlineCalls.visitBeginExp (BeginExp exp,
Type required) |
protected Expression |
ANormalize.visitBlockExp (BlockExp exp,
gnu.expr.ANormalize.Context context) |
protected Expression |
FindTailCalls.visitBlockExp (BlockExp exp,
Expression returnContinuation) |
protected Expression |
PushApply.visitBlockExp (BlockExp exp,
java.lang.Void ignored) |
protected Expression |
ANormalize.visitCaseExp (CaseExp exp,
gnu.expr.ANormalize.Context context) |
protected Expression |
FindTailCalls.visitCaseExp (CaseExp exp,
Expression returnContinuation) |
protected Expression |
ChainLambdas.visitCaseExp (CaseExp exp,
ScopeExp scope) |
protected Expression |
InlineCalls.visitCaseExp (CaseExp exp,
Type required) |
protected Expression |
PushApply.visitCaseExp (CaseExp exp,
java.lang.Void ignored) |
protected Expression |
FindCapturedVars.visitCaseExp (CaseExp exp,
java.lang.Void ignored) |
protected Expression |
ANormalize.visitClassExp (ClassExp exp,
gnu.expr.ANormalize.Context context) |
protected Expression |
FindTailCalls.visitClassExp (ClassExp exp,
Expression returnContinuation) |
protected Expression |
ChainLambdas.visitClassExp (ClassExp exp,
ScopeExp scope) |
protected Expression |
InlineCalls.visitClassExp (ClassExp exp,
Type required) |
protected Expression |
PushApply.visitClassExp (ClassExp exp,
java.lang.Void ignored) |
protected Expression |
FindCapturedVars.visitClassExp (ClassExp exp,
java.lang.Void ignored) |
protected Expression |
ANormalize.visitExitExp (ExitExp exp,
gnu.expr.ANormalize.Context context) |
protected Expression |
FindTailCalls.visitExitExp (ExitExp exp,
Expression returnContinuation) |
protected Expression |
PushApply.visitExitExp (ExitExp exp,
java.lang.Void ignored) |
protected Expression |
FindTailCalls.visitExpression (Expression exp,
Expression returnContinuation) |
Expression[] |
FindTailCalls.visitExps (Expression[] exps) |
Expression[] |
ExpVisitor.visitExps (Expression[] exps,
D d) |
Expression[] |
ExpVisitor.visitExps (Expression[] exps,
int n,
D d)
Call visit on the Expressions in an array.
|
protected Expression |
FindTailCalls.visitFluidLetExp (FluidLetExp exp,
Expression returnContinuation) |
protected Expression |
InlineCalls.visitFluidLetExp (FluidLetExp exp,
Type required) |
protected Expression |
FindCapturedVars.visitFluidLetExp (FluidLetExp exp,
java.lang.Void ignored) |
protected Expression |
ANormalize.visitIfExp (IfExp exp,
gnu.expr.ANormalize.Context context) |
protected Expression |
FindTailCalls.visitIfExp (IfExp exp,
Expression returnContinuation) |
protected Expression |
ChainLambdas.visitIfExp (IfExp exp,
ScopeExp scope) |
protected Expression |
InlineCalls.visitIfExp (IfExp exp,
Type required) |
protected Expression |
PushApply.visitIfExp (IfExp exp,
java.lang.Void ignored) |
protected Expression |
ANormalize.visitLambdaExp (LambdaExp exp,
gnu.expr.ANormalize.Context context) |
protected Expression |
FindTailCalls.visitLambdaExp (LambdaExp exp,
Expression returnContinuation) |
protected Expression |
ChainLambdas.visitLambdaExp (LambdaExp exp,
ScopeExp scope) |
protected Expression |
InlineCalls.visitLambdaExp (LambdaExp exp,
Type required) |
protected Expression |
PushApply.visitLambdaExp (LambdaExp exp,
java.lang.Void ignored) |
protected Expression |
FindCapturedVars.visitLambdaExp (LambdaExp exp,
java.lang.Void ignored) |
protected Expression |
ANormalize.visitLetExp (LetExp exp,
gnu.expr.ANormalize.Context context)
Besides handling "let" and "fluidlet" normalization, it flattens the
nesting of let expressions.
|
protected Expression |
FindTailCalls.visitLetExp (LetExp exp,
Expression returnContinuation) |
protected Expression |
ChainLambdas.visitLetExp (LetExp exp,
ScopeExp scope) |
protected Expression |
InlineCalls.visitLetExp (LetExp exp,
Type required) |
protected Expression |
FindCapturedVars.visitLetExp (LetExp exp,
java.lang.Void ignored) |
protected Expression |
ResolveNames.visitLetExp (LetExp exp,
java.lang.Void ignored) |
protected Expression |
ANormalize.visitModuleExp (ModuleExp exp,
gnu.expr.ANormalize.Context context) |
protected Expression |
FindTailCalls.visitModuleExp (ModuleExp exp,
Expression returnContinuation) |
protected Expression |
InlineCalls.visitModuleExp (ModuleExp exp,
Type required) |
protected Expression |
FindCapturedVars.visitModuleExp (ModuleExp exp,
java.lang.Void ignored) |
protected Expression |
ANormalize.visitQuoteExp (QuoteExp exp,
gnu.expr.ANormalize.Context context) |
protected Expression |
InlineCalls.visitQuoteExp (QuoteExp exp,
Type required) |
protected Expression |
ANormalize.visitReferenceExp (ReferenceExp exp,
gnu.expr.ANormalize.Context context) |
protected Expression |
InlineCalls.visitReferenceExp (ReferenceExp exp,
Type required) |
protected Expression |
PushApply.visitReferenceExp (ReferenceExp exp,
java.lang.Void ignored) |
protected Expression |
FindCapturedVars.visitReferenceExp (ReferenceExp exp,
java.lang.Void ignored) |
protected Expression |
ResolveNames.visitReferenceExp (ReferenceExp exp,
java.lang.Void ignored) |
protected Expression |
ChainLambdas.visitScopeExp (ScopeExp exp,
ScopeExp scope) |
protected Expression |
InlineCalls.visitScopeExp (ScopeExp exp,
Type required) |
protected Expression |
ResolveNames.visitScopeExp (ScopeExp exp,
java.lang.Void ignored) |
protected Expression |
ANormalize.visitSetExp (SetExp exp,
gnu.expr.ANormalize.Context context) |
protected Expression |
FindTailCalls.visitSetExp (SetExp exp,
Expression returnContinuation) |
protected Expression |
ChainLambdas.visitSetExp (SetExp sexp,
ScopeExp scope) |
protected Expression |
InlineCalls.visitSetExp (SetExp exp,
Type required) |
protected Expression |
FindCapturedVars.visitSetExp (SetExp exp,
java.lang.Void ignored) |
protected Expression |
ResolveNames.visitSetExp (SetExp exp,
java.lang.Void ignored) |
protected Expression |
ANormalize.visitSynchronizedExp (SynchronizedExp exp,
gnu.expr.ANormalize.Context context) |
protected Expression |
FindTailCalls.visitSynchronizedExp (SynchronizedExp exp,
Expression returnContinuation) |
protected Expression |
FindCapturedVars.visitThisExp (ThisExp exp,
java.lang.Void ignored) |
protected Expression |
ANormalize.visitTryExp (TryExp exp,
gnu.expr.ANormalize.Context context) |
protected Expression |
FindTailCalls.visitTryExp (TryExp exp,
Expression returnContinuation) |
protected Expression |
InlineCalls.visitTryExp (TryExp exp,
Type required) |
protected Expression |
PushApply.visitTryExp (TryExp exp,
java.lang.Void ignored) |
| Modifier and Type | Method and Description |
|---|---|
void |
BeginExp.add (Expression exp) |
void |
Declaration.addAnnotation (Expression exp)
Add an annotation to the set of our annotations.
|
void |
TryExp.addCatchClause (Declaration decl,
Expression body) |
static void |
ANormalize.aNormalize (Expression exp,
Compilation comp) |
Expression |
Compilation.applyFunction (Expression func)
A language-dependent "apply" function for generic application.
|
protected java.lang.Object |
CaseExp.calculateDatumValue (Expression datum)
Given the expression generated from a datum
returns the value of the datum as an Object.
|
static Expression |
BeginExp.canonicalize (Expression exp)
Simplifies BeginExp.
|
static Expression |
BeginExp.canonicalize (Expression[] exps) |
static int |
SetExp.canUseInc (Expression rhs,
Declaration target) |
static void |
ChainLambdas.chainLambdas (Expression exp,
Compilation comp) |
ClassType |
LambdaExp.checkForInitCall (Expression bodyFirst)
Check if argument is a this(...) or super(...) initializtion.
|
static java.lang.Integer |
InlineCalls.checkIntValue (Expression exp) |
static java.lang.Long |
InlineCalls.checkLongValue (Expression exp) |
Expression |
InlineCalls.checkType (Expression exp,
Type required) |
static void |
IfExp.compile (Expression test,
Expression then_clause,
Expression else_clause,
Compilation comp,
Target target) |
static void |
ConsumerTarget.compileUsingConsumer (Expression exp,
Compilation comp,
Target target)
Compile an expression using a temporary Consumer, if needed.
|
static void |
ConsumerTarget.compileUsingConsumer (Expression exp,
Compilation comp,
Target target,
Method makeMethod,
Method resultMethod) |
static void |
ConsumerTarget.compileUsingValues (Expression exp,
Compilation comp,
Target target) |
void |
Expression.compileWithPosition (Compilation comp,
Target target,
Expression position)
Same as 2-argument compileWithPosition,
but use some other Expression's line number.
|
boolean |
ConsumerTarget.compileWrite (Expression exp,
Compilation comp) |
Expression |
TypeValue.convertValue (Expression value)
Return converted expression or null.
|
static void |
BindingInitializer.create (Declaration decl,
Expression value,
Compilation comp)
Create a BindingInitializer and link it into the correct
initializer chain.
|
protected static Expression |
Expression.deepCopy (Expression exp) |
static Expression[] |
Expression.deepCopy (Expression[] exps,
IdentityHashTable mapper) |
static Expression |
Expression.deepCopy (Expression exp,
IdentityHashTable mapper)
Make a deep copy of this expression, if possible.
|
protected Expression |
ExpExpVisitor.defaultValue (Expression r,
D d) |
protected R |
ExpVisitor.defaultValue (Expression r,
D d) |
protected Expression |
PushApply.defaultValue (Expression r,
java.lang.Void ignored) |
protected boolean |
InlineCalls.deferableInit (Expression init) |
static void |
FindCapturedVars.findCapturedVars (Expression exp,
Compilation comp) |
static void |
FindTailCalls.findTailCalls (Expression exp,
Compilation comp) |
QuoteExp |
InlineCalls.fixIntValue (Expression exp) |
QuoteExp |
InlineCalls.fixLongValue (Expression exp) |
static PrimProcedure |
PrimProcedure.getMethodFor (java.lang.Class procClass,
java.lang.String name,
Declaration decl,
Expression[] args,
Language language)
Get PrimProcedure for matching method in given class.
|
static PrimProcedure |
PrimProcedure.getMethodFor (ClassType procClass,
java.lang.String name,
Declaration decl,
Expression[] args,
Language language) |
static PrimProcedure |
PrimProcedure.getMethodFor (Procedure pproc,
Declaration decl,
Expression[] args,
Language language)
Search for a matching static method in a procedure's class.
|
static PrimProcedure |
PrimProcedure.getMethodFor (Procedure pproc,
Expression[] args) |
Type |
PrimProcedure.getReturnType (Expression[] args) |
Type |
Language.getTypeFor (Expression exp) |
Type |
Language.getTypeFor (Expression exp,
boolean lenient)
Interpreting exp as a type specifier, get the actual type.
|
static Expression |
InlineCalls.inlineCalls (Expression exp,
Compilation comp) |
boolean |
Compilation.inlineOk (Expression proc) |
boolean |
Compilation.isApplyFunction (Expression exp) |
protected static boolean |
ANormalize.isAtomic (Expression exp)
Determines if an Expression is atomic, that is if it needs to
be normalized or not.
|
boolean |
Compilation.isSimpleApplyFunction (Expression exp)
A simple apply function maps actual arguments to formals directly.
|
LetExp |
Compilation.letDone (Expression body) |
void |
Compilation.letVariable (Declaration decl,
Expression init) |
Declaration |
Compilation.letVariable (java.lang.Object name,
Type type,
Expression init) |
Declaration |
ResolveNames.lookup (Expression exp,
java.lang.Object symbol,
boolean function) |
void |
Compilation.loopBody (Expression body)
Deprecated.
|
void |
Compilation.loopCond (Expression cond)
Deprecated.
|
Expression |
Compilation.loopDone (Expression body)
Finish building a loop and return resulting expression.
|
Expression |
Compilation.loopRepeat (LambdaExp loop,
Expression... exps)
Recurse to next iteration of specified loop.
|
Expression |
Compilation.loopRepeatDone (Expression... exps)
Combine loopRepeat and loopDone.
|
Declaration |
Compilation.loopVariable (java.lang.Object name,
Type type,
Expression init)
Add a new loop variable, with initializer.
|
static ApplyExp |
Compilation.makeCoercion (Expression value,
Expression type)
Convenience method to make an Expression that coerces a value.
|
static ApplyExp |
Compilation.makeCoercion (Expression value,
Type type)
Convenience method to make an Expression that coerces a value.
|
static SetExp |
SetExp.makeDefinition (Declaration decl,
Expression val) |
static SetExp |
SetExp.makeDefinition (java.lang.Object symbol,
Expression val) |
void |
Declaration.makeField (ClassType frameType,
Compilation comp,
Expression value) |
void |
Declaration.makeField (Compilation comp,
Expression value) |
Expression |
Expression.maybeSetLine (Expression old) |
protected void |
ChainLambdas.maybeWarnUnreachable (Expression exp) |
protected Expression |
ANormalize.normalizeName (Expression exp,
gnu.expr.ANormalize.Context context)
Performs the bind operation, introducing a new let expression
to capture the result of non-trivial expressions, which is bound
to a new let variable.
|
protected Expression |
ANormalize.normalizeNames (Expression[] exps,
int index,
gnu.expr.ANormalize.MultiContext context)
Deals with the normalization of multiple expressions.
|
protected Expression |
ANormalize.normalizeTerm (Expression exp)
Starts the normalization of expression exp.
|
void |
Declaration.noteValue (Expression value) |
static void |
PushApply.pushApply (Expression exp,
Compilation comp) |
void |
Declaration.setAnnotation (int i,
Expression ann)
Replace one of the annotations associated with this declaration.
|
void |
ApplyExp.setArg (int i,
Expression arg) |
void |
ApplyExp.setArgs (Expression[] args) |
void |
CatchClause.setBody (Expression body) |
void |
LetExp.setBody (Expression body) |
void |
BlockExp.setBody (Expression body) |
void |
BlockExp.setBody (Expression body,
Expression exitBody) |
void |
LambdaExp.setCoercedReturnValue (Expression type,
Language language)
Modify LambdaExp so result is coerced to given type.
|
void |
LambdaExp.setExceptions (Expression[] exceptions) |
void |
BeginExp.setExpressions (Expression[] exps) |
ApplyExp |
ApplyExp.setFuncArgs (Expression func,
Expression[] args) |
ApplyExp |
ApplyExp.setFuncArgs (Expression func,
Expression[] args) |
ApplyExp |
ApplyExp.setFuncArgs (Procedure proc,
Expression[] args) |
void |
ApplyExp.setFunction (Expression func) |
void |
Declaration.setInitValue (Expression init) |
void |
LambdaExp.setInlineOnly (Expression returnContinuation,
LambdaExp caller)
Note this function is inlined in a give context.
|
void |
Compilation.setLine (Expression position) |
Expression |
Expression.setLine (Expression old) |
void |
SetExp.setNewValue (Expression newValue) |
void |
Declaration.setType (Expression typeExp,
Type type) |
void |
Declaration.setTypeExp (Expression typeExp) |
void |
Declaration.setValue (Expression value)
Set the value associated with this Declaration.
|
static Type |
InlineCalls.typeForCalledFunction (Expression exp)
Return a required type for procedure application context.
|
protected Expression |
PushApply.update (Expression exp,
Expression r) |
protected Expression |
ExpExpVisitor.update (Expression exp,
Expression r) |
protected Expression |
ExpVisitor.update (Expression exp,
R r) |
R |
ExpVisitor.visit (Expression exp,
D d)
Call the visit method of argument Expression.
|
Expression |
InlineCalls.visit (Expression exp,
Type required) |
static <R,D> R |
ExpVisitor.visit (ExpVisitor<R,D> visitor,
Expression exp,
D d) |
Expression |
ExpVisitor.visitAndUpdate (Expression exp,
D d) |
protected Expression |
FindTailCalls.visitApplyExp (ApplyExp exp,
Expression returnContinuation) |
protected Expression |
FindTailCalls.visitBeginExp (BeginExp exp,
Expression returnContinuation) |
protected Expression |
FindTailCalls.visitBlockExp (BlockExp exp,
Expression returnContinuation) |
protected Expression |
FindTailCalls.visitCaseExp (CaseExp exp,
Expression returnContinuation) |
protected Expression |
FindTailCalls.visitClassExp (ClassExp exp,
Expression returnContinuation) |
void |
FindTailCalls.visitDefaultArgs (LambdaExp exp,
Expression d) |
protected Expression |
FindTailCalls.visitExitExp (ExitExp exp,
Expression returnContinuation) |
protected R |
ExpVisitor.visitExpression (Expression exp,
D d) |
protected Expression |
FindTailCalls.visitExpression (Expression exp,
Expression returnContinuation) |
Expression[] |
FindTailCalls.visitExps (Expression[] exps) |
Expression[] |
ExpVisitor.visitExps (Expression[] exps,
D d) |
Expression[] |
ExpVisitor.visitExps (Expression[] exps,
int n,
D d)
Call visit on the Expressions in an array.
|
protected Expression |
FindTailCalls.visitFluidLetExp (FluidLetExp exp,
Expression returnContinuation) |
protected Expression |
FindTailCalls.visitIfExp (IfExp exp,
Expression returnContinuation) |
protected Expression |
FindTailCalls.visitLambdaExp (LambdaExp exp,
Expression returnContinuation) |
protected Expression |
FindTailCalls.visitLetExp (LetExp exp,
Expression returnContinuation) |
protected Expression |
FindTailCalls.visitModuleExp (ModuleExp exp,
Expression returnContinuation) |
protected Expression |
FindTailCalls.visitSetExp (SetExp exp,
Expression returnContinuation) |
protected Expression |
FindTailCalls.visitSynchronizedExp (SynchronizedExp exp,
Expression returnContinuation) |
protected Expression |
FindTailCalls.visitTryExp (TryExp exp,
Expression returnContinuation) |
| Constructor and Description |
|---|
ApplyExp (Expression f,
Expression... a) |
ApplyExp (Expression f,
Expression... a) |
ApplyExp (Method m,
Expression... a) |
ApplyExp (Procedure p,
Expression... a) |
BeginExp (Expression[] ex) |
BeginExp (Expression exp0,
Expression exp1) |
BindingInitializer (Declaration decl,
Expression value) |
CaseClause (Expression exp)
Constructor for an else clause of the form (else expression+)
|
CaseClause (Expression[] datums,
Expression exp)
Constructor for a clause of the form ((datum*) expression+)
|
CaseClause (Expression[] datums,
Expression exp)
Constructor for a clause of the form ((datum*) expression+)
|
CaseExp (Expression key,
CaseExp.CaseClause[] clauses)
Constructor for a case expression with no else clause.
|
CaseExp (Expression key,
CaseExp.CaseClause[] clauses,
CaseExp.CaseClause elseClause)
Constructor for a case expression with an else clause.
|
CatchClause (Declaration decl,
Expression body) |
CatchClause (java.lang.Object name,
Type type,
Expression body) |
ExitExp (Expression result,
BlockExp block) |
IfExp (Expression i,
Expression t,
Expression e) |
LambdaExp (Expression body) |
SetExp (Declaration decl,
Expression val) |
SetExp (java.lang.Object symbol,
Expression val) |
SynchronizedExp (Expression object,
Expression body) |
TryExp (Expression try_clause,
Expression finally_clause) |
| Modifier and Type | Method and Description |
|---|---|
Expression |
SaveExcursion.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
While.rewriteForm (Pair form,
Translator tr) |
Expression |
defgroup.rewriteForm (Pair form,
Translator tr) |
Expression |
defcustom.rewriteForm (Pair form,
Translator tr) |
| Modifier and Type | Class and Description |
|---|---|
class |
CurryExp
A specialized ApplyExp class for curried function calls.
|
| Modifier and Type | Method and Description |
|---|---|
static Expression |
MakeSplice.argIfSplice (Expression exp) |
static Expression |
GetModuleClass.getModuleClassExp () |
static Expression |
GetModuleClass.getModuleClassURI (Compilation comp)
Return an expression that evaluates to a module-relative URL.
|
static Expression |
CompileNamedPart.makeExp (Expression clas,
Expression member) |
static Expression |
CompileNamedPart.makeExp (Expression clas,
java.lang.String member) |
static Expression |
CompileNamedPart.makeExp (Type type,
java.lang.String member) |
static Expression |
CompileNamedPart.makeGetNamedInstancePartExp (Expression member) |
static Expression |
CompileArith.pairwise (Procedure proc,
Expression rproc,
Expression[] args,
InlineCalls visitor)
Convert (PROC A B C) to (PROC (PROC A B) C) etc.
|
Expression |
CurryExp.validateApply (ApplyExp exp,
InlineCalls visitor,
Type required,
Declaration decl) |
static Expression |
CompileArith.validateApplyAdd (AddOp proc,
ApplyExp exp,
InlineCalls visitor) |
static Expression |
CompileMisc.validateApplyAppendValues (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileArith.validateApplyArithOp (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileMisc.validateApplyCallCC (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileMisc.validateApplyConstantFunction0 (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileMisc.validateApplyConvert (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileArith.validateApplyDiv (DivideOp proc,
ApplyExp exp,
InlineCalls visitor) |
static Expression |
CompileMisc.validateApplyFormat (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc)
Validate-apply handling for "format".
|
static Expression |
CompileMisc.validateApplyMakeDynamic (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileMisc.validateApplyMakeProcedure (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileMisc.validateApplyMakePromise (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileArith.validateApplyNot (ApplyExp exp,
int kind,
InlineCalls visitor) |
static Expression |
CompileProcess.validateApplyRunProcess (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc)
Type-check and optimize RunProcess (i.e.
|
static Expression |
CompileMisc.validateApplySimpleBoolean (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompilationHelpers.validateApplyToArgs (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure applyToArgs) |
static Expression |
CompileMisc.validateApplyValuesMap (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileMisc.validateApplyWithExceptionHandler (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileValues.validateApplyWithValues (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileValues.validateCallWithValues (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileNamedPart.validateGetNamedInstancePart (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileNamedPart.validateGetNamedPart (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompilationHelpers.validateIsEqv (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileNamedPart.validateNamedPart (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileNamedPart.validateNamedPartSetter (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileNamedPart.validateSetNamedInstancePart (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileNamedPart.validateSetNamedPart (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompilationHelpers.validateSetter (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
CompileArith.appropriateIntConstant (Expression[] args,
int iarg,
InlineCalls visitor) |
static boolean |
CompileArith.appropriateLongConstant (Expression[] args,
int iarg,
InlineCalls visitor) |
static Expression |
MakeSplice.argIfSplice (Expression exp) |
static java.lang.String |
CompileNamedPart.combineName (Expression part1,
Expression part2) |
static void |
MakeList.compile (Expression[] args,
int offset,
Compilation comp) |
static void |
ValuesMap.compileInlined (LambdaExp lambda,
Expression vals,
int startCounter,
Method matchesMethod,
Compilation comp,
Target target) |
boolean |
CompileArith.compileIntNum (Expression arg1,
Expression arg2,
int kind1,
int kind2,
Compilation comp) |
int |
CompileArith.getReturnKind (Expression[] args)
This actually returns the "promoted argument type".
|
Type |
CompileArith.getReturnType (Expression[] args) |
Type |
MakeList.getReturnType (Expression[] args) |
Type |
GetModuleClass.getReturnType (Expression[] args) |
Type |
ValuesMap.getReturnType (Expression[] args) |
Type |
CallCC.getReturnType (Expression[] args) |
static Expression |
CompileNamedPart.makeExp (Expression clas,
Expression member) |
static Expression |
CompileNamedPart.makeExp (Expression clas,
java.lang.String member) |
static Expression |
CompileNamedPart.makeGetNamedInstancePartExp (Expression member) |
static boolean |
CompilationHelpers.maybeLazy (Expression exp) |
static Expression |
CompileArith.pairwise (Procedure proc,
Expression rproc,
Expression[] args,
InlineCalls visitor)
Convert (PROC A B C) to (PROC (PROC A B) C) etc.
|
static Expression |
CompileArith.pairwise (Procedure proc,
Expression rproc,
Expression[] args,
InlineCalls visitor)
Convert (PROC A B C) to (PROC (PROC A B) C) etc.
|
| Constructor and Description |
|---|
CurryExp (Procedure currier,
Procedure actual,
Expression... initial) |
| Modifier and Type | Method and Description |
|---|---|
Expression |
LangObjType.SimpleVectorBuilder.buildAddChild (Declaration target,
Expression child) |
Expression |
LangObjType.convertValue (Expression value) |
Expression |
LangPrimType.convertValue (Expression value) |
Expression |
GenArrayType.convertValue (Expression value) |
Expression |
BracketApply.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
ResolveNamespace.rewriteForm (Pair form,
Translator tr) |
Expression |
DefineNamespace.rewriteForm (Pair form,
Translator tr) |
Expression |
MakeXmlElement.rewriteForm (Pair form,
Translator tr) |
| Modifier and Type | Method and Description |
|---|---|
Expression |
LangObjType.SimpleVectorBuilder.buildAddChild (Declaration target,
Expression child) |
Expression |
LangObjType.convertValue (Expression value) |
Expression |
LangPrimType.convertValue (Expression value) |
Expression |
GenArrayType.convertValue (Expression value) |
| Modifier and Type | Method and Description |
|---|---|
Expression |
CompileBuildObject.build () |
Expression |
CompileBuildObject.buildAddChild (Declaration target,
Expression child) |
Expression |
CompileBuildObject.buildSetter (Declaration target,
Member member,
Expression value) |
Expression |
OccurrenceType.convertValue (Expression value) |
Expression |
MappedArrayType.convertValue (Expression value) |
Expression |
CompileBuildObject.getArg (int i) |
static Expression |
CompileReflect.makeSetterCall (Expression receiver,
java.lang.Object slot,
Expression newValue) |
static Expression |
MakeAnnotation.validate (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileReflect.validateApplyInstanceOf (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileInvoke.validateApplyInvoke (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileReflect.validateApplySlotGet (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileReflect.validateApplySlotSet (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileReflect.validateApplyTypeSwitch (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileArrays.validateArrayGet (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileArrays.validateArrayLength (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileArrays.validateArrayNew (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileArrays.validateArraySet (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileInvoke.validateNamedInvoke (ApplyExp exp,
InlineCalls visitor,
ObjectType type,
java.lang.String name,
PrimProcedure[] methods,
Invoke iproc,
Type required) |
static Expression |
CompileReflect.validateThrow (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
| Modifier and Type | Method and Description |
|---|---|
Expression |
CompileBuildObject.buildAddChild (Declaration target,
Expression child) |
Expression |
CompileBuildObject.buildSetter (Declaration target,
Member member,
Expression value) |
Expression |
OccurrenceType.convertValue (Expression value) |
Expression |
MappedArrayType.convertValue (Expression value) |
static void |
CompileArrays.createArray (Type elementType,
Compilation comp,
Expression[] args,
int start,
int end)
Optimized code generation of array creation with splicing support.
|
Type |
TypeSwitch.getReturnType (Expression[] args) |
Type |
InstanceOf.getReturnType (Expression[] args) |
Type |
StaticSet.getReturnType (Expression[] args) |
Type |
StaticGet.getReturnType (Expression[] args) |
static PrimProcedure |
Invoke.getStaticMethod (ClassType type,
java.lang.String name,
Expression[] args)
Deprecated.
|
static PrimProcedure |
CompileInvoke.getStaticMethod (ClassType type,
java.lang.String name,
Expression[] args) |
void |
CompileBuildObject.insertArgument (int index,
Expression arg)
Insert an expression into the argument list.
|
static ApplyExp |
MakeAnnotation.makeAnnotationMaker (Expression classRef) |
static ApplyExp |
SlotGet.makeGetField (Expression value,
java.lang.String fieldName)
Convenience method to make an Expression that gets the value of a field.
|
static ApplyExp |
Invoke.makeInvokeStatic (ClassType type,
java.lang.String name,
Expression... args)
Return an ApplyExp that will call a method with given arguments.
|
static Expression |
CompileReflect.makeSetterCall (Expression receiver,
java.lang.Object slot,
Expression newValue) |
void |
CompileBuildObject.setArg (int i,
Expression arg) |
| Modifier and Type | Method and Description |
|---|---|
Expression |
NodeType.convertValue (Expression value) |
Expression |
XDataType.convertValue (Expression value) |
static Expression |
CompileXmlFunctions.validateApplyMakeUnescapedData (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileXmlFunctions.validateApplyTreeScanner (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
| Modifier and Type | Method and Description |
|---|---|
static void |
NodeConstructor.compileChild (Expression arg,
boolean stringIsText,
Compilation comp,
ConsumerTarget target) |
static void |
NodeConstructor.compileUsingNodeTree (Expression exp,
Compilation comp,
Target target)
Compile an expression using a fresh NodeTree.
|
Expression |
NodeType.convertValue (Expression value) |
Expression |
XDataType.convertValue (Expression value) |
Type |
CoerceNodes.getReturnType (Expression[] args) |
Type |
MakeElement.getReturnType (Expression[] args) |
Type |
MakeAttribute.getReturnType (Expression[] args) |
Type |
NodeConstructor.getReturnType (Expression[] args) |
Type |
SortNodes.getReturnType (Expression[] args) |
Type |
UnionNodes.getReturnType (Expression[] args) |
| Modifier and Type | Method and Description |
|---|---|
Expression |
XslTranslator.getExpression () |
| Modifier and Type | Method and Description |
|---|---|
Type |
Procedure.getReturnType (Expression[] args)
Semi-deprecated - instead should be set at Inline time.
|
| Modifier and Type | Method and Description |
|---|---|
static Expression |
Q2Translator.convertApply (ApplyExp exp) |
Expression |
Q2Translator.makeBody (Expression[] exps) |
Expression |
Q2Translator.rewrite_pair (Pair p,
boolean function) |
Expression |
Q2Translator.rewrite (java.lang.Object exp,
boolean function) |
Expression |
DefineOp.rewriteForm (Pair form,
Translator tr) |
| Modifier and Type | Method and Description |
|---|---|
static boolean |
Q2Translator.applyNullary (Expression exp)
If the argument has zero arguments, should we still apply it?
|
Expression |
Q2Translator.makeBody (Expression[] exps) |
| Modifier and Type | Field and Description |
|---|---|
static Expression |
XQParser.makeText |
| Modifier and Type | Method and Description |
|---|---|
static Expression |
XQParser.booleanValue (Expression exp)
Coerce the value of an expresison to a boolean value.
|
Expression |
XQResolveNames.checkPragma (Symbol name,
Expression contents) |
Expression |
XQParser.declError (java.lang.String message) |
static Expression |
XQParser.makeFunctionExp (java.lang.String className,
java.lang.String name) |
static Expression |
XQParser.makeFunctionExp (java.lang.String className,
java.lang.String fieldName,
java.lang.String name) |
Expression |
XQParser.parse (Compilation comp)
Parse an expression.
|
Expression |
XQParser.parseDataType () |
Expression |
XQParser.parseFLWRExpression (boolean isFor) |
Expression |
XQParser.parseFLWRInner (boolean isFor)
Parse a let- or a for-expression.
|
Expression |
XQParser.parseFunctionDefinition (int declLine,
int declColumn) |
Expression |
XQParser.parseIfExpr () |
Expression |
XQParser.parseItemType () |
Expression |
XQParser.parseMaybeKindTest () |
Expression |
XQParser.parseNamedNodeType (boolean attribute) |
Expression |
XQParser.parseOptionalTypeDeclaration ()
Parse: ["as" SequenceType]
|
Expression |
XQParser.parseQuantifiedExpr (boolean isEvery)
Parse a some- or an every-expression.
|
Expression |
XQParser.syntaxError (java.lang.String message) |
Expression |
XQParser.syntaxError (java.lang.String message,
java.lang.String code)
Handle syntax errors (at rewrite time).
|
protected Expression |
XQResolveNames.visitApplyExp (ApplyExp exp,
java.lang.Void ignored) |
protected Expression |
XQResolveNames.visitReferenceExp (ReferenceExp exp,
ApplyExp call) |
protected Expression |
XQResolveNames.visitReferenceExp (ReferenceExp exp,
java.lang.Void ignored) |
protected Expression |
XQResolveNames.visitSetExp (SetExp exp,
java.lang.Void ignored) |
| Modifier and Type | Method and Description |
|---|---|
static Expression |
XQParser.booleanValue (Expression exp)
Coerce the value of an expresison to a boolean value.
|
Expression |
XQResolveNames.checkPragma (Symbol name,
Expression contents) |
void |
XQParser.maybeSetLine (Expression exp,
int line,
int column) |
void |
XQParser.maybeSetLine (Expression exp,
int startLine,
int startColumn,
int endLine,
int endColumn) |
| Modifier and Type | Method and Description |
|---|---|
static Expression |
CompileMisc.validateApplyCastableAs (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileMisc.validateApplyCastAs (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileMisc.validateApplyOrderedMap (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileMisc.validateApplyRelativeStep (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc) |
static Expression |
CompileMisc.validateApplyValuesFilter (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc)
Inliner for the
ValuesFilter procedure. |
static Expression |
CompileMisc.validateArithOp (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc)
Inliner for the ArithOp procedure.
|
static Expression |
CompileMisc.validateBooleanValue (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc)
Inliner for the BooleanValue procedure.
|
static Expression |
CompileMisc.validateCompare (ApplyExp exp,
InlineCalls visitor,
Type required,
Procedure proc)
Inliner for the Compare procedure.
|
| Modifier and Type | Method and Description |
|---|---|
static TreeScanner |
RelativeStep.extractStep (Expression exp) |
Type |
OrderedMap.getReturnType (Expression[] args) |
Type |
RelativeStep.getReturnType (Expression[] args) |
Type |
ValuesFilter.getReturnType (Expression[] args) |
| Modifier and Type | Class and Description |
|---|---|
class |
PatternScope
Bindings from a
syntax-case/syntax-rules pattern. |
class |
TemplateScope
A scope created when expanding a SyntaxTemplate.
|
| Modifier and Type | Field and Description |
|---|---|
Expression |
Lambda.defaultDefault |
| Modifier and Type | Method and Description |
|---|---|
Expression |
Lambda.auxillaryRewrite (java.lang.Object body,
Translator tr) |
Expression |
Translator.checkDefaultBinding (Symbol symbol,
Translator tr)
If a symbol is lexically unbound, look for a default binding.
|
protected Expression |
Quote.coerceExpression (java.lang.Object val,
Translator tr) |
Expression |
BindDecls.compareLiteral (Declaration param,
QuoteExp literal) |
protected Expression |
Quote.leaf (java.lang.Object val,
Translator tr) |
Expression |
Translator.makeBody (Expression[] exps)
Combine a 'body' consisting of a list of expression.
|
protected Expression |
Translator.makeBody (Pair head,
ScopeExp scope)
Combine a list of zero or more expression forms into a "body".
|
Expression |
Translator.parse (java.lang.Object input) |
Expression |
Translator.rewrite_body (java.lang.Object exp)
Re-write a Scheme 'body' in S-expression format into internal form.
|
Expression |
Translator.rewrite_car_for_lookup (Pair pair)
Similar to rewrite_car.
|
Expression |
Translator.rewrite_car (Pair pair,
boolean function) |
Expression |
Translator.rewrite_car (Pair pair,
ScopeExp templateScope) |
Expression |
Translator.rewrite_car (Pair pair,
SyntaxForm syntax) |
Expression |
Translator.rewrite_lookup (Expression part1,
Expression part2,
boolean function) |
Expression |
Translator.rewrite_pair (Pair p,
boolean function) |
Expression |
Translator.rewrite_with_position (java.lang.Object exp,
boolean function,
PairWithPosition pair) |
static Expression |
SyntaxForms.rewrite (java.lang.Object x) |
Expression |
Translator.rewrite (java.lang.Object exp)
Re-write a Scheme expression in S-expression format into internal form.
|
Expression |
Translator.rewrite (java.lang.Object exp,
boolean function)
Re-write a Scheme expression in S-expression format into internal form.
|
Expression |
Translator.rewrite (java.lang.Object exp,
char mode)
Re-write a Scheme expression in S-expression format into internal form.
|
Expression |
Lambda.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
Quote.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
Syntax.rewrite (java.lang.Object obj,
Translator tr)
Re-write an expression that is an "application" of this Syntax object.
|
static Expression |
SyntaxForms.rewriteBody (java.lang.Object x) |
static Expression |
SyntaxForms.rewriteCar (java.lang.Object x) |
Expression |
AutoloadSyntax.rewriteForm (Pair form,
Translator tr) |
Expression |
Macro.rewriteForm (Pair form,
Translator tr) |
Expression |
Syntax.rewriteForm (Pair form,
Translator tr) |
| Modifier and Type | Method and Description |
|---|---|
void |
Translator.ScanContext.addSeqExpression (Expression scanExp) |
Type |
GetFieldProc.getReturnType (Expression[] args) |
Type |
SetFieldProc.getReturnType (Expression[] args) |
Expression |
Translator.makeBody (Expression[] exps)
Combine a 'body' consisting of a list of expression.
|
Symbol |
Translator.namespaceResolve (Expression context,
Expression member) |
Symbol |
Translator.namespaceResolve (Namespace ns,
Expression member) |
Namespace |
Translator.namespaceResolvePrefix (Expression context) |
java.lang.Object[] |
BindDecls.parsePatternCar (Pair patList,
Expression init,
TemplateScope templateScope,
int scanNesting,
ScopeExp scope,
Translator comp) |
Expression |
Translator.rewrite_lookup (Expression part1,
Expression part2,
boolean function) |
static void |
BindDecls.setInitializer (Declaration decl,
Expression init,
ScopeExp scope,
Translator comp) |
static void |
Translator.setLine (Expression exp,
java.lang.Object location) |
void |
Translator.setLineOf (Expression exp)
Set the line position of the argument to the current position.
|
| Modifier and Type | Method and Description |
|---|---|
Expression |
SchemeCompilation.applyFunction (Expression func) |
Expression |
SchemeCompilation.checkDefaultBinding (Symbol symbol,
Translator tr)
If a symbol is lexically unbound, look for a default binding.
|
static Expression |
syntax_error.error (java.lang.Object form,
java.lang.Object[] message) |
protected Expression |
syntax.leaf (java.lang.Object val,
Translator tr) |
static Expression |
location.rewrite (Expression arg,
Translator tr) |
Expression |
fluid_let.rewrite (java.lang.Object bindings,
java.lang.Object body,
Translator tr) |
Expression |
syntax_error.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
Include.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
constant_fold.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
let.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
prim_method.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
Scan.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
begin.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
location.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
fluid_let.rewrite (java.lang.Object obj,
Translator tr) |
Expression |
let_syntax.rewrite (java.lang.Object obj,
Translator tr) |
static Expression |
try_catch.rewrite (Pair try_part_pair,
java.lang.Object clauses) |
Expression |
object.rewriteForm (Pair form,
Translator tr) |
Expression |
define.rewriteForm (Pair form,
Translator tr) |
Expression |
define_alias.rewriteForm (Pair form,
Translator tr) |
Expression |
module_extends.rewriteForm (Pair form,
Translator tr) |
Expression |
syntax.rewriteForm (Pair form,
Translator tr) |
Expression |
IfFeature.rewriteForm (Pair form,
Translator tr) |
Expression |
require.rewriteForm (Pair form,
Translator tr) |
Expression |
define_syntax.rewriteForm (Pair form,
Translator tr) |
Expression |
module_compile_options.rewriteForm (Pair form,
Translator tr) |
Expression |
module_implements.rewriteForm (Pair form,
Translator tr) |
Expression |
thisRef.rewriteForm (Pair form,
Translator tr) |
Expression |
syntax_rules.rewriteForm (Pair form,
Translator tr) |
Expression |
define_autoload.rewriteForm (Pair form,
Translator tr) |
Expression |
define_class.rewriteForm (Pair form,
Translator tr) |
Expression |
set_b.rewriteForm (Pair form,
Translator tr) |
Expression |
syntax_case.rewriteForm (Pair form,
Translator tr) |
Expression |
export.rewriteForm (Pair form,
Translator tr) |
Expression |
define_unit.rewriteForm (Pair form,
Translator tr) |
Expression |
module_static.rewriteForm (Pair form,
Translator tr) |
Expression |
with_compile_options.rewriteForm (Pair form,
Translator tr) |
Expression |
MatchDef.rewriteForm (Pair form,
Translator tr) |
Expression |
ImportFromLibrary.rewriteForm (Pair form,
Translator tr) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Map<Symbol,Expression> |
require.DeclSetMapper.map (java.util.Map<Symbol,Expression> decls,
Compilation comp) |
| Modifier and Type | Method and Description |
|---|---|
Expression |
SchemeCompilation.applyFunction (Expression func) |
static Type |
Scheme.exp2Type (Expression exp)
Convert expression to a Type.
|
static Type |
Scheme.getTypeValue (Expression exp)
If exp is a "constant" Type, return that type, otherwise return null.
|
boolean |
SchemeCompilation.isApplyFunction (Expression exp) |
boolean |
SchemeCompilation.isSimpleApplyFunction (Expression exp) |
static Expression |
location.rewrite (Expression arg,
Translator tr) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Map<Symbol,Expression> |
require.DeclSetMapper.map (java.util.Map<Symbol,Expression> decls,
Compilation comp) |
| Constructor and Description |
|---|
fluid_let (boolean star,
boolean warnIfUndefined,
Expression defaultInit) |