Package jadex.bridge

Class 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. 2012/01/13).
      java.text.DateFormat DATE_FORMAT_TEXT
      The text date format (e.g.
      java.text.DateFormat DATE_FORMAT_TIMESTAMP
      The short date format (e.g. 2012/01/13).
      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. 2.2-RC1).

    • 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. 2012/01/13).
      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. 20120113.174803).
      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).