edu.rice.cs.drjava
Class Version

java.lang.Object
  edu.rice.cs.drjava.Version

public abstract class Version
extends Object

This interface hold the information about this build of DrJava. This file is copied to Version.java by the build process, which also fills in the right values of the date and time. This javadoc corresponds to build drjava-20120304-r5456;

Version:

$Id: Version.orig 4571 2008-07-10 22:45:33Z dlsmith $

Field Summary

private static Date	BUILD_TIME A Date version of the build time.
private static String	BUILD_TIME_STRING This string will be automatically expanded upon "ant commit".
private static String	REVISION_STRING This string will be automatically expanded upon "ant commit.".
private static String	VERSION_STRING This string will be automatically expanded upon "ant commit".

Constructor Summary

Version()

Method Summary

private static Date	_getBuildDate()
static Date	getBuildTime()
static String	getBuildTimeString()
static int	getRevisionNumber()
static String	getVersionString()
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Field Detail

VERSION_STRING

private static final String VERSION_STRING

This string will be automatically expanded upon "ant commit". Do not edit it by hand!

See Also:

Constant Field Values

BUILD_TIME_STRING

private static final String BUILD_TIME_STRING

This string will be automatically expanded upon "ant commit". Do not edit it by hand!

See Also:

Constant Field Values

BUILD_TIME

private static final Date BUILD_TIME

A Date version of the build time.

REVISION_STRING

private static final String REVISION_STRING

This string will be automatically expanded upon "ant commit.". Do not edit it by hand!

See Also:

Constant Field Values

Constructor Detail

Version

public Version()

Method Detail

getVersionString

public static String getVersionString()

getRevisionNumber

public static int getRevisionNumber()

getBuildTimeString

public static String getBuildTimeString()

getBuildTime

public static Date getBuildTime()

_getBuildDate

private static Date _getBuildDate()

main

public static void main(String[] args)