18package com.microsoft.z3;
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);
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);
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);
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;
71 return Native.getFullVersion();
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);
static String getString()
static String getFullVersion()
def String(name, ctx=None)