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-20090115-r4700;

Version:

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

Constructor Summary

Version()

Method Summary

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

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()

main

public static void main(String[] args)