Z3
src
api
java
enumerations
Z3_error_code.java
Go to the documentation of this file.
1
5
package
com.microsoft.z3.enumerations;
6
7
import
java.util.HashMap;
8
import
java.util.Map;
9
13
public
enum
Z3_error_code
{
14
Z3_OK
(0),
15
Z3_SORT_ERROR
(1),
16
Z3_IOB
(2),
17
Z3_INVALID_ARG
(3),
18
Z3_PARSER_ERROR
(4),
19
Z3_NO_PARSER
(5),
20
Z3_INVALID_PATTERN
(6),
21
Z3_MEMOUT_FAIL
(7),
22
Z3_FILE_ACCESS_ERROR
(8),
23
Z3_INTERNAL_FATAL
(9),
24
Z3_INVALID_USAGE
(10),
25
Z3_DEC_REF_ERROR
(11),
26
Z3_EXCEPTION
(12);
27
28
private
final
int
intValue;
29
30
Z3_error_code
(
int
v) {
31
this.intValue = v;
32
}
33
34
// Cannot initialize map in constructor, so need to do it lazily.
35
// Easiest thread-safe way is the initialization-on-demand holder pattern.
36
private
static
class
Z3_error_code_MappingHolder {
37
private
static
final
Map<Integer, Z3_error_code> intMapping =
new
HashMap<>();
38
static
{
39
for
(
Z3_error_code
k :
Z3_error_code
.values())
40
intMapping.put(k.toInt(), k);
41
}
42
}
43
44
public
static
final
Z3_error_code
fromInt
(
int
v) {
45
Z3_error_code
k = Z3_error_code_MappingHolder.intMapping.get(v);
46
if
(k != null)
return
k;
47
throw
new
IllegalArgumentException(
"Illegal value "
+ v +
" for Z3_error_code"
);
48
}
49
50
public
final
int
toInt
() {
return
this.intValue; }
51
}
52
com.microsoft.z3.enumerations.Z3_error_code.Z3_INVALID_ARG
Z3_INVALID_ARG
Definition:
Z3_error_code.java:17
com.microsoft.z3.enumerations.Z3_error_code.Z3_EXCEPTION
Z3_EXCEPTION
Definition:
Z3_error_code.java:26
com.microsoft.z3.enumerations.Z3_error_code.Z3_PARSER_ERROR
Z3_PARSER_ERROR
Definition:
Z3_error_code.java:18
com.microsoft.z3.enumerations.Z3_error_code.Z3_IOB
Z3_IOB
Definition:
Z3_error_code.java:16
com.microsoft.z3.enumerations.Z3_error_code.toInt
final int toInt()
Definition:
Z3_error_code.java:50
com.microsoft.z3.enumerations.Z3_error_code.Z3_SORT_ERROR
Z3_SORT_ERROR
Definition:
Z3_error_code.java:15
com.microsoft.z3.enumerations.Z3_error_code.Z3_error_code
Z3_error_code(int v)
Definition:
Z3_error_code.java:30
com.microsoft.z3.enumerations.Z3_error_code.Z3_NO_PARSER
Z3_NO_PARSER
Definition:
Z3_error_code.java:19
com.microsoft.z3.enumerations.Z3_error_code.Z3_DEC_REF_ERROR
Z3_DEC_REF_ERROR
Definition:
Z3_error_code.java:25
com.microsoft.z3.enumerations.Z3_error_code.Z3_INTERNAL_FATAL
Z3_INTERNAL_FATAL
Definition:
Z3_error_code.java:23
com.microsoft.z3.enumerations.Z3_error_code
Definition:
Z3_error_code.java:13
com.microsoft.z3.enumerations.Z3_error_code.Z3_FILE_ACCESS_ERROR
Z3_FILE_ACCESS_ERROR
Definition:
Z3_error_code.java:22
com.microsoft.z3.enumerations.Z3_error_code.Z3_MEMOUT_FAIL
Z3_MEMOUT_FAIL
Definition:
Z3_error_code.java:21
com.microsoft.z3.enumerations.Z3_error_code.Z3_OK
Z3_OK
Definition:
Z3_error_code.java:14
com.microsoft.z3.enumerations.Z3_error_code.Z3_INVALID_USAGE
Z3_INVALID_USAGE
Definition:
Z3_error_code.java:24
com.microsoft.z3.enumerations.Z3_error_code.Z3_INVALID_PATTERN
Z3_INVALID_PATTERN
Definition:
Z3_error_code.java:20
com.microsoft.z3.enumerations.Z3_error_code.fromInt
static final Z3_error_code fromInt(int v)
Definition:
Z3_error_code.java:44
Generated on Sat Nov 12 2016 22:01:04 for Z3 by
1.8.12