Z3
src/api/java/Version.java
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 }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines