123456789101112131415161718 |
- "use strict";
- const parser = require("./generated-parser.js");
- exports.name = function (potentialName) {
- return mapResult(parser.startWith("Name").exec(potentialName));
- };
- exports.qname = function (potentialQname) {
- return mapResult(parser.startWith("QName").exec(potentialQname));
- };
- function mapResult(result) {
- return {
- success: result.success,
- error: result.error && parser.getTrace(result.error.message)
- };
- }
|