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

Method isReadable

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

Source from the content-addressed store, hash-verified

5916 }
5917
5918 @Override
5919 public boolean isReadable() {
5920 for(int i=0;i!=size();++i) {
5921 if(!get(i).isReadable()) {
5922 return false;
5923 }
5924 }
5925 return true;
5926 }
5927
5928 @Override
5929 public Type get(int ith) {

Callers

nothing calls this directly

Calls 3

sizeMethod · 0.95
getMethod · 0.95
isReadableMethod · 0.65

Tested by

no test coverage detected