MCPcopy Create free account
hub / github.com/Z3Prover/z3 / fromInt

Method fromInt

src/api/java/Status.java:41–47  ·  view source on GitHub ↗
(int v)

Source from the content-addressed store, hash-verified

39 }
40
41 public static Status fromInt(int v)
42 {
43 for (Status k : values())
44 if (k.intValue == v)
45 return k;
46 return values()[0];
47 }
48
49 public final int toInt()
50 {

Callers 15

getASTKindMethod · 0.80
createMethod · 0.80
getKindMethod · 0.80
createMethod · 0.80
getBoolValueMethod · 0.80
isArrayMethod · 0.80
createMethod · 0.80
getPrecisionMethod · 0.80
getSortKindMethod · 0.80
createMethod · 0.80
CheckMethod · 0.80
checkMethod · 0.80

Calls 1

valuesMethod · 0.65

Tested by

no test coverage detected