+
Point of view
All features
class CGI_CONTENT_TYPE
Summary
CONTENT_TYPE
Direct parents
Insert list: ANY
Overview
writable attribute
subtype: FIXED_STRING
writable attribute
effective function
error: STRING
writable attribute
{CGI}
make (t: STRING)
effective procedure
{}
require
  • not t.is_empty
a_media_type (t: STRING)
effective procedure
{}
a_parameter (t: STRING, pos: INTEGER_32): INTEGER_32
effective function
{}
require
  • t.valid_index(pos)
  • t.item(pos) = ';'
  • error = Void
ensure
  • error = Void implies attributes.count = old attributes.count + 1 and then t.valid_index(Result) implies t.item(Result) = ';'
set_error (t: STRING)
effective procedure
{}
require
  • t /= Void
writable attribute
{}