-
- if (!name) {
- name = sourceFile.replace(/\.\.?[\\\/]/g, "").replace(/[\\\/]/g, "_");
- name = name.replace(/\:/g, "_");
- }
-
- var pretty = imports.PrettyPrint.toPretty(File.read(sourceFile));
- File.write(Options.target+"/symbols/src" + prettyfile,
+ print("SF: " + sourceFile);
+ var name = sourceFile.substring(Options.baseDir.length+1);
+ print("SHORT NAME: " + name);
+ name = name.replace(/\.\.?[\\\/]/g, "").replace(/[\\\/]/g, "_");
+ print("SHORT NAME _: " + name);
+ name = name.replace(/\:/g, "_"); //??
+ print("SHORT NAME :: " + name);
+
+ Options.LOG.inform("Write Source file : " + Options.target+"/symbols/src/" + name);
+ var pretty = imports.PrettyPrint.toPretty(File.read( sourceFile));
+ File.write(Options.target+"/symbols/src/" + name,