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

Method getDataKind

src/main/java/wycc/util/AbstractItem.java:296–308  ·  view source on GitHub ↗
(Object o)

Source from the content-addressed store, hash-verified

294 }
295
296 private int getDataKind(Object o) {
297 if (o instanceof Boolean) {
298 return 0;
299 } else if (o instanceof BigInteger) {
300 return 1;
301 } else if (o instanceof String) {
302 return 2;
303 } else if (o instanceof byte[]) {
304 return 3;
305 } else {
306 throw new IllegalArgumentException("unknown datakind encountered");
307 }
308 }
309}

Callers 1

compareDataMethod · 0.95

Calls

no outgoing calls

Tested by

no test coverage detected