Encrypted Chat Room 4_Class Specifications(3)

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

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

0 ·

CC 4.0 BY-SA版权

文章标签：

#class #attributes #integer #string #session #date

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

13 篇文章

订阅专栏

博客介绍了SessionData类，该类用于保存两个客户端建立会话的初始数据。包含sessionId、sessionKey等属性，有sessionId唯一、sessionKey含特定大写字母等约束条件，可通过get-和set-操作访问或修改属性。

class SessionData
This class holds initial data for the establishment of a session between two clients.

attributes

sessionId: Integer
sessionKey: String
startTime: Date
senderName: String {name of the client attempting to establish a communication}

invariant
sessionId is unique
sessionKey must contain one or more capital letters that have an ASCII value between 65 and 90.

operation specifications
Any of the attributes can be accessed or modified using get- and set- operations.