gnu.expr

Class ModuleExp

java.lang.Object

gnu.mapping.PropertySet

gnu.mapping.Procedure

gnu.mapping.Procedure0

gnu.expr.Expression

gnu.expr.ScopeExp

gnu.expr.LambdaExp

gnu.expr.ModuleExp

All Implemented Interfaces:

Named, Printable, java.io.Externalizable, java.io.Serializable, javax.xml.transform.SourceLocator, org.xml.sax.Locator

public class ModuleExp
extends LambdaExp
implements java.io.Externalizable

Class used to implement Scheme top-level environments.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	alwaysCompile Flag to force compilation, even when not required.
static boolean	compilerAvailable Deprecated.
static java.lang.String	dumpZipPrefix Used to control which .zip file dumps are generated.
static int	EXPORT_SPECIFIED
static int	HAS_SUB_MODULE
static int	IMMEDIATE True if the module is immediately evaluated.
static int	INTERACTIVE True of a read-eval-print interface where each module is only partial.
static int	LAZY_DECLARATIONS
static int	NONSTATIC_SPECIFIED
static int	STATIC_RUN_SPECIFIED
static int	STATIC_SPECIFIED
static int	SUPERTYPE_SPECIFIED
static int	USE_DEFINED_CLASS Using explicit class (e.g.

Fields inherited from class gnu.expr.LambdaExp

ATTEMPT_INLINE, body, CLOSURE_ENV_NAME, closureEnvField, firstChild, IN_EXPWALKER, inlineHome, keywords, max_args, min_args, nameDecl, NEXT_AVAIL_FLAG, nextSibling, NO_FIELD, opt_args, OVERLOADABLE_FIELD, PASSES_TAILCALLS, PUBLIC_METHOD, returnContinuation, returnType, SEQUENCE_RESULT, staticLinkField

Fields inherited from class gnu.expr.ScopeExp

frameSize, id, scope

Fields inherited from class gnu.expr.Expression

flags, noExpressions, type, VALIDATED

Fields inherited from class gnu.mapping.Procedure

compilerKey, compilerXKey, validateApplyKey, validateXApplyKey

Fields inherited from class gnu.mapping.PropertySet

nameKey

Constructor Summary

Constructors

Constructor and Description
ModuleExp()

Method Summary

Methods

Modifier and Type	Method and Description
void	allocChildClasses(Compilation comp)
ClassType	classFor(Compilation comp) Return the class for this module.
static boolean	compilerAvailable()
static boolean	evalModule(Environment env, CallContext ctx, Compilation comp, java.net.URL url, gnu.kawa.io.OutPort msg)
static java.lang.Object	evalModule1(Environment env, Compilation comp, java.net.URL url, gnu.kawa.io.OutPort msg) Parse and compile a module.
static void	evalModule2(Environment env, CallContext ctx, Language language, ModuleExp mexp, java.lang.Object inst)
static java.lang.Class	evalToClass(Compilation comp, java.net.URL url) Compile to a class for immediate evaluation.
Declaration	firstDecl()
ClassType[]	getInterfaces()
java.lang.String	getNamespaceUri()
ClassType	getSuperType()
boolean	isStatic()
void	print(gnu.kawa.io.OutPort out)
void	readExternal(java.io.ObjectInput in)
void	setInterfaces(ClassType[] s)
void	setSuperType(ClassType s)
boolean	staticInitRun() True if module body (i.e.
boolean	subModulesOnly()
static ModuleExp	valueOf(ClassType type)
protected <R,D> R	visit(ExpVisitor<R,D> visitor, D d)
void	writeExternal(java.io.ObjectOutput out)

Methods inherited from class gnu.expr.LambdaExp

addParameter, allocFrame, apply, calculateType, capture, checkForInitCall, compile, compileBody, compileEnd, compileSetField, declareClosureEnv, declareThis, generateApplyMethods, getBodyFirstExpression, getCallConvention, getCaller, getCanRead, getClassType, getCompiledClassType, getExpClassName, getHeapFrameType, getImportsLexVars, getInlineOnly, getMainMethod, getMethod, getNeedsClosureEnv, getNeedsStaticLink, getOwningLambda, getProperty, getReturnType, incomingArgs, isAbstract, isClassMethod, isHandlingTailCalls, isModuleBody, isNative, loadHeapFrame, maybeSetReturnType, mustCompile, outerLambda, outerLambdaNotInline, outerLambdaOrCaller, pushChild, restArgType, reverseChildList, setCallConvention, setCanRead, setClassMethod, setCoercedReturnType, setCoercedReturnValue, setExceptions, setImportsLexVars, setImportsLexVars, setInlineOnly, setInlineOnly, setNeedsStaticLink, setNeedsStaticLink, setProperty, setReturnType, setType, side_effects, toString, usingCallContext, validateApply, variable_args, visitChildren, visitChildrenOnly, visitProperties

Methods inherited from class gnu.expr.ScopeExp

add, add, addDeclaration, addDeclaration, addDeclaration, clearCallList, countDecls, currentLambda, currentModule, duplicateDeclarationError, getDefine, getNoDefine, getOuter, getVarScope, isClassGenerated, lookup, lookup, nestedIn, nesting, popScope, remove, remove, replaceFollowing, setIndexes, setOuter, topLevel

Methods inherited from class gnu.expr.Expression

apply0, checkLiteralKeyword, compile, compile, compileButFirst, compileWithPosition, compileWithPosition, deepCopy, deepCopy, deepCopy, deepCopy, eval, eval, getColumnNumber, getFileName, getFlag, getFlags, getLineNumber, getPublicId, getSystemId, getType, getTypeRaw, isSingleValue, isStableSourceLocation, makeWhile, match0, maybeSetLine, neverReturns, print, printLineColumn, setFile, setFlag, setFlag, setLine, setLine, setLine, setLine, setLocation, setType, valueIfConstant

Methods inherited from class gnu.mapping.Procedure0

apply1, apply2, apply3, apply4, applyN, numArgs

Methods inherited from class gnu.mapping.Procedure

apply, check0, check1, check2, check3, check4, checkArgCount, checkN, getReturnType, getSetter, getSourceLocation, isSideEffectFree, match1, match2, match3, match4, matchN, maxArgs, maxArgs, minArgs, minArgs, set0, set1, setN, setSetter, setSourceLocation

Methods inherited from class gnu.mapping.PropertySet

getName, getSymbol, removeProperty, setName, setProperty, setSymbol

Methods inherited from class java.lang.Object

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

Field Detail

EXPORT_SPECIFIED

public static final int EXPORT_SPECIFIED

See Also:

Constant Field Values

STATIC_SPECIFIED

public static final int STATIC_SPECIFIED

See Also:

Constant Field Values

NONSTATIC_SPECIFIED

public static final int NONSTATIC_SPECIFIED

See Also:

Constant Field Values

SUPERTYPE_SPECIFIED

public static final int SUPERTYPE_SPECIFIED

See Also:

Constant Field Values

STATIC_RUN_SPECIFIED

public static final int STATIC_RUN_SPECIFIED

See Also:

Constant Field Values

LAZY_DECLARATIONS

public static final int LAZY_DECLARATIONS

See Also:

Constant Field Values

IMMEDIATE

public static final int IMMEDIATE

True if the module is immediately evaluated.

See Also:

Constant Field Values

INTERACTIVE

public static final int INTERACTIVE

True of a read-eval-print interface where each module is only partial. Conceptually, each statement is a fragment of a imagined super-module for the whole interaction, though currently there is no super-module object. IMMEDIATE is also set in this case.

See Also:

Constant Field Values

USE_DEFINED_CLASS

public static final int USE_DEFINED_CLASS

Using explicit class (e.g. define-simple-class) for module class.

See Also:

Constant Field Values

HAS_SUB_MODULE

public static final int HAS_SUB_MODULE

See Also:

Constant Field Values

dumpZipPrefix

public static java.lang.String dumpZipPrefix

Used to control which .zip file dumps are generated.

compilerAvailable

public static boolean compilerAvailable

Deprecated.

alwaysCompile

public static boolean alwaysCompile

Flag to force compilation, even when not required.

Constructor Detail

ModuleExp

public ModuleExp()

Method Detail

subModulesOnly

public boolean subModulesOnly()

valueOf

public static ModuleExp valueOf(ClassType type)

evalToClass

public static java.lang.Class evalToClass(Compilation comp,
                          java.net.URL url)
                                   throws SyntaxException

Compile to a class for immediate evaluation. Return null on error, if so errors go to comp.getMessages().

Throws:

SyntaxException

compilerAvailable

public static boolean compilerAvailable()

evalModule

public static final boolean evalModule(Environment env,
                 CallContext ctx,
                 Compilation comp,
                 java.net.URL url,
                 gnu.kawa.io.OutPort msg)
                                throws java.lang.Throwable

Throws:

java.lang.Throwable

evalModule1

public static final java.lang.Object evalModule1(Environment env,
                           Compilation comp,
                           java.net.URL url,
                           gnu.kawa.io.OutPort msg)
                                          throws SyntaxException

Parse and compile a module.

Returns:

null on error; otherwise a "cookie" that can be passed to evalModule2 or CompiledModule.

Throws:

SyntaxException

evalModule2

public static final void evalModule2(Environment env,
               CallContext ctx,
               Language language,
               ModuleExp mexp,
               java.lang.Object inst)
                              throws java.lang.Throwable

Throws:

java.lang.Throwable

getNamespaceUri

public java.lang.String getNamespaceUri()

getSuperType

public final ClassType getSuperType()

setSuperType

public final void setSuperType(ClassType s)

getInterfaces

public final ClassType[] getInterfaces()

setInterfaces

public final void setInterfaces(ClassType[] s)

isStatic

public final boolean isStatic()

staticInitRun

public boolean staticInitRun()

True if module body (i.e. run) is called by class initializer.

allocChildClasses

public void allocChildClasses(Compilation comp)

Overrides:

allocChildClasses in class LambdaExp

visit

protected <R,D> R visit(ExpVisitor<R,D> visitor,
            D d)

Overrides:

visit in class LambdaExp

print

public void print(gnu.kawa.io.OutPort out)

Overrides:

print in class LambdaExp

firstDecl

public Declaration firstDecl()

Overrides:

firstDecl in class ScopeExp

classFor

public ClassType classFor(Compilation comp)

Return the class for this module. If not set yet, sets it now, based on the source file name.

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Specified by:

writeExternal in interface java.io.Externalizable

Throws:

java.io.IOException

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Specified by:

readExternal in interface java.io.Externalizable

Throws:

java.io.IOException

java.lang.ClassNotFoundException