Traverse a binary which has been generated looking for error messages. @param binaries @return @throws IOException
(Syntactic.Heap h)
| 314 | * @throws IOException |
| 315 | */ |
| 316 | public static List<Syntactic.Marker> extractSyntacticMarkers(Syntactic.Heap h) throws IOException { |
| 317 | List<Syntactic.Marker> annotated = new ArrayList<>(); |
| 318 | // FIXME: this just reports all syntactic markers |
| 319 | annotated.addAll(h.findAll(Syntactic.Marker.class)); |
| 320 | // |
| 321 | return annotated; |
| 322 | } |
| 323 | |
| 324 | /** |
| 325 | * A super simplistic error handler which is used for writing error messages to |
no test coverage detected