MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / writeSyntacticMarkers

Method writeSyntacticMarkers

src/main/java/wyc/Compiler.java:297–306  ·  view source on GitHub ↗

Print out all syntactic markers active within a given piece of content. @param executor @throws IOException

(MailBox<SyntaxError> mailbox, WyilFile target)

Source from the content-addressed store, hash-verified

295 * @throws IOException
296 */
297 public static void writeSyntacticMarkers(MailBox<SyntaxError> mailbox, WyilFile target) throws IOException {
298 // Extract all syntactic markers from entries in the build graph
299 List<Syntactic.Marker> items = extractSyntacticMarkers(target);
300 // For each marker, print out error messages appropriately
301 for (int i = 0; i != items.size(); ++i) {
302 WyilFile.Attr.SyntaxError marker = (WyilFile.Attr.SyntaxError) items.get(i);
303 // Log the error message
304 mailbox.send(marker);
305 }
306 }
307
308 /**
309 * Traverse a binary which has been generated looking for error

Callers 2

runMethod · 0.95
runMethod · 0.95

Calls 4

sizeMethod · 0.65
getMethod · 0.65
sendMethod · 0.65

Tested by

no test coverage detected