Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Whiley/WhileyCompiler
/ print
Method
print
src/main/java/wyil/io/WyilFilePrinter.java:833–837 ·
view source on GitHub ↗
(char c, int repeat)
Source
from the content-addressed store, hash-verified
831
out.println();
832
}
833
private
void
print(char c,
int
repeat) {
834
for
(
int
i=0;i<repeat;++i) {
835
out.print(c);
836
}
837
}
838
}
Callers
15
tabIndent
Method · 0.95
println
Method · 0.95
executeDebug
Method · 0.45
visitImport
Method · 0.45
visitStaticVariable
Method · 0.45
visitType
Method · 0.45
visitProperty
Method · 0.45
visitFunctionOrMethod
Method · 0.45
visitVariables
Method · 0.45
visitVariable
Method · 0.45
visitAssert
Method · 0.45
visitAssume
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected