edu.mit.csail.sdg.alloy4
Class Version

java.lang.Object
  edu.mit.csail.sdg.alloy4.Version

public final class Version
extends java.lang.Object

This holds the buildDate String. The release build script will generate a customized Version.java with the correct buildnumber and date.

Thread Safety: Safe.

Field Summary

static boolean

experimental This is true if this is an experimental version rather than a release version.

Method Summary

static java.lang.String	buildDate() Returns the build date.
static int	buildNumber() Returns the build number.
static java.lang.String	version() Returns the version string.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

experimental

public static final boolean experimental

This is true if this is an experimental version rather than a release version.

See Also:

Constant Field Values

Method Detail

buildNumber

public static int buildNumber()

Returns the build number.

version

public static java.lang.String version()

Returns the version string.

buildDate

public static java.lang.String buildDate()

Returns the build date.