Package 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 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 Description protected
VersionInfo()
Create a new version info object.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method 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.
-
-
-
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.
-
-
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).
-
-