MCPcopy 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

runMethod · 0.95
runMethod · 0.95

Calls 2

sizeMethod · 0.65
findAllMethod · 0.65

Tested by

no test coverage detected