Z3: src/api/java/Version.java Source File

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