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

Method toName

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

Provide a simple conversion from a qualified name to a generic name @return

()

Source from the content-addressed store, hash-verified

414 * @return
415 */
416 public Name toName() {
417 return new Name(ArrayUtils.append(unit.getAll(), name));
418 }
419
420 @Override
421 public String toString() {

Callers 1

checkMethod · 0.80

Calls 2

appendMethod · 0.95
getAllMethod · 0.65

Tested by

no test coverage detected