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

Method isTop

src/main/java/wyil/util/TypeSelector.java:268–275  ·  view source on GitHub ↗
(Type.Selector[] items)

Source from the content-addressed store, hash-verified

266 }
267
268 private static boolean isTop(Type.Selector[] items) {
269 for (int i = 0; i != items.length; ++i) {
270 if (items[i] != Type.Selector.TOP) {
271 return false;
272 }
273 }
274 return true;
275 }
276
277 /**
278 * Normalise opcode for sake of simplicity. This allows us to compare the types

Callers 1

createMethod · 0.95

Calls

no outgoing calls

Tested by

no test coverage detected