Z3
Z3_ast_print_mode.java
Go to the documentation of this file.
1
5package com.microsoft.z3.enumerations;
6
7import java.util.HashMap;
8import java.util.Map;
9
13public enum Z3_ast_print_mode {
17
18 private final int intValue;
19
21 this.intValue = v;
22 }
23
24 // Cannot initialize map in constructor, so need to do it lazily.
25 // Easiest thread-safe way is the initialization-on-demand holder pattern.
26 private static class Z3_ast_print_mode_MappingHolder {
27 private static final Map<Integer, Z3_ast_print_mode> intMapping = new HashMap<>();
28 static {
29 for (Z3_ast_print_mode k : Z3_ast_print_mode.values())
30 intMapping.put(k.toInt(), k);
31 }
32 }
33
34 public static final Z3_ast_print_mode fromInt(int v) {
35 Z3_ast_print_mode k = Z3_ast_print_mode_MappingHolder.intMapping.get(v);
36 if (k != null) return k;
37 throw new IllegalArgumentException("Illegal value " + v + " for Z3_ast_print_mode");
38 }
39
40 public final int toInt() { return this.intValue; }
41}
42
static final Z3_ast_print_mode fromInt(int v)