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

Method isBottom

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

Source from the content-addressed store, hash-verified

257 }
258
259 private static boolean isBottom(Type.Selector[] items) {
260 for (int i = 0; i != items.length; ++i) {
261 if (items[i] != Type.Selector.BOTTOM) {
262 return false;
263 }
264 }
265 return true;
266 }
267
268 private static boolean isTop(Type.Selector[] items) {
269 for (int i = 0; i != items.length; ++i) {

Callers 1

createMethod · 0.95

Calls

no outgoing calls

Tested by

no test coverage detected