+
Point of view
All features
class EIFFELTEST_COMMAND_PROVIDER
Summary
Direct parents
Insert list: ANY
Class invariant
Overview
add (a_path: STRING)
effective procedure
{ANY}
display (stream: OUTPUT_STREAM)
effective procedure
{ANY}
count: INTEGER_32
effective function
{ANY}
is_empty (client: EIFFELTEST_CLIENT_SOCKET): BOOLEAN
effective function
{ANY}
effective function
{ANY}
remove (client: EIFFELTEST_CLIENT_SOCKET)
effective procedure
{ANY}
make
effective procedure
{}
writable attribute
{}
disconnected_clients: HASHED_SET[EIFFELTEST_CLIENT_SOCKET]
writable attribute
{}
disconnect_item: FIXED_STRING
once function
{}