Z3
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),
16  Z3_IOB (2),
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_NO_PARSER
Z3_NO_PARSER
Definition: Z3_error_code.java:19
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_INTERNAL_FATAL
Z3_INTERNAL_FATAL
Definition: Z3_error_code.java:23
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_PARSER_ERROR
Z3_PARSER_ERROR
Definition: Z3_error_code.java:18
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_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.Z3_IOB
Z3_IOB
Definition: Z3_error_code.java:16
com.microsoft.z3.enumerations.Z3_error_code
Definition: Z3_error_code.java:13
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_DEC_REF_ERROR
Z3_DEC_REF_ERROR
Definition: Z3_error_code.java:25
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.fromInt
static final Z3_error_code fromInt(int v)
Definition: Z3_error_code.java:44
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_error_code
Z3_error_code(int v)
Definition: Z3_error_code.java:30