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

Method check

src/main/java/wyil/check/FlowTypeCheck.java:179–185  ·  view source on GitHub ↗
(WyilFile wf)

Source from the content-addressed store, hash-verified

177 // =========================================================================
178
179 @Override
180 public boolean check(WyilFile wf) {
181 for (Decl decl : wf.getModule().getUnits()) {
182 checkDeclaration(decl);
183 }
184 return status;
185 }
186
187 // =========================================================================
188 // Declarations

Callers 1

compileMethod · 0.95

Calls 3

checkDeclarationMethod · 0.95
getUnitsMethod · 0.80
getModuleMethod · 0.80

Tested by

no test coverage detected