@stxt-lang/core 0.9.0 → 0.10.0

package/out/schema/type/ENUM.js

@@ -10,7 +10,7 @@ exports.ENUM = {
     validate(nodeDef, node) {
         // INLINE value form (STXT-SCHEMA-SPEC 9.3): the block '>>' form is not allowed
         if (node.isTextNode()) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "NOT_ALLOWED_TEXT", `Not allowed text in node ${node.getQualifiedName()}`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "BLOCK_FORM_NOT_ALLOWED", `Not allowed text in node ${node.getQualifiedName()}`);
         }
         const value = node.getText();
         const allowed = nodeDef.getValues(); // ReadonlySet<string>

package/out/schema/type/GROUP.js

@@ -10,7 +10,7 @@ exports.GROUP = {
     validate(nodeDef, node) {
         // NONE value form (STXT-SCHEMA-SPEC 9.2): neither an inline value nor a '>>' block
         if (node.isTextNode() || node.getText().length > 0) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "INVALID_VALUE", `Node '${node.getName()}' has to be empty`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "VALUE_NOT_ALLOWED", `Node '${node.getName()}' has to be empty`);
         }
     },
 };

package/out/schema/type/INLINE.js

@@ -10,7 +10,7 @@ exports.INLINE = {
     validate(nodeDef, node) {
         // INLINE value form (STXT-SCHEMA-SPEC 9.2): the block '>>' form is not allowed
         if (node.isTextNode()) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "NOT_ALLOWED_TEXT", `Not allowed text in node ${node.getQualifiedName()}`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "BLOCK_FORM_NOT_ALLOWED", `Not allowed text in node ${node.getQualifiedName()}`);
         }
     },
 };

package/out/schema/type/MARKDOWN.js

@@ -13,7 +13,7 @@ exports.MARKDOWN = {
     },
     validate(nodeDef, node) {
         if (node instanceof InlineNode_1.InlineNode && node.getChildren().length > 0) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "NOT_ALLOWED_CHILDREN_TEXT", `Not allowed children nodes in node ${node.getQualifiedName()}`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "CHILDREN_NOT_ALLOWED", `Not allowed children nodes in node ${node.getQualifiedName()}`);
         }
     },
 };

package/out/schema/type/TEXT.js

@@ -10,7 +10,7 @@ exports.TEXT = {
     },
     validate(nodeDef, node) {
         if (node instanceof InlineNode_1.InlineNode && node.getChildren().length > 0) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "NOT_ALLOWED_CHILDREN_TEXT", `Not allowed children nodes in node ${node.getQualifiedName()}`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "CHILDREN_NOT_ALLOWED", `Not allowed children nodes in node ${node.getQualifiedName()}`);
         }
     },
 };

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

@@ -1,2 +1,2 @@
-/** `TIME` type: checks the `HH:MM:SS` format. */
+/** `TIME` type: `hh:mm:ss` in range (00-23, 00-59, 00-59); no fraction, no zone (STXT-SCHEMA-SPEC 9.4). */
 export declare const TIME: import("../Type").Type;

package/out/schema/type/TIME.js

@@ -1,7 +1,8 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.TIME = void 0;
-const regexType_1 = require("./regexType");
-/** `TIME` type: checks the `HH:MM:SS` format. */
-exports.TIME = (0, regexType_1.regexType)("TIME", /^\d{2}:\d{2}:\d{2}$/, "Invalid time");
+const rangeType_1 = require("./rangeType");
+const dateTime_1 = require("./dateTime");
+/** `TIME` type: `hh:mm:ss` in range (00-23, 00-59, 00-59); no fraction, no zone (STXT-SCHEMA-SPEC 9.4). */
+exports.TIME = (0, rangeType_1.rangeType)("TIME", /^(\d{2}):(\d{2}):(\d{2})$/, m => (0, dateTime_1.isValidTime)(Number(m[1]), Number(m[2]), Number(m[3])), "Invalid time");
 //# sourceMappingURL=TIME.js.map

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

@@ -1,2 +1,5 @@
-/** `TIMESTAMP` type: checks an ISO-8601 timestamp. */
+/**
+ * `TIMESTAMP` type: `DATE "T" hh:mm [":" ss ["." digits]] ["Z" | sign hh:mm]` (STXT-SCHEMA-SPEC
+ * 9.4). Date, time and offset in range; seconds, fraction (one or more digits) and zone optional.
+ */
 export declare const TIMESTAMP: import("../Type").Type;

package/out/schema/type/TIMESTAMP.js

@@ -1,7 +1,13 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.TIMESTAMP = void 0;
-const regexType_1 = require("./regexType");
-/** `TIMESTAMP` type: checks an ISO-8601 timestamp. */
-exports.TIMESTAMP = (0, regexType_1.regexType)("TIMESTAMP", /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}(:\d{2}(\.\d{3})?)?(Z|[+-]\d{2}:\d{2})?$/, "Invalid timestamp");
+const rangeType_1 = require("./rangeType");
+const dateTime_1 = require("./dateTime");
+/**
+ * `TIMESTAMP` type: `DATE "T" hh:mm [":" ss ["." digits]] ["Z" | sign hh:mm]` (STXT-SCHEMA-SPEC
+ * 9.4). Date, time and offset in range; seconds, fraction (one or more digits) and zone optional.
+ */
+exports.TIMESTAMP = (0, rangeType_1.rangeType)("TIMESTAMP", /^(\d{4})-(\d{2})-(\d{2})T(\d{2}):(\d{2})(?::(\d{2})(?:\.\d+)?)?(?:Z|[+-](\d{2}):(\d{2}))?$/, m => (0, dateTime_1.isValidDate)(Number(m[1]), Number(m[2]), Number(m[3]))
+    && (0, dateTime_1.isValidTime)(Number(m[4]), Number(m[5]), m[6] === undefined ? 0 : Number(m[6]))
+    && (m[7] === undefined || (0, dateTime_1.isValidTime)(Number(m[7]), Number(m[8]), 0)), "Invalid timestamp");
 //# sourceMappingURL=TIMESTAMP.js.map

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

@@ -1,3 +1,10 @@
-import { Type } from "../Type";
-/** `URL` type: checks that the value is a syntactically valid URI/URL. */
-export declare const URL: Type;
+/**
+ * `URL` type: an absolute URL with a mandatory scheme and host, following the grammar of
+ * STXT-SCHEMA-SPEC 9.4 — `scheme "://" [userinfo "@"] host [":" port] ["/" path] ["?" query]
+ * ["#" fragment]` — and not the platform URL parser, so every port accepts exactly the same
+ * values. Any scheme of the form letter + letters/digits/`+`/`-`/`.` is accepted; the host is
+ * non-empty (no TLD required, IPv6 in brackets, non-ASCII kept as it is); a value without a
+ * scheme, a scheme without `//` and host (`mailto:`, `urn:`, `file:///`), inner blanks or a
+ * non-numeric port are rejected. Nothing is resolved or normalised.
+ */
+export declare const URL: import("../Type").Type;

package/out/schema/type/URL.js

@@ -1,28 +1,15 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.URL = void 0;
-const ValidationException_1 = require("../../exceptions/ValidationException");
-/** `URL` type: checks that the value is a syntactically valid URI/URL. */
-exports.URL = {
-    getName() {
-        return "URL";
-    },
-    validate(ndef, n) {
-        // INLINE value form (STXT-SCHEMA-SPEC 9.4): the block '>>' form is not allowed
-        if (n.isTextNode()) {
-            throw new ValidationException_1.ValidationException(n.getLine(), "NOT_ALLOWED_TEXT", `Not allowed text in node ${n.getQualifiedName()}`);
-        }
-        const url = n.getText();
-        try {
-            const parsed = new globalThis.URL(url);
-            const ok = !!parsed.protocol && !!parsed.hostname;
-            if (!ok) {
-                throw new ValidationException_1.ValidationException(n.getLine(), "INVALID_URL_STRUCTURE", `Invalid URL: ${url}`);
-            }
-        }
-        catch {
-            throw new ValidationException_1.ValidationException(n.getLine(), "INVALID_VALUE", `Invalid URL: ${url}`);
-        }
-    },
-};
+const regexType_1 = require("./regexType");
+/**
+ * `URL` type: an absolute URL with a mandatory scheme and host, following the grammar of
+ * STXT-SCHEMA-SPEC 9.4 — `scheme "://" [userinfo "@"] host [":" port] ["/" path] ["?" query]
+ * ["#" fragment]` — and not the platform URL parser, so every port accepts exactly the same
+ * values. Any scheme of the form letter + letters/digits/`+`/`-`/`.` is accepted; the host is
+ * non-empty (no TLD required, IPv6 in brackets, non-ASCII kept as it is); a value without a
+ * scheme, a scheme without `//` and host (`mailto:`, `urn:`, `file:///`), inner blanks or a
+ * non-numeric port are rejected. Nothing is resolved or normalised.
+ */
+exports.URL = (0, regexType_1.regexType)("URL", /^[A-Za-z][A-Za-z0-9+.-]*:\/\/(?:[^ \t/?#@]+@)?(?:\[[0-9A-Fa-f:.]+\]|[^ \t/?#@:[\]]+)(?::[0-9]+)?(?:\/[^ \t?#]*)?(?:\?[^ \t#]*)?(?:#[^ \t]*)?$/, "Invalid URL");
 //# sourceMappingURL=URL.js.map

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/schema/type/dateTime.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Calendar and clock ranges shared by `DATE`, `TIME` and `TIMESTAMP` (STXT-SCHEMA-SPEC 9.4):
+ * the shape of a value is checked by each type's regular expression, the ranges by these
+ * helpers. Never `Date.parse`, which rolls `2026-02-30` into March.
+ */
+/** True if the year-month-day exists in the proleptic Gregorian calendar (year 0000-9999). */
+export declare function isValidDate(year: number, month: number, day: number): boolean;
+/** True if hour 00-23, minute 00-59, second 00-59 (no leap second). */
+export declare function isValidTime(hour: number, minute: number, second: number): boolean;

package/out/schema/type/dateTime.js

@@ -0,0 +1,23 @@
+"use strict";
+/**
+ * Calendar and clock ranges shared by `DATE`, `TIME` and `TIMESTAMP` (STXT-SCHEMA-SPEC 9.4):
+ * the shape of a value is checked by each type's regular expression, the ranges by these
+ * helpers. Never `Date.parse`, which rolls `2026-02-30` into March.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isValidDate = isValidDate;
+exports.isValidTime = isValidTime;
+/** True if the year-month-day exists in the proleptic Gregorian calendar (year 0000-9999). */
+function isValidDate(year, month, day) {
+    if (month < 1 || month > 12 || day < 1) {
+        return false;
+    }
+    const leap = (year % 4 === 0 && year % 100 !== 0) || year % 400 === 0;
+    const daysInMonth = [31, leap ? 29 : 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31];
+    return day <= daysInMonth[month - 1];
+}
+/** True if hour 00-23, minute 00-59, second 00-59 (no leap second). */
+function isValidTime(hour, minute, second) {
+    return hour <= 23 && minute <= 59 && second <= 59;
+}
+//# sourceMappingURL=dateTime.js.map

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

@@ -0,0 +1,11 @@
+import { Type } from "../Type";
+/**
+ * A type whose value must match a regular expression and whose captured groups must then pass
+ * a range check (the calendar and clock types of STXT-SCHEMA-SPEC 9.4). INLINE value form only.
+ *
+ * @param name name of the type.
+ * @param pattern shape of the value, with the groups `inRange` reads.
+ * @param inRange true if the captured groups are in range.
+ * @param error text of the `INVALID_VALUE` message.
+ */
+export declare function rangeType(name: string, pattern: RegExp, inRange: (m: RegExpExecArray) => boolean, error: string): Type;

package/out/schema/type/rangeType.js

@@ -0,0 +1,30 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.rangeType = rangeType;
+const ValidationException_1 = require("../../exceptions/ValidationException");
+/**
+ * A type whose value must match a regular expression and whose captured groups must then pass
+ * a range check (the calendar and clock types of STXT-SCHEMA-SPEC 9.4). INLINE value form only.
+ *
+ * @param name name of the type.
+ * @param pattern shape of the value, with the groups `inRange` reads.
+ * @param inRange true if the captured groups are in range.
+ * @param error text of the `INVALID_VALUE` message.
+ */
+function rangeType(name, pattern, inRange, error) {
+    return {
+        getName: () => name,
+        validate(nodeDef, node) {
+            // INLINE value form (STXT-SCHEMA-SPEC 9.4): the block '>>' form is not allowed
+            if (node.isTextNode()) {
+                throw new ValidationException_1.ValidationException(node.getLine(), "BLOCK_FORM_NOT_ALLOWED", `Not allowed text in node ${node.getQualifiedName()}`);
+            }
+            const value = node.getText();
+            const m = pattern.exec(value);
+            if (m === null || !inRange(m)) {
+                throw new ValidationException_1.ValidationException(node.getLine(), "INVALID_VALUE", `${node.getName()}: ${error} (${value})`);
+            }
+        },
+    };
+}
+//# sourceMappingURL=rangeType.js.map

package/out/schema/type/regexType.js

@@ -16,7 +16,7 @@ function regexType(name, pattern, error) {
         validate(nodeDef, node) {
             // INLINE value form (STXT-SCHEMA-SPEC 9.3/9.4): the block '>>' form is not allowed
             if (node.isTextNode()) {
-                throw new ValidationException_1.ValidationException(node.getLine(), "NOT_ALLOWED_TEXT", `Not allowed text in node ${node.getQualifiedName()}`);
+                throw new ValidationException_1.ValidationException(node.getLine(), "BLOCK_FORM_NOT_ALLOWED", `Not allowed text in node ${node.getQualifiedName()}`);
             }
             const value = node.getText();
             if (!pattern.test(value)) {

package/out/template/ChildLineParser.d.ts

@@ -9,7 +9,7 @@ export declare class ChildLineParser {
      * @param rawLine inline value of the node, `(min,max) TYPE [values]`.
      * @param lineNumber line number, for the error messages.
      * @returns the line already split into type, cardinality and values.
-     * @throws ValidationException with code `INVALID_CHILD_LINE`, `INVALID_CHILD_COUNT`,
+     * @throws ValidationException with code `STRUCTURE_LINE_NOT_VALID`, `CARDINALITY_NOT_VALID`,
      *         `MIN_GREATER_THAN_MAX` or `VALUE_DUPLICATED` if the line is not valid.
      */
     static parse(rawLine: string, lineNumber: number): ChildLine;

package/out/template/ChildLineParser.js

@@ -12,7 +12,7 @@ class ChildLineParser {
      * @param rawLine inline value of the node, `(min,max) TYPE [values]`.
      * @param lineNumber line number, for the error messages.
      * @returns the line already split into type, cardinality and values.
-     * @throws ValidationException with code `INVALID_CHILD_LINE`, `INVALID_CHILD_COUNT`,
+     * @throws ValidationException with code `STRUCTURE_LINE_NOT_VALID`, `CARDINALITY_NOT_VALID`,
      *         `MIN_GREATER_THAN_MAX` or `VALUE_DUPLICATED` if the line is not valid.
      */
     static parse(rawLine, lineNumber) {
@@ -21,7 +21,7 @@ class ChildLineParser {
         }
         const m = ChildLineParser.CHILD_LINE_PATTERN.exec(rawLine);
         if (!m) {
-            throw new ValidationException_1.ValidationException(lineNumber, "INVALID_CHILD_LINE", `Line not valid: ${rawLine}`);
+            throw new ValidationException_1.ValidationException(lineNumber, "STRUCTURE_LINE_NOT_VALID", `Line not valid: ${rawLine}`);
         }
         // m[1]=count, m[2]=type, m[3]=values
         let type = m[2]?.trim() ?? "";
@@ -54,7 +54,7 @@ class ChildLineParser {
         else if (count.includes(",")) {
             const parts = count.split(",");
             if (parts.length !== 2) {
-                throw new ValidationException_1.ValidationException(lineNumber, "INVALID_CHILD_COUNT", `Invalid count ${count} in line: ${rawLine}`);
+                throw new ValidationException_1.ValidationException(lineNumber, "CARDINALITY_NOT_VALID", `Invalid count ${count} in line: ${rawLine}`);
             }
             const aNum = ChildLineParser.parseCount(parts[0].trim(), count, rawLine, lineNumber);
             const bNum = ChildLineParser.parseCount(parts[1].trim(), count, rawLine, lineNumber);
@@ -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;
                 }
@@ -97,7 +103,7 @@ class ChildLineParser {
     // num, min and max must be non-negative integers, with no trailing text (STXT-TEMPLATE-SPEC 7.1)
     static parseCount(num, count, rawLine, lineNumber) {
         if (!/^\d+$/.test(num)) {
-            throw new ValidationException_1.ValidationException(lineNumber, "INVALID_CHILD_COUNT", `Invalid count ${count} in line: ${rawLine}`);
+            throw new ValidationException_1.ValidationException(lineNumber, "CARDINALITY_NOT_VALID", `Invalid count ${count} in line: ${rawLine}`);
         }
         return parseInt(num, 10);
     }

package/out/template/TemplateParser.d.ts

@@ -5,7 +5,8 @@ import { Schema } from "../schema/Schema";
  *
  * @param node root of the already parsed `@stxt.template` document.
  * @returns the resulting {@link Schema}.
- * @throws ValidationException if the template is not valid, with the line already shifted to the
- *         one of the original document.
+ * @throws ValidationException with `TEMPLATE_ROOT_NOT_VALID` or `TEMPLATE_NAMESPACE_EMPTY` if the root is
+ *         not `Template (@stxt.template): ns`, or with the code of the rule the template breaks, with the
+ *         line already shifted to the one of the original document.
  */
 export declare function transformTemplateNodeToSchema(node: Node): Schema;

package/out/template/TemplateParser.js

@@ -11,17 +11,33 @@ const StringUtils_1 = require("../core/StringUtils");
 const ChildLineParser_1 = require("./ChildLineParser");
 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";
 /**
  * Turns the tree of an already parsed `@stxt.template` document into an equivalent {@link Schema}.
  *
  * @param node root of the already parsed `@stxt.template` document.
  * @returns the resulting {@link Schema}.
- * @throws ValidationException if the template is not valid, with the line already shifted to the
- *         one of the original document.
+ * @throws ValidationException with `TEMPLATE_ROOT_NOT_VALID` or `TEMPLATE_NAMESPACE_EMPTY` if the root is
+ *         not `Template (@stxt.template): ns`, or with the code of the rule the template breaks, with the
+ *         line already shifted to the one of the original document.
  */
 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()})`);
+    }
+    // The target namespace: required, and with a valid format
+    const targetNamespace = StringUtils_1.StringUtils.lowerCase(node.getText());
+    if (!targetNamespace || targetNamespace.trim().length === 0) {
+        throw new ValidationException_1.ValidationException(node.getLine(), "TEMPLATE_NAMESPACE_EMPTY", "Template namespace is empty");
+    }
+    if (!NamespaceValidator_1.NamespaceValidator.isValid(targetNamespace)) {
+        throw new ValidationException_1.ValidationException(node.getLine(), "TEMPLATE_ROOT_NOT_VALID", `Template namespace not valid: ${targetNamespace}`);
+    }
     // Set the namespace
-    const result = new Schema_1.Schema(node.getText(), node.getLine(), undefined);
+    const result = new Schema_1.Schema(targetNamespace, node.getLine(), undefined);
     // Look for the structure node (a template is an inline root; a text root has none)
     const structure = node instanceof InlineNode_1.InlineNode ? node.getChild("structure") : null;
     if (!structure) {
@@ -76,7 +92,7 @@ function addToSchema(schema, node) {
     // A Structure line must use the template grammar's ':' form. The core parser
     // also accepts BLOCK nodes here, so reject them explicitly (STXT-TEMPLATE-SPEC 6.3).
     if (!(node instanceof InlineNode_1.InlineNode)) {
-        throw new ValidationException_1.ValidationException(node.getLine(), "INVALID_CHILD_LINE", "Template Structure lines must use ':'");
+        throw new ValidationException_1.ValidationException(node.getLine(), "STRUCTURE_LINE_NOT_VALID", "Template Structure lines must use ':'");
     }
     // Get the qualified name
     let namespace = node.getNamespace();
@@ -91,7 +107,7 @@ function addToSchema(schema, node) {
         // and no children (STXT-TEMPLATE-SPEC 6.4, 10 and 14.15)
         const type = cl.getType();
         if (type && type.trim().length > 0) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "TYPE_DEFINITION_NOT_ALLOWED", "Not allowed type definition in external namespaces");
+            throw new ValidationException_1.ValidationException(node.getLine(), "TYPE_NOT_ALLOWED_IN_EXTERNAL_NAMESPACE", "Not allowed type definition in external namespaces");
         }
         const values = cl.getValues();
         if (values) {
@@ -125,7 +141,7 @@ function addToSchema(schema, node) {
                 // Same code as SchemaParser: a template is sugar equivalent to a schema
                 // (STXT-TEMPLATE-SPEC 13), so the same condition must not change its code
                 // depending on the entry point
-                throw new ValidationException_1.ValidationException(node.getLine(), "VALUES_ONLY_SUPPORTED_BY_ENUM", `Values only supported for type ENUM, not for type ${type}`);
+                throw new ValidationException_1.ValidationException(node.getLine(), "VALUES_NOT_ALLOWED_FOR_TYPE", `Values only supported for type ENUM, not for type ${type}`);
             }
             for (const v of values) {
                 schemaNode.addValue(v, node.getLine());
@@ -133,13 +149,13 @@ function addToSchema(schema, node) {
         }
         // An ENUM with no list of values is an invalid template (STXT-TEMPLATE-SPEC 9 and 13.7)
         if (type === "ENUM" && (!values || values.length === 0)) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "VALUES_EMPTY_FOR_ENUM", "ENUM Type must include values");
+            throw new ValidationException_1.ValidationException(node.getLine(), "VALUES_REQUIRED", "ENUM Type must include values");
         }
     }
     else {
         const type = cl.getType();
         if (!type || !type.startsWith("@")) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "NODE_DEFINED_MULTIPLE_TIMES", `Multiple node reference must start with @: ${node.getName()}`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "REFERENCE_REQUIRED", `Multiple node reference must start with @: ${node.getName()}`);
         }
         const reference = type.substring(1).trim();
         // Reference and explicit type on the same line (STXT-TEMPLATE-SPEC 14.13)
@@ -148,7 +164,7 @@ function addToSchema(schema, node) {
             throw new ValidationException_1.ValidationException(node.getLine(), "REFERENCE_WITH_TYPE_NOT_ALLOWED", `Reference '@${node.getName()}' can not declare a type: ${explicitType}`);
         }
         if (StringUtils_1.StringUtils.normalize(reference) !== node.getCanonicalName()) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "NODE_REFERENCE_NOT_VALID", `Reference must be '@${node.getName()}', not '${reference}'`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "REFERENCE_NAME_NOT_VALID", `Reference must be '@${node.getName()}', not '${reference}'`);
         }
         // A reference may override the cardinality, but it may redefine neither the ENUM
         // values nor the children (STXT-TEMPLATE-SPEC 6.4)
@@ -171,7 +187,7 @@ function addToSchema(schema, node) {
     for (const child of childrenNode) {
         // STXT-TEMPLATE-SPEC 6.3: every Structure line uses ':', so a child is inline too
         if (!(child instanceof InlineNode_1.InlineNode)) {
-            throw new ValidationException_1.ValidationException(child.getLine(), "INVALID_CHILD_LINE", "Template Structure lines must use ':'");
+            throw new ValidationException_1.ValidationException(child.getLine(), "STRUCTURE_LINE_NOT_VALID", "Template Structure lines must use ':'");
         }
         cl = ChildLineParser_1.ChildLineParser.parse(child.getValue(), child.getLine());
         const childName = child.getName();
@@ -213,20 +229,20 @@ function addDescriptions(schema, nodes) {
         }
         // No external descriptions
         if (namespace !== schema.getNamespace()) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "EXTERNAL_DESCRIPTION_NOT_ALLOWED", "Not allowed description in external namespaces");
+            throw new ValidationException_1.ValidationException(node.getLine(), "DESCRIPTION_NOT_ALLOWED_IN_EXTERNAL_NAMESPACE", "Not allowed description in external namespaces");
         }
         // No children either
         if (node instanceof InlineNode_1.InlineNode && node.getChildren().length > 0) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "CHILDREN_DESCRIPTION_NOT_ALLOWED", "Not allowed children in description");
+            throw new ValidationException_1.ValidationException(node.getLine(), "DESCRIPTION_CHILDREN_NOT_ALLOWED", "Not allowed children in description");
         }
         // Look for the node in the schema
         const nodeDef = schema.getNodeDefinition(node.getName());
         if (!nodeDef) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "NODE_NOT_FOUND", `Not found node with name: ${node.getName()}`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "DESCRIPTION_NODE_NOT_FOUND", `Not found node with name: ${node.getName()}`);
         }
         // No more than one entry per node is allowed (STXT-TEMPLATE-SPEC 12)
         if (nodeDef.getDescription() !== undefined) {
-            throw new ValidationException_1.ValidationException(node.getLine(), "DESCRIPTION_ALREADY_DEFINED", `Exists a previous description for node: ${node.getName()}`);
+            throw new ValidationException_1.ValidationException(node.getLine(), "DESCRIPTION_DUPLICATED", `Exists a previous description for node: ${node.getName()}`);
         }
         nodeDef.setDescription(node.getText());
     });

package/out/template/TemplateSchemaProviderMemory.d.ts

@@ -17,9 +17,10 @@ export declare class TemplateSchemaProviderMemory extends SchemaProviderMemory {
      * schema it produces.
      *
      * @param template text of the `@stxt.template` document.
-     * @throws ValidationException with code `INVALID_SCHEMA` if the document does not hold exactly
-     *         one template or the resulting schema has no namespace, or the first validation error
-     *         if the template does not validate against the template meta-schema.
+     * @throws ValidationException with code `TEMPLATE_MULTIPLE_ROOTS` if the document does not hold
+     *         exactly one root node, `TEMPLATE_ROOT_NOT_VALID` or `TEMPLATE_NAMESPACE_EMPTY` if that
+     *         root is not `Template (@stxt.template): ns`, or the first validation error if the
+     *         template does not validate against the template meta-schema.
      */
     addTemplate(template: string): void;
 }

package/out/template/TemplateSchemaProviderMemory.js

@@ -30,15 +30,16 @@ class TemplateSchemaProviderMemory extends SchemaProviderMemory_1.SchemaProvider
      * schema it produces.
      *
      * @param template text of the `@stxt.template` document.
-     * @throws ValidationException with code `INVALID_SCHEMA` if the document does not hold exactly
-     *         one template or the resulting schema has no namespace, or the first validation error
-     *         if the template does not validate against the template meta-schema.
+     * @throws ValidationException with code `TEMPLATE_MULTIPLE_ROOTS` if the document does not hold
+     *         exactly one root node, `TEMPLATE_ROOT_NOT_VALID` or `TEMPLATE_NAMESPACE_EMPTY` if that
+     *         root is not `Template (@stxt.template): ns`, or the first validation error if the
+     *         template does not validate against the template meta-schema.
      */
     addTemplate(template) {
         const parser = new Parser_1.Parser();
         const nodes = parser.parse(template);
         if (nodes.length !== 1) {
-            throw new ValidationException_1.ValidationException(0, "INVALID_SCHEMA", `There are ${nodes.length}, and expected is 1`);
+            throw new ValidationException_1.ValidationException(0, "TEMPLATE_MULTIPLE_ROOTS", `A template document must hold exactly 1 root node, got ${nodes.length}`);
         }
         // A template that does not validate against the template meta-schema must not
         // be registered (same policy as UnifiedSchemaProvider/DiscoveryResolver)
@@ -49,10 +50,6 @@ class TemplateSchemaProviderMemory extends SchemaProviderMemory_1.SchemaProvider
         }
         // Build the schema out of the template
         const sch = (0, TemplateParser_1.transformTemplateNodeToSchema)(nodes[0]);
-        // Minimum safety check (Java checked the expected namespace here too)
-        if (!sch.getNamespace() || sch.getNamespace().trim().length === 0) {
-            throw new ValidationException_1.ValidationException(0, "INVALID_SCHEMA", "Schema namespace is empty");
-        }
         this.schemas.set(sch.getNamespace(), sch);
     }
 }

package/package.json

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