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

Method getPath

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

Get the filter path associated with this import declaration. This is std::math in import max from std::math . @return

()

Source from the content-addressed store, hash-verified

630 * @return
631 */
632 @SuppressWarnings("unchecked")
633 public Tuple<Identifier> getPath() {
634 return (Tuple<Identifier>) super.get(0);
635 }
636
637 /**
638 * Check whether from name is associated with this import declaration. This

Callers 5

toStringMethod · 0.95
visitImportMethod · 0.45
checkImportsMethod · 0.45
unqualifiedResolveAsMethod · 0.45
partialResolveAsMethod · 0.45

Calls 1

getMethod · 0.65

Tested by

no test coverage detected