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

Method hasWith

src/main/java/wyil/lang/WyilFile.java:655–657  ·  view source on GitHub ↗

Check whether from name is associated with this import declaration. This would max in import max from std::math , but is not present in import std::math . @return

()

Source from the content-addressed store, hash-verified

653 * @return
654 */
655 public boolean hasWith() {
656 return opcode == DECL_importwith;
657 }
658
659 /**
660 * Get the with name(s) associated with this import declaration. This is

Callers 4

toStringMethod · 0.95
visitImportMethod · 0.80
checkImportsMethod · 0.80
unqualifiedResolveAsMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected