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

Method println

src/main/java/wyil/io/WyilFilePrinter.java:829–832  ·  view source on GitHub ↗
(char c, int repeat)

Source from the content-addressed store, hash-verified

827 }
828
829 private void println(char c, int repeat) {
830 print(c,repeat);
831 out.println();
832 }
833 private void print(char c, int repeat) {
834 for(int i=0;i<repeat;++i) {
835 out.print(c);

Callers 15

visitUnitMethod · 0.95
visitExternMethod · 0.95
mainMethod · 0.80
visitModuleMethod · 0.80
visitDeclarationMethod · 0.80
visitImportMethod · 0.80
visitStaticVariableMethod · 0.80
visitTypeMethod · 0.80
visitFunctionOrMethodMethod · 0.80
visitStatementMethod · 0.80
visitAssertMethod · 0.80
visitAssumeMethod · 0.80

Calls 1

printMethod · 0.95

Tested by 3

printStackTraceMethod · 0.64
runMethod · 0.64
mainMethod · 0.64