+
+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);