1.4 InheritanceAs well as being use

1.4 Inheritance
As well as being used to specify objects, Object-Z classes can be directly reused in the definition of other classes. A class may be specified as a specialization or extension of another class using inheritance. The inheriting class, or subclass, implicitly includes all of the features of the inherited class, or superclass, and may also modify and add to these features. As an example of specialization of a class through inheritance, consider specifying a bounded queue. Such a queue can only contain up to a fixed number of items. Therefore,after this numberof items have beenjoined to the queue, an item must leave before further items can be joined. The bounded queue is modelled by the class BoundedQueueItem.

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

1.4 di sản thừa kếCũng như được sử dụng để xác định các đối tượng, lớp đối tượng-Z có thể được trực tiếp tái sử dụng trong definition các lớp khác. Một lớp học có thể là specified như là một chuyên ngành hoặc phần mở rộng của một lớp học bằng cách sử dụng di sản thừa kế. Các lớp inheriting, hoặc phân lớp, ngầm bao gồm tất cả các tính năng của lớp được thừa kế hoặc lớp cha, và có thể cũng thay đổi và thêm vào các tính năng này. Như là một ví dụ về chuyên môn của một lớp học thông qua thừa kế, xem xét việc xác định một hàng đợi bị chặn. Một hàng đợi chỉ có thể chứa lên đến một số fixed mặt hàng. Vì vậy, sau này mục numberof có beenjoined đến hàng đợi, một mục phải đi trước khi thêm mục có thể được gia nhập. Hàng đợi bị chặn được mô hình bởi lớp BoundedQueueItem.

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

1,4 Inheritance
Cũng như được sử dụng để xác định các đối tượng, các lớp Object-Z có thể được tái sử dụng trực tiếp trong định nghĩa fi de của các lớp khác. Một lớp có thể được cụ thể fi ed như chuyên ngành hoặc phần mở rộng của một lớp học sử dụng kế thừa. Lớp kế thừa, hoặc phân lớp, mặc nhiên bao gồm tất cả các tính năng của lớp được thừa kế, hoặc lớp cha, và cũng có thể sửa đổi và bổ sung các tính năng này. Như một ví dụ về chuyên môn của một lớp thông qua kế thừa, xem xét việc xác định một hàng đợi bị chặn. Một hàng đợi như vậy chỉ có thể chứa tới một số fi cố định của các mặt hàng. Vì vậy, sau này mặt hàng numberof đã beenjoined vào hàng đợi, một mục phải rời đi trước khi mặt hàng có thể tiếp tục được tham gia. Các hàng đợi chặn được mô hình hóa bởi lớp BoundedQueueItem ?.