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

Method visitFail

src/main/java/wyil/io/WyilFilePrinter.java:306–310  ·  view source on GitHub ↗
(Stmt.Fail stmt, Integer indent)

Source from the content-addressed store, hash-verified

304 }
305
306 @Override
307 public void visitFail(Stmt.Fail stmt, Integer indent) {
308 tabIndent(indent);
309 out.println("fail");
310 }
311
312 @Override
313 public void visitIfElse(Stmt.IfElse stmt, Integer indent) {

Callers

nothing calls this directly

Calls 2

tabIndentMethod · 0.95
printlnMethod · 0.80

Tested by

no test coverage detected