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-20020913-2254;
- Version:
- $Id: Version.java,v 1.389 2002/09/13 22:55:33 csreis Exp $
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
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!
BUILD_TIME
private static final Date BUILD_TIME
- A
Date
version of the build time.
Version
public Version()
getBuildTimeString
public static String getBuildTimeString()
getBuildTime
public static Date getBuildTime()
_getBuildDate
private static Date _getBuildDate()
main
public static void main(String[] args)