private static void loadFromFile <T>(string filename, List <T> list, lineParser <T> parser) { var stream = new Reader(filename); while (!stream.EOF()) { string line = stream.Line().Trim(); if (line.Length == 0 || line.StartsWith("#")) { continue; } try { T info = parser(line); if (info != null) { list.Add(info); } } catch (Exception ex) { Log.E("Error in loading line: " + line, ex); } } stream.Close(); }
static void processLine(string s) { lineParser lineObj = new lineParser(s); lineObj.print(); history.updateHistory(lineObj); //state.print(lineObj.part_producer); }
private static T[] loadFromDir <T>(String dirName, lineParser <T> parser) { var dir = ResourceManager.loadFile(dirName); var infos = new List <T>(); foreach (var name in Directory.GetFiles(dir.FullName)) { loadFromFile(name, infos, parser); } return(infos.ToArray()); }