Z3
Version.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
24 public 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 getString()
70  {
71  Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
72  Native.getVersion(major, minor, build, revision);
73  return Integer.toString(major.value) + "." + Integer.toString(minor.value) + "."
74  + Integer.toString(build.value) + "." + Integer.toString(revision.value);
75  }
76 }
static int getRevision()
Definition: Version.java:59
static void getVersion(IntPtr a0, IntPtr a1, IntPtr a2, IntPtr a3)
Definition: Native.java:3310
static String getString()
Definition: Version.java:69
static int getMinor()
Definition: Version.java:39
static int getBuild()
Definition: Version.java:49
static int getMajor()
Definition: Version.java:29