parser.setExternalFactory(factory);
parser.setResourcePaths(resourcePaths);
String name = scriptFile.getName();
int lastIndexOf = name.lastIndexOf(SCRIPT_FILE_EXTENSION);
name = name.substring(0, lastIndexOf);
RutaModule script = parser.file_input(name);
return script;
}
private RutaModule loadScriptIS(String scriptLocation, TypeSystemDescription localTSD)
throws IOException, RecognitionException {