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.

发表于 @ 2005年03月23日　07:07:00 | 评论( loading... ) | 编辑| 举报| 收藏

旧一篇:Encrypted Chat Room 4_Class Specifications(2) | 新一篇:Encrypted Chat Room 4_Class Specifications(4)