jadex.bridge

Class VersionInfo

java.lang.Object

jadex.bridge.VersionInfo

public class VersionInfo
extends java.lang.Object

Some version infos for Jadex.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Date	buildtime The release date.
protected java.util.Date	date The release date.
java.text.DateFormat	DATE_FORMAT_NUMBER The short date format (e.g.
java.text.DateFormat	DATE_FORMAT_TEXT The text date format (e.g.
java.text.DateFormat	DATE_FORMAT_TIMESTAMP The short date format (e.g.
protected static VersionInfo	instance The version info singleton.
protected JadexVersion	jadexversion The Jadex version as bean object.
protected java.lang.String	version The version string (e.g.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	VersionInfo() Create a new version info object.

Method Summary

Modifier and Type	Method and Description
java.util.Date	getBuildTime() Attempts to estimate the build time of the Jadex version in use.
java.util.Date	getDate() Get the release date.
static VersionInfo	getInstance() Get the version info object.
JadexVersion	getJadexVersion() Returns the version of Jadex.
java.lang.String	getNumberDateString() Get the release date as short number string (format=yyyy/MM/dd, e.g.
java.lang.String	getTextDateString() Get the release date as long text string (format=MMMM d, yyyy, e.g.
java.lang.String	getTimestamp() Get the release date as timestamp string (format=yyyyMMdd.HHmmss, e.g.
java.lang.String	getVersion() Get the version string.
void	setBuildTime(java.util.Date buildtime) Sets the build time through external mechanism.

Methods inherited from class java.lang.Object

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

Field Detail

instance

protected static final VersionInfo instance

The version info singleton.

DATE_FORMAT_TEXT

public final java.text.DateFormat DATE_FORMAT_TEXT

The text date format (e.g. January 13, 2012).

DATE_FORMAT_NUMBER

public final java.text.DateFormat DATE_FORMAT_NUMBER

The short date format (e.g. 2012/01/13).

DATE_FORMAT_TIMESTAMP

public final java.text.DateFormat DATE_FORMAT_TIMESTAMP

The short date format (e.g. 2012/01/13).

version

protected java.lang.String version

The version string (e.g. 2.2-RC1).

jadexversion

protected JadexVersion jadexversion

The Jadex version as bean object.

date

protected java.util.Date date

The release date.

buildtime

protected java.util.Date buildtime

The release date.

Constructor Detail

VersionInfo

protected VersionInfo()

Create a new version info object.

Method Detail

getInstance

public static VersionInfo getInstance()

Get the version info object.

getVersion

public java.lang.String getVersion()

Get the version string.

getDate

public java.util.Date getDate()

Get the release date.

Returns:

null, if unknown.

getJadexVersion

public JadexVersion getJadexVersion()

Returns the version of Jadex.

Returns:

Version of Jadex.

getBuildTime

public java.util.Date getBuildTime()

Attempts to estimate the build time of the Jadex version in use.

Returns:

The build time.

setBuildTime

public void setBuildTime(java.util.Date buildtime)

Sets the build time through external mechanism.

getTextDateString

public java.lang.String getTextDateString()

Get the release date as long text string (format=MMMM d, yyyy, e.g. January 13, 2012).

getNumberDateString

public java.lang.String getNumberDateString()

Get the release date as short number string (format=yyyy/MM/dd, e.g. 2012/01/13).

getTimestamp

public java.lang.String getTimestamp()

Get the release date as timestamp string (format=yyyyMMdd.HHmmss, e.g. 20120113.174803).