+
Point of view
All features
class URL
- Direct parents
- insert list: ANY
-
has_protocol: protocol /= Void
-
has_host: not host.is_empty
-
meaningful_port: port >= 0
-
has_path: not path.is_empty
require
- a_protocol /= Void
- not a_host.is_empty
- not a_path.is_empty
- a_port >= 0
set_username (a_username:
STRING)
effective procedure
set_password (a_password:
STRING)
effective procedure
require
- a_password /= Void implies username /= Void
ensure
set_arguments (a_argument_name:
STRING, a_argument_value:
STRING)
effective procedure
require
- a_argument_value /= Void implies a_argument_name /= Void