Z3
Version.java
Go to the documentation of this file.
1
18package com.microsoft.z3;
19
24public class Version
25{
29 public static int getMajor()
30 {
31 Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
32 Native.getVersion(major, minor, build, revision);
33 return major.value;
34 }
35
39 public static int getMinor()
40 {
41 Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
42 Native.getVersion(major, minor, build, revision);
43 return minor.value;
44 }
45
49 public static int getBuild()
50 {
51 Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
52 Native.getVersion(major, minor, build, revision);
53 return build.value;
54 }
55
59 public static int getRevision()
60 {
61 Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
62 Native.getVersion(major, minor, build, revision);
63 return revision.value;
64 }
65
69 public static String getFullVersion()
70 {
71 return Native.getFullVersion();
72 }
73
77 public static String getString()
78 {
79 Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
80 Native.getVersion(major, minor, build, revision);
81 return Integer.toString(major.value) + "." + Integer.toString(minor.value) + "."
82 + Integer.toString(build.value) + "." + Integer.toString(revision.value);
83 }
84}
static void getVersion(IntPtr a0, IntPtr a1, IntPtr a2, IntPtr a3)
Definition: Native.java:3924
static String getFullVersion()
Definition: Native.java:3929
static int getMinor()
Definition: Version.java:39
static int getMajor()
Definition: Version.java:29
static String getString()
Definition: Version.java:77
static int getBuild()
Definition: Version.java:49
static int getRevision()
Definition: Version.java:59
static String getFullVersion()
Definition: Version.java:69
def String(name, ctx=None)
Definition: z3py.py:10085