changelog

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

2007-01-19  Per Bothner  <[e-mail]>

	* XQResolveNames.java (walkStatements, resolveModule): Remove
	pointless no-longer-erv-true isNamespaceDecl invocations.

2007-01-17  Per Bothner  <[e-mail]>

	* XQParser.java (parseTypeSwitch): Fix parsing of default case
	with variable declaration.

	* XQParser.java (parsePathExpr): Use new rootDocument node for '/'
	non-infix operator to coerce to document-node.

	* XQParser.java (baseURI): Change type to Path.
	(setStaticBaseUri, fixupStaticBaseUri): New methods.
	(getStaticBaseUri): Try Environment, then LineBufferedReader,
	then currentPath.  Then coerce to an absolute URI.
	(resolveAgainstBaseUri): Making absolute is no longer done here.

	* XQuery.java (typeMap): use new XDataType.anyAtomicType.
	* XQParser.java (parseItemType): Explicitly test
	for XDataType.anyAtomicType, which is now different from item().
	Use SingletonType.getInstance(); for item().

	* XQuery.java (initXQuery): Change implementation class of node-name.

	* XQParser.java (resolveAgainstBaseUri): New method.
	(parse): Use it to resolve 'default collation'.
	(parseFLWRExpression): Use it to resolve 'order by' collation.

	* XQParser.java (parseStepExpr): IF step is 'attribute(....)'
	then default axis is AXIS_ATTRIBUTE.

2007-01-16  Per Bothner  <[e-mail]>

	* XQuery.java (getTypeFor): Map java.lang.String to stringStringType.

	* XQuery.java (formatType): New method.

	* XQParser.java (parseRelativePathExpr): Type dot type to node.

2007-01-15  Per Bothner  <[e-mail]>

	* XQParser.java (parseContent): Make sure we don't skip boundary-space
	before a CDATA section.  Which requires some re-organizing.

	* XQuery.java (typeMap): Add mappings for normalizedString, token,
	language, NMTOKEN, Name, NCName, ID, IDREF, and ENTITY.

2007-01-14  Per Bothner  <[e-mail]>

	* XQResolveNames.java: No longer need special handling of
	current-dateTime etc, since we now use a ThreadLocal.
	(CURRENT_DATETIME_BUILTIN, CURRENT_DATE_BUILTIN, CURRENT_TIME_BUILTIN,
	IMPLICIT_TIMEZONE_BUILTIN): Remove constants.
	(<init>): No longer pushBuiltin on corresponding functions.
	(walkApplyExp): No longer handle those builtins.
	(currentDateTimeDecl, currentDateDecl, currentTimeDecl,
	currentTimezoneDecl): Remove fields.
	(resolveModule): Remove special hndling of currentDateTimeDecl etc.
	* XQuery.java (initXQuery): Declarations of current-dateTime,
	current-date, current-time, implicit-timezone moved to here.

	* XQParser.java (checkAllowedNamespaceDeclaration): New inConstructor
	parameter.  If true, allow binding xml prefix to its standard value.

	* XQParser.java (getAxis): Error if AXIS_NAMESPACE.
	Include error code on error.

	* XQParser.java (parseContent): Ignore if empty CDATA section.
	This fixes K2-ComputeConAttr-35.xq and K2-ComputeConAttr-36.xq in XQTS.

2007-01-03  Per Bothner  <[e-mail]>

	* XQParser.java (parse):  Use Path's resolve rather than deprecated
	URI_utils for collation.

2007-01-02  Per Bothner  <[e-mail]>

	* XQParser.java (maybeSetLine): New methods.  Set Expression/Declaration
	file and line - but only if file is non-null.
	(various places): Use new methods.

2006-12-29  Per Bothner  <[e-mail]>

	* XQuery.java (getTypeFor): Update to map Path to URI.

	* XQuery.java: Update for move of uriSchemeSpecified
	from InPort to Path.

2006-12-17  Per Bothner  <[e-mail]>

	* XQuery.java (registerEnvironment): Don't allocate new XQuery.

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

	* XQResolveNames.java: Update for renamed Consumer methods.

2006-12-04  Per Bothner  <[e-mail]>

	* XQParser.java (parse): Get ModuleInfo for this compilation.
	Update require.importDefinitions calls.

2006-12-01  Per Bothner  <[e-mail]>

	* XQResolveNames.java (COLLECTION_BUILTIN): New constant.
	(<init>): Declare fn:collection.
	(walkApplyExp): Handle COLLECTION_BUILTIN.
	* XQuery.java (initXQuery): Remove declaration of fn:collection.

2006-11-29  Per Bothner  <[e-mail]>

	* XQResolveNames.java (walkApplyExp): Update for moved methods
	implementing fn:doc and fn:doc-available.

2006-11-28  Per Bothner  <[e-mail]>

	* XQParser.java: Some extra check for library module namespaces.
	(libraryModuleNamespace): New field.
	(parse): Set libraryModuleNamespace.
	Error if duplicate module declaration
	(parseFunctionDefinition): Error if function namespace differs
	from library module namespace.
	(parse): Likewise for 'declare variable'.

2006-11-27  Per Bothner  <[e-mail]>

	Handle multiple functions with the same name and different arity.
	* XQuery.java (namespaceForFunctions): New static method.
	(VARIADIC_FUNCTION_NAMESPACE): New constant,
	(getNamespaceOf): Rewrite - now also encodes argument count.
	(hasNamespace): New method.
	* XQParser.java )parseFunctionDefinition): Set OVERLOADABLE_FIELD flag.
	(parsePathExpr, parseNodeTest, parseStepExpr): Change to match
	new namespace int convention,
	* XQResolveNames.java (walkReferenceExp(ReferenceExp,ApplyExp)):
	New method. If a called function, encode arg count in namespace.
	(walkApplyExp): Call walkReferenceExp on caller if appropriate.
	(withContext): Update for new namespace encoding.

	* XQParser.java (parseFunctionDefinition): Try to recover from
	syntax error in parameter list.

2006-11-26  Per Bothner  <[e-mail]>

	* XQuery.java (initXQuery): Declare fn:collection.

2006-11-25  Per Bothner  <[e-mail]>

	* XQParser.java: Update XDataType -> TextUtils.
	* XQResolveNames.java: Upadte StringValue -> TextUtils.

	* XQuery.java: Add declaration of fn:normalize-unicode.

2006-11-24  Per Bothner  <[e-mail]>

	* XQParser.java (parseDataType): Re-organize so we get error message
	if we see empty-sequence for 'cast as'/'castable as'.

	* XQResolveNames.java (CAST_AS_BUILTIN,
	CASTABLE_AS_BUILTIN): New constants.
	(castAsDecl, castableAsDecl): New static fields.
	(walkApplyExp): Support new builtins.  Specifically, inline literals
	in the QName case as required.
	* XQParser.java (parseBinaryExpr): Use new decls for OP_CASTABLE_AS
	and OP_CAST_AS.
	(castQName): Make static and chaneg return type - for walkApplyExp.

	* XQParser.java (parseTypeSwitch): Error if pedantic and no default.

2006-11-23  Per Bothner  <[e-mail]>

	* XQParser.java (parseRelativePathExpr): Set dot's type.
	(parseStepQualifiers): Likewise.

2006-11-22  Per Bothner  <[e-mail]>

	* XQResolveNames.java (walkApplyExp): On position() and last()
	set can-read flag on corresponding Declaration.

	* XQParser.java (parseContent): Don't "optimize" simple text to
	avoid use of MakeText, since the latter is now optimized.
	(parseElementConstructor): Now needs to unwrap MakeText.

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

	* XQParser.java (stringValue): Remove static method.
	(stringValueMethod): Remove static field.
	(parseContent): Don't need to take sprintValue here - now handled
	by XMLFilter.

	* XQParser.java (orderingModeSeen): New field.
	(parse): Error if duplicate ordering declaration.

2006-11-15  Per Bothner  <[e-mail]>

	* XQParser.java (parseURILiteral): Normalize whitespace.

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

	* XQParser.java: Update for functionality moved NodeTree -> XMLFilter.
	* XQResolveNames.java: Likewise.

2006-11-13  Per Bothner  <[e-mail]>

	* XQParser.java: Update.
	* XQResolveNames.java: Likewise.

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

	* XQuery.java (getFormat): Remogve unused method.
	(writeFormat): Remove unused class.

2006-10-31  Per Bothner  <[e-mail]>

	* XQuery.java (trueExp, falseExp): New static fields.
	(booleanType): Remove field - use XDataType.booleanType instead.
	(getTypeFor): Update accordingly.
	* XQParser.java (parseBinaryExpr): Use now type-correct constants.
	This simplifies optimizations at inlining time.

	* XQParser.java: Use QuoteExps that directly use RelativeStep
	and ValuesFilter instances.
	(funcForwardFilter, funcReverseFilter, funcExprFilter): Removed.

	* XQResolveNames.java:  Set type for doc and doc-available calls.

	* XQParser.java (documentNodeTest, textNodeTest, commentNodeTest,
	anyNodeTest): Removed fields, now in NodeType.
	Update various references.
	(parseRelativePathExpr): Use new DescendantOrSelfAxis.anyNode field.

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

	* XQuery.java (getExternal): Fall back to general coerceFromObject.

	* XQParser.java (getStaticBaseUri): New method.  If baseURI hasn't
	been set yet, try 'base-uri' in the environment (from command-line).
	(wrapWithBaseUri, parse): Use getStaticBaseUri.
	* XQResolveNames.java (getBaseUriExpr): Likewise.

	* XQResolveNames.java (ID_BUILTIN, IDREF_BUILTIN): New constants.
	(<init>): Push fn:id and fn:idref.
	(walkApplyExp): Handle ID_BUILTIN and IDREF_BUILTIN.

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

	* XQuery.java (typeName): Map 'NOTATION' to NotationType.
	* XQParser.java (parseItemType): Error if 'cast as' or 'castable as'
	NOTATION.  Better error message for other bad type.

	* XQResolveNames.java (walkApplyExp): Use NamespaceBinding.nconc
	instead of reversing bindings, since the chain should be in
	inverse "document order".

2006-10-26  Per Bothner  <[e-mail]>

	* XQResolveNames.java (walkStatements): New recursive helper method.
	(resolveModule): Use it, to properly handle module-level variables.

	* XQParser.java (copyNamespacesDeclarationSeen, copyNamespacesMode):
	New fields, whihc replace the old ...
	(copyNamespacesNoInherit, copyNamespacesNoPreserve): .. removed fields.
	(parseElementConstructor, parse): Copy copyNamespacesMode to
	MakeElement instance.
	(parse): Update handling of DECLARE_COPY_NAMESPACES_TOKEN.

	* XQuery.java (getExternal): Make use of new makeWithUnknownNamespace
	method in Symbol to look for definitions with prefix-only.

	* XQParser.java (makeChildAxisStep, makeDescendantAxisStep):
	New constant static fields.
	(parseNodeTest): Make use of above constants.
	Use relatively-new PrimProcedure convenience constructor.
	(parseFLWRInner): Likewise new PrimProcedure convenience constructor.
	(parseRelativePathExpr): Optimize 'E1//child::TEST' to
	'E1/descendant::TEST'.

2006-10-25  Per Bothner  <[e-mail]>

	No longer create Declarations for namespaces.
	Do create Symbols with prefixes for variable and functions.
	* XQuery.java (DEFAULT_ELEMENT_PREFIX): Use null, for consistency
	with NamespaceBinding.
	(DEFAULT_FUNCTION_PREFIX): Also change this constant for good measure.
	(parse): Set state to BODY_PARSED so we don't resolve twice.
	* XQParser.java (pushNamespace): Don't makeNamespaceDecl.
	But we now need to push DEFAULT_FUNCTION_PREFIX.
	(<init>): Don't need to push Declarations for builtin namespaces.
	(makeNamespaceDecl): Remove method.
	(parseElementConstructor): Don't need to create a lexical scope for
	namespace bindings.  Make list of NamespaceBindings for local namespace
	attributes. but not inherited ones.
	(parse): Likewise defer setting namespace bindinsg for computer
	element constructors.
	(constructorNamespaces): New field, moved from XQResolveNames.
	(namespaceResolve): To map prefix to uri search NamespaceBinding lists
	with QNameUtils.lookupPrefix, not using NameLookup and Declarationss.
	And we no longer need to use an exception handler for the error case.
	(parse): Do namespaceResolve at parse time for 'declare variable'
	and 'declare function'.  Don't push Declaration yet, though.
	Update searching for duplicate namespace declaration.
	Error if duplicate default namespace declarations seen.
	* XQResolveNames.java (makeBuiltin): Set 'fn' prefix.
	(push(Declaration)): New method.
	(push(ScopeExp)): Use previous new function.
	Simplify, since we don't have to handle namaspace declarations first.
	(walkReferenceExp): When searching in functionNamespacePath we can't
	just check if the Namespace has a matching symbol, since a different
	Namespace can have the same uri but different prefix.
	(constructorNamespaces): Field moved to XQParser.
	(walkApplyExp): Update accordingly.
	(walkApplyExp): Have to merge in namespace nodes from inherited
	constructors now, rather than in parseElementConstructor.
	(walkApplyExp): Use QNameUtils.lookupPrefix rather than resolvePrefix.

	* XQResolveNames.java (walkApplyExp): Use new StringValue.asString
	method for fn:string.

	* XQParser.java (parseDataType):  For OP_EMPTY_SEQUENCE use new
	OccurrenceType.emptySequenceType field.  Error if repeat indicator.
	(parseItemType): No longer allow OP_EMPTY_SEQUENCE here.
	Move check for invalid type fir 'cast as' or 'castable as'.

2006-10-22  Per Bothner  <[e-mail]>

	* XQuery.java (initQuery): Declare fn:nilled.

	* XQuery.java (adjust-date-to-timezone, adjust-time-to-timezone):
	These are now implemented using separate methods.

	* XQParser.java (wrapWithBaseUri): New method.
	(parseXMLConstructor, parseMaybePrimaryExpr): Use it to set
	base-uri property of constructed elements and documents.
	* XQResolveNames.java (staticBaseUriDecl): New static field.
	(apply): Updates for moved methods.
	Use getBaseUriExpr for STATIC_BASE_URI_BUILTIN.

	* XQParser.java (parseXMLConstructor): Take extra inElementContent
	parameter.  Complain if CDATA section seen and !inElementContent.
	(parseContent, parseMaybePrimaryExpr): Update callers.
	(parseElementConstructor): Don't take string value of attribute.

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

	* XQuery.java (initXQuery): fn:sum is now defined using define_method.
	Undeclare string-pad.