Eiffeldoc: CGI_CONTENT_LENGTH

+

Point of view

All features

expanded class CGI_CONTENT_LENGTH

Summary

CONTENT_LENGTH

Direct parents: Insert list: ANY

Class invariant

length >= 0

Overview

Features

{CGI, CGI_HANDLER}

length: INTEGER_32
is_known: BOOLEAN

{}

unknown: BOOLEAN

length: INTEGER_32

writable attribute

{CGI, CGI_HANDLER}

require

is_known

is_known: BOOLEAN

effective function

{CGI, CGI_HANDLER}

error: BOOLEAN

writable attribute

set_length (a_length: INTEGER_32)

effective procedure

require

a_length >= 0

ensure

is_known
length = a_length

set_error

effective procedure

ensure

error

unknown: BOOLEAN

writable attribute

{}