Z3
src
api
java
enumerations
Z3_error_code.java
Go to the documentation of this file.
1
5
package
com.microsoft.z3.enumerations;
6
10
public
enum
Z3_error_code
{
11
Z3_INVALID_PATTERN
(6),
12
Z3_MEMOUT_FAIL
(7),
13
Z3_NO_PARSER
(5),
14
Z3_OK
(0),
15
Z3_INVALID_ARG
(3),
16
Z3_EXCEPTION
(12),
17
Z3_IOB
(2),
18
Z3_INTERNAL_FATAL
(9),
19
Z3_INVALID_USAGE
(10),
20
Z3_FILE_ACCESS_ERROR
(8),
21
Z3_SORT_ERROR
(1),
22
Z3_PARSER_ERROR
(4),
23
Z3_DEC_REF_ERROR
(11);
24
25
private
final
int
intValue;
26
27
Z3_error_code
(
int
v) {
28
this.intValue = v;
29
}
30
31
public
static
final
Z3_error_code
fromInt
(
int
v) {
32
for
(
Z3_error_code
k: values())
33
if
(k.intValue == v)
return
k;
34
return
values()[0];
35
}
36
37
public
final
int
toInt
() {
return
this.intValue; }
38
}
39
com.microsoft.z3.enumerations.Z3_error_code.Z3_INVALID_ARG
Z3_INVALID_ARG
Definition:
Z3_error_code.java:15
com.microsoft.z3.enumerations.Z3_error_code.Z3_EXCEPTION
Z3_EXCEPTION
Definition:
Z3_error_code.java:16
com.microsoft.z3.enumerations.Z3_error_code.Z3_PARSER_ERROR
Z3_PARSER_ERROR
Definition:
Z3_error_code.java:22
com.microsoft.z3.enumerations.Z3_error_code.Z3_IOB
Z3_IOB
Definition:
Z3_error_code.java:17
com.microsoft.z3.enumerations.Z3_error_code.toInt
final int toInt()
Definition:
Z3_error_code.java:37
com.microsoft.z3.enumerations.Z3_error_code.Z3_SORT_ERROR
Z3_SORT_ERROR
Definition:
Z3_error_code.java:21
com.microsoft.z3.enumerations.Z3_error_code.Z3_error_code
Z3_error_code(int v)
Definition:
Z3_error_code.java:27
com.microsoft.z3.enumerations.Z3_error_code.Z3_NO_PARSER
Z3_NO_PARSER
Definition:
Z3_error_code.java:13
com.microsoft.z3.enumerations.Z3_error_code.Z3_DEC_REF_ERROR
Z3_DEC_REF_ERROR
Definition:
Z3_error_code.java:23
com.microsoft.z3.enumerations.Z3_error_code.Z3_INTERNAL_FATAL
Z3_INTERNAL_FATAL
Definition:
Z3_error_code.java:18
com.microsoft.z3.enumerations.Z3_error_code
Definition:
Z3_error_code.java:10
com.microsoft.z3.enumerations.Z3_error_code.Z3_FILE_ACCESS_ERROR
Z3_FILE_ACCESS_ERROR
Definition:
Z3_error_code.java:20
com.microsoft.z3.enumerations.Z3_error_code.Z3_MEMOUT_FAIL
Z3_MEMOUT_FAIL
Definition:
Z3_error_code.java:12
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:19
com.microsoft.z3.enumerations.Z3_error_code.Z3_INVALID_PATTERN
Z3_INVALID_PATTERN
Definition:
Z3_error_code.java:11
com.microsoft.z3.enumerations.Z3_error_code.fromInt
static final Z3_error_code fromInt(int v)
Definition:
Z3_error_code.java:31
Generated on Tue Jul 19 2016 21:26:48 for Z3 by
1.8.11