equal
deleted
inserted
replaced
83 |
83 |
84 CaInfo scan(String s) { |
84 CaInfo scan(String s) { |
85 try { |
85 try { |
86 Parser parser = new Parser( |
86 Parser parser = new Parser( |
87 () -> new Matched(scannerFactory.newScanner(s, false)), |
87 () -> new Matched(scannerFactory.newScanner(s, false)), |
88 () -> proc.taskFactory.new ParseTask(s)); |
88 () -> proc.taskFactory.parse(s)); |
89 Completeness stat = parser.parseUnit(); |
89 Completeness stat = parser.parseUnit(); |
90 int endPos = stat == Completeness.UNKNOWN |
90 int endPos = stat == Completeness.UNKNOWN |
91 ? s.length() |
91 ? s.length() |
92 : parser.endPos(); |
92 : parser.endPos(); |
93 return new CaInfo(stat, endPos); |
93 return new CaInfo(stat, endPos); |