org.yawlfoundation.yawl.monitor.jsf

Class ApplicationBean

java.lang.Object

com.sun.rave.web.ui.appbase.FacesBean

com.sun.rave.web.ui.appbase.AbstractApplicationBean

org.yawlfoundation.yawl.monitor.jsf.ApplicationBean

public class ApplicationBean
extends com.sun.rave.web.ui.appbase.AbstractApplicationBean

Application scope data bean for the worklist and admin pages.

Author:

Michael Adams BPM Group, QUT Australia v0.1, 21/10/2007 Boilerplate code generated by Sun Java Studio Creator 2.1 Last Date: 05/01/2008

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ApplicationBean.PageRef

Field Summary

Fields inherited from class com.sun.rave.web.ui.appbase.AbstractApplicationBean

encoding

Constructor Summary

Constructors

Constructor and Description
ApplicationBean() Constructor

Method Summary

Modifier and Type	Method and Description
void	addLiveUser(java.lang.String userid)
void	addSessionReference(java.lang.String participantID, SessionBean sBean)
void	destroy()
java.lang.String	formatAge(long age) formats a long time value into a string of the form 'ddd:hh:mm:ss'
int	getDefaultJSFRefreshRate()
com.sun.rave.web.ui.component.Link	getFavIcon()
java.util.Set<java.lang.String>	getLiveUsers()
java.lang.String	getLocaleCharacterEncoding()
MonitorClient	getMonitorClient()
SessionBean	getSessionReference(java.lang.String participantID)
void	init()
boolean	isLoggedOn(java.lang.String userid)
void	refresh()
void	removeLiveUser(java.lang.String userid)
void	removeSessionReference(java.lang.String participantID)
java.lang.String	rPad(java.lang.String str, int padlen)
java.lang.String	rPadSp(java.lang.String str, int padlen)
void	setFavIcon(com.sun.rave.web.ui.component.Link link)
void	setLiveUsers(java.util.Set<java.lang.String> userSet)

Methods inherited from class com.sun.rave.web.ui.appbase.FacesBean

erase, error, error, fatal, fatal, getApplication, getApplicationMap, getBean, getCachedExceptions, getContext, getExternalContext, getFacesContext, getLifecycle, getRequestMap, getSessionMap, getValue, info, info, log, log, setBean, setValue, warn, warn

Methods inherited from class java.lang.Object

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

Constructor Detail

ApplicationBean

public ApplicationBean()

Constructor

Method Detail

init

public void init()

Overrides:

init in class com.sun.rave.web.ui.appbase.AbstractApplicationBean

destroy

public void destroy()

Overrides:

destroy in class com.sun.rave.web.ui.appbase.AbstractApplicationBean

getLocaleCharacterEncoding

public java.lang.String getLocaleCharacterEncoding()

Overrides:

getLocaleCharacterEncoding in class com.sun.rave.web.ui.appbase.AbstractApplicationBean

getFavIcon

public com.sun.rave.web.ui.component.Link getFavIcon()

setFavIcon

public void setFavIcon(com.sun.rave.web.ui.component.Link link)

getMonitorClient

public MonitorClient getMonitorClient()

getDefaultJSFRefreshRate

public int getDefaultJSFRefreshRate()

addSessionReference

public void addSessionReference(java.lang.String participantID,
                                SessionBean sBean)

getSessionReference

public SessionBean getSessionReference(java.lang.String participantID)

removeSessionReference

public void removeSessionReference(java.lang.String participantID)

getLiveUsers

public java.util.Set<java.lang.String> getLiveUsers()

setLiveUsers

public void setLiveUsers(java.util.Set<java.lang.String> userSet)

addLiveUser

public void addLiveUser(java.lang.String userid)

removeLiveUser

public void removeLiveUser(java.lang.String userid)

isLoggedOn

public boolean isLoggedOn(java.lang.String userid)

formatAge

public java.lang.String formatAge(long age)

formats a long time value into a string of the form 'ddd:hh:mm:ss'

Parameters:

age - the time value (in milliseconds)

Returns:

the formatted time string

rPadSp

public java.lang.String rPadSp(java.lang.String str,
                               int padlen)

rPad

public java.lang.String rPad(java.lang.String str,
                             int padlen)

refresh

public void refresh()