Compilation

java.lang.Object
- gnu.expr.Compilation

All Implemented Interfaces:

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

Direct Known Subclasses:

Translator
```
public class Compilation
extends java.lang.Object
implements SourceLocator
```
State for a single expression or module. For each top-level thing (expression or file) we compile or evaluate we create a new Compilation.

Field Summary

Fields
Modifier and Type	Field and Description
`static Type[]`	`apply0args`
`static Method`	`apply0method`
`static Type[]`	`apply1args`
`static Method`	`apply1method`
`static Type[]`	`apply2args`
`static Method`	`apply2method`
`static Method`	`apply3method`
`static Method`	`apply4method`
`static Method`	`applyCpsMethod`
`static Method[]`	`applymethods`
`static Type[]`	`applyNargs`
`static Method`	`applyNmethod`
`static Field`	`argsCallContextField`
`static int`	`BODY_PARSED` State code indicating the entire module has been parsed.
`static int`	`CALL_WITH_CONSUMER` Function results are written to the current CallContext's Consumer.
`static int`	`CALL_WITH_CONTINUATIONS` Support for full continuations.
`static int`	`CALL_WITH_RETURN` Plain calling convention, using regular Java parameters and returns.
`static int`	`CALL_WITH_TAILCALLS` Like CALL_WITH_CONSUMER, but handle full on-stack-growing tail-calls.
`static int`	`CALL_WITH_UNSPECIFIED`
`static int`	`CLASS_WRITTEN` State code indicating that bytecode has been written to its target.
`java.lang.String`	`classPrefix` If non-null: a prefix for generateClassName to prepend to names.
`static java.lang.String`	`classPrefixDefault`
`static int`	`COMPILE_SETUP` State code that various compile-only data has been determined.
`static int`	`COMPILED` State code indicating the bytecode has been generated.
`ClassType`	`curClass`
`LambdaExp`	`curLambda`
`protected ScopeExp`	`current_scope`
`Options`	`currentOptions`
`static boolean`	`debugPrintANF`
`static boolean`	`debugPrintExpr` If true, print out expressions after parsing and before optimizations.
`static boolean`	`debugPrintFinalExpr` If true, print out final expressions after optimizations etc.
`static int`	`defaultCallConvention` The default calling convention.
`static int`	`defaultClassFileVersion`
`static boolean`	`emitSourceDebugExtAttr`
`static boolean`	`enableANF`
`static int`	`ERROR_SEEN`
`boolean`	`explicit` Compilation was explicitly requested, rather than being a dependency.
`java.util.Stack<Expression>`	`exprStack` A help vector for building expressions.
`static Field`	`falseConstant`
`static Options.OptionInfo`	`fullTailCallsVariable`
`static Method`	`getCallContextInstanceMethod`
`static Method`	`getCurrentEnvironmentMethod`
`boolean`	`immediate` True if the compiled result will be immediately loaded.
`static boolean`	`inlineOk`
`static Type[]`	`int1Args`
`static ClassType`	`javaStringType`
`protected Language`	`language`
`Lexer`	`lexer`
`NameLookup`	`lexical` Current lexical scope - map name to Declaration.
`ClassType`	`mainClass`
`ModuleExp`	`mainLambda`
`static Options.OptionInfo`	`mainMethodVariable`
`protected SourceMessages`	`messages`
`Method`	`method` The current method.
`static int`	`MODULE_NONSTATIC`
`static int`	`MODULE_STATIC`
`static int`	`MODULE_STATIC_DEFAULT`
`static int`	`MODULE_STATIC_RUN`
`ClassType`	`moduleClass` Generated class that extends ModuleBody.
`static int`	`moduleStatic` Default for whether a module is static.
`boolean`	`mustCompile` True if the form is too complex to evaluate,and we must compile it.
`static Field`	`noArgsField`
`static ArrayType`	`objArrayType`
`static Options`	`options`
`static Field`	`pcCallContextField`
`java.util.Stack<java.lang.Object>`	`pendingImports` Stack of quads of (ModuleInfo, ScopeExp, position, formSize).
`static int`	`PRE_WALKED` State code when initial tree-walking (PushApply) are done.
`static Field`	`procCallContextField`
`static int`	`PROLOG_PARSED` We have determined the module name and class, but not finished parsing.
`static int`	`PROLOG_PARSING` State code for initial pre-parse looking for module name.
`static int`	`RESOLVED` State code for lexical bindings having been resolved.
`static ClassType`	`scmBooleanType`
`static ClassType`	`scmKeywordType`
`static ClassType`	`scmListType`
`static ClassType`	`scmSequenceType`
`static Type[]`	`string1Arg`
`java.util.Map<java.lang.String,ModuleInfo>`	`subModuleMap`
`static Type[]`	`sym1Arg`
`Variable`	`thisDecl`
`static Field`	`trueConstant`
`static ClassType`	`typeApplet`
`static ClassType`	`typeCallContext`
`static ClassType`	`typeCharSequence`
`static ClassType`	`typeClass`
`static ClassType`	`typeClassType`
`static ClassType`	`typeConstVector`
`static ClassType`	`typeConsumer`
`static ClassType`	`typeEnvironment`
`static ClassType`	`typeFieldLocation`
`static ClassType`	`typeLanguage`
`static ClassType`	`typeList`
`static ClassType`	`typeLocation`
`static ClassType`	`typeMethodProc`
`static ClassType`	`typeModuleBody`
`static ClassType`	`typeModuleMethod`
`static ClassType`	`typeModuleMethodWithContext`
`static ClassType`	`typeObject`
`static ClassType`	`typeObjectType`
`static ClassType`	`typePair`
`static ClassType`	`typeProcedure`
`static ClassType`	`typeProcedure0`
`static ClassType`	`typeProcedure1`
`static ClassType`	`typeProcedure2`
`static ClassType`	`typeProcedure3`
`static ClassType`	`typeProcedure4`
`static ClassType[]`	`typeProcedureArray`
`static ClassType`	`typeProcedureN`
`static ClassType`	`typeRunnable`
`static ClassType`	`typeRunnableModule`
`static ClassType`	`typeServlet`
`static ClassType`	`typeStaticFieldLocation`
`static ClassType`	`typeString`
`static ClassType`	`typeSymbol`
`static ClassType`	`typeType`
`static ClassType`	`typeValues`
`static int`	`WALKED` State code when various inlining and optimization passes are done.
`static Options.OptionInfo`	`warnAsError`
`static Options.OptionInfo`	`warnInvokeUnknownMethod`
`static Options.OptionInfo`	`warnUndefinedVariable`
`static Options.OptionInfo`	`warnUnknownMember`
`static Options.OptionInfo`	`warnUnreachable`
`static Options.OptionInfo`	`warnUnused`
`static Options.OptionInfo`	`warnVoidUsed`
`static boolean`	`writeImplicitClasses`

Constructor Summary

Constructors
Constructor and Description

Compilation(Language language, SourceMessages messages, NameLookup lexical)

Constructors
Constructor and Description
`Compilation(Language language, SourceMessages messages, NameLookup lexical)`

Method Summary

Methods
Modifier and Type	Method and Description
`void`	`addClass(ClassType new_class)`
`void`	`addMainClass(ModuleExp module)`
`Field`	`allocLocalField(Type type, java.lang.String name)`
`Expression`	`applyFunction(Expression func)` A language-dependent "apply" function for generic application.
`Type`	`asBooleanValue(ConditionalTarget target, Type stackType)` Hook for language-specific handling in ConditionalTarget.
`void`	`cleanupAfterCompilation()`
`void`	`compileConstant(java.lang.Object value)` Emit code to "evaluate" a compile-time constant.
`void`	`compileConstant(java.lang.Object value, Target target)`
`void`	`compileToArchive(ModuleExp mexp, java.lang.String fname)`
`int`	`currentCallConvention()`
`LambdaExp`	`currentLambda()`
`ModuleExp`	`currentModule()` The same as getModule, until we allow nested modules.
`ScopeExp`	`currentScope()`
`static char`	`demangle2(char char1, char char2)` Demangle a three-character mangling starting with '$'.
`static java.lang.String`	`demangleName(java.lang.String name)`
`static java.lang.String`	`demangleName(java.lang.String name, boolean reversible)`
`static java.lang.String`	`demangleSymbolic(java.lang.String name)`
`void`	`emitCoerceToBoolean()` Generate code to test if an object is considered true.
`void`	`emitPushBoolean(boolean value)` Push language-specific boxed true or false value.
`void`	`error(char severity, Declaration decl, java.lang.String msg1, java.lang.String msg2)`
`void`	`error(char severity, java.lang.String message)`
`void`	`error(char severity, java.lang.String message, SourceLocator location)`
`void`	`error(char severity, java.lang.String message, java.lang.String code, SourceLocator decl)`
`static Compilation`	`findForImmediateLiterals(int key)`
`ClassType`	`findNamedClass(java.lang.String name)` Search this Compilation for a ClassType with a given name.
`void`	`freeLocalField(Field field)`
`void`	`generateApplyMethodsWithContext(LambdaExp lexp)` Generate ModuleBody's `apply(CallContext)` method Use the `applyMethods` vector, which contains methods that implement the (public, readable) methods of the current module.
`void`	`generateApplyMethodsWithoutContext(LambdaExp lexp)` Generate ModuleBody's `apply0`...`applyN` methods.
`java.lang.String`	`generateClassName(java.lang.String hint)` Generate an unused class name.
`void`	`generateConstructor(ClassType clas, LambdaExp lexp)`
`void`	`generateConstructor(LambdaExp lexp)`
`boolean`	`generateMainMethod()`
`void`	`generateMatchMethods(LambdaExp lexp)`
`boolean`	`generatingApplet()` True if we should generate an Applet.
`boolean`	`generatingServlet()` True if we should generate a Servlet.
`boolean`	`getBooleanOption(java.lang.String key)` Get a named boolean option.
`boolean`	`getBooleanOption(java.lang.String key, boolean defaultValue)` Get a named boolean option.
`CodeAttr`	`getCode()`
`int`	`getColumnNumber()` Return current column number.
`static Method`	`getConstructor(ClassType clas, LambdaExp lexp)`
`Method`	`getConstructor(LambdaExp lexp)`
`static Compilation`	`getCurrent()`
`java.lang.String`	`getFileName()` Normally same as getSystemId.
`Method`	`getForNameHelper()` Generate a method to find a named Class without initializing it.
`Environment`	`getGlobalEnvironment()`
`Language`	`getLanguage()`
`int`	`getLineNumber()` Return current line number.
`SourceMessages`	`getMessages()`
`ModuleInfo`	`getMinfo()`
`ModuleExp`	`getModule()`
`ClassType`	`getModuleType()`
`java.lang.String`	`getPublicId()`
`gnu.kawa.io.Path`	`getSourceAbsPath()` Get source filename as an absolute Path, or null.
`int`	`getState()` Returns a code indicating how far along we are in the parsing/compilation process.
`java.lang.String`	`getSystemId()`
`boolean`	`inlineOk(Expression proc)`
`boolean`	`inlineOk(Procedure proc)`
`boolean`	`isApplyFunction(Expression exp)`
`boolean`	`isInteractive()`
`boolean`	`isPedantic()`
`boolean`	`isSimpleApplyFunction(Expression exp)` A simple apply function maps actual arguments to formals directly.
`boolean`	`isStableSourceLocation()` True if position is unlikely to change.
`boolean`	`isStatic()`
`LetExp`	`letDone(Expression body)`
`void`	`letEnter()`
`void`	`letStart()`
`void`	`letVariable(Declaration decl, Expression init)`
`Declaration`	`letVariable(java.lang.Object name, Type type, Expression init)`
`void`	`loadCallContext()` Generate code to push the current CallContext on the JVM stack.
`void`	`loadClassRef(ObjectType clas)` Generate code to load a named Class without initializing it.
`Declaration`	`lookup(java.lang.Object name, int namespace)`
`void`	`loopBody(Expression body)` Deprecated.
`void`	`loopCond(Expression cond)` Deprecated.
`Expression`	`loopDone(Expression body)` Finish building a loop and return resulting expression.
`void`	`loopEnter()` Done handling loop variables, and pushes them into the lexical scope.
`Expression`	`loopRepeat(LambdaExp loop, Expression... exps)` Recurse to next iteration of specified loop.
`Expression`	`loopRepeatDone(Expression... exps)` Combine loopRepeat and loopDone.
`LambdaExp`	`loopStart()` Start a new loop.
`Declaration`	`loopVariable(java.lang.Object name, Type type, Expression init)` Add a new loop variable, with initializer.
`static ApplyExp`	`makeCoercion(Expression value, Expression type)` Convenience method to make an Expression that coerces a value.
`static ApplyExp`	`makeCoercion(Expression value, Type type)` Convenience method to make an Expression that coerces a value.
`QuoteExp`	`makeQuoteExp(java.lang.Object value)`
`boolean`	`makeRunnable()`
`static java.lang.String`	`mangleClassName(java.lang.String name)` Mangle a simple class or package name.
`static java.lang.String`	`mangleName(java.lang.String name)`
`static java.lang.String`	`mangleName(java.lang.String name, boolean reversible)` Convert a string to a safe Java identifier.
`static java.lang.String`	`mangleNameIfNeeded(java.lang.String name)`
`static java.lang.String`	`mangleQualifiedName(java.lang.String name)` Mangle a possibly-qualified class name.
`static java.lang.String`	`mangleSymbolic(java.lang.String name, boolean allowDots, boolean force)` Mangle according to John Rose's "Symbolic Freedom in the VM".
`static java.lang.String`	`mangleURI(java.lang.String name)` Map a URI to a package/class name.
`void`	`mustCompileHere()` Note that we have seen a construct that must be compiled, not evaluated.
`void`	`outputClass(java.lang.String directory)`
`Expression`	`parse(java.lang.Object input)` This may not make sense, except for Lisp-like languages.
`void`	`pop()`
`void`	`pop(ScopeExp scope)`
`void`	`process(int wantedState)` Parse/visit/compile this module as needed and requested.
`void`	`push(Declaration decl)`
`void`	`push(ScopeExp scope)`
`ModuleExp`	`pushNewModule(Lexer lexer)`
`void`	`pushPendingImport(ModuleInfo info, ScopeExp defs, Translator.FormStack forms)`
`void`	`pushScope(ScopeExp scope)`
`static int`	`registerForImmediateLiterals(Compilation comp)`
`java.lang.Object`	`resolve(java.lang.Object name, boolean function)`
`static void`	`restoreCurrent(Compilation saved)`
`void`	`setColumn(int column)`
`static void`	`setCurrent(Compilation comp)`
`void`	`setCurrentScope(ScopeExp scope)` Set `currentScope()`.
`void`	`setEvalName()` Generate and set unique module name suitable for a call to eval.
`void`	`setFile(java.lang.String filename)`
`void`	`setInteractiveName()` Generate and set unique module name suitable for an interactive session.
`void`	`setLine(Expression position)`
`void`	`setLine(int line)`
`void`	`setLine(java.lang.Object location)`
`void`	`setLine(java.lang.String filename, int line, int column)`
`void`	`setLocation(SourceLocator position)`
`void`	`setMessages(SourceMessages messages)`
`void`	`setModule(ModuleExp mexp)`
`void`	`setModuleName(java.lang.String name)` Set module name - which sets name of generated class.
`void`	`setPedantic(boolean value)`
`void`	`setPopCurrentScope(ScopeExp old)`
`ScopeExp`	`setPushCurrentScope(ScopeExp scope)`
`static Compilation`	`setSaveCurrent(Compilation comp)`
`void`	`setSharedModuleDefs(boolean shared)`
`void`	`setState(int state)`
`static void`	`setupLiterals(int key)` Call-back from compiled code to initialize literals in immediate mode.
`boolean`	`sharedModuleDefs()`
`ErrorExp`	`syntaxError(java.lang.String message)` Handle syntax errors (at rewrite time).
`java.lang.String`	`toString()`
`void`	`usedClass(Type type)` Called for classes referenced in bytecode.
`boolean`	`usingCallContext()`
`boolean`	`usingCPStyle()`
`boolean`	`usingTailCalls()`
`boolean`	`warnAsError()`
`boolean`	`warnInvokeUnknownMethod()`
`boolean`	`warnUndefinedVariable()`
`boolean`	`warnUnknownMember()`
`boolean`	`warnUnreachable()`
`boolean`	`warnUnused()`
`boolean`	`warnVoidUsed()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

mustCompile
```
public boolean mustCompile
```
True if the form is too complex to evaluate,and we must compile it. This is because it contains a construct we know how to compile, but not evaluate, and it it outside a function (which we always compile). This can be a let scope, or primitive procedure.

curClass
```
public ClassType curClass
```

mainClass
```
public ClassType mainClass
```

moduleClass
```
public ClassType moduleClass
```
Generated class that extends ModuleBody. Normally same as mainClass.

curLambda
```
public LambdaExp curLambda
```

mainLambda
```
public ModuleExp mainLambda
```

thisDecl
```
public Variable thisDecl
```

PROLOG_PARSING
```
public static final int PROLOG_PARSING
```
State code for initial pre-parse looking for module name.

See Also:
Constant Field Values

PROLOG_PARSED
```
public static final int PROLOG_PARSED
```
We have determined the module name and class, but not finished parsing.

See Also:
Constant Field Values

BODY_PARSED
```
public static final int BODY_PARSED
```
State code indicating the entire module has been parsed.

See Also:
Constant Field Values

RESOLVED
```
public static final int RESOLVED
```
State code for lexical bindings having been resolved.

See Also:
Constant Field Values

PRE_WALKED
```
public static final int PRE_WALKED
```
State code when initial tree-walking (PushApply) are done.

See Also:
Constant Field Values

WALKED
```
public static final int WALKED
```
State code when various inlining and optimization passes are done.

See Also:
Constant Field Values

COMPILE_SETUP
```
public static final int COMPILE_SETUP
```
State code that various compile-only data has been determined.

See Also:
Constant Field Values

COMPILED
```
public static final int COMPILED
```
State code indicating the bytecode has been generated.

See Also:
Constant Field Values

CLASS_WRITTEN
```
public static final int CLASS_WRITTEN
```
State code indicating that bytecode has been written to its target.

See Also:
Constant Field Values

ERROR_SEEN
```
public static final int ERROR_SEEN
```
See Also:
Constant Field Values

lexer
```
public Lexer lexer
```

pendingImports
```
public java.util.Stack<java.lang.Object> pendingImports
```
Stack of quads of (ModuleInfo, ScopeExp, position, formSize).

subModuleMap

public java.util.Map<java.lang.String,ModuleInfo> subModuleMap

writeImplicitClasses

public static boolean writeImplicitClasses

debugPrintExpr
```
public static boolean debugPrintExpr
```
If true, print out expressions after parsing and before optimizations.

debugPrintFinalExpr
```
public static boolean debugPrintFinalExpr
```
If true, print out final expressions after optimizations etc.

debugPrintANF
```
public static boolean debugPrintANF
```

enableANF
```
public static boolean enableANF
```

options
```
public static Options options
```

fullTailCallsVariable

public static Options.OptionInfo fullTailCallsVariable

mainMethodVariable

public static Options.OptionInfo mainMethodVariable

warnUnreachable

public static Options.OptionInfo warnUnreachable

warnVoidUsed

public static Options.OptionInfo warnVoidUsed

warnUndefinedVariable

public static Options.OptionInfo warnUndefinedVariable

warnUnknownMember

public static Options.OptionInfo warnUnknownMember

warnInvokeUnknownMethod

public static Options.OptionInfo warnInvokeUnknownMethod

warnUnused

public static Options.OptionInfo warnUnused

warnAsError

public static Options.OptionInfo warnAsError

currentOptions
```
public Options currentOptions
```

defaultClassFileVersion

public static int defaultClassFileVersion

defaultCallConvention
```
public static int defaultCallConvention
```
The default calling convention. One of the following CALL_WITH_xxx values.

CALL_WITH_UNSPECIFIED
```
public static final int CALL_WITH_UNSPECIFIED
```
See Also:
Constant Field Values

CALL_WITH_RETURN
```
public static final int CALL_WITH_RETURN
```
Plain calling convention, using regular Java parameters and returns.

See Also:
Constant Field Values

CALL_WITH_CONSUMER
```
public static final int CALL_WITH_CONSUMER
```
Function results are written to the current CallContext's Consumer.

See Also:
Constant Field Values

CALL_WITH_TAILCALLS
```
public static final int CALL_WITH_TAILCALLS
```
Like CALL_WITH_CONSUMER, but handle full on-stack-growing tail-calls.

See Also:
Constant Field Values

CALL_WITH_CONTINUATIONS
```
public static final int CALL_WITH_CONTINUATIONS
```
Support for full continuations. Not implemented.

See Also:
Constant Field Values

MODULE_NONSTATIC
```
public static final int MODULE_NONSTATIC
```
See Also:
Constant Field Values

MODULE_STATIC_DEFAULT
```
public static final int MODULE_STATIC_DEFAULT
```
See Also:
Constant Field Values

MODULE_STATIC
```
public static final int MODULE_STATIC
```
See Also:
Constant Field Values

MODULE_STATIC_RUN
```
public static final int MODULE_STATIC_RUN
```
See Also:
Constant Field Values

moduleStatic
```
public static int moduleStatic
```
Default for whether a module is static. If moduleStatic > 0, then (module-static #t) is implied by default. If moduleStatic == MODULE_STATIC_RUN, then <clinit> calls run. If moduleStatic < 0, then (module-static #f) is implied by default.

immediate
```
public boolean immediate
```
True if the compiled result will be immediately loaded.

explicit
```
public boolean explicit
```
Compilation was explicitly requested, rather than being a dependency.

method
```
public Method method
```
The current method.

typeObject
```
public static ClassType typeObject
```

scmBooleanType
```
public static ClassType scmBooleanType
```

typeString
```
public static ClassType typeString
```

typeCharSequence

public static ClassType typeCharSequence

javaStringType
```
public static ClassType javaStringType
```

scmKeywordType
```
public static ClassType scmKeywordType
```

scmSequenceType

public static ClassType scmSequenceType

typeList
```
public static final ClassType typeList
```

scmListType
```
public static ClassType scmListType
```

typePair
```
public static ClassType typePair
```

typeConstVector

public static final ClassType typeConstVector

objArrayType

public static final ArrayType objArrayType

typeRunnable
```
public static ClassType typeRunnable
```

typeRunnableModule

public static ClassType typeRunnableModule

typeType
```
public static ClassType typeType
```

typeObjectType
```
public static ClassType typeObjectType
```

typeClass
```
public static ClassType typeClass
```

typeClassType
```
public static ClassType typeClassType
```

typeProcedure
```
public static ClassType typeProcedure
```

typeLanguage
```
public static ClassType typeLanguage
```

typeEnvironment

public static ClassType typeEnvironment

typeLocation
```
public static ClassType typeLocation
```

typeFieldLocation

public static ClassType typeFieldLocation

typeStaticFieldLocation

public static ClassType typeStaticFieldLocation

typeSymbol
```
public static ClassType typeSymbol
```

trueConstant
```
public static final Field trueConstant
```

falseConstant

public static final Field falseConstant

int1Args
```
public static final Type[] int1Args
```

string1Arg
```
public static final Type[] string1Arg
```

sym1Arg
```
public static final Type[] sym1Arg
```

getCurrentEnvironmentMethod

public static Method getCurrentEnvironmentMethod

apply0args
```
public static Type[] apply0args
```

apply1args
```
public static Type[] apply1args
```

apply2args
```
public static Type[] apply2args
```

applyNargs
```
public static Type[] applyNargs
```

apply0method
```
public static Method apply0method
```

apply1method
```
public static Method apply1method
```

apply2method
```
public static Method apply2method
```

apply3method
```
public static Method apply3method
```

apply4method
```
public static Method apply4method
```

applyNmethod
```
public static Method applyNmethod
```

applymethods
```
public static Method[] applymethods
```

typeProcedure0
```
public static ClassType typeProcedure0
```

typeProcedure1
```
public static ClassType typeProcedure1
```

typeProcedure2
```
public static ClassType typeProcedure2
```

typeProcedure3
```
public static ClassType typeProcedure3
```

typeProcedure4
```
public static ClassType typeProcedure4
```

typeProcedureN
```
public static ClassType typeProcedureN
```

typeModuleBody
```
public static ClassType typeModuleBody
```

typeApplet
```
public static ClassType typeApplet
```

typeServlet
```
public static ClassType typeServlet
```

typeCallContext

public static ClassType typeCallContext

typeConsumer

public static final ClassType typeConsumer

getCallContextInstanceMethod

public static Method getCallContextInstanceMethod

typeValues
```
public static ClassType typeValues
```

noArgsField
```
public static Field noArgsField
```

pcCallContextField
```
public static Field pcCallContextField
```

typeMethodProc
```
public static ClassType typeMethodProc
```

typeModuleMethod

public static ClassType typeModuleMethod

typeModuleMethodWithContext

public static ClassType typeModuleMethodWithContext

argsCallContextField

public static Field argsCallContextField

procCallContextField

public static Field procCallContextField

applyCpsMethod
```
public static Method applyCpsMethod
```

typeProcedureArray

public static ClassType[] typeProcedureArray

inlineOk
```
public static boolean inlineOk
```

classPrefixDefault

public static java.lang.String classPrefixDefault

classPrefix
```
public java.lang.String classPrefix
```
If non-null: a prefix for generateClassName to prepend to names.

emitSourceDebugExtAttr

public static boolean emitSourceDebugExtAttr

language
```
protected Language language
```

exprStack
```
public java.util.Stack<Expression> exprStack
```
A help vector for building expressions.

lexical
```
public NameLookup lexical
```
Current lexical scope - map name to Declaration.

current_scope
```
protected ScopeExp current_scope
```

messages
```
protected SourceMessages messages
```

Constructor Detail

Compilation

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

Method Detail
- getState
```
public int getState()
```
  Returns a code indicating how far along we are in the parsing/compilation process.
- setState
```
public void setState(int state)
```
- isPedantic
```
public boolean isPedantic()
```
- setPedantic
```
public void setPedantic(boolean value)
```
- pushPendingImport
```
public void pushPendingImport(ModuleInfo info,
                     ScopeExp defs,
                     Translator.FormStack forms)
```
- generateMainMethod
```
public boolean generateMainMethod()
```
- warnUnreachable
```
public boolean warnUnreachable()
```
- warnUndefinedVariable
```
public boolean warnUndefinedVariable()
```
- warnUnknownMember
```
public boolean warnUnknownMember()
```
- warnInvokeUnknownMethod
```
public boolean warnInvokeUnknownMethod()
```
- warnUnused
```
public boolean warnUnused()
```
- warnVoidUsed
```
public boolean warnVoidUsed()
```
- warnAsError
```
public boolean warnAsError()
```
- getBooleanOption
```
public final boolean getBooleanOption(java.lang.String key,
                       boolean defaultValue)
```
  Get a named boolean option.
- getBooleanOption
```
public final boolean getBooleanOption(java.lang.String key)
```
  Get a named boolean option.
- currentCallConvention
```
public int currentCallConvention()
```
- usingCPStyle
```
public boolean usingCPStyle()
```
- usingTailCalls
```
public boolean usingTailCalls()
```
- usingCallContext
```
public boolean usingCallContext()
```
- getCode
```
public final CodeAttr getCode()
```
- generatingApplet
```
public boolean generatingApplet()
```
  True if we should generate an Applet.
- generatingServlet
```
public boolean generatingServlet()
```
  True if we should generate a Servlet.
- sharedModuleDefs
```
public boolean sharedModuleDefs()
```
- setSharedModuleDefs
```
public void setSharedModuleDefs(boolean shared)
```
- getModuleType
```
public final ClassType getModuleType()
```
- compileConstant
```
public void compileConstant(java.lang.Object value)
```
  Emit code to "evaluate" a compile-time constant. This is the normal external interface.
  
  Parameters:
  value - the value to be compiled
- inlineOk
```
public boolean inlineOk(Expression proc)
```
- inlineOk
```
public boolean inlineOk(Procedure proc)
```
- isApplyFunction
```
public boolean isApplyFunction(Expression exp)
```
- isSimpleApplyFunction
```
public boolean isSimpleApplyFunction(Expression exp)
```
  A simple apply function maps actual arguments to formals directly. E.g. no distribution of multiple values.
- compileConstant
```
public void compileConstant(java.lang.Object value,
                   Target target)
```
- emitPushBoolean
```
public void emitPushBoolean(boolean value)
```
  Push language-specific boxed true or false value.
- emitCoerceToBoolean
```
public void emitCoerceToBoolean()
```
  Generate code to test if an object is considered true. Assume the object has been pushed on the JVM stack. Generate code to push (unboxed) true or false as appropriate.
- asBooleanValue
```
public Type asBooleanValue(ConditionalTarget target,
                  Type stackType)
```
  Hook for language-specific handling in ConditionalTarget.
  
  Parameters:
  stackType - Value to be treated as boolean, already pushed.
  
  Returns:
  null if we've handled the conditional transfer; otherwise type value has been converted to (usually booleanType).
- findNamedClass
```
public ClassType findNamedClass(java.lang.String name)
```
  Search this Compilation for a ClassType with a given name.
  
  Parameters:
  name - the name of the class desired
  
  Returns:
  the matching ClassType, or null if none is found
- mangleURI
```
public static java.lang.String mangleURI(java.lang.String name)
```
  Map a URI to a package/class name. Similar to the JAXB mangling, and that in the Java language spec.
- mangleClassName
```
public static java.lang.String mangleClassName(java.lang.String name)
```
  Mangle a simple class or package name. Does not handle qualified names.
- mangleQualifiedName
```
public static java.lang.String mangleQualifiedName(java.lang.String name)
```
  Mangle a possibly-qualified class name.
- mangleName
```
public static java.lang.String mangleName(java.lang.String name)
```
- mangleSymbolic
```
public static java.lang.String mangleSymbolic(java.lang.String name,
                              boolean allowDots,
                              boolean force)
```
  Mangle according to John Rose's "Symbolic Freedom in the VM". See this article.
  
  Parameters:
  allowDots - True if we're mangling a qualified name with dots, which should not be mangled.
  force - True if should escape '\\' even if that is the only disallowed character. The may cause an already-mangled name to be doubly mangled.
- demangleSymbolic
```
public static java.lang.String demangleSymbolic(java.lang.String name)
```
- mangleName
```
public static java.lang.String mangleName(java.lang.String name,
                          boolean reversible)
```
  Convert a string to a safe Java identifier.
  
  Parameters:
  reversible - if we should use an invertible mapping.
- mangleNameIfNeeded
```
public static java.lang.String mangleNameIfNeeded(java.lang.String name)
```
- demangle2
```
public static char demangle2(char char1,
             char char2)
```
  Demangle a three-character mangling starting with '$'. UNFINISHED!
- demangleName
```
public static java.lang.String demangleName(java.lang.String name)
```
- demangleName
```
public static java.lang.String demangleName(java.lang.String name,
                            boolean reversible)
```
- generateClassName
```
public java.lang.String generateClassName(java.lang.String hint)
```
  Generate an unused class name.
  
  Parameters:
  hint - the requested name (or prefix)
  
  Returns:
  a unique class name.
- outputClass
```
public void outputClass(java.lang.String directory)
                 throws java.io.IOException
```
  Throws:
  
  java.io.IOException
- cleanupAfterCompilation
```
public void cleanupAfterCompilation()
```
- compileToArchive
```
public void compileToArchive(ModuleExp mexp,
                    java.lang.String fname)
                      throws java.io.IOException
```
  Throws:
  
  java.io.IOException
- addClass
```
public void addClass(ClassType new_class)
```
- makeRunnable
```
public boolean makeRunnable()
```
- addMainClass
```
public void addMainClass(ModuleExp module)
```
- getConstructor
```
public final Method getConstructor(LambdaExp lexp)
```
- getConstructor
```
public static final Method getConstructor(ClassType clas,
                    LambdaExp lexp)
```
- generateConstructor
```
public final void generateConstructor(LambdaExp lexp)
```
- generateConstructor
```
public final void generateConstructor(ClassType clas,
                       LambdaExp lexp)
```
- generateMatchMethods
```
public void generateMatchMethods(LambdaExp lexp)
```
- generateApplyMethodsWithContext
```
public void generateApplyMethodsWithContext(LambdaExp lexp)
```
  Generate ModuleBody's apply(CallContext) method Use the applyMethods vector, which contains methods that implement the (public, readable) methods of the current module.
- generateApplyMethodsWithoutContext
```
public void generateApplyMethodsWithoutContext(LambdaExp lexp)
```
  Generate ModuleBody's apply0...applyN methods. Use the applyMethods vector, which contains methods that implement the (public, readable) methods of the current module.
- process
```
public void process(int wantedState)
```
  Parse/visit/compile this module as needed and requested. This method does not process any dependent modules (expect indirectly, such as may be done by a require form).
  
  Parameters:
  wantedState - the desired value of getState().
- allocLocalField
```
public Field allocLocalField(Type type,
                    java.lang.String name)
```
- loadCallContext
```
public final void loadCallContext()
```
  Generate code to push the current CallContext on the JVM stack.
- freeLocalField
```
public void freeLocalField(Field field)
```
- parse
```
public Expression parse(java.lang.Object input)
```
  This may not make sense, except for Lisp-like languages. For those, 'input' an s-expression from the reader.
- getLanguage
```
public Language getLanguage()
```
- currentLambda
```
public LambdaExp currentLambda()
```
- getModule
```
public final ModuleExp getModule()
```
- setModule
```
public void setModule(ModuleExp mexp)
```
- isStatic
```
public boolean isStatic()
```
- isInteractive
```
public boolean isInteractive()
```
- currentModule
```
public ModuleExp currentModule()
```
  The same as getModule, until we allow nested modules.
- mustCompileHere
```
public void mustCompileHere()
```
  Note that we have seen a construct that must be compiled, not evaluated. If we are not inside a lambda (which is always compiled), but only inside the outer-most ModuleExp, note that it must be compiled.
- currentScope
```
public ScopeExp currentScope()
```
- setCurrentScope
```
public void setCurrentScope(ScopeExp scope)
```
  Set currentScope(). Also update the nesting object.
- setPushCurrentScope
```
public ScopeExp setPushCurrentScope(ScopeExp scope)
```
- setPopCurrentScope
```
public void setPopCurrentScope(ScopeExp old)
```
- pushNewModule
```
public ModuleExp pushNewModule(Lexer lexer)
```
- push
```
public void push(ScopeExp scope)
```
- pushScope
```
public final void pushScope(ScopeExp scope)
```
- pop
```
public void pop(ScopeExp scope)
```
- pop
```
public final void pop()
```
- push
```
public void push(Declaration decl)
```
- lookup
```
public Declaration lookup(java.lang.Object name,
                 int namespace)
```
- usedClass
```
public void usedClass(Type type)
```
  Called for classes referenced in bytecode. Since this only does something when immediate, we only care about classes referenced in the bytecode when immediate. It is used to ensure that we can inherit from classes defined when in immediate mode (in Scheme using define-class or similar).
- setModuleName
```
public void setModuleName(java.lang.String name)
```
  Set module name - which sets name of generated class.
- setInteractiveName
```
public void setInteractiveName()
```
  Generate and set unique module name suitable for an interactive session.
- setEvalName
```
public void setEvalName()
```
  Generate and set unique module name suitable for a call to eval.
- getMessages
```
public SourceMessages getMessages()
```
- setMessages
```
public void setMessages(SourceMessages messages)
```
- error
```
public void error(char severity,
         java.lang.String message,
         SourceLocator location)
```
- error
```
public void error(char severity,
         java.lang.String message)
```
- error
```
public void error(char severity,
         Declaration decl,
         java.lang.String msg1,
         java.lang.String msg2)
```
- error
```
public void error(char severity,
         java.lang.String message,
         java.lang.String code,
         SourceLocator decl)
```
- syntaxError
```
public ErrorExp syntaxError(java.lang.String message)
```
  Handle syntax errors (at rewrite time).
  
  Parameters:
  message - an error message to print out
  
  Returns:
  an ErrorExp
- getLineNumber
```
public final int getLineNumber()
```
  Description copied from interface: SourceLocator
  
  Return current line number. The "first" line is line 1; unknown is -1.
  
  Specified by:
  
  getLineNumber in interface javax.xml.transform.SourceLocator
  
  Specified by:
  
  getLineNumber in interface org.xml.sax.Locator
- getColumnNumber
```
public final int getColumnNumber()
```
  Description copied from interface: SourceLocator
  
  Return current column number. The "first" column is column 1; unknown is -1.
  
  Specified by:
  
  getColumnNumber in interface javax.xml.transform.SourceLocator
  
  Specified by:
  
  getColumnNumber in interface org.xml.sax.Locator
- getFileName
```
public final java.lang.String getFileName()
```
  Description copied from interface: SourceLocator
  
  Normally same as getSystemId.
- getPublicId
```
public java.lang.String getPublicId()
```
  Specified by:
  
  getPublicId in interface javax.xml.transform.SourceLocator
  
  Specified by:
  
  getPublicId in interface org.xml.sax.Locator
- getSystemId
```
public java.lang.String getSystemId()
```
  Specified by:
  
  getSystemId in interface javax.xml.transform.SourceLocator
  
  Specified by:
  
  getSystemId in interface org.xml.sax.Locator
- isStableSourceLocation
```
public boolean isStableSourceLocation()
```
  Description copied from interface: SourceLocator
  
  True if position is unlikely to change. True for an expression but not an input file.
- setFile
```
public void setFile(java.lang.String filename)
```
- setLine
```
public void setLine(int line)
```
- setColumn
```
public void setColumn(int column)
```
- setLine
```
public final void setLine(Expression position)
```
- setLine
```
public void setLine(java.lang.Object location)
```
- setLocation
```
public final void setLocation(SourceLocator position)
```
- setLine
```
public void setLine(java.lang.String filename,
           int line,
           int column)
```
- getSourceAbsPath
```
public gnu.kawa.io.Path getSourceAbsPath()
```
  Get source filename as an absolute Path, or null. Return null if there is no actual file, such as a <string>. Note the ModuleInfo.getSourceAbsPath() is similar, but this version is not canonicalized.
- letStart
```
public void letStart()
```
- letVariable
```
public Declaration letVariable(java.lang.Object name,
                      Type type,
                      Expression init)
```
- letVariable
```
public void letVariable(Declaration decl,
               Expression init)
```
- letEnter
```
public void letEnter()
```
- letDone
```
public LetExp letDone(Expression body)
```
- loopStart
```
public LambdaExp loopStart()
```
  Start a new loop. This provides the functionality of Scheme 'named let'.
- loopVariable
```
public Declaration loopVariable(java.lang.Object name,
                       Type type,
                       Expression init)
```
  Add a new loop variable, with initializer.
- loopEnter
```
public void loopEnter()
```
  Done handling loop variables, and pushes them into the lexical scope. Ready to parse the loop condition.
- loopCond
```
@Deprecated
public void loopCond(Expression cond)
```
  Deprecated.
- loopBody
```
@Deprecated
public void loopBody(Expression body)
```
  Deprecated.
- loopRepeat
```
public Expression loopRepeat(LambdaExp loop,
                    Expression... exps)
```
  Recurse to next iteration of specified loop.
- loopDone
```
public Expression loopDone(Expression body)
```
  Finish building a loop and return resulting expression.
- loopRepeatDone
```
public Expression loopRepeatDone(Expression... exps)
```
  Combine loopRepeat and loopDone. Assume loopCond and loopBody have been called.
- applyFunction
```
public Expression applyFunction(Expression func)
```
  A language-dependent "apply" function for generic application.
- makeQuoteExp
```
public QuoteExp makeQuoteExp(java.lang.Object value)
```
- makeCoercion
```
public static ApplyExp makeCoercion(Expression value,
                    Expression type)
```
  Convenience method to make an Expression that coerces a value.
  
  Parameters:
  value - to be coerced
  type - to coerce value to
  
  Returns:
  expression that coerces value to type
- makeCoercion
```
public static ApplyExp makeCoercion(Expression value,
                    Type type)
```
  Convenience method to make an Expression that coerces a value.
  
  Parameters:
  value - to be coerced
  type - to coerce value to
  
  Returns:
  expression that coerces value to type
- loadClassRef
```
public void loadClassRef(ObjectType clas)
```
  Generate code to load a named Class without initializing it.
- getForNameHelper
```
public Method getForNameHelper()
```
  Generate a method to find a named Class without initializing it. Generate a static helper method "class$" like javac generates for 'CLASS.class', but does not initialize CLASS. Also, we don't bother catching exceptions, since the JVM doesn't require us to. I.e. generates: public static class $(String name) { return Class.forName(name, false, Class.forName(THISCLASSNAME).getClassLoader()); } Note that we want the result to use the same ClassLoader as the caller, which is why we generate a static helper method.
- getGlobalEnvironment
```
public Environment getGlobalEnvironment()
```
- resolve
```
public java.lang.Object resolve(java.lang.Object name,
                       boolean function)
```
- setupLiterals
```
public static void setupLiterals(int key)
```
  Call-back from compiled code to initialize literals in immediate mode. In non-immediate mode (i.e. generating class files) the compiler emits code to "re-construct" literal values. However, in immediate mode that would be wasteful, plus we would get values that are similar (equals) to but not necessarily identical (eq) to the compile-time literal. So we need to pass the literal values to the compiled code, by using reflection to initialize various static fields. This method does that. It is called at the start of the generated static initializer, which helps makes things more consistent between immediate and non-immediate mode.
- registerForImmediateLiterals
```
public static int registerForImmediateLiterals(Compilation comp)
```
- findForImmediateLiterals
```
public static Compilation findForImmediateLiterals(int key)
```
- getCurrent
```
public static Compilation getCurrent()
```
- setCurrent
```
public static void setCurrent(Compilation comp)
```
- setSaveCurrent
```
public static Compilation setSaveCurrent(Compilation comp)
```
- restoreCurrent
```
public static void restoreCurrent(Compilation saved)
```
- toString
```
public java.lang.String toString()
```
  Overrides:
  
  toString in class java.lang.Object
- getMinfo
```
public ModuleInfo getMinfo()
```

Class Compilation

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

mustCompile

curClass

mainClass

moduleClass

curLambda

mainLambda

thisDecl

PROLOG_PARSING

PROLOG_PARSED

BODY_PARSED

RESOLVED

PRE_WALKED

WALKED

COMPILE_SETUP

COMPILED

CLASS_WRITTEN

ERROR_SEEN

lexer

pendingImports

subModuleMap

writeImplicitClasses

debugPrintExpr

debugPrintFinalExpr

debugPrintANF

enableANF

options

fullTailCallsVariable

mainMethodVariable

warnUnreachable

warnVoidUsed

warnUndefinedVariable

warnUnknownMember

warnInvokeUnknownMethod

warnUnused

warnAsError

currentOptions

defaultClassFileVersion

defaultCallConvention

CALL_WITH_UNSPECIFIED

CALL_WITH_RETURN

CALL_WITH_CONSUMER

CALL_WITH_TAILCALLS

CALL_WITH_CONTINUATIONS

MODULE_NONSTATIC

MODULE_STATIC_DEFAULT

MODULE_STATIC

MODULE_STATIC_RUN

moduleStatic

immediate

explicit

method

typeObject

scmBooleanType

typeString

typeCharSequence

javaStringType

scmKeywordType

scmSequenceType

typeList

scmListType

typePair

typeConstVector

objArrayType

typeRunnable

typeRunnableModule

typeType

typeObjectType

typeClass

typeClassType

typeProcedure

typeLanguage

typeEnvironment

typeLocation

typeFieldLocation