},
- makeSrcFile: function(sourceFile)
+
+ symbolToSrcFileName(sourceFile)
{
- // this stuff works...
-
- name = sourceFile.substring(Options.baseDir.length+1);
+ var name = sourceFile.substring(Options.baseDir.length+1);
name = name.replace(/\.\.?[\\\/]/g, "").replace(/[\\\/]/g, "_");
name = name.replace(/\:/g, "_"); //??
+ },
+
+ makeSrcFile: function(sourceFile)
+ {
+ // this stuff works...
+ var name = this.symbolToSrcFileName(sourceFile);
+
Options.LOG.inform("Write Source file : " + Options.target+"/symbols/src/" + name);
var pretty = imports.PrettyPrint.toPretty(File.read(sourceFile));