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

Method visitUnit

src/main/java/wyil/io/WyilFilePrinter.java:89–95  ·  view source on GitHub ↗
(Decl.Unit decl, Integer indent)

Source from the content-addressed store, hash-verified

87
88
89 @Override
90 public void visitUnit(Decl.Unit decl, Integer indent) {
91 println('=',80);
92 out.println(decl.getName() + ".whiley");
93 println('=',80);
94 super.visitUnit(decl, indent);
95 }
96
97 public void visitExtern(Decl.Unit decl, Integer indent) {
98 println('=',80);

Callers 1

visitExternMethod · 0.45

Calls 2

printlnMethod · 0.95
getNameMethod · 0.65

Tested by

no test coverage detected