-export function match1token(t: tk.Token): (m: TokenMatcheePair) => tk.Maybe<TokenMatcheePair> {
- return (m: TokenMatcheePair) => {
- if (m.remained.length == 0) {
- return { _tag: "None" };
- }
- const tokenToBeMatched = m.remained[0];
- if (tokenToBeMatched === t) {
- m.matched.push(tokenToBeMatched);
- return {
- _tag: "Some", value: {
- matched: m.matched,
- remained: m.remained.slice(1)
- }
- };
- }
- else {
- return { _tag: "None" };
- }
+
+function processArgv(argv : any, helpDesc : string){
+ let inputFile : string[] = argv['_'];
+ let outputJSFile : string | true = argv['output-js'];
+
+ 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.");
+ }
+
+ /** output --help */
+ if (helpTriggered || NoInputFile || NoOutputJSFile){
+ console.log(helpDesc);
+ }else{
+ fs.readFile(inputFile[0], 'utf8', (err : Error, inputText : string) => {
+ if (err) throw err;
+
+ let tree = parser.inputTextToTree(inputText);
+
+ let output = parser.treeToJS(tree);
+
+ fs.writeFile(outputJSFile, output , (err : Error) => {
+ if (err) throw err;
+ });
+
+ });