Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
getASTKind
Method · 0.80
create
Method · 0.80
getKind
Method · 0.80
create
Method · 0.80
getBoolValue
Method · 0.80
isArray
Method · 0.80
create
Method · 0.80
getPrecision
Method · 0.80
getSortKind
Method · 0.80
create
Method · 0.80
Check
Method · 0.80
check
Method · 0.80
Calls
1
values
Method · 0.65
Tested by
no test coverage detected