gnu.kawa.lispexpr

Class LispLanguage

java.lang.Object

gnu.expr.Language

gnu.kawa.lispexpr.LispLanguage

Direct Known Subclasses:

Lisp2, Scheme

public abstract class LispLanguage
extends Language

Language sub-class for Lisp-like languages (including Scheme).

Field Summary

Fields

Modifier and Type	Field and Description
static Symbol	bracket_apply_sym
static Symbol	bracket_list_sym
static Namespace	constructNamespace
protected ReadTable	defaultReadTable The default ReadTable for this language.
static SimpleSymbol	dots3_sym
static Namespace	entityNamespace
static StaticFieldLocation	getNamedPartLocation
static Symbol	lookup_sym Used for Kawa infix ':' operator.
static java.lang.String	quasiquote_str
static Symbol	quasiquote_sym
static java.lang.String	quote_str
static java.lang.String	splice_str
static Symbol	splice_sym
static Namespace	unitNamespace The unit namespace contains the bindings for symbols such as `cm', `s', etc.
static java.lang.String	unquote_str
static java.lang.String	unquotesplicing_str

Fields inherited from class gnu.expr.Language

current, environ, FUNCTION_NAMESPACE, global, NAMESPACE_PREFIX_NAMESPACE, PARSE_CURRENT_NAMES, PARSE_EMIT_MAIN, PARSE_EXPLICIT, PARSE_FOR_APPLET, PARSE_FOR_EVAL, PARSE_FOR_SERVLET, PARSE_IMMEDIATE, PARSE_INTERACTIVE_MODULE, PARSE_ONE_LINE, PARSE_PROLOG, requirePedantic, userEnv, VALUE_NAMESPACE

Constructor Summary

Constructors

Constructor and Description
LispLanguage()

Method Summary

Methods

Modifier and Type	Method and Description
abstract ReadTable	createReadTable() Create a fresh ReadTable appropriate for this language.
Declaration	declFromField(ModuleExp mod, java.lang.Object fvalue, Field fld)
protected void	defSntxStFld(java.lang.String name, java.lang.String cname)
protected void	defSntxStFld(java.lang.String name, java.lang.String cname, java.lang.String fname) Declare in the current Environment a Syntax bound to a static field.
protected Symbol	fromLangSymbol(java.lang.Object sym)
java.lang.String	getCompilationClass()
LispReader	getLexer(gnu.kawa.io.InPort inp, SourceMessages messages)
Type	getNamedType(java.lang.String name) Get the corresponding Type for a given name.
Type	getPackageStyleType(java.lang.String name) Try to get a type of the form lang:type.
Type	getTypeFor(java.lang.Class clas)
protected java.util.HashMap<java.lang.String,Type>	getTypeMap()
boolean	keywordsAreSelfEvaluating() Are keywords self-evaluating? True in CommonLisp.
static Symbol	langSymbolToSymbol(java.lang.Object sym) Convert the Language's idea of a symbol to a gnu.mapping.Symbol.
boolean	parse(Compilation comp, int options)
void	resolve(Compilation comp) Resolve names and other post-parsing processing.
boolean	selfEvaluatingSymbol(java.lang.Object obj)

Methods inherited from class gnu.expr.Language

asType, booleanObject, booleanValue, coerceFromObject, coerceToObject, decodeType, defAliasStFld, define, defineFunction, defineFunction, defProcStFld, defProcStFld, defProcStFld, defProcStFldAs, detect, detect, detect, encodeType, eval, eval, eval, eval, eval, eval, eval, eval, eval, formatType, getCompilation, getDefaultLanguage, getEnvironment, getEnvPropertyFor, getEnvPropertyFor, getExtensions, getFormat, getInstance, getInstance, getInstanceFromFilenameExtension, getLangEnvironment, getLangTypeFor, getLanguages, getName, getNamespaceOf, getNewEnvironment, getOutputConsumer, getPrompter, getSymbol, getTypeFor, getTypeFor, getTypeFor, getTypeFor, hasNamespace, hasSeparateFunctionNamespace, isTrue, isValidJavaName, loadClass, lookup, lookupBuiltin, mangleName, mangleNameIfNeeded, noValue, parse, parse, parse, parse, registerLanguage, restoreCurrent, runAsApplication, setCurrentLanguage, setDefaults, setSaveCurrent, unionType

Methods inherited from class java.lang.Object

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

Field Detail

quote_str

public static final java.lang.String quote_str

See Also:

Constant Field Values

unquote_str

public static final java.lang.String unquote_str

See Also:

Constant Field Values

unquotesplicing_str

public static final java.lang.String unquotesplicing_str

See Also:

Constant Field Values

quasiquote_str

public static final java.lang.String quasiquote_str

See Also:

Constant Field Values

quasiquote_sym

public static final Symbol quasiquote_sym

dots3_sym

public static final SimpleSymbol dots3_sym

splice_str

public static final java.lang.String splice_str

See Also:

Constant Field Values

splice_sym

public static final Symbol splice_sym

lookup_sym

public static final Symbol lookup_sym

Used for Kawa infix ':' operator.

bracket_list_sym

public static final Symbol bracket_list_sym

bracket_apply_sym

public static final Symbol bracket_apply_sym

getNamedPartLocation

public static StaticFieldLocation getNamedPartLocation

unitNamespace

public static final Namespace unitNamespace

The unit namespace contains the bindings for symbols such as `cm', `s', etc.

constructNamespace

public static final Namespace constructNamespace

entityNamespace

public static final Namespace entityNamespace

defaultReadTable

protected ReadTable defaultReadTable

The default ReadTable for this language.

Constructor Detail

LispLanguage

public LispLanguage()

Method Detail

createReadTable

public abstract ReadTable createReadTable()

Create a fresh ReadTable appropriate for this language.

getLexer

public LispReader getLexer(gnu.kawa.io.InPort inp,
                  SourceMessages messages)

Specified by:

getLexer in class Language

getCompilationClass

public java.lang.String getCompilationClass()

Overrides:

getCompilationClass in class Language

parse

public boolean parse(Compilation comp,
            int options)
              throws java.io.IOException,
                     SyntaxException

Specified by:

parse in class Language

Throws:

java.io.IOException

SyntaxException

resolve

public void resolve(Compilation comp)

Resolve names and other post-parsing processing.

Overrides:

resolve in class Language

declFromField

public Declaration declFromField(ModuleExp mod,
                        java.lang.Object fvalue,
                        Field fld)

Overrides:

declFromField in class Language

defSntxStFld

protected void defSntxStFld(java.lang.String name,
                java.lang.String cname,
                java.lang.String fname)

Declare in the current Environment a Syntax bound to a static field.

Parameters:

name - the procedure's source-level name.

cname - the name of the class containing the field.

fname - the name of the field, which should be a static final field whose type extends kawa.lang.Syntax.

defSntxStFld

protected void defSntxStFld(java.lang.String name,
                java.lang.String cname)

keywordsAreSelfEvaluating

public boolean keywordsAreSelfEvaluating()

Are keywords self-evaluating? True in CommonLisp. Used to be true for Scheme also, but now in Scheme literal keywords should only be used for keyword arguments; if you want a Keyword value if should be quoted.

Returns:

true if we should treat keywords as self-evaluating.

selfEvaluatingSymbol

public boolean selfEvaluatingSymbol(java.lang.Object obj)

langSymbolToSymbol

public static Symbol langSymbolToSymbol(java.lang.Object sym)

Convert the Language's idea of a symbol to a gnu.mapping.Symbol.

fromLangSymbol

protected Symbol fromLangSymbol(java.lang.Object sym)

getTypeMap

protected java.util.HashMap<java.lang.String,Type> getTypeMap()

getPackageStyleType

public Type getPackageStyleType(java.lang.String name)

Try to get a type of the form lang:type. E.g. elisp:buffer.

Parameters:

name - The package-style type name as a string.

Returns:

null if no such type could be found, or the corresponding Type.

getNamedType

public Type getNamedType(java.lang.String name)

Description copied from class: Language

Get the corresponding Type for a given name. This is currently used as a hook in the conversion of type designators to types. LispLanguage uses it to check for package style type designators such as emacs:buffer, and CommonLisp uses it to check for a type designator "boolean", so that is can return the appropriate boolean type. This is a bit over-specialised, but it beats actually overriding getTypeFor(String) in LispLanguage, CommonLisp just for these minor changes... FIXME!

Overrides:

getNamedType in class Language

Parameters:

name - The name of a type to search for.

Returns:

The corresponding Type if a suitable one can be found, otherwise null.

getTypeFor

public Type getTypeFor(java.lang.Class clas)

Overrides:

getTypeFor in class Language