X-Git-Url: https://git.kianting.info/?a=blobdiff_plain;f=src%2Findex.js;h=15e18628b9bd679b10e00ed1215069f029b1dfe2;hb=d4dfd2e99f564ca880d40172687986ea3ce757f0;hp=38161302e9cc3f09f27c20b51adb4ec8800887ee;hpb=fed01e9044149985b3df74a9225ce68805b8f478;p=clo diff --git a/src/index.js b/src/index.js index 3816130..15e1862 100644 --- a/src/index.js +++ b/src/index.js @@ -22,14 +22,11 @@ var __importStar = (this && this.__importStar) || function (mod) { __setModuleDefault(result, mod); return result; }; -var __importDefault = (this && this.__importDefault) || function (mod) { - return (mod && mod.__esModule) ? mod : { "default": mod }; -}; Object.defineProperty(exports, "__esModule", { value: true }); -exports.matchAny = exports.tkTreeToSExp = void 0; +exports.tkTreeToSExp = void 0; var fs = require('fs'); -const js_tokens_1 = __importDefault(require("js-tokens")); const util = __importStar(require("util")); +const p = __importStar(require("typescript-parsec")); /** * * # REPRESENTATION @@ -50,7 +47,7 @@ function tkTreeToSExp(t) { str = "%undefined"; } else { - str = t.value; + str = t; } } return str; @@ -58,129 +55,152 @@ function tkTreeToSExp(t) { exports.tkTreeToSExp = tkTreeToSExp; /**inspect the inner of the representation. */ let repr = (x) => { return util.inspect(x, { depth: null }); }; +var TokenKind; +(function (TokenKind) { + TokenKind[TokenKind["Seperator"] = 0] = "Seperator"; + TokenKind[TokenKind["Semicolon"] = 1] = "Semicolon"; + TokenKind[TokenKind["Number"] = 2] = "Number"; + TokenKind[TokenKind["Op"] = 3] = "Op"; + TokenKind[TokenKind["ExprMark"] = 4] = "ExprMark"; + TokenKind[TokenKind["ExcapeAt"] = 5] = "ExcapeAt"; + TokenKind[TokenKind["Paren"] = 6] = "Paren"; + TokenKind[TokenKind["SpaceNL"] = 7] = "SpaceNL"; + TokenKind[TokenKind["Id"] = 8] = "Id"; + TokenKind[TokenKind["Str"] = 9] = "Str"; + TokenKind[TokenKind["Comment"] = 10] = "Comment"; +})(TokenKind || (TokenKind = {})); /** - * - * # PARSER UNITS + * Parsing */ -function toSome(x) { - return { _tag: "Some", value: x }; -} +const lexer = p.buildLexer([ + [true, /^\d+(\.\d+)?/g, TokenKind.Number], + [true, /^\\\@/g, TokenKind.ExcapeAt], + [true, /^\/\*([^/]|\/[^*])*\*\//g, TokenKind.Comment], + [true, /^\;/g, TokenKind.Semicolon], + [true, /^[-][-][-]/g, TokenKind.Seperator], + [true, /^[\+\-\*\/\&\|\!\^\<\>\~\=\?]+/g, TokenKind.Op], + [true, /^\@/g, TokenKind.ExprMark], + [true, /^[()\[\]{}]/g, TokenKind.Paren], + [true, /^["]([\"]|[\\].)*["]/g, TokenKind.Str], + [true, /^[']([\']|[\\].)*[']/g, TokenKind.Str], + [true, /^[()\[\]{}]/g, TokenKind.Paren], + [true, /^[^\/\\\@\s\n\t\r;]+/g, TokenKind.Id], + [true, /^(\s|\n|\r|\t)+/g, TokenKind.SpaceNL], +]); /** - * like `m ==> f` in ocaml - * @param m matchee wrapped - * @param f matching function - * @returns wrapped result + * + * # TEST */ -function thenDo(m, f) { - if (m._tag == "None") { - return m; +const inputTxt = `import a as b; /*bacourt*/ +/* ba choir +ipsum lorem*/ + +import you as john; +--- + +臺中市\\\@ + +公園 +@1+2==3; + +console.log("122");@ + +山頂 +`; +const PROG = p.rule(); +const SEGMENT = p.rule(); +const IMPORT = p.rule(); +const IMPORTS = p.rule(); +const SEMICOLON = p.rule(); +const EXCAPE_AT = p.rule(); +const NOT_AT_TEXT = p.rule(); +const CONTENT = p.rule(); +let doubleMinus = { type: 'Punctuator', value: '--' }; +let doubleMinus2 = p.str('--'); +const TERM = p.rule(); +function applySegment(input) { + let unpackedInnerExprs = input[1].map((x) => { return x.text; }); + return ["%exprs", unpackedInnerExprs]; +} +function applySemiColon(value) { + return value.text; +} +function applyParts(first, second) { + return ["%clo", first, second[1]]; +} +function applyComment(value) { + return [value.text]; +} +function applyImport(input) { + let importTail = input[1].map(x => x.text); + return ["import"].concat(importTail); +} +; +/* +function applyImportComment(input: [Token,Token[], + tkTree, Token]) : tkTree{ + let importTail = input[1].map(x=>x.text); + let comment = [input[3].text]; + return ["import"].concat(importTail).concat(comment); +};*/ +function applyImports(input) { + let resultBody = [input[0]].concat(input[1]); + let resultWrapper = ["%import", resultBody]; + return resultWrapper; +} +; +function applyNotAtText(value) { + if (value.text == "\\\@") { + return '@'; } else { - var a = f(m.value); - if (a._tag == "Some") { - a.value.ast = m.value.ast.concat(a.value.ast); - } - return a; + return value.text; } } +; +function applyText(input) { + return ["%text", input]; +} +; +function applyContent(input) { + return ["%content", input]; +} +; +function applySpaceNL(value) { + return value.text; +} /** - * - * @param m : the `TokenPair` to be consumed. - * @returns if the length of `m.remained` >= 1; consumes the matchee by 1 token - * and wraps it in `Some`, - * otherwise, returns `None`. + * IMPORTEE: Number, Op, Paren, Id, Str, Comment, */ -function matchAny(m) { - if (m.remained.length >= 1) { - return { - _tag: "Some", value: { - matched: m.matched.concat(m.remained[0]), - remained: m.remained.slice(1), - ast: [m.remained[0]], - } - }; - } - else { - return { _tag: "None" }; - } -} -exports.matchAny = matchAny; +let IMPORTEE = p.alt(p.tok(TokenKind.Number), p.tok(TokenKind.Op), p.tok(TokenKind.Paren), p.tok(TokenKind.Id), p.tok(TokenKind.Str), p.tok(TokenKind.SpaceNL), p.tok(TokenKind.Comment)); +let NOT_AT = p.alt(p.tok(TokenKind.Seperator), p.tok(TokenKind.Semicolon), p.tok(TokenKind.Number), p.tok(TokenKind.ExcapeAt), p.tok(TokenKind.Op), p.tok(TokenKind.Paren), p.tok(TokenKind.SpaceNL), p.tok(TokenKind.Id), p.tok(TokenKind.Str), p.tok(TokenKind.Comment)); /** - * like `f1 | f2` in regex - * @param f1 the first tried function - * @param f2 the second tried function - * @returns wrapped result + * PROG : IMPORTS '---' CONTENT; */ -function orDo(f1, f2) { - return (x) => { - let res1 = f1(x); - if (res1._tag == "Some") { - return res1; - } - else { - let res2 = f2(x); - return res2; - } - }; -} +PROG.setPattern(p.lrec_sc(IMPORTS, p.seq(p.str('---'), CONTENT), applyParts)); /** - * like regex [^c] - * @param f input token function. one token only. - * @returns combined finction + * NOT_AT_TEXT : NOT_AT */ -function notDo(f) { - return (x) => { - let res1 = f(x); - if (res1._tag == "Some") { - return { _tag: "None" }; - } - else { - let res2 = matchAny(x); - return res2; - } - }; -} -function matchToken(typeName, value) { - return (t) => { - let headToken = t.remained[0]; - if (headToken.type != typeName) { - return { _tag: "None" }; - } - else { - if (value === undefined || value == headToken.value) { - let newTokenPair = { - matched: t.matched.concat(headToken), - remained: t.remained.slice(1), - ast: [headToken] - }; - return { _tag: "Some", value: newTokenPair }; - } - else { - return { _tag: "None" }; - } - } - ; - }; -} -; +NOT_AT_TEXT.setPattern(p.apply(NOT_AT, applyNotAtText)); +IMPORTS.setPattern(p.apply(p.seq(IMPORT, p.rep(IMPORT)), applyImports)); /** - * - * # TEST + * IMPORT : + * 'import' IMPORTEE* SEMICOLON | + * COMMENT | */ -const tokens = Array.from((0, js_tokens_1.default)(`import; foo from\t 'bar'; -import * as util from 'util'; - - -花非花，霧\\{非霧 。{{foo();}}下 -一句`)); -console.log("RESULT=" + repr(tokens)); -var mainTokenPair = { - matched: [], - remained: tokens, - ast: [] -}; -let a = thenDo(thenDo(toSome(mainTokenPair), matchToken('IdentifierName')), notDo(matchToken('Punctuator', ';'))); -console.log("RESULT=" + repr(a)); -if (a._tag == "Some") { - console.log("SEXP=" + tkTreeToSExp(a.value.ast)); -} +IMPORT.setPattern(p.alt(p.apply(p.seq(p.str('import'), p.rep_sc(IMPORTEE), SEMICOLON), applyImport), p.apply(p.tok(TokenKind.Comment), applyComment), p.apply(p.tok(TokenKind.SpaceNL), applySpaceNL))); +/** + * SEMICOLON : ';'; + */ +SEMICOLON.setPattern(p.apply(p.tok(TokenKind.Semicolon), applySemiColon)); +/** + * SEGMENT : '@' NOT_AT* '@' | + * (NOT_AT_TEXT | EXCAPE_AT)* + */ +SEGMENT.setPattern(p.alt(p.apply(p.rep_sc(NOT_AT_TEXT), applyText), p.apply(p.seq(p.str('@'), p.rep(NOT_AT), p.str('@')), applySegment))); +/** + * CONTENT : SEGMENT* + */ +CONTENT.setPattern(p.apply(p.rep(SEGMENT), applyContent)); +let tree = p.expectSingleResult(p.expectEOF(PROG.parse(lexer.parse(inputTxt)))); +console.log("RESULT=" + tkTreeToSExp(tree));