Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Whiley/WhileyCompiler
/ isValid
Method
isValid
src/main/java/wyil/lang/WyilFile.java:300–302 ·
view source on GitHub ↗
()
Source
from the content-addressed store, hash-verified
298
// }
299
300
public
boolean isValid() {
301
return
findAll(Syntactic.Marker.
class
).size() == 0;
302
}
303
304
public
int
getMajorVersion() {
305
return
majorVersion;
Callers
2
run
Method · 0.95
run
Method · 0.95
Calls
2
size
Method · 0.65
findAll
Method · 0.65
Tested by
no test coverage detected