GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
EXAMPLE_HTTP_CLIENT
+
Point of view
All features
ANY
XML_COMPOSITE_NODE
XML_DATA_NODE
All features
class EXAMPLE_HTTP_CLIENT
Summary
top
Some ideas and first draft of this class kindly provided by Serge
mailto:se@sir.nensi.net
Direct parents
Inherit list:
XML_NODE_VISITOR
Insert list:
PROTOCOLS
Overview
top
Creation features
{
ANY
}
make
Features
{}
proxy
:
HTTP_PROXY
make
test_socket
(url:
URL
)
error
(line:
INTEGER_32
, column:
INTEGER_32
)
{
XML_COMPOSITE_NODE
}
visit_composite_node
(node:
XML_COMPOSITE_NODE
)
{
XML_DATA_NODE
}
visit_data_node
(node:
XML_DATA_NODE
)
{}
indent
:
INTEGER_32
{}
_inline_agent4
(err:
STRING
)
{
ANY
}
register_protocol_factory
(a_protocol_name:
ABSTRACT_STRING
, a_factory:
FUNCTION
[
TUPLE
,
PROTOCOL
])
{
ANY
}
known_protocol
(a_protocol_name:
ABSTRACT_STRING
):
BOOLEAN
protocol
(a_protocol_name:
ABSTRACT_STRING
):
PROTOCOL
recycle
(a_protocol:
PROTOCOL
)
{}
factories
:
DICTIONARY
[
FUNCTION
[
TUPLE
,
PROTOCOL
],
FIXED_STRING
]
init
new_http
(name:
FIXED_STRING
, port:
INTEGER_32
):
HTTP_PROTOCOL
new_file
:
FILE_PROTOCOL
Protocol reuse
{}
unused
:
HASHED_DICTIONARY
[
RECYCLING_POOL
[
PROTOCOL
],
FIXED_STRING
]
unused_protocols
(a_protocol_name:
FIXED_STRING
):
RECYCLING_POOL
[
PROTOCOL
]
Creation
{}
default_create
Default creation method.
proxy
:
HTTP_PROXY
writable attribute
{}
top
make
effective procedure
{}
top
test_socket
(url:
URL
)
effective procedure
{}
top
error
(line:
INTEGER_32
, column:
INTEGER_32
)
effective procedure
{}
top
visit_composite_node
(node:
XML_COMPOSITE_NODE
)
effective procedure
{
XML_COMPOSITE_NODE
}
top
require
node /= Void
visit_data_node
(node:
XML_DATA_NODE
)
effective procedure
{
XML_DATA_NODE
}
top
require
node /= Void
indent
:
INTEGER_32
writable attribute
{}
top
_inline_agent4
(err:
STRING
)
frozen
effective procedure
{}
top
register_protocol_factory
(a_protocol_name:
ABSTRACT_STRING
, a_factory:
FUNCTION
[
TUPLE
,
PROTOCOL
])
effective procedure
{
ANY
}
top
require
a_protocol_name.count > 0
not
known_protocol
(a_protocol_name)
ensure
known_protocol
(a_protocol_name)
known_protocol
(a_protocol_name:
ABSTRACT_STRING
):
BOOLEAN
effective function
{
ANY
}
top
require
a_protocol_name.count > 0
protocol
(a_protocol_name:
ABSTRACT_STRING
):
PROTOCOL
effective function
{
ANY
}
top
require
a_protocol_name.count > 0
known_protocol
(a_protocol_name)
ensure
not Result.is_connected
recycle
(a_protocol:
PROTOCOL
)
effective procedure
{
ANY
}
top
require
not a_protocol.is_connected
factories
:
DICTIONARY
[
FUNCTION
[
TUPLE
,
PROTOCOL
],
FIXED_STRING
]
once function
{}
top
init
once procedure
{}
top
new_http
(name:
FIXED_STRING
, port:
INTEGER_32
):
HTTP_PROTOCOL
effective function
{}
top
require
name = name.intern
new_file
:
FILE_PROTOCOL
effective function
{}
top
unused
:
HASHED_DICTIONARY
[
RECYCLING_POOL
[
PROTOCOL
],
FIXED_STRING
]
once function
{}
top
unused_protocols
(a_protocol_name:
FIXED_STRING
):
RECYCLING_POOL
[
PROTOCOL
]
effective function
{}
top
ensure
Result /= Void
default_create
effective procedure
{}
top
Default creation method.
It is used when no creation method is specified if allowed. Note it may be renamed.