Encrypted Chat Room 4_Class Specifications(5)

最新推荐文章于 2018-08-18 14:09:42 发布

原创最新推荐文章于 2018-08-18 14:09:42 发布 · 891 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#class #attributes #constructor #delete #reference #string

::Project1:: 专栏收录该内容

13 篇文章

订阅专栏

博客介绍了ClientSet类，该类代表一组客户端。包含clients属性，以及构造函数、添加、删除、查找客户端等操作。添加和删除操作会根据结果返回布尔值，查找操作会返回客户端引用或null，还可获取所有客户端。

class ClientSet
This class represents a set of clients.

attributes
clients: Client[]

operation specifications

+ ClientSet ()
-- constructor
pre:
post: clients has been created

+ add (client: Client): Boolean
-- Add a new client to the set.
pre: client is valid
post: if client is successfully added to clientSet
                  true is returned
          else
                  false is returned

+ delete (name: String): Boolean
-- Delete the client with matching name from the set.
pre: none
post: if client with matching name was successfully deleted
                  true is returned
          else
                  false is returned

+ find(name: String): Client
-- return a reference to the client if a client exists with matching name.
pre: none
post: if a client exists with matching name
                       the client object is returned
          else
                       null is returned

+ getClients(): Client[]
post: clients has been returned