X-Git-Url: https://git.kianting.info/?a=blobdiff_plain;f=src%2Findex.ts;h=44aa79282788f7f8fd28679017ceb114c49c3149;hb=c3dc58d74afa6b298d84bad90d63c027a32a954a;hp=a8d103b5d550e29e63fe0e707a9b36b3b10bd090;hpb=6f2e788329da7702ea96dc28ae04499917ec8152;p=clo diff --git a/src/index.ts b/src/index.ts index a8d103b..44aa792 100644 --- a/src/index.ts +++ b/src/index.ts @@ -1,120 +1,68 @@ var fs = require('fs'); -import { argv } from 'node:process'; -import * as tk from './tokenize.js'; -import * as util from 'util'; +var argv : any = require('minimist')(process.argv.slice(2)); + +import * as parser from "./parser.js"; /** - * token tree type. + * help for inputing `--help` parameter. */ -type tkTree = tk.Token[] | tk.Token +export let helpDesc = +` +clo: clo INPUT_FILE --output-js OUTPUT_JS_FILE -export interface TokenMatcheePair { - matched: tkTree[] - remained: tk.Token[] -} +\ta little typesetter powered by TypeScript/Javascript. -/** - * @description - * match one token type. - * - * it returns a function which test if the type of first token of the `remained` part of - * the argument of the function is `typ` , if it's true, update the `TokenMatcheePair` wrapped - * in `Some`. Otherwise, it returns `None`. - * * @param typ : the type to be test. - * @returns the updated `TokenMatcheePair` wrapped in `Some(x)` or `None`. - */ -export function m1TType(typ: tk.TokenType): - (m: TokenMatcheePair) => tk.Maybe { - return (m: TokenMatcheePair) => { - if (m.remained.length == 0) { - return { _tag: "None" }; - } - /** - * token to be matched - * */ - const ttbm = m.remained[0]; - - if (ttbm.type == typ) { - m.matched.push(ttbm); - return { - _tag: "Some", value: { - matched: m.matched, - remained: m.remained.slice(1) - } - }; - } - else { - return { _tag: "None" }; - } - } -}; +## Arguments +INPUT_FILE\tan input .clo file -let toSome = tk.toSome; -let thenDo = tk.thenDo; -let orDo = tk.orDo; +## Parameters +--- +--output-js\tgenerated the output middle JS file -argv.forEach((val, index) => { - console.log(`${index}=${val}`); -}); +Report bugs to: clo@kianting.info +clo home page: +` -let commandInput = argv[2]; -let commandInputTokenized = tk.tokenize(commandInput); -console.log(commandInputTokenized); +processArgv(argv, helpDesc); /** - * matchee pair of commandInputTokenized + * processing the passed `argv` (arguments) */ -let commandTPair : TokenMatcheePair = {matched:[], - remained: commandInputTokenized}; +export function processArgv(argv : any, helpDesc : string){ + let inputFile : string[] = argv['_']; + let outputJSFile : string | true = argv['output-js']; -let tInt = m1TType(tk.TokenType.INT); -let tFlo = m1TType(tk.TokenType.FLO); -let tStr = m1TType(tk.TokenType.STR); -function tBool (x : TokenMatcheePair) :tk.Maybe { - let text = x.remained[0].text - if (text == "true" || text == "false"){ - return thenDo(toSome(x), m1TType(tk.TokenType.ID)); - }else{ - return {_tag : "None"}; + let NoInputFile : boolean = (inputFile.length == 0); + let NoOutputJSFile : boolean = (outputJSFile === undefined || outputJSFile == true); + let helpTriggered : boolean = argv['help']; + + if (inputFile.length > 1){ + console.log("Sorry, the input file should be only one."); } -} -/** - * define the right hand side of a grammar - * eg. `LHS ::= a + b` - * @param process the right hand side processing : eg. `a + b` in `LHS` - * @param arrange define the order (0 starting) of the elements of the result. - * ast. : eg. `a + c` is `1 0 2` `(+ a c)` - * @returns the processed ast. - */ -function gramRHS (process: Function, arrange : number[]){ - return (m : TokenMatcheePair)=>{ + /** output --help */ + if (helpTriggered || NoInputFile || NoOutputJSFile){ + console.log(helpDesc); + }else{ + fs.readFile(inputFile[0], 'utf8', (err : Error, inputText : string) => { + if (err) throw err; - let result : tk.Maybe = process(m); - console.log(`result ${result}`) - if (result._tag == "None"){ - return result; - } - else{ - let matched = result.value.matched; - let return_array : tkTree[] = Array(arrange.length); + let tree = parser.inputTextToTree(inputText); - arrange.forEach((val, index) => { - return_array[arrange[index]] = matched[index]; - }); + let output = parser.treeToJS(tree); - return return_array; - } + fs.writeFile(outputJSFile, output , (err : Error) => { + if (err) throw err; + }); + + }); } + } -/** - * CONST ::= INT | STR | FLO | BOOL - */ -var constParser = gramRHS((x : TokenMatcheePair)=> - {return thenDo(toSome(x),orDo(orDo(orDo(tInt,tFlo),tStr),tBool))}, [0]); -let tree = constParser(commandTPair); -console.log(util.inspect(tree, { showHidden: true, depth: null })); + + +