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 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 String getFullVersion()
Definition: Version.java:69
static int getRevision()
Definition: Version.java:59
static void getVersion(IntPtr a0, IntPtr a1, IntPtr a2, IntPtr a3)
Definition: Native.java:3571
static String getString()
Definition: Version.java:77
static int getMinor()
Definition: Version.java:39
static int getBuild()
Definition: Version.java:49
static String getFullVersion()
Definition: Native.java:3576
static int getMajor()
Definition: Version.java:29
def String(name, ctx=None)
Definition: z3py.py:9443