*/
var RooFile = imports.JSDOC.RooFile.RooFile;
-
+var File = imports.File.File;
var args = Array.prototype.slice.call(Seed.argv);
+
+args.shift();
+args.shift();
print(JSON.stringify(args, null,4));
-Seed.quit();
+//Seed.quit();
filename : fn
});
-
+var str = File.read(args[0])
var toks = tr.tokenize(new TextStream(str));