+
Point of view
All features
class HTTP_GET_HANDLER
- response_header /= Void
- response_body /= Void
- out_stream /= Void
ensure
- out_stream = a_out
- version.is_equal(a_version)
ensure
- Result /= Void implies Result.is_connected
require
- response_header.is_empty
- response_body.is_empty