MCPcopy Create free account
hub / github.com/Z3Prover/z3 / getString

Method getString

src/api/java/Version.java:77–83  ·  view source on GitHub ↗

A string representation of the version information.

()

Source from the content-addressed store, hash-verified

75 * A string representation of the version information.
76 **/
77 public static String getString()
78 {
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);
83 }
84}

Callers 2

mainMethod · 0.95
mainMethod · 0.95

Calls 2

getVersionMethod · 0.80
toStringMethod · 0.65

Tested by

no test coverage detected