Z3
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 {
14  Z3_OK (0),
17  Z3_IOB (2),
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 
static final Z3_error_code fromInt(int v)