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
]