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

Method getMajor

src/api/java/Version.java:29–34  ·  view source on GitHub ↗

The major version

()

Source from the content-addressed store, hash-verified

27 * The major version
28 **/
29 public static int getMajor()
30 {
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);
33 return major.value;
34 }
35
36 /**
37 * The minor version

Callers 2

mainMethod · 0.95
mainMethod · 0.95

Calls 1

getVersionMethod · 0.80

Tested by

no test coverage detected