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

Method remove

src/main/java/wycc/util/Trie.java:356–359  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

354 }
355
356 @Override
357 public void remove() {
358 throw new UnsupportedOperationException();
359 }
360 }
361
362 public static void main(String[] args) {

Callers 13

getCapturedVariablesMethod · 0.80
removeAllDeclaredMethod · 0.80
visitDeclarationMethod · 0.80
visitUniversalQuantifierMethod · 0.80
visitExistentialQuantifierMethod · 0.80
visitTypeNominalMethod · 0.80
setMethod · 0.80
checkMethod · 0.80
toNamedDeclarationsMethod · 0.80
gcMethod · 0.80
parseLongFormMethod · 0.80
parseShortFormMethod · 0.80

Calls

no outgoing calls

Tested by 1

applyMethod · 0.64