com.dpslink.flash.servlet

Class FlashServlet.Stack

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.TreeSet<FlashServletRequest>

com.dpslink.flash.servlet.FlashServlet.Stack

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<FlashServletRequest>, java.util.Collection<FlashServletRequest>, java.util.NavigableSet<FlashServletRequest>, java.util.Set<FlashServletRequest>, java.util.SortedSet<FlashServletRequest>

Enclosing class:

FlashServlet

public class FlashServlet.Stack
extends java.util.TreeSet<FlashServletRequest>

Inner class used to store servlet request information. Servlet requests are stored in reverse order (newest to oldest).

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID The class' serialization version id.

Constructor Summary

Constructors

Constructor and Description
Stack() Constructs a new servlet request stack.

Method Summary

Modifier and Type	Method and Description
FlashServletRequest	getId(java.lang.String id) Returns the servlet request having the given id.
FlashServletRequest	getServletName(java.lang.String name) Returns the most recent unexpired servlet request having the given servlet name.
void	setExpired(FlashServletRequest fsr, java.lang.String name) Sets all servlet requests to expired that have the given servlet name and that occurred prior to the given servlet request.
void	setExpired(java.lang.String name) Sets all servlet requests to expired that have the given servlet name regardless of when the request occurred.
void	setExpired(java.lang.String id, java.lang.String name) Sets all servlet requests to expired that have the given servlet name and that occurred prior to the given servlet request id.

Methods inherited from class java.util.TreeSet

add, addAll, ceiling, clear, clone, comparator, contains, descendingIterator, descendingSet, first, floor, headSet, headSet, higher, isEmpty, iterator, last, lower, pollFirst, pollLast, remove, size, spliterator, subSet, subSet, tailSet, tailSet

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Set

containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

serialVersionUID

private static final long serialVersionUID

The class' serialization version id.

See Also:

Constant Field Values

Constructor Detail

Stack

public Stack()

Constructs a new servlet request stack.

Method Detail

getId

public FlashServletRequest getId(java.lang.String id)

Returns the servlet request having the given id.

Parameters:

id - (String) The id for the desired servlet request.

Returns:

FlashServletRequest - The servlet request for the given id or null if no servlet request for the id exists.

getServletName

public FlashServletRequest getServletName(java.lang.String name)

Returns the most recent unexpired servlet request having the given servlet name.

Parameters:

name - (String) The name for the desired servlet request.

Returns:

FlashServletRequest - The servlet request for the given name or null if no unexpired servlet request for the name exists.

setExpired

public void setExpired(java.lang.String name)

Sets all servlet requests to expired that have the given servlet name regardless of when the request occurred. The name matching performed by this method is case sensitive.

Parameters:

name - (String) The name of the servlet to expire. Wildcard matching can be done by suffixing the name with an asterisk (*); in which case requests having a name that is prefixed with the given name (sans asterisk) will be set to expired.

setExpired

public void setExpired(java.lang.String id,
                       java.lang.String name)

Sets all servlet requests to expired that have the given servlet name and that occurred prior to the given servlet request id. The name matching performed by this method is case sensitive.

Parameters:

id - (String) The servlet request id that defines the start point for the iteration.

name - (String) The name of the servlet to expire. Pass null to expire all servlet requests prior to the given id regardless of name. Wildcard matching can be done by suffixing the name with an asterisk (*); in which case requests having a name that is prefixed with the given name (sans asterisk) will be set to expired.

setExpired

public void setExpired(FlashServletRequest fsr,
                       java.lang.String name)

Sets all servlet requests to expired that have the given servlet name and that occurred prior to the given servlet request. The name matching performed by this method is case sensitive.

Parameters:

fsr - (FlashServletRequest) The servlet request that defines the start point for the iteration.

name - (String) The name of the servlet to expire. Pass null to expire all servlet requests prior to the given request regardless of name. Wildcard matching can be done by suffixing the name with an asterisk (*); in which case requests having a name that is prefixed with the given name (sans asterisk) will be set to expired.