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

Method hasFrom

src/main/java/wyil/lang/WyilFile.java:644–646  ·  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

642 * @return
643 */
644 public boolean hasFrom() {
645 return opcode == DECL_importfrom;
646 }
647
648 /**
649 * Check whether from name is associated with this import declaration. This

Callers 5

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

Calls

no outgoing calls

Tested by

no test coverage detected