portal.core.servlet
Class ServletPortalContext

java.lang.Object
  portal.core.api.PortalContext
      portal.core.servlet.ServletPortalContext

public class ServletPortalContext

extends PortalContext

Constructor Summary

ServletPortalContext(GraphicsDevice graphicsDevice)

Method Summary

void	addInitParameter(java.lang.String name, java.lang.String value)
java.lang.String	getInitParameter(java.lang.String name)
java.security.Principal	getUserPrincipal()
void	lockDesktop()
void	processError(ErrorState errorState)
static void	setPortalContext(PortalContext portalContext)
void	setUserPrincipal(UserPrincipal userPrincipal)
void	stopSession()

Methods inherited from class portal.core.api.PortalContext

getPortalContext, getThreadLocalPortalContext

Methods inherited from class java.lang.Object

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

Constructor Detail

ServletPortalContext

public ServletPortalContext(GraphicsDevice graphicsDevice)

Method Detail

setPortalContext

public static void setPortalContext(PortalContext portalContext)

getInitParameter

public java.lang.String getInitParameter(java.lang.String name)

Specified by:

getInitParameter in class PortalContext

addInitParameter

public void addInitParameter(java.lang.String name,
                             java.lang.String value)

getUserPrincipal

public java.security.Principal getUserPrincipal()

Specified by:

getUserPrincipal in class PortalContext

stopSession

public void stopSession()

Specified by:

stopSession in class PortalContext

processError

public void processError(ErrorState errorState)

Specified by:

processError in class PortalContext

lockDesktop

public void lockDesktop()

Specified by:

lockDesktop in class PortalContext

setUserPrincipal

public void setUserPrincipal(UserPrincipal userPrincipal)