p.close();
System.out.println(parser);
}
- Collection<Tree<String>> results = res==null ? new HashSet<Tree<String>>() : res.expand(false);
+
+ HashSet<Tree<String>> results = new HashSet<Tree<String>>();
+ if (res != null) res.expand(results);
+
System.out.print("\r");
if (results == null || (results.size() == 0 && (output!=null && output.length > 0))) {
System.out.print("\033[31m");