Index of class attributes


C
config [Nethttpd_types.empty_environment]

F
fd [Netcgi_common.out_obj_of_descr]
The file descriptor passed as argument.
fd [Netcgi_common.in_obj_of_descr]
The file descriptor passed as argument.

H
header_not_sent [Netcgi_common.cgi_environment]
true iff the output headers have not been sent.

I
in0 [Netcgi_common.in_obj_of_descr]
in1 [Netcgi_common.in_obj_of_descr]
Invariant: 0 <= in0; in1 <= String.length buffer.
in_buf [Netcgi_common.in_obj_of_descr]
The internal buffer of length buffer_len.
in_channel [Nethttpd_types.empty_environment]
in_header [Nethttpd_types.empty_environment]
in_state [Nethttpd_types.empty_environment]

O
out1 [Netcgi_common.out_obj_of_descr]
out_buf [Netcgi_common.out_obj_of_descr]
The internal buffer of length buffer_len.
out_channel [Nethttpd_types.empty_environment]
out_header [Nethttpd_types.empty_environment]
out_state [Nethttpd_types.empty_environment]

P
pos_in [Netcgi_common.in_obj_of_descr]
pos_out [Netcgi_common.out_obj_of_descr]
properties [Nethttpd_types.empty_environment]
protocol [Nethttpd_types.empty_environment]