Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Whiley/WhileyCompiler
/ setStrict
Method
setStrict
src/main/java/wyc/Compiler.java:73–76 ·
view source on GitHub ↗
(boolean b)
Source
from the content-addressed store, hash-verified
71
}
72
73
public
Compiler setStrict(boolean b) {
74
this.strict = b;
75
return
this;
76
}
77
78
public
Compiler setLinking(boolean b) {
79
this.linking = b;
Callers
2
run
Method · 0.45
main
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected