Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Static Public Member Functions
Version Class Reference

Static Public Member Functions

static int getMajor ()
static int getMinor ()
static int getBuild ()
static int getRevision ()
static String getString ()

Detailed Description

Version information. Note that this class is static.

Definition at line 23 of file Version.java.


Member Function Documentation

static int getBuild ( ) [inline, static]

The build version

Definition at line 48 of file Version.java.

    {
        Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
        Native.getVersion(major, minor, build, revision);
        return build.value;
    }
static int getMajor ( ) [inline, static]

The major version

Definition at line 28 of file Version.java.

    {
        Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
        Native.getVersion(major, minor, build, revision);
        return major.value;
    }
static int getMinor ( ) [inline, static]

The minor version

Definition at line 38 of file Version.java.

    {
        Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
        Native.getVersion(major, minor, build, revision);
        return minor.value;
    }
static int getRevision ( ) [inline, static]

The revision

Definition at line 58 of file Version.java.

    {
        Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
        Native.getVersion(major, minor, build, revision);
        return revision.value;
    }
static String getString ( ) [inline, static]

A string representation of the version information.

Definition at line 68 of file Version.java.

    {
        Native.IntPtr major = new Native.IntPtr(), minor = new Native.IntPtr(), build = new Native.IntPtr(), revision = new Native.IntPtr();
        Native.getVersion(major, minor, build, revision);
        return Integer.toString(major.value) + "." + Integer.toString(minor.value) + "."
                + Integer.toString(build.value) + "." + Integer.toString(revision.value);
    }
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines