gnu.expr

Class ModuleExp

java.lang.Object

gnu.mapping.PropertySet

gnu.mapping.Procedure

gnu.expr.Expression

gnu.expr.ScopeExp

gnu.expr.LambdaExp

gnu.expr.ModuleExp

All Implemented Interfaces:

gnu.kawa.format.Printable, Named, 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

Nested Class Summary

Nested classes/interfaces inherited from class gnu.expr.LambdaExp

LambdaExp.Closure

Nested classes/interfaces inherited from interface gnu.text.SourceLocator

SourceLocator.Simple

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

ALLOW_OTHER_KEYWORDS, applyToConsumer, ATTEMPT_INLINE, body, CLOSURE_ENV_NAME, closureEnvField, firstChild, HAS_NONTRIVIAL_DEFAULT, HAS_NONTRIVIAL_PATTERN, 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

applyMethodExpression, flags, noExpressions, type, VALIDATED

Fields inherited from class gnu.mapping.Procedure

applyMethodType, applyToConsumerDefault, applyToConsumerMethod, applyToObjectDefault, applyToObjectMethod, compilerKey, compilerXKey, inlineIfConstantSymbol, validateApplyKey, validateXApplyKey

Fields inherited from class gnu.mapping.PropertySet

nameKey

Constructor Summary

Constructors

Constructor and Description
ModuleExp()

Method Summary

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()
ModuleInfo	getMinfo()
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, inlinedInCallerOrCheckMethodOnly, inlinedInCheckMethod, 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, lastDecl, lookup, lookup, nestedIn, nesting, popScope, remove, remove, replaceFollowing, setIndexes, setOuter, topLevel

Methods inherited from class gnu.expr.Expression

applyMethodExpression, checkLiteralKeyword, compile, compile, compileWithPosition, compileWithPosition, deepCopy, deepCopy, deepCopy, deepCopy, eval, eval, getColumnNumber, getEndColumn, getEndLine, getFileName, getFlag, getFlags, getLineNumber, getPublicId, getStartColumn, getStartLine, getSystemId, getType, getTypeRaw, isSingleValue, isStableSourceLocation, makeWhile, maybeSetLine, neverReturns, numArgs, print, printLineColumn, setFile, setFlag, setFlag, setLine, setLine, setLine, setLine, setLine, setLocation, setType, valueIfConstant

Methods inherited from class gnu.mapping.Procedure

apply0, apply1, apply2, apply3, apply4, applyL, applyN, applyToConsumerDefault, applyToObjectDefault, checkArgCount, checkBadCode, getApplyMethod, getApplyToConsumerMethod, getApplyToObjectMethod, getReturnType, getSetter, getSourceLocation, isSideEffectFree, lookupApplyHandle, 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

@Deprecated
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

getMinfo

public ModuleInfo getMinfo()

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