This utility class allows the production of an HTML "timestamp" in the following form:
This was generated by ActiveMath version versNum
on host hostName on Date at Time for user User in session Session.
Link to this frame.
|
Constructor Summary |
protected |
TimeStamp()
Fetches the informations from the Manager and stores them. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
dateFormat
protected static SimpleDateFormat dateFormat
hourFormat
protected static SimpleDateFormat hourFormat
versionString
protected static String versionString
linkToActiveMath
protected static String linkToActiveMath
hostName
protected static String hostName
TimeStamp
protected TimeStamp()
- Fetches the informations from the Manager and stores them.
ensureLoadedDatas
protected static void ensureLoadedDatas()
getHtmlTimeStamp
public static String getHtmlTimeStamp(String user,
String session,
String link)
- Produces the Hthml timeStamp. All parameters can be null if needed.