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

Method compare

src/main/java/wyil/util/WyilUtils.java:385–388  ·  view source on GitHub ↗
(Template.Variable t1, Template.Variable t2)

Source from the content-addressed store, hash-verified

383 ArrayList<Template.Variable> nholes = new ArrayList<>(holes);
384 Collections.sort(nholes, new Comparator<Template.Variable>() {
385 @Override
386 public int compare(Template.Variable t1, Template.Variable t2) {
387 return t1.getName().compareTo(t2.getName());
388 }
389 });
390 // Done
391 return new Tuple<>(nholes);

Callers 1

foldMethod · 0.45

Calls 2

getNameMethod · 0.65
compareToMethod · 0.45

Tested by

no test coverage detected