Servlet support in MINERVA follows the Java servlet standard.

See below for the list of servlet predicates defined in the package servlet. The meaning of these predicates corresponds one-to-one to their Java counterparts.

For a servlet usage example see Servlet

For a multipart/form-data servlet usage example see servlet/WEB-INF/minerva/test.min

For multipart data upload support, MINERVA offers a compact set of convenience predicates:

multipart_has_more_elements/1
multipart_next_element/2
multipart_get_content/2
multipart_get_content/3
multipart_get_stream/2
multipart_copyfile/2
multipart_create/2
multipart_create/3

multipart_create(+HttpServletRequest, -MultiPartFilter)

The predicate returns for a multipart/form-data request a multipart filter, which can from then on be used to extract the individual user data.

multipart_create(+HttpServletRequest, +Encoding, -MultiPartFilter)

The predicate returns for a multipart/form-data request with expected encoding a multipart filter, which can from then on be used to extract the individual user data.

multipart_has_more_elements(+MultiPartFilter)

The predicate returns true if there exist other not yet processed multipart/form-data sections. Otherwise, the predicate fails.

multipart_next_element(+MultiPartFilter, -HeaderList)

The predicate switches the filter to the next part and returns in 'HeaderList' the HttpParameters of that part. 'HeaderList' is a list of terms like [http(HttpHeaderName,HttpHeaderValue,[OptionName=OptionValue,...]),...] . In 'HeaderName' and 'OptionsName' all capital letters are converted to small letters. e.g. [http('content-disposition','form-data', [name = 'File', filename = 'test.html']), http('content-type', 'text/html', [])]

multipart_get_content(+MultiPartFilter, -Content)

The predicate returns the content of a form-data part as an atom. (Assumed is that the characters are ISO-8859-1).

multipart_get_content(+MultiPartFilter, +Encoding, -Content)

The predicate returns the content of a form-data part as an atom. 'Encoding' is an atom that gives the character encoding.

multipart_get_stream(+MultiPartFilter, -InputStream)

The predicate returns an InputStream for the data of the next part. Usually this InputStream will be converted into a MinervaStream with open/4. e.g. open(InputStream,read,Stream,[stream,binary]) .

multipart_copyfile(+MultiPartFilter, +Filename)

The predicate copies the contents of a form-data part into a file named Filename.

List of servlet predicates

multipart_has_more_elements/1,
multipart_next_element/2,
multipart_get_content/2,
multipart_get_content/3,
multipart_get_stream/2,
multipart_copyfile/2,
multipart_create/2,

servlet_get_init_parameter/3,
servlet_get_init_parameter_names/2,
servlet_log/2,
servlet_get_real_path/3,
servlet_restart/1,
servlet_get_mime_type/3,

request_get_parameter/3,
request_get_parameter_names/2,
request_get_parameter_values/3,
request_get_character_encoding/2,
request_get_content_length/2,
request_get_content_type/2,
request_get_remote_addr/2,
request_get_remote_host/2,
request_get_scheme/2,
request_get_server_name/2,
request_get_server_port/2,
request_is_secure/1,

request_get_auth_type/2,
request_get_context_path/2,
request_get_cookies/2,
request_get_date_header/3,
request_get_header/3,
request_get_header_names/2,
request_get_headers/3,
request_get_int_header/3,
request_get_method/2,
request_get_path_info/2,
request_get_path_translated/2,
request_get_query_string/2,
request_get_remote_user/2,
request_get_requested_session_id/2,
request_get_request_uri/2,
request_get_request_url/2,
request_get_servlet_path/2,
request_get_session/2,
request_is_requested_session_id_from_cookie/1,
request_is_requested_session_id_from_url/1,
request_is_requested_session_id_valid/1,
request_is_user_in_role/2,

response_get_writer/2,
response_get_output_stream/2,
response_add_cookie/2,
response_add_date_header/3,
response_add_header/3,
response_add_int_header/3,
response_contains_header/2,
response_encode_redirect_url/3,
response_encode_url/3,
response_send_error/2,
response_send_redirect/2,
response_set_date_header/3,
response_set_header/3,
response_set_int_header/3,
response_set_status/2,
response_set_content_type/2,

session_get_attribute/3,
session_get_attribute_names/2,
session_get_creation_time/2,
session_get_id/2,
session_get_last_accessed_time/2,
session_get_max_inactive_interval/2,
session_invalidate/1,
session_is_new/1,
session_remove_attribute/2,
session_set_attribute/3,
session_set_max_inactive_interval/2,

cookie_create/3,
cookie_get_comment/2,
cookie_get_domain/2,
cookie_get_max_age/2,
cookie_get_name/2,
cookie_get_path/2,
cookie_get_secure/2,
cookie_get_value/2,
cookie_get_version/2,
cookie_set_comment/2,
cookie_set_domain/2,
cookie_set_max_age/2,
cookie_set_path/2,
cookie_set_secure/2,
cookie_set_value/2,
cookie_set_version/2