Z3
Version.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
23 public class Version
24 {
28  public static int getMajor()
29  {
30  Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
31  Native.getVersion(major, minor, build, revision);
32  return major.value;
33  }
34 
38  public static int getMinor()
39  {
40  Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
41  Native.getVersion(major, minor, build, revision);
42  return minor.value;
43  }
44 
48  public static int getBuild()
49  {
50  Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
51  Native.getVersion(major, minor, build, revision);
52  return build.value;
53  }
54 
58  public static int getRevision()
59  {
60  Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
61  Native.getVersion(major, minor, build, revision);
62  return revision.value;
63  }
64 
68  public static String getString()
69  {
70  Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
71  Native.getVersion(major, minor, build, revision);
72  return Integer.toString(major.value) + "." + Integer.toString(minor.value) + "."
73  + Integer.toString(build.value) + "." + Integer.toString(revision.value);
74  }
75 }
static int getRevision()
Definition: Version.java:58
static void getVersion(IntPtr a0, IntPtr a1, IntPtr a2, IntPtr a3)
Definition: Native.java:3187
static String getString()
Definition: Version.java:68
static int getMinor()
Definition: Version.java:38
static int getBuild()
Definition: Version.java:48
static int getMajor()
Definition: Version.java:28