Package | Description |
---|---|
org.jgrapes.portal.base |
Provides the components for building a portal based on the
core, io and http packages.
|
org.jgrapes.portal.base.events |
The events used by the portal related components.
|
Modifier and Type | Method and Description |
---|---|
protected ResourceRequest |
ResourceResult.request() |
Constructor and Description |
---|
ResourceByGenerator(ResourceRequest request,
ResourceByGenerator.Generator generator,
org.jdrupes.httpcodec.types.MediaType mediaType,
Instant lastModifiedAt,
int maxAge)
Instantiates a result that is provided by an
OutputStream . |
ResourceByInputStream(ResourceRequest request,
InputStream stream,
org.jdrupes.httpcodec.types.MediaType mediaType,
Instant lastModifiedAt,
int maxAge)
Instantiates a result that is provided by an
OutputStream . |
ResourceByUrl(ResourceRequest request,
URL resourceUrl)
Instantiates a new result represented by a
URL . |
ResourceNotModified(ResourceRequest request,
Instant lastModifiedAt,
int maxAge)
Creates a new instance.
|
ResourceProvided(ResourceRequest request)
Creates a new instance.
|
ResourceResult(ResourceRequest request)
Instantiates a new resource result.
|
Modifier and Type | Class and Description |
---|---|
class |
PageResourceRequest
An event that signals the request of a resource that is to be added
to the
<HEAD> section of the page. |
class |
PortletResourceRequest
An event that signals the request of a resource by the portal (browser).
|
Constructor and Description |
---|
ResourceRequestCompleted(ResourceRequest monitoredEvent,
org.jgrapes.core.Channel... channels)
Instantiates a new event.
|