changelog

A framework written in Java for implementing high-level and dynamic languages, compiling them into J

2005-05-27  Per Bothner  <[e-mail]>

	* XQuery.java (evalToFocusProc): Also set PARSE_IMMEDIATE flag.

2005-05-18  Per Bothner  <[e-mail]>

	* XQResolveNames.java (lookup): Use new getLangEnvironment method.

2005-05-17  Per Bothner  <[e-mail]>

	* XQuery.java (evalToFocusProc): Pass current Environment, rather than
	language Environment, to evalModule.

2005-03-16  Per Bothner  <[e-mail]>

	* XQParser.java: Now extends Lexer rather than LispReader.
	(getReadTable): Remove unused method.
	(xqlReadTable): Remove unused field.

2005-03-07  Per Bothner  <[e-mail]>

	* XQParser.java: Update Interpreter -> Language:
	* XQResolveNames.java: Likewise.

2005-03-03  Per Bothner  <[e-mail]>

	* XQuery.java: Function 'children' has been moved.

2005-02-12  Per Bothner  <[e-mail]>

	* XQuery.java: Use different SetExp constructor,
	to avoid setting the 'binding' field, which will become private.
	* XQResolveNames.java: Use SetExp's setBinding method.

2005-01-25  Per Bothner  <[e-mail]>

	* XQuery.java (registerEnvironment): Update Interpreter -> Language.

	* XQuery.java: Put gnu.kawa.slib.HTTP function in qexo namespace.

2005-01-22  Per Bothner  <[e-mail]>

	* XQuery.java: Inherit from Language instead of Interpreter.

	* XQuery.java (<init>): Declare functions from gnu.kawa.slib.HTTP.

	* XQParser.java (parseMaybePrimaryExpr): Fix column number handling.

2004-12-27  Per Bothner  <[e-mail]>

	* XQParser.java (parseFunctionDefinition): Use new isStatic method.

2004-12-22  Per Bothner  <[e-mail]>

	* XQParser.java (prologNamespaces): New field.
	(pushNamespace): Add to prologNamespaces.
	(parseNameSpec): Simplify, thanks to use of new SName type.
	(castQName): New helper method.
	(parseElementConstructor): Use MakeElement and MakeAttribute classes
	rather than ElementConstructor and AttributeConstructor.
	(parseMaybePrimaryExpr): Handle in-scope namespace nodes.
	* XQuery.java: Define fn:QName function and xs:QName type/cast.

	* XQResolveNames.java (walkApplyExp): Implement xs:Name cast.
	Update for changes to use MakeElement and MakeAttribute classes
	rather than ElementConstructor and AttributeConstructor.

	* XQParser.java (parsePrimaryExpr): If missing expression, call
	getRawToken to avoid the risk of an infinite loop.

	* XQParser.java (parser); Field renamed to comp.
	* XQuery.java (parse): Set resolver's parser field.

	* XQuery.java (SCHEMA_NAMESPACE): New constant.

2004-12-21  Per Bothner  <[e-mail]>

	* XQuery.java (define_method): Set name of Procedure, for better
	error messages.

	* XQResolveNames (flookup): New helper method.
	(lookup): Use it.  Fix bug where 'fn:true()' wasn't found.

2004-12-12  Per Bothner  <[e-mail]>

	* XQParser.java: Implement line/column and error handling.
	(curLine, curColumn): New fields.
	(getrawToken): Set curLine and curColumn.
	(skipOldComment, oldComment, getRawToken): Set position before error.
	(COLON_COLON_TOKEN): Change spelling.  Have getRawToken return it.
	(getAxis): New helper method.  Use it in peekOperand.
	(parseMaybePrimaryExpr):  Set startLine from curLine etc.
	(parseSeparator): Change so error refers to end of declaration.
	(error, syntaxError, tokenWidth): Remove and simplify.

2004-12-10  Per Bothner  <[e-mail]>

	* XQParser.java: Implement 'declare default collation'.
	(warnOldVersion): Change to true. Add soem extra tests/warnings.
	(defaultCollator): New field.
	(skipToSemicolon, error, declError): New helper methods.
	(parseEnclosedExpr): Handle missing comma errors better.
	* XQuery.java(<init>): Declare fn:exists.  Update fn:empty.

2004-12-07  Per Bothner  <[e-mail]>

	Update for new Symbol/Namespace handling.
	* XQParser.java (lookupNamespace, resolveQName): Removed methods.
	(parseName): Renamed to parseQName and noted as deprecated.
	(parseNameTest): Change return type.
	(parseNodeTest): Rewrite to use parseNameTest.
	* XQResolveNames.java (LASTBUILTIN, POSITION_BUILTIN): New constants.
	(lastDecl, positionDecl, functionNamespacePath): New static fields.
	(makeBuiltin, walkSetExp, procToDecl): New methods.
	(<init>): Push lastDecl and positionDecl.
	(namespaceResolve): Map classname prefix to a "class:" namespace.
	(push): Search NCName  in functionNamespacePath.
	(walkSetExp): New method.
	(walkApplyExp): Special handling of lastDecl and positionDecl.
	* XQuery.java (parse): Stash resolver in XQParser.
	(getSymbol): New method.
	(define, define_method): Update.
	(<init>): Update.  Use defProcStFld.
	For now, don't import most Kawa functions.

2004-11-16  Per Bothner  <[e-mail]>

	* XQuery.java (XQuery): Use defProcStFld instead of define_field.

2004-11-06  Per Bothner  <[e-mail]>

	* XQuery.java (<init>): Add definitions for local-name-from-QName,
	namespace-uri-from-QName, namespace-uri-for-prefix.

2004-08-11  Per Bothner  <[e-mail]>

	* XQParser.java (DOT_VARNAME, POSITION_VARNAME, LAST_VARNAME):
	Change to uninterned Symbols.
	* XQResolveNames.java (push):  Warn about shadowing declarations.

2004-08-08  Per Bothner  <[e-mail]>

	* XQuery.java (applyWithFocus, applyWithFocus$X, eval_with_focus$X):
	Use new check3 method.

2004-07-20  Per Bothner  <[e-mail]>

	* XQParser.java:  Remove unused import statements.

2004-06-12  Per Bothner  <[e-mail]>

	* XQParser.java (nesting, pushNesting, popNesting):  Moved to Lexer.

2004-05-29  Per Bothner  <[e-mail]>

	* XQParser.java (getDelimited):  Reset tokenBufferLength.

	* XQParser.java (parseXMLConstructor):  Unread before PI content.

2004-05-28  Per Bothner  <[e-mail]>

	* XQParser.java (parseContent):  Changes to fix space handling.
	* XQParser.java (parseXMLConstructor):  Use MakeCData for CDATA.
	Handle direct processing instruction constructor.

	* XQParser.java (parseMaybePrimaryExpr):  Update for TextConstructor
	being renamed to MakeText.

2004-05-08  Per Bothner  <[e-mail]>

	* XQParser.java (OP_COMMENT, OP_PI, OP_DOCUMENT):  New token codes.
	(peekOperand):  Recognize these new token kinds.
	(getDelimited):  New method.
	(parseItemType):  Recognize comment and processing-instruction.
	(parseXMLConstructor):  New method.
	(parseContent, parseMaybePrimaryExpr):  Use parseXMLConstructor.
	(matchConstructorKeyword):  Recognize 'comment {'.
	(parseMaybePrimaryExpr):  Use CommentConstructor for 'comment {'.
	(commentNodeTest, piNodeTest):  New static NodeType fields.

2004-05-08  Per Bothner  <[e-mail]>

	* XQuery.java (mangle):  Two new static methods - currently unused.

2004-03-09  Per Bothner  <[e-mail]>

	* XQParser.java (parseItemTime):  Handle 'document-node()'.
	(documentNodeTest):  New constant.

	* XQParser.java (peekOperator):  Handle 'instance' like 'instanceof'.
	(parseBinaryExp):  Recognize 'instance' followed by 'of'.
	If warnOldVersion compain about 'instanceof'.

2004-01-09  Per Bothner  <[e-mail]>

	* XQuery.java (registerEnvironment):  Update setCurrent to setGlobal.

2003-12-26  Per Bothner  <[e-mail]>

	* XQParser.java (parseElementConstructor):  Set line/column for
	attribute.
	* XQResolveNames.java (maybeAddNamespace):  Avoid NullPointerException.
	(walkApplyExp):  Adjust column number if ElementConstructor.

	* XQResolveNames.java (walkReferenceExp):  Fix $request/$response
	handling.

2003-12-25  Per Bothner  <[e-mail]>

	* XQParser.java (parseRelativePathExpr, parseFLWRExpression):  last(),
	position() and and 'for' 'at' index should be LangPrimType.intType,
	so arithmetic works as it should.

2003-12-25  Per Bothner  <[e-mail]>

	Handle namespace declaration attributes.
	* XQResolveNames.java:  New class, extends gnu.expr.ResolveNames.
	* Makefile.am (java_sources):  Add XQResolveNames.java.
	* XQParser.java (lexical):  New field.
	(<init>):  New XQuery pamameter.  Allocate and set lexical field.
	(pushNamespace, lookupNamespace, makeNamespaceDecl):  New methods.
	(pushStandardNamespaces):  Use pushNamespace.
	(parseElementConstructor):  Recognize namespace declaration
	attributes.  Defer namespace resolution until XQResolveNames.
	Remove support here for calculated element/attribute names.
	(parseVariableDeclaration):  New method.
	(parseTypeSwitch, parseFLWRExpression, parseQuantifiedExpr,
	parseFunctionDefinition, parse):  Use parseVariableDeclaration.
	(namespaces):  Remove field.
	(namespaceBindings):  New field.
	(parse):  Don't checks for "$request" or $reply" (for servlets) here.
	Instead use ne XQResolveNames's new walkReferenceExp method.
	* XQuery.java (getLexer):  Use new XQParser constructor.
	(DEFAULT_ELEMENT_PREFIX, DEFAULT_FUNCTION_PREFIX):  New constants.
	(parse):  Use new Compilation constructor, passing it lexer's lexical.
	Do mustCompileHere after pushing ModuleExp, or it has no effect.
	Use new XQResolveNames constructor and new resolveModule method.
	(getNamespaceOf):  Also check if decl isNamespaceDecl.

	* XQuery.java (read):  Remove unused method.
	* XQParser.java (readObject):  Likewise.

2003-11-14  Per Bothner  <[e-mail]>

	* XQuery.java (<init>):  New use StringValue.concat$V.

2003-11-09  Per Bothner  <[e-mail]>

	* XQuery.java (PARSE_WITH_FOCUS):  New flag.
	(parse):  Check for PARSE_WITH_FOCUS.
	(applyWithFocus, applyWithFocus$X, evalToFocusProc, evalWithFocus,
	eval_with_focus$X):  New methods.

2003-11-08  Per Bothner  <[e-mail]>

	* XQuery.java (parse):  Update to take a Lexer rather than an InPort.

2003-11-02  Per Bothner  <[e-mail]>

	* XQParser.java (peekOperator):  Return if EOL_TOKEN and 0 nesting.
	This fixes parseUnionExpr and parseIntersectExceptExpr.
	(parseBinaryExpr):  Trivial tweak.

	* XQuery.java (parse, parseFile):  Combined to single 'parse' method.

2003-10-30  Per Bothner  <[e-mail]>

	* XQuery.java (typeMap):  New static field.
	(getTypeFor):  Use typeMap for standard Schema types.

	* XQParser.java (IMPORT_SCHEMA_TOKEN):  New constant.
	(parse):  Report that 'import schema' is unimplemented.

2003-10-29  Per Bothner  <[e-mail]>

	* XQParser.java (parse):  Use BeginExp.canonicalize(Expression[])).

2003-10-19  Per Bothner  <[e-mail]>

	* XQuery.java (parse, parseFile):  Pass this to Compilation.

2003-10-16  Per Bothner  <[e-mail]>

	* XQParser.java (peekOperator):  Recognize 'except' and 'intersect'.
	(makeBinary):  Handle OP_EXCEPT and OP_INTERSECT.
	(parseUnionExpr, parseIntersectExceptExpr):  Call peekOperator.

	* XQParser.java (parseExprSingle):  New method.
	Use it where appropriate.

	* XQParser.java (parseMaybePrimaryExpr):  Handle 'every' and 'some'.
	(parseQuantifiedExpr):  New method.

	* XQParser.java (setType):  New helper method
	(parseFLWRExpression):  Call parseOptionalTypeDeclaration and setType.
	(parseFLWRExpression):  Handle subsequence 'for/let' clauses.
	(parseFLWRExpression):  Detect 'order' and print "not implemented".

	* XQParser.java (tokenString):  New debug helper method.

2003-10-12  Per Bothner  <[e-mail]>

	* XQParser.java (parse):  Use Compilation.mangleURI for namespaces
	of library module declaration and import.

2003-10-11  Per Bothner  <[e-mail]>

	* XQParser.java (resolveQName, parserVariable):  New methods.
	(parseMaybePrimaryExpr):  Use parseVariable for '$' VarName.
	Set curToken before parseFLWRExpression.
	(parseFLWRExpression):  Use parseVariable.
	(parseFLWRExpression):  Use resolveQName and parseVariable.
	(parse):  For 'declare variable' use parseVariable.
	Check if 'local:' prefix and set privacy flag appropriately.
	(parseTypeSwitch):  Update typeswitch syntax - handling of 'as'.

2003-10-09  Per Bothner  <[e-mail]>

	* XQParser.java	(parseFLWRExpression/3):  Inline into single caller.
	(parseFunctionDefinition):  make function static only if module is.
	* XQuery.java (parse, parseFile):  Revert change making modules static.

2003-10-08  Per Bothner  <[e-mail]>

	* XQParser.java (peekOperator):  Handle ValueComp operators 'eq' ...
	by mapping them to GeneralComp operators '=' ... .

	* XQParser.java (parseUnaryExpr):  Provide implementation.

	* XQParser.java:  Initial support for modules.
	(IMPORT_MODULE_TOKEN, MODULE_NAMESPACE_TOKEN):  New constant.
	(peekOperand):  Recognize new compound tokens.
	(pushStandardNamespaces):  Define kawa and qexo prefixes.
	(parseMaybePrimaryExpr):  Better handling of function names.
	(parseFunctionDefinition):  Likewise.  Make functions static.
	'local' prefix sets private flag.
	(parse):  Recognize module declaration and module import.
	'declare function namespace' is now supported.
	(getRawToken):  Recognize ';'.
	* XQuery.java (KAWA_FUNCTION_NAMESPACE):  New constant.
	(parse):  XQuery modules are now static.
	(define, define_method):  New method overrides.
	(<init>):  Initialize qexo namespace.
	Don't define 'define'.

2003-09-28  Per Bothner  <[e-mail]>

	* XQParser.java (getRawToken):  Add missing tokenBufferAppend.