|
1234567891011121314151617 |
- "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)
- };
- }
|