Each class in this hierarchy includ

Each class in this hierarchy includes in its visibility list the features in the visibility list of QueueItem — count, INIT, Join and Leave. Therefore, if we require a queue object in a specification and wish to allow the possibility that the queue is bounded or resettable then we can declare it polymorphically as follows.
queue : QueueItem
The class of the object identified by the variable queue is of one of those in the inheritance hierarchy of Figure 1.1 — QueueItem, BoundedQueueItem, ResettableQueueItem or ResettableBoundedQueueItem. Polymorphism in Object-Z is similar to genericity in the sense that it allows a variable to be declared which can be associated with more than one type. Therefore, as with genericity,we can only use that variable in expressions that a variable of any of its possible types could be used. While the expression queuecount and the operation expressions queueJoin and queueLeave are well-formed, the operation expression queueReset is not — since the object identified by queue may be of class QueueItem or BoundedQueueItem. If we wished to be able to reset the queue, we could instead declare it as follows.
queue : ResettableQueueItem
The object identifiedby the variablequeue, in this case, is of class ResettableQueueItem or ResettableBoundedQueueItem. The accessible features are the visible features of ResettableQueueItem.

Kết quả (Việt) 1:

Mỗi lớp học trong hệ thống phân cấp này bao gồm trong khả năng hiển thị danh sách các tính năng khả năng hiển thị danh sách các QueueItem-đếm, INIT, tham gia và rời khỏi. Vì vậy, nếu chúng tôi yêu cầu một đối tượng xếp hàng tại một sinh và muốn cho phép khả năng rằng hàng đợi là bị chặn hoặc Eyewear sau đó chúng tôi có thể tuyên bố nó polymorphically như sau.Xếp hàng: QueueItemCác lớp đối tượng identified bởi xếp hàng thay đổi là một trong những người trong hệ thống kế thừa của hình 1.1-QueueItem, BoundedQueueItem, ResettableQueueItem hoặc ResettableBoundedQueueItem. Đa hình trong đối tượng-Z là tương tự như genericity trong ý nghĩa rằng nó cho phép một biến được khai báo có thể được liên kết với nhiều hơn một loại. Vì vậy, như với genericity, chúng tôi có thể chỉ sử dụng mà biến trong biểu thức một biến của bất kỳ loại của nó có thể có thể được sử dụng. Trong khi biểu hiện hàng chờ xuất hiện và biểu hiện hoạt động tham gia xếp hàng và xếp hàng lại là tốt được hình thành, hàng đợi biểu hiện thao tác Reset không phải là-kể từ khi đối tượng identified của hàng đợi có thể của lớp học QueueItem hoặc BoundedQueueItem. Nếu chúng tôi muốn để có thể thiết lập lại xếp hàng, chúng tôi có thể thay vào đó tuyên bố nó như sau.Xếp hàng: ResettableQueueItemĐối tượng identifiedby variablequeue, trong trường hợp này, là lớp học ResettableQueueItem hoặc ResettableBoundedQueueItem. Các tính năng có thể truy cập là các tính năng có thể nhìn thấy của ResettableQueueItem.

Kết quả (Việt) 2:

Mỗi lớp học trong hệ thống phân cấp này bao gồm trong danh sách khả năng hiển thị của nó các tính năng trong danh sách khả năng hiển thị QueueItem? - Đếm, INIT, Tham gia và Viết. Do đó, nếu chúng tôi yêu cầu một đối tượng hàng đợi trong một cation fi cụ thể và muốn cho phép khả năng rằng các hàng đợi được bao bọc hoặc reset sau đó chúng ta có thể khai báo nó polymorphically như sau.
Đợi:? QueueItem
Các lớp của đối tượng identi ed fi bởi hàng đợi biến là một trong những người trong hệ thống phân cấp thừa kế của Hình 1.1 - QueueItem ?, BoundedQueueItem ?, ResettableQueueItem? hoặc ResettableBoundedQueueItem ?. Đa hình trong Object-Z cũng tương tự như genericity theo nghĩa là nó cho phép một biến được khai báo có thể được kết hợp với nhiều hơn một loại. Vì vậy, như với genericity, chúng tôi chỉ có thể sử dụng biến trong biểu thức có một biến bất kỳ loại có thể có của nó có thể được sử dụng. ???? Trong khi hàng đợi biểu hiện đếm và hàng đợi biểu hiện hoạt động gia và xếp hàng lại được cũng như hình thành, hàng đợi biểu hiện hoạt động lập lại không phải là - vì đối tượng identi fi ed bởi hàng đợi có thể được các lớp QueueItem? hoặc BoundedQueueItem ?. Nếu chúng tôi muốn để có thể thiết lập lại hàng đợi, chúng tôi thay vì có thể khai báo như sau.
Queue:? ResettableQueueItem
Các đối tượng identi fi edby các variablequeue, trong trường hợp này, là của lớp ResettableQueueItem? hoặc ResettableBoundedQueueItem ?. Các tính năng truy cập là những tính năng hữu hình của ResettableQueueItem ?.