gnu.commonlisp.lang

Class Lisp2

java.lang.Object

gnu.expr.Language

gnu.kawa.lispexpr.LispLanguage

gnu.commonlisp.lang.Lisp2

Direct Known Subclasses:

CommonLisp, ELisp

public abstract class Lisp2
extends LispLanguage

Abstract class for Lisp-like languages with separate namespaces.

Field Summary

Fields

Modifier and Type	Field and Description
static LList	FALSE
static Expression	nilExpr
static Symbol	TRUE

Fields inherited from class gnu.kawa.lispexpr.LispLanguage

bracket_apply_sym, bracket_list_sym, constructNamespace, defaultReadTable, dots3_sym, entityNamespace, getNamedPartLocation, lookup_sym, quasiquote_str, quasiquote_sym, quote_str, splice_colon_str, splice_colon_sym, splice_str, splice_sym, unitNamespace, unquote_str, 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_LINT, PARSE_FOR_SERVLET, PARSE_IMMEDIATE, PARSE_INTERACTIVE_MODULE, PARSE_ONE_LINE, PARSE_PROLOG, requirePedantic, userEnv, VALUE_NAMESPACE

Constructor Summary

Constructors

Constructor and Description
Lisp2()

Method Summary

Modifier and Type	Method and Description
static java.lang.Object	asSymbol(java.lang.String name) Get a symbol for a given (interned) Java string.
java.lang.Object	booleanObject(boolean b)
ReadTable	createReadTable() Create a fresh ReadTable appropriate for this language.
protected void	defun(java.lang.String name, java.lang.Object value)
protected void	defun(Symbol sym, java.lang.Object value)
protected Symbol	fromLangSymbol(java.lang.Object obj)
java.lang.String	getCompilationClass()
java.lang.Object	getEnvPropertyFor(java.lang.reflect.Field fld, java.lang.Object value) Given a field, figure out which namespace to put its binding in.
int	getNamespaceOf(Declaration decl) Get the namespace of a declaration.
static java.lang.Object	getString(java.lang.String name) Get a string for a given Java string.
static java.lang.Object	getString(Symbol symbol) Get a string for a given symbol.
boolean	hasSeparateFunctionNamespace() Determines if functions in this language have a separate namespace.
protected void	importLocation(Location loc)
boolean	isTrue(java.lang.Object value) Test if a value is considered "true" in this language.
static boolean	isTrueLisp(java.lang.Object value)
java.lang.Object	noValue() The value to return for a "void" result.
boolean	selfEvaluatingSymbol(java.lang.Object obj) Determine whether a symbol evaluates to itself.

Methods inherited from class gnu.kawa.lispexpr.LispLanguage

declFromField, decodeArrayType, defSntxStFld, defSntxStFld, getLexer, getNamedType, getPackageStyleType, getPrimaryPrompt, getSecondaryPrompt, getTypeFor, getTypeFor, getTypeMap, keywordsAreSelfEvaluating, langSymbolToSymbol, parse, resolve

Methods inherited from class gnu.expr.Language

asType, 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, getCompilation, getDefaultLanguage, getEnvironment, getEnvPropertyFor, getExtensions, getFormat, getInstance, getInstance, getInstanceFromFilenameExtension, getLangEnvironment, getLangTypeFor, getLanguages, getName, getNewEnvironment, getOutputConsumer, getSymbol, getTypeFor, getTypeFor, getTypeFor, hasNamespace, isValidJavaName, loadClass, lookup, lookupBuiltin, mangleName, 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

FALSE

public static final LList FALSE

TRUE

public static final Symbol TRUE

nilExpr

public static final Expression nilExpr

Constructor Detail

Lisp2

public Lisp2()

Method Detail

isTrue

public boolean isTrue(java.lang.Object value)

Description copied from class: Language

Test if a value is considered "true" in this language. Throws an exception if value can't be used in a boolean context. Use booleanValue to catch that exception.

Overrides:

isTrue in class Language

isTrueLisp

public static boolean isTrueLisp(java.lang.Object value)

booleanObject

public java.lang.Object booleanObject(boolean b)

Overrides:

booleanObject in class Language

noValue

public java.lang.Object noValue()

Description copied from class: Language

The value to return for a "void" result.

Overrides:

noValue in class Language

hasSeparateFunctionNamespace

public boolean hasSeparateFunctionNamespace()

Determines if functions in this language have a separate namespace. Different Lisps have different organisations of the symbol namespace. "Lisp1" languages, notably Scheme, have a single namespace where functions and values are not distinguished. "Lisp2" languages, notably CL, separate the two objects into conceptually two namespaces. Kawa doesn't literally use two namespaces, such binding properties are looked up in an Environment table.

Overrides:

hasSeparateFunctionNamespace in class Language

Returns:

true if this language has a separate function namespace, false otherwise.

selfEvaluatingSymbol

public boolean selfEvaluatingSymbol(java.lang.Object obj)

Determine whether a symbol evaluates to itself.

Overrides:

selfEvaluatingSymbol in class LispLanguage

Parameters:

obj - The symbol to check

Returns:

true if the symbol evaluates to itself, otherwise false.

getEnvPropertyFor

public java.lang.Object getEnvPropertyFor(java.lang.reflect.Field fld,
                                          java.lang.Object value)

Given a field, figure out which namespace to put its binding in. Specifically, return the appropriate property key to use when importing the field's binding into an Environment: This is null for Scheme (as a Lisp1), but may be the FUNCTION property for languages like CL and Emacs Lisp, for example.

Overrides:

getEnvPropertyFor in class Language

Parameters:

fld - The field of some module we're importing.

value - The value of the field (assuming it is constant).

Returns:

EnvironmentKey.FUNCTION if this is a function binding or null if this binding has the null property key.

getNamespaceOf

public int getNamespaceOf(Declaration decl)

Get the namespace of a declaration. Declaration symbols are either in the function or value namespace.

Overrides:

getNamespaceOf in class Language

Parameters:

decl - The declaration to check

Returns:

FUNCTION_NAMESPACE or VALUE_NAMESPACE.

asSymbol

public static java.lang.Object asSymbol(java.lang.String name)

Get a symbol for a given (interned) Java string.

fromLangSymbol

protected Symbol fromLangSymbol(java.lang.Object obj)

Overrides:

fromLangSymbol in class LispLanguage

getString

public static java.lang.Object getString(java.lang.String name)

Get a string for a given Java string.

getString

public static java.lang.Object getString(Symbol symbol)

Get a string for a given symbol.

defun

protected void defun(java.lang.String name,
                     java.lang.Object value)

defun

protected void defun(Symbol sym,
                     java.lang.Object value)

importLocation

protected void importLocation(Location loc)

createReadTable

public ReadTable createReadTable()

Description copied from class: LispLanguage

Create a fresh ReadTable appropriate for this language.

Specified by:

createReadTable in class LispLanguage

getCompilationClass

public java.lang.String getCompilationClass()

Overrides:

getCompilationClass in class LispLanguage