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

Method isReadable

src/main/java/wyil/lang/WyilFile.java:6219–6227  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

6217 }
6218
6219 @Override
6220 public boolean isReadable() {
6221 for(int i=0;i!=size();++i) {
6222 if(!get(i).isReadable()) {
6223 return false;
6224 }
6225 }
6226 return true;
6227 }
6228
6229
6230 @Override

Callers

nothing calls this directly

Calls 3

getMethod · 0.95
sizeMethod · 0.65
isReadableMethod · 0.65

Tested by

no test coverage detected