kawa.standard

Class SchemeCompilation

java.lang.Object

gnu.expr.Compilation

kawa.lang.Translator

kawa.standard.SchemeCompilation

All Implemented Interfaces:

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

Direct Known Subclasses:

Q2Translator

public class SchemeCompilation
extends Translator

Field Summary

Fields

Modifier and Type	Field and Description
static Declaration	applyFieldDecl
static Lambda	lambda
static repl	repl

Fields inherited from class kawa.lang.Translator

curMethodLambda, currentMacroDefinition, firstForm, formStack, getNamedPartDecl, matchArray, patternScope, pendingForm, templateScopeDecl, xmlElementNamespaces

Fields inherited from class gnu.expr.Compilation

apply0args, apply0method, apply1args, apply1method, apply2args, apply2method, apply3method, apply4method, applyCpsMethod, applymethods, applyNargs, applyNmethod, argsCallContextField, BODY_PARSED, CALL_WITH_CONSUMER, CALL_WITH_CONTINUATIONS, CALL_WITH_RETURN, CALL_WITH_TAILCALLS, CALL_WITH_UNSPECIFIED, CLASS_WRITTEN, classPrefix, classPrefixDefault, COMPILE_SETUP, COMPILED, curClass, curLambda, current_scope, currentOptions, debugPrintExpr, debugPrintFinalExpr, defaultCallConvention, defaultClassFileVersion, emitSourceDebugExtAttr, ERROR_SEEN, explicit, exprStack, falseConstant, fullTailCallsVariable, generateMain, generateMainDefault, getCallContextInstanceMethod, getCurrentEnvironmentMethod, getLocation1EnvironmentMethod, getLocation2EnvironmentMethod, getLocationMethod, getProcedureBindingMethod, getSymbolProcedureMethod, getSymbolValueMethod, immediate, inlineOk, int1Args, javaStringType, language, lexer, lexical, mainClass, mainLambda, messages, method, minfo, MODULE_NONSTATIC, MODULE_STATIC, MODULE_STATIC_DEFAULT, MODULE_STATIC_RUN, moduleClass, moduleStatic, mustCompile, noArgsField, objArrayType, options, pcCallContextField, pendingImports, procCallContextField, PROLOG_PARSED, PROLOG_PARSING, RESOLVED, scmBooleanType, scmKeywordType, scmListType, scmSequenceType, string1Arg, sym1Arg, thisDecl, trueConstant, typeApplet, typeCallContext, typeClass, typeClassType, typeConstVector, typeConsumer, typeEnvironment, typeFieldLocation, typeLanguage, typeList, typeLocation, typeMethodProc, typeModuleBody, typeModuleMethod, typeModuleMethodWithContext, typeObject, typeObjectType, typePair, typeProcedure, typeProcedure0, typeProcedure1, typeProcedure2, typeProcedure3, typeProcedure4, typeProcedureArray, typeProcedureN, typeRunnable, typeRunnableModule, typeServlet, typeStaticFieldLocation, typeString, typeSymbol, typeType, typeValues, WALKED, warnAsError, warnInvokeUnknownMethod, warnUndefinedVariable, warnUnknownMember, warnUnreachable, warnUnused

Constructor Summary

Constructors

Constructor and Description
SchemeCompilation(Language language, SourceMessages messages, NameLookup lexical)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	appendBodyValues() Should the values of body/block be appended as multiple values? Otherwise, just return the result of the final expression.
Expression	checkDefaultBinding(Symbol symbol, Translator tr) If a symbol is lexically unbound, look for a default binding.
boolean	isApplyFunction(Expression exp)
boolean	isSimpleApplyFunction(Expression exp) A simple apply function maps actual arguments to formals directly.
ApplyExp	makeApply(Expression func, Expression[] args)

Methods inherited from class kawa.lang.Translator

define, errorWithPosition, exp2Type, exp2Type, finishModule, getCurrentSyntax, getGlobalEnvironment, listLength, lookup, lookupGlobal, lookupGlobal, makeBody, makeBody, makePair, makeRenamedAlias, makeRenamedAlias, matches, matches, matches, matchQuoted, namespaceResolve, namespaceResolve, namespaceResolve, namespaceResolvePrefix, noteAccess, parse, popForms, popPositionOf, popRenamedAlias, processAccesses, pushPositionOf, pushRenamedAlias, resolveModule, rewrite_body, rewrite_car, rewrite_car, rewrite_pair, rewrite_with_position, rewrite, rewrite, rewrite, rewriteBody, rewriteInBody, safeCar, safeCdr, scanBody, scanForm, selfEvaluatingSymbol, setLine, setLine, setLineOf, stripSyntax, wrapSyntax

Methods inherited from class gnu.expr.Compilation

addClass, addMainClass, allocLocalField, cleanupAfterCompilation, compileConstant, compileConstant, compileConstantToField, compileToArchive, currentCallConvention, currentLambda, currentModule, currentScope, demangle2, demangleName, demangleName, emitCoerceToBoolean, emitPushBoolean, error, error, error, error, findForImmediateLiterals, findNamedClass, freeLocalField, generateApplyMethodsWithContext, generateApplyMethodsWithoutContext, generateClassName, generateConstructor, generateConstructor, generateMatchMethods, generatingApplet, generatingServlet, getBooleanOption, getBooleanOption, getCode, getColumnNumber, getConstructor, getConstructor, getCurrent, getFileName, getForNameHelper, getLanguage, getLineNumber, getMessages, getModule, getModuleType, getPublicId, getState, getSystemId, inlineOk, inlineOk, isPedantic, isStableSourceLocation, isStatic, letDone, letEnter, letStart, letVariable, letVariable, loadCallContext, loadClassRef, loopBody, loopCond, loopEnter, loopRepeat, loopRepeat, loopRepeat, loopStart, loopVariable, makeCoercion, makeCoercion, makeQuoteExp, makeRunnable, mangleName, mangleName, mangleNameIfNeeded, mangleURI, mustCompileHere, outputClass, pop, pop, process, push, push, pushNewModule, pushNewModule, pushPendingImport, pushScope, registerForImmediateLiterals, resolve, restoreCurrent, setColumn, setCurrent, setCurrentScope, setEvalName, setFile, setInteractiveName, setLine, setLine, setLine, setLine, setLocation, setMessages, setModule, setModuleName, setPopCurrentScope, setPushCurrentScope, setSaveCurrent, setSharedModuleDefs, setState, setupLiterals, sharedModuleDefs, syntaxError, toString, usedClass, usingCallContext, usingCPStyle, usingTailCalls, walkModule, warnAsError, warnInvokeUnknownMethod, warnUndefinedVariable, warnUnknownMember, warnUnreachable, warnUnused

Methods inherited from class java.lang.Object

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

Field Detail

applyFieldDecl

public static final Declaration applyFieldDecl

repl

public static final repl repl

lambda

public static final Lambda lambda

Constructor Detail

SchemeCompilation

public SchemeCompilation(Language language,
                 SourceMessages messages,
                 NameLookup lexical)

Method Detail

makeApply

public ApplyExp makeApply(Expression func,
                 Expression[] args)

Overrides:

makeApply in class Translator

isApplyFunction

public boolean isApplyFunction(Expression exp)

Overrides:

isApplyFunction in class Compilation

isSimpleApplyFunction

public boolean isSimpleApplyFunction(Expression exp)

Description copied from class: Compilation

A simple apply function maps actual arguments to formals directly. E.g. no distribution of multiple values.

Overrides:

isSimpleApplyFunction in class Compilation

appendBodyValues

public boolean appendBodyValues()

Should the values of body/block be appended as multiple values? Otherwise, just return the result of the final expression.

Overrides:

appendBodyValues in class Translator

checkDefaultBinding

public Expression checkDefaultBinding(Symbol symbol,
                             Translator tr)

If a symbol is lexically unbound, look for a default binding. If the symbol is the name of an existing Java type/class, return that Class. Handles both with and without (semi-deprecated) angle-brackets: <java.lang.Integer> and java.lang.Integer. Also handles arrays, such as java.lang.String[].

Overrides:

checkDefaultBinding in class Translator

Returns:

null if no binding, otherwise an Expression.