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

Method get

src/main/java/wyil/util/Subtyping.java:494–494  ·  view source on GitHub ↗

Get the ith row of this typing. @param ith @return

(int ith)

Source from the content-addressed store, hash-verified

492 * @return
493 */
494 public Subtyping.Constraints get(int ith);
495
496 /**
497 * Attempt to collapse all rows down together using a given comparator. This may

Callers 15

WyilFileMethod · 0.65
getUnitMethod · 0.65
getDeclarationMethod · 0.65
replaceMethod · 0.65
getNameMethod · 0.65
getUnitsMethod · 0.65
getExternsMethod · 0.65
getAttributesMethod · 0.65
putUnitMethod · 0.65
putExternMethod · 0.65
getNameMethod · 0.65
getDeclarationsMethod · 0.65

Implementers 1

AbstractConstraintsSetsrc/main/java/wyil/util/IncrementalSub

Calls

no outgoing calls

Tested by

no test coverage detected