@stxt-lang/core 0.9.1 → 0.11.0

package/README.md

@@ -117,7 +117,6 @@ import {
     Parser,
     UnifiedSchemaProvider,
     SchemaValidator,
-    ConditionalValidator,
     ValidationException,
 } from '@stxt-lang/core';
 
@@ -138,8 +137,8 @@ const provider = new UnifiedSchemaProvider();
 provider.addFile(schemaText);
 
 const parser = new Parser();
-// ConditionalValidator only validates nodes that carry a namespace
-parser.registerValidator(new ConditionalValidator(new SchemaValidator(provider)));
+// Only nodes that carry a namespace are validated; free nodes pass through
+parser.registerValidator(new SchemaValidator(provider));
 
 const result = parser.parseResult(documentText);
 
@@ -223,7 +222,7 @@ class NodeEnvironment implements DiscoveryEnvironment {
 With those in place, resolving a document and validating it is two steps — and note that `DiscoveryResult` implements `SchemaProvider`, so it goes straight into the validator:
 
 ```ts
-import { Parser, SchemaValidator, ConditionalValidator } from '@stxt-lang/core';
+import { Parser, SchemaValidator } from '@stxt-lang/core';
 
 const resolver = new DiscoveryResolver(new NodeFileSystem(), new NodeEnvironment());
 
@@ -240,7 +239,7 @@ for (const error of result.getErrors()) {
 }
 
 const parser = new Parser();
-parser.registerValidator(new ConditionalValidator(new SchemaValidator(result)));
+parser.registerValidator(new SchemaValidator(result));
 
 const parsed = parser.parseResult(documentText);
 ```
@@ -297,10 +296,11 @@ const doc = NodeWriter.toSTXTDocs(result.getNodes(), IndentStyle.SPACES_4);
 Everything importable from the package:
 
 - **Parsing** — `Node`, `InlineNode`, `TextNode`, `Parser`, `ParseResult`, `Line`, `Constants`, `parseLine`, `StringUtils`
-- **Exceptions** — `ParseException`, `ValidationException`
-- **Extension points** — `Observer`
-- **Schemas** — `Schema`, `SchemaValidator`, `SchemaProvider`, `NodeDefinition`, `ChildDefinition`, `transformNodeToSchema`, `transformTemplateNodeToSchema`
-- **Runtime** — `UnifiedSchemaProvider`, `ConditionalValidator`, `NodeWriter`, `IndentStyle`
+- **Exceptions** — `ParseException`, `ValidationException`, `RuntimeException`
+- **Extension points** — `Observer`, `Validator`
+- **Schemas** — `Schema`, `SchemaValidator`, `SchemaProvider`, `SchemaProviderMemory`, `SchemaProviderMeta`, `NodeDefinition`, `ChildDefinition`, `TypeRegistry`, `Type`, `transformNodeToSchema`
+- **Templates** — `transformTemplateNodeToSchema`, `TEMPLATE_NAMESPACE`, `TemplateSchemaProviderMemory`, `MetaTemplateSchemaProvider`
+- **Runtime** — `UnifiedSchemaProvider`, `NodeWriter`, `IndentStyle`
 - **Discovery** — `DiscoveryResolver`, `DiscoveryOptions`, `DiscoveryResult`, `DiscoveryDefinition`, `DiscoveryLevel`, `DiscoveryError`, `DiscoveryFileSystem`, `DiscoveryEntry`, `DiscoveryEnvironment`
 
 ## License

package/out/all.d.ts

@@ -5,23 +5,36 @@ export { Parser } from "./core/Parser";
 export { ParseResult } from "./core/ParseResult";
 export { Line } from "./core/Line";
 export { Constants } from "./core/Constants";
+/**
+ * Version of STXT-SPEC (the base syntax) this library implements, distinct from the version of
+ * the package; each specification is versioned independently (STXT-SPEC §1.1). Same value as
+ * `Constants.SPEC_VERSION`.
+ */
+export declare const SPEC_VERSION: string;
 export { parseLine } from "./core/LineParser";
 export { StringUtils } from "./core/StringUtils";
 export { ParseException } from "./exceptions/ParseException";
 export { ValidationException } from "./exceptions/ValidationException";
+export { RuntimeException } from "./exceptions/RuntimeException";
 export { Observer } from "./processors/Observer";
+export { Validator } from "./processors/Validator";
 export { Schema } from "./schema/Schema";
 export { SchemaValidator } from "./schema/SchemaValidator";
 export { SchemaProvider } from "./schema/SchemaProvider";
+export { SchemaProviderMemory } from "./schema/SchemaProviderMemory";
+export { SchemaProviderMeta } from "./schema/SchemaProviderMeta";
+export { TypeRegistry } from "./schema/TypeRegistry";
+export type { Type } from "./schema/Type";
 export { NodeDefinition } from "./schema/NodeDefinition";
 export { ChildDefinition } from "./schema/ChildDefinition";
 export { transformNodeToSchema } from "./schema/SchemaParser";
 export { UnifiedSchemaProvider } from "./runtime/UnifiedSchemaProvider";
-export { ConditionalValidator } from "./runtime/ConditionalValidator";
 export { NodeWriter, IndentStyle } from "./runtime/NodeWriter";
 export { toCanonicalTree, toCanonicalJson } from "./runtime/TreeJson";
 export type { CanonicalDocument, CanonicalNode, CanonicalInlineNode, CanonicalBlockNode } from "./runtime/TreeJson";
-export { transformTemplateNodeToSchema } from "./template/TemplateParser";
+export { transformTemplateNodeToSchema, TEMPLATE_NAMESPACE } from "./template/TemplateParser";
+export { TemplateSchemaProviderMemory } from "./template/TemplateSchemaProviderMemory";
+export { MetaTemplateSchemaProvider } from "./template/MetaTemplateSchemaProvider";
 export { DiscoveryResolver, DiscoveryOptions } from "./discovery/DiscoveryResolver";
 export { DiscoveryResult, DiscoveryDefinition, DiscoveryLevel } from "./discovery/DiscoveryResult";
 export { DiscoveryError } from "./discovery/DiscoveryError";

package/out/all.js

@@ -3,7 +3,7 @@
 // Anything that should be consumable by third parties (e.g. the VSCode extension)
 // has to be re-exported from here.
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.DiscoveryError = exports.DiscoveryResult = exports.DiscoveryResolver = exports.transformTemplateNodeToSchema = exports.toCanonicalJson = exports.toCanonicalTree = exports.IndentStyle = exports.NodeWriter = exports.ConditionalValidator = exports.UnifiedSchemaProvider = exports.transformNodeToSchema = exports.ChildDefinition = exports.NodeDefinition = exports.SchemaValidator = exports.Schema = exports.ValidationException = exports.ParseException = exports.StringUtils = exports.parseLine = exports.Constants = exports.Line = exports.ParseResult = exports.Parser = exports.TextNode = exports.InlineNode = exports.Node = void 0;
+exports.DiscoveryError = exports.DiscoveryResult = exports.DiscoveryResolver = exports.MetaTemplateSchemaProvider = exports.TemplateSchemaProviderMemory = exports.TEMPLATE_NAMESPACE = exports.transformTemplateNodeToSchema = exports.toCanonicalJson = exports.toCanonicalTree = exports.IndentStyle = exports.NodeWriter = exports.UnifiedSchemaProvider = exports.transformNodeToSchema = exports.ChildDefinition = exports.NodeDefinition = exports.TypeRegistry = exports.SchemaProviderMeta = exports.SchemaProviderMemory = exports.SchemaValidator = exports.Schema = exports.RuntimeException = exports.ValidationException = exports.ParseException = exports.StringUtils = exports.parseLine = exports.SPEC_VERSION = exports.Constants = exports.Line = exports.ParseResult = exports.Parser = exports.TextNode = exports.InlineNode = exports.Node = void 0;
 var Node_1 = require("./core/Node");
 Object.defineProperty(exports, "Node", { enumerable: true, get: function () { return Node_1.Node; } });
 var InlineNode_1 = require("./core/InlineNode");
@@ -18,6 +18,13 @@ var Line_1 = require("./core/Line");
 Object.defineProperty(exports, "Line", { enumerable: true, get: function () { return Line_1.Line; } });
 var Constants_1 = require("./core/Constants");
 Object.defineProperty(exports, "Constants", { enumerable: true, get: function () { return Constants_1.Constants; } });
+const Constants_2 = require("./core/Constants");
+/**
+ * Version of STXT-SPEC (the base syntax) this library implements, distinct from the version of
+ * the package; each specification is versioned independently (STXT-SPEC §1.1). Same value as
+ * `Constants.SPEC_VERSION`.
+ */
+exports.SPEC_VERSION = Constants_2.Constants.SPEC_VERSION;
 var LineParser_1 = require("./core/LineParser");
 Object.defineProperty(exports, "parseLine", { enumerable: true, get: function () { return LineParser_1.parseLine; } });
 var StringUtils_1 = require("./core/StringUtils");
@@ -26,10 +33,18 @@ var ParseException_1 = require("./exceptions/ParseException");
 Object.defineProperty(exports, "ParseException", { enumerable: true, get: function () { return ParseException_1.ParseException; } });
 var ValidationException_1 = require("./exceptions/ValidationException");
 Object.defineProperty(exports, "ValidationException", { enumerable: true, get: function () { return ValidationException_1.ValidationException; } });
+var RuntimeException_1 = require("./exceptions/RuntimeException");
+Object.defineProperty(exports, "RuntimeException", { enumerable: true, get: function () { return RuntimeException_1.RuntimeException; } });
 var Schema_1 = require("./schema/Schema");
 Object.defineProperty(exports, "Schema", { enumerable: true, get: function () { return Schema_1.Schema; } });
 var SchemaValidator_1 = require("./schema/SchemaValidator");
 Object.defineProperty(exports, "SchemaValidator", { enumerable: true, get: function () { return SchemaValidator_1.SchemaValidator; } });
+var SchemaProviderMemory_1 = require("./schema/SchemaProviderMemory");
+Object.defineProperty(exports, "SchemaProviderMemory", { enumerable: true, get: function () { return SchemaProviderMemory_1.SchemaProviderMemory; } });
+var SchemaProviderMeta_1 = require("./schema/SchemaProviderMeta");
+Object.defineProperty(exports, "SchemaProviderMeta", { enumerable: true, get: function () { return SchemaProviderMeta_1.SchemaProviderMeta; } });
+var TypeRegistry_1 = require("./schema/TypeRegistry");
+Object.defineProperty(exports, "TypeRegistry", { enumerable: true, get: function () { return TypeRegistry_1.TypeRegistry; } });
 var NodeDefinition_1 = require("./schema/NodeDefinition");
 Object.defineProperty(exports, "NodeDefinition", { enumerable: true, get: function () { return NodeDefinition_1.NodeDefinition; } });
 var ChildDefinition_1 = require("./schema/ChildDefinition");
@@ -38,8 +53,6 @@ var SchemaParser_1 = require("./schema/SchemaParser");
 Object.defineProperty(exports, "transformNodeToSchema", { enumerable: true, get: function () { return SchemaParser_1.transformNodeToSchema; } });
 var UnifiedSchemaProvider_1 = require("./runtime/UnifiedSchemaProvider");
 Object.defineProperty(exports, "UnifiedSchemaProvider", { enumerable: true, get: function () { return UnifiedSchemaProvider_1.UnifiedSchemaProvider; } });
-var ConditionalValidator_1 = require("./runtime/ConditionalValidator");
-Object.defineProperty(exports, "ConditionalValidator", { enumerable: true, get: function () { return ConditionalValidator_1.ConditionalValidator; } });
 var NodeWriter_1 = require("./runtime/NodeWriter");
 Object.defineProperty(exports, "NodeWriter", { enumerable: true, get: function () { return NodeWriter_1.NodeWriter; } });
 Object.defineProperty(exports, "IndentStyle", { enumerable: true, get: function () { return NodeWriter_1.IndentStyle; } });
@@ -48,6 +61,11 @@ Object.defineProperty(exports, "toCanonicalTree", { enumerable: true, get: funct
 Object.defineProperty(exports, "toCanonicalJson", { enumerable: true, get: function () { return TreeJson_1.toCanonicalJson; } });
 var TemplateParser_1 = require("./template/TemplateParser");
 Object.defineProperty(exports, "transformTemplateNodeToSchema", { enumerable: true, get: function () { return TemplateParser_1.transformTemplateNodeToSchema; } });
+Object.defineProperty(exports, "TEMPLATE_NAMESPACE", { enumerable: true, get: function () { return TemplateParser_1.TEMPLATE_NAMESPACE; } });
+var TemplateSchemaProviderMemory_1 = require("./template/TemplateSchemaProviderMemory");
+Object.defineProperty(exports, "TemplateSchemaProviderMemory", { enumerable: true, get: function () { return TemplateSchemaProviderMemory_1.TemplateSchemaProviderMemory; } });
+var MetaTemplateSchemaProvider_1 = require("./template/MetaTemplateSchemaProvider");
+Object.defineProperty(exports, "MetaTemplateSchemaProvider", { enumerable: true, get: function () { return MetaTemplateSchemaProvider_1.MetaTemplateSchemaProvider; } });
 var DiscoveryResolver_1 = require("./discovery/DiscoveryResolver");
 Object.defineProperty(exports, "DiscoveryResolver", { enumerable: true, get: function () { return DiscoveryResolver_1.DiscoveryResolver; } });
 var DiscoveryResult_1 = require("./discovery/DiscoveryResult");

package/out/core/Constants.d.ts

@@ -1,5 +1,13 @@
 /** Characters and sizes fixed by STXT-SPEC that the parser and the writer share. */
 export declare class Constants {
+    /**
+     * Version of STXT-SPEC (the base syntax) this library implements; "STXT 1.0" on its own means
+     * this number (STXT-SPEC §1.1). Each specification is versioned independently, so the schema,
+     * template, tree and discovery specs may carry other numbers. It is distinct from the version
+     * of the package: the package may be released many times against the same specification
+     * version.
+     */
+    static readonly SPEC_VERSION: string;
     /** Character that opens a comment line. */
     static readonly COMMENT_CHAR: string;
     /** Number of spaces that make up one indentation level. */

package/out/core/Constants.js

@@ -5,6 +5,14 @@ exports.Constants = void 0;
 class Constants {
 }
 exports.Constants = Constants;
+/**
+ * Version of STXT-SPEC (the base syntax) this library implements; "STXT 1.0" on its own means
+ * this number (STXT-SPEC §1.1). Each specification is versioned independently, so the schema,
+ * template, tree and discovery specs may carry other numbers. It is distinct from the version
+ * of the package: the package may be released many times against the same specification
+ * version.
+ */
+Constants.SPEC_VERSION = "1.0";
 /** Character that opens a comment line. */
 Constants.COMMENT_CHAR = "#";
 /** Number of spaces that make up one indentation level. */

package/out/core/Line.d.ts

@@ -15,8 +15,8 @@ export declare class Line {
     readonly isComment: boolean;
     /** True if the line is a text line belonging to an open BLOCK node (`>>`). */
     readonly isBlock: boolean;
-    /** Number of characters the indentation took up. */
-    readonly indentLength: number;
+    /** Index of the first character of the content (the number of characters the indentation took up). */
+    readonly contentStart: number;
     /**
      * Creates a line already split into indentation and content.
      *
@@ -24,9 +24,9 @@ export declare class Line {
      * @param content content of the line without its indentation.
      * @param isComment true if the line is a comment.
      * @param isBlock true if the line belongs to an open text block.
-     * @param indentLength number of characters the indentation took up.
+     * @param contentStart index of the first character of the content, i.e. the number of characters the indentation took up.
      */
-    constructor(level: number, content: string, isComment: boolean, isBlock: boolean, indentLength: number);
+    constructor(level: number, content: string, isComment: boolean, isBlock: boolean, contentStart: number);
     /** @returns true if the line has no content beyond blanks (space/tab only, spec 4). */
     isEmpty(): boolean;
 }

package/out/core/Line.js

@@ -15,14 +15,14 @@ class Line {
      * @param content content of the line without its indentation.
      * @param isComment true if the line is a comment.
      * @param isBlock true if the line belongs to an open text block.
-     * @param indentLength number of characters the indentation took up.
+     * @param contentStart index of the first character of the content, i.e. the number of characters the indentation took up.
      */
-    constructor(level, content, isComment, isBlock, indentLength) {
+    constructor(level, content, isComment, isBlock, contentStart) {
         this.level = level;
         this.content = content;
         this.isComment = isComment;
         this.isBlock = isBlock;
-        this.indentLength = indentLength;
+        this.contentStart = contentStart;
     }
     /** @returns true if the line has no content beyond blanks (space/tab only, spec 4). */
     isEmpty() {

package/out/core/LineParser.js

@@ -68,7 +68,9 @@ function parseLine(line, lastNodeBlock, lastLevel, numLine, validate = true) {
             if (validate && sawSpace && sawTab && text.length > 0) {
                 throw new ParseException_1.ParseException(numLine, "INDENTATION_MIXED", `Mixed tabs and spaces in indentation`);
             }
-            return new Line_1.Line(level, text, false, true, pointer);
+            // pointer is the index of the indentation character that crossed the block level;
+            // the indentation took pointer + 1 characters
+            return new Line_1.Line(level, text, false, true, pointer + 1);
         }
         // Move the pointer forward
         pointer++;

package/out/core/Node.d.ts

@@ -51,12 +51,6 @@ export declare abstract class Node {
     setName(name: string): void;
     /** @returns the canonical name of the node (STXT-SPEC §4.3), used to compare/look up by structural identity. */
     getCanonicalName(): string;
-    /**
-     * @returns the canonical name of the node.
-     * @deprecated since 0.7.0, use {@link Node.getCanonicalName}; "canonical name" is the term of
-     *             the specifications. To be removed in a later version.
-     */
-    getNormalizedName(): string;
     /** @returns the canonical name prefixed by the effective namespace (`namespace:name`), or just the canonical name when there is no namespace. */
     getQualifiedName(): string;
     /** @returns the namespace this node declares itself, lower-cased, or the empty string if it declares none (and so inherits the parent's). */

package/out/core/Node.js

@@ -68,14 +68,6 @@ class Node {
     getCanonicalName() {
         return this.canonicalName;
     }
-    /**
-     * @returns the canonical name of the node.
-     * @deprecated since 0.7.0, use {@link Node.getCanonicalName}; "canonical name" is the term of
-     *             the specifications. To be removed in a later version.
-     */
-    getNormalizedName() {
-        return this.canonicalName;
-    }
     /** @returns the canonical name prefixed by the effective namespace (`namespace:name`), or just the canonical name when there is no namespace. */
     getQualifiedName() {
         const namespace = this.getNamespace();

package/out/discovery/DiscoveryResult.d.ts

@@ -35,7 +35,7 @@ export interface DiscoveryLevel {
  * error found along the way.
  *
  * It implements {@link SchemaProvider}, so it can be handed directly to a
- * `SchemaValidator`/`ConditionalValidator` to validate the document it was resolved for.
+ * `SchemaValidator` to validate the document it was resolved for.
  * Like `UnifiedSchemaProvider`, it serves the meta-schemas of the two reserved namespaces
  * itself, so schema and template documents also validate against it.
  */

package/out/discovery/DiscoveryResult.js

@@ -8,7 +8,7 @@ const StringUtils_1 = require("../core/StringUtils");
  * error found along the way.
  *
  * It implements {@link SchemaProvider}, so it can be handed directly to a
- * `SchemaValidator`/`ConditionalValidator` to validate the document it was resolved for.
+ * `SchemaValidator` to validate the document it was resolved for.
  * Like `UnifiedSchemaProvider`, it serves the meta-schemas of the two reserved namespaces
  * itself, so schema and template documents also validate against it.
  */

package/out/exceptions/ParseException.d.ts

@@ -15,6 +15,12 @@ export declare class ParseException extends Error {
      * @param message descriptive message.
      */
     constructor(line: number, code: string, message: string);
-    /** @returns a readable representation of the error, with its line and its code. */
+    /**
+     * The string form carries the frame that `message` deliberately leaves out: `message` is only
+     * the description, and the code and the line are separate fields that whoever formats output
+     * composes. Same framing in every port since 0.10.0.
+     *
+     * @returns `[CODE] line N: message`.
+     */
     toString(): string;
 }

package/out/exceptions/ParseException.js

@@ -20,9 +20,15 @@ class ParseException extends Error {
         this.code = code;
         Object.setPrototypeOf(this, ParseException.prototype);
     }
-    /** @returns a readable representation of the error, with its line and its code. */
+    /**
+     * The string form carries the frame that `message` deliberately leaves out: `message` is only
+     * the description, and the code and the line are separate fields that whoever formats output
+     * composes. Same framing in every port since 0.10.0.
+     *
+     * @returns `[CODE] line N: message`.
+     */
     toString() {
-        return `${this.name} [line=${this.line}, code=${this.code}]: ${this.message}`;
+        return `[${this.code}] line ${this.line}: ${this.message}`;
     }
 }
 exports.ParseException = ParseException;

package/out/exceptions/RuntimeException.d.ts

@@ -15,6 +15,11 @@ export declare class RuntimeException extends Error {
     constructor(code: string, message: string);
     /** @returns the error code in UPPERCASE. */
     getCode(): string;
-    /** @returns a readable representation of the error, with its code. */
+    /**
+     * The string form carries the frame that `message` deliberately leaves out; same framing in
+     * every port since 0.10.0.
+     *
+     * @returns `[CODE] message`.
+     */
     toString(): string;
 }

package/out/exceptions/RuntimeException.js

@@ -23,10 +23,14 @@ class RuntimeException extends Error {
     getCode() {
         return this.code;
     }
-    /** @returns a readable representation of the error, with its code. */
+    /**
+     * The string form carries the frame that `message` deliberately leaves out; same framing in
+     * every port since 0.10.0.
+     *
+     * @returns `[CODE] message`.
+     */
     toString() {
-        const message = this.message;
-        return `${this.name}[${this.code}]${message ? `: ${message}` : ""}`;
+        return `[${this.code}] ${this.message}`;
     }
 }
 exports.RuntimeException = RuntimeException;

package/out/schema/ChildDefinition.d.ts

@@ -1,6 +1,6 @@
 /** Definition of an expected child inside a {@link NodeDefinition}: name, namespace and min/max cardinality. */
 export declare class ChildDefinition {
-    private readonly normalizedName;
+    private readonly canonicalName;
     private readonly name;
     private readonly namespace;
     private readonly min;
@@ -20,11 +20,6 @@ export declare class ChildDefinition {
     getName(): string;
     /** @returns the canonical name of the expected child. */
     getCanonicalName(): string;
-    /**
-     * @returns the canonical name of the expected child.
-     * @deprecated since 0.7.0, use getCanonicalName().
-     */
-    getNormalizedName(): string;
     /** @returns the namespace of the expected child, or the empty string if it has none. */
     getNamespace(): string;
     /** @returns the minimum cardinality, or null if there is no minimum. */
@@ -36,7 +31,7 @@ export declare class ChildDefinition {
     /** @returns a plain object with the definition, so that JSON.stringify serializes it. */
     toJSON(): {
         name: string;
-        normalizedName: string;
+        canonicalName: string;
         namespace: string;
         min: number | null;
         max: number | null;

package/out/schema/ChildDefinition.js

@@ -18,7 +18,7 @@ class ChildDefinition {
      */
     constructor(name, namespace, min, max, numLine) {
         this.name = StringUtils_1.StringUtils.compactSpaces(name);
-        this.normalizedName = StringUtils_1.StringUtils.normalize(name);
+        this.canonicalName = StringUtils_1.StringUtils.normalize(name);
         this.namespace = StringUtils_1.StringUtils.lowerCase(namespace);
         this.min = min;
         this.max = max;
@@ -33,14 +33,7 @@ class ChildDefinition {
     }
     /** @returns the canonical name of the expected child. */
     getCanonicalName() {
-        return this.normalizedName;
-    }
-    /**
-     * @returns the canonical name of the expected child.
-     * @deprecated since 0.7.0, use getCanonicalName().
-     */
-    getNormalizedName() {
-        return this.normalizedName;
+        return this.canonicalName;
     }
     /** @returns the namespace of the expected child, or the empty string if it has none. */
     getNamespace() {
@@ -57,14 +50,14 @@ class ChildDefinition {
     /** @returns the canonical name prefixed by its namespace, used as the key in {@link NodeDefinition.getChildren}. */
     getQualifiedName() {
         return this.namespace.length === 0
-            ? this.normalizedName
-            : `${this.namespace}:${this.normalizedName}`;
+            ? this.canonicalName
+            : `${this.namespace}:${this.canonicalName}`;
     }
     /** @returns a plain object with the definition, so that JSON.stringify serializes it. */
     toJSON() {
         return {
             name: this.getName(),
-            normalizedName: this.getNormalizedName(),
+            canonicalName: this.getCanonicalName(),
             namespace: this.getNamespace(),
             min: this.getMin(),
             max: this.getMax(),

package/out/schema/NodeDefinition.d.ts

@@ -5,7 +5,7 @@ import { ChildDefinition } from "./ChildDefinition";
  */
 export declare class NodeDefinition {
     private readonly name;
-    private readonly normalizedName;
+    private readonly canonicalName;
     private readonly type;
     private description;
     private readonly children;
@@ -24,11 +24,6 @@ export declare class NodeDefinition {
     getName(): string;
     /** @returns the canonical name of the node. */
     getCanonicalName(): string;
-    /**
-     * @returns the canonical name of the node.
-     * @deprecated since 0.7.0, use getCanonicalName().
-     */
-    getNormalizedName(): string;
     /** @returns the name of the value type of this node (see {@link TypeRegistry}). */
     getType(): string;
     /** @returns the definitions of the expected children, indexed by their qualified canonical name. */
@@ -68,12 +63,12 @@ export declare class NodeDefinition {
     /** @returns a plain object with the definition, so that JSON.stringify serializes it. */
     toJSON(): {
         name: string;
-        normalizedName: string;
+        canonicalName: string;
         type: string;
         description: string | undefined;
         children: {
             name: string;
-            normalizedName: string;
+            canonicalName: string;
             namespace: string;
             min: number | null;
             max: number | null;

package/out/schema/NodeDefinition.js

@@ -21,7 +21,7 @@ class NodeDefinition {
         this.children = new Map();
         this.values = new Set();
         this.name = StringUtils_1.StringUtils.compactSpaces(name);
-        this.normalizedName = StringUtils_1.StringUtils.normalize(name);
+        this.canonicalName = StringUtils_1.StringUtils.normalize(name);
         this.type = type;
         this.description = description;
         if (!StringUtils_1.StringUtils.isValidNodeName(this.name)) {
@@ -34,14 +34,7 @@ class NodeDefinition {
     }
     /** @returns the canonical name of the node. */
     getCanonicalName() {
-        return this.normalizedName;
-    }
-    /**
-     * @returns the canonical name of the node.
-     * @deprecated since 0.7.0, use getCanonicalName().
-     */
-    getNormalizedName() {
-        return this.normalizedName;
+        return this.canonicalName;
     }
     /** @returns the name of the value type of this node (see {@link TypeRegistry}). */
     getType() {
@@ -113,7 +106,7 @@ class NodeDefinition {
     toJSON() {
         return {
             name: this.getName(),
-            normalizedName: this.getNormalizedName(),
+            canonicalName: this.getCanonicalName(),
             type: this.getType(),
             description: this.description,
             children: Array.from(this.getChildren().values()).map(c => c.toJSON()),

package/out/schema/Schema.d.ts

@@ -15,6 +15,8 @@ export declare class Schema {
      * @throws ParseException if the namespace is not well formed.
      */
     constructor(namespace: string | null | undefined, line: number, description: string | undefined);
+    /** @returns the description of the schema (STXT-SCHEMA-SPEC §6.1), or undefined if it has none. */
+    getDescription(): string | undefined;
     /** @returns the node definitions, indexed by their canonical name. */
     getNodes(): ReadonlyMap<string, NodeDefinition>;
     /**
@@ -38,12 +40,12 @@ export declare class Schema {
         namespace: string;
         nodes: {
             name: string;
-            normalizedName: string;
+            canonicalName: string;
             type: string;
             description: string | undefined;
             children: {
                 name: string;
-                normalizedName: string;
+                canonicalName: string;
                 namespace: string;
                 min: number | null;
                 max: number | null;

package/out/schema/Schema.js

@@ -20,6 +20,10 @@ class Schema {
         this.description = description;
         NamespaceValidator_1.NamespaceValidator.validateNamespaceFormat(this.namespace, line);
     }
+    /** @returns the description of the schema (STXT-SCHEMA-SPEC §6.1), or undefined if it has none. */
+    getDescription() {
+        return this.description;
+    }
     /** @returns the node definitions, indexed by their canonical name. */
     getNodes() {
         return this.nodes;

package/out/schema/SchemaParser.js

@@ -100,6 +100,11 @@ function createFrom(node, namespace) {
         const valuesNode = valuesNodes[0];
         const values = inline(valuesNode).getChildrenByName("value");
         for (const v of values) {
+            // An empty Value: is a schema error (STXT-SCHEMA-SPEC 7.2, condition 14 of section 13):
+            // an enumeration whose only valid value is the empty string makes no sense
+            if (v.getText().length === 0) {
+                throw new ValidationException_1.ValidationException(v.getLine(), "VALUE_EMPTY", "Value of ENUM cannot be empty");
+            }
             result.addValue(v.getText(), v.getLine());
         }
         // For the final ENUM check

package/out/schema/type/BASE64.d.ts

@@ -1,3 +1,12 @@
 import { Type } from "../Type";
+/**
+ * STXT-SCHEMA-SPEC 9.5: standard Base64 (not URL-safe), padding optional, no leftover bits,
+ * never empty. The check is a regular expression plus the leftover-bits rule, never the
+ * platform decoder, which silently ignores characters outside the alphabet.
+ *
+ * @param value value already stripped of blanks.
+ * @returns whether it is valid Base64.
+ */
+export declare function isValidBase64(value: string): boolean;
 /** `BASE64` type: checks that the content is valid Base64. */
 export declare const BASE64: Type;

package/out/schema/type/BASE64.js

@@ -1,29 +1,46 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.BASE64 = void 0;
+exports.isValidBase64 = isValidBase64;
 const ValidationException_1 = require("../../exceptions/ValidationException");
 const binaryValue_1 = require("./binaryValue");
+/** Standard alphabet of RFC 4648 section 4, used to check the leftover bits of the last character. */
+const ALPHABET = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/";
+/**
+ * Shape of a Base64 value (STXT-SCHEMA-SPEC 9.5): groups of four characters of the standard
+ * alphabet, with an optional final group of two or three characters whose `=` padding may be
+ * omitted. The empty string matches here and is rejected separately.
+ */
+const SHAPE = /^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}(?:==)?|[A-Za-z0-9+/]{3}=?)?$/;
+/**
+ * STXT-SCHEMA-SPEC 9.5: standard Base64 (not URL-safe), padding optional, no leftover bits,
+ * never empty. The check is a regular expression plus the leftover-bits rule, never the
+ * platform decoder, which silently ignores characters outside the alphabet.
+ *
+ * @param value value already stripped of blanks.
+ * @returns whether it is valid Base64.
+ */
+function isValidBase64(value) {
+    if (value.length === 0 || !SHAPE.test(value)) {
+        return false;
+    }
+    const data = value.replace(/=+$/, "");
+    const rest = data.length % 4;
+    if (rest === 0) {
+        return true;
+    }
+    // The last character encodes 6 bits; with 2 characters 4 of them are leftover, with 3, 2 of them.
+    const last = ALPHABET.indexOf(data.charAt(data.length - 1));
+    const mask = rest === 2 ? 0x0f : 0x03;
+    return (last & mask) === 0;
+}
 /** `BASE64` type: checks that the content is valid Base64. */
 exports.BASE64 = {
     getName() {
         return "BASE64";
     },
     validate(ndef, n) {
-        const raw = (0, binaryValue_1.binaryValue)(n);
-        try {
-            // Try to decode it
-            const buf = Buffer.from(raw, "base64");
-            // Re-encode to check consistency
-            // (this keeps partially valid strings out)
-            const reencoded = buf.toString("base64");
-            // Normalize the padding before comparing
-            const normalizedInput = raw.replace(/=+$/, "");
-            const normalizedReencoded = reencoded.replace(/=+$/, "");
-            if (normalizedInput !== normalizedReencoded) {
-                throw new ValidationException_1.ValidationException(n.getLine(), "INVALID_VALUE", `Node '${n.getName()}' Invalid Base64`);
-            }
-        }
-        catch {
+        if (!isValidBase64((0, binaryValue_1.binaryValue)(n))) {
             throw new ValidationException_1.ValidationException(n.getLine(), "INVALID_VALUE", `Node '${n.getName()}' Invalid Base64`);
         }
     },

package/out/schema/type/binaryValue.d.ts

@@ -1,11 +1,13 @@
 import { Node } from "../../core/Node";
 /**
  * STXT-SCHEMA-SPEC 9.5: effective value for the INLINE/BLOCK binary types
- * (HEXADECIMAL, BINARY, BASE64). In BLOCK form, validation applies to the
- * concatenation of the lines of the block, ignoring line breaks, empty lines
- * and the leading and trailing spaces or tabs of each line.
+ * (HEXADECIMAL, BINARY, BASE64). Every blank (U+0020 space, U+0009 tab) is
+ * removed wherever it is, in both forms; in BLOCK form the lines are
+ * concatenated first, which also drops line breaks and empty lines. So
+ * `DE AD BE EF`, `1010 1010` and Base64 wrapped at 76 columns validate. No
+ * other character is removed: `DE:AD` or `DE-AD` stay invalid.
  *
  * @param node node whose value is wanted.
- * @returns the inline value, or the lines of the block already concatenated.
+ * @returns the value with no blanks, ready for the grammar of the type.
  */
 export declare function binaryValue(node: Node): string;

package/out/schema/type/binaryValue.js

@@ -4,17 +4,17 @@ exports.binaryValue = binaryValue;
 const TextNode_1 = require("../../core/TextNode");
 /**
  * STXT-SCHEMA-SPEC 9.5: effective value for the INLINE/BLOCK binary types
- * (HEXADECIMAL, BINARY, BASE64). In BLOCK form, validation applies to the
- * concatenation of the lines of the block, ignoring line breaks, empty lines
- * and the leading and trailing spaces or tabs of each line.
+ * (HEXADECIMAL, BINARY, BASE64). Every blank (U+0020 space, U+0009 tab) is
+ * removed wherever it is, in both forms; in BLOCK form the lines are
+ * concatenated first, which also drops line breaks and empty lines. So
+ * `DE AD BE EF`, `1010 1010` and Base64 wrapped at 76 columns validate. No
+ * other character is removed: `DE:AD` or `DE-AD` stay invalid.
  *
  * @param node node whose value is wanted.
- * @returns the inline value, or the lines of the block already concatenated.
+ * @returns the value with no blanks, ready for the grammar of the type.
  */
 function binaryValue(node) {
-    if (!(node instanceof TextNode_1.TextNode)) {
-        return node.getText();
-    }
-    return node.getTextLines().map((line) => line.trim()).join("");
+    const raw = node instanceof TextNode_1.TextNode ? node.getTextLines().join("") : node.getText();
+    return raw.replace(/[ \t]/g, "");
 }
 //# sourceMappingURL=binaryValue.js.map

package/out/template/ChildLineParser.js

@@ -77,6 +77,12 @@ class ChildLineParser {
             const list = [];
             for (let part of parts) {
                 part = part.trim();
+                // An empty item ("[a, , b]", "[a, b,]") is an error, as an empty Value: is in a
+                // schema (STXT-TEMPLATE-SPEC 14.14). Only the whole list may be empty ("[]"),
+                // which the template parser reports as VALUES_REQUIRED.
+                if (part.length === 0 && parts.length > 1) {
+                    throw new ValidationException_1.ValidationException(lineNumber, "VALUE_EMPTY", `Empty ENUM value in ${valuesStr}`);
+                }
                 if (part.length === 0) {
                     continue;
                 }

package/out/template/TemplateParser.d.ts

@@ -1,5 +1,8 @@
 import { Node } from "../core/Node";
 import { Schema } from "../schema/Schema";
+/** Namespace of the template language itself, `@stxt.template`. */
+/** Namespace of the template language itself, `@stxt.template`. */
+export declare const TEMPLATE_NAMESPACE = "@stxt.template";
 /**
  * Turns the tree of an already parsed `@stxt.template` document into an equivalent {@link Schema}.
  *

package/out/template/TemplateParser.js

@@ -1,5 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.TEMPLATE_NAMESPACE = void 0;
 exports.transformTemplateNodeToSchema = transformTemplateNodeToSchema;
 const InlineNode_1 = require("../core/InlineNode");
 const Parser_1 = require("../core/Parser");
@@ -13,7 +14,8 @@ const ParseException_1 = require("../exceptions/ParseException");
 const TypeRegistry_1 = require("../schema/TypeRegistry");
 const NamespaceValidator_1 = require("../core/NamespaceValidator");
 /** Namespace of the template language itself, `@stxt.template`. */
-const TEMPLATE_NAMESPACE = "@stxt.template";
+/** Namespace of the template language itself, `@stxt.template`. */
+exports.TEMPLATE_NAMESPACE = "@stxt.template";
 /**
  * Turns the tree of an already parsed `@stxt.template` document into an equivalent {@link Schema}.
  *
@@ -25,8 +27,8 @@ const TEMPLATE_NAMESPACE = "@stxt.template";
  */
 function transformTemplateNodeToSchema(node) {
     // The root must be `Template (@stxt.template): ns`
-    if (node.getCanonicalName() !== "template" || node.getNamespace() !== TEMPLATE_NAMESPACE) {
-        throw new ValidationException_1.ValidationException(node.getLine(), "TEMPLATE_ROOT_NOT_VALID", `Expected template(${TEMPLATE_NAMESPACE}) but got ${node.getCanonicalName()}(${node.getNamespace()})`);
+    if (node.getCanonicalName() !== "template" || node.getNamespace() !== exports.TEMPLATE_NAMESPACE) {
+        throw new ValidationException_1.ValidationException(node.getLine(), "TEMPLATE_ROOT_NOT_VALID", `Expected template(${exports.TEMPLATE_NAMESPACE}) but got ${node.getCanonicalName()}(${node.getNamespace()})`);
     }
     // The target namespace: required, and with a valid format
     const targetNamespace = StringUtils_1.StringUtils.lowerCase(node.getText());

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stxt-lang/core",
-  "version": "0.9.1",
+  "version": "0.11.0",
   "description": "Parser and schema validator for STXT, an indentation-based structured-text format.",
   "main": "out/all.js",
   "types": "out/all.d.ts",