|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectedu.rice.cs.dynamicjava.Version
public abstract class Version
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-20110903-0901;
| Constructor Summary | |
|---|---|
Version()
|
|
| Method Summary | |
|---|---|
static java.util.Date |
getBuildTime()
|
static java.lang.String |
getBuildTimeString()
|
static void |
main(java.lang.String[] args)
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public Version()
| Method Detail |
|---|
public static java.lang.String getBuildTimeString()
public static java.util.Date getBuildTime()
public static void main(java.lang.String[] args)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||