Go to the documentation of this file.00001
00018 package com.microsoft.z3;
00019
00023 public class Version
00024 {
00028 public static int getMajor()
00029 {
00030 Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
00031 Native.getVersion(major, minor, build, revision);
00032 return major.value;
00033 }
00034
00038 public static int getMinor()
00039 {
00040 Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
00041 Native.getVersion(major, minor, build, revision);
00042 return minor.value;
00043 }
00044
00048 public static int getBuild()
00049 {
00050 Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
00051 Native.getVersion(major, minor, build, revision);
00052 return build.value;
00053 }
00054
00058 public static int getRevision()
00059 {
00060 Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
00061 Native.getVersion(major, minor, build, revision);
00062 return revision.value;
00063 }
00064
00068 public static String getString()
00069 {
00070 Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
00071 Native.getVersion(major, minor, build, revision);
00072 return Integer.toString(major.value) + "." + Integer.toString(minor.value) + "."
00073 + Integer.toString(build.value) + "." + Integer.toString(revision.value);
00074 }
00075 }