1.5 PolymorphismAlthough each objec

1.5 Polymorphism
Although each object of an Object-Z specification belongs to a unique class, it is not always necessary to precisely identify that class. Polymorphism allows an object to be declared as belonging to one class from a particular inheritance hierarchy — a collection of classes comprising a given class and all the classes in the specification which inherit, either directly or indirectly, the features of this class. For expressions involving the object to be well-formed, it is necessary that the interface of each subclass of the hierarchy include all the features of the interface of the given class. As an exampleof such an inheritancehierarchy,considera specification which includes the various queue classes of Section 1.4. This hierarchy is shown in Figure 1.1 where arrows point from subclasses to superclasses. Note that we are assuming the class StackItem is not part of the specification and hence not in the hierarchy.

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

1.5 đa hìnhMặc dù mỗi đối tượng của một đối tượng-Z sinh thuộc về một lớp duy nhất, nó không phải là luôn luôn cần thiết để xác định chính xác các lớp học đó. Đa hình cho phép một đối tượng để được tuyên bố là thuộc về một lớp học từ một hệ thống phân cấp cụ thể thừa kế-một bộ sưu tập của các lớp học bao gồm một lớp nhất định và tất cả các lớp trong sinh kế thừa, trực tiếp hay gián tiếp, các tính năng của lớp học này. Cho biểu thức liên quan đến đối tượng là tốt được hình thành, nó là cần thiết rằng giao diện của mỗi phân lớp của hệ thống phân cấp bao gồm tất cả các tính năng của giao diện của lớp nhất định. Như là một exampleof như inheritancehierarchy một, considera sinh bao gồm các lớp hàng đợi khác nhau của phần 1.4. Hệ thống phân cấp này được thể hiện trong hình 1.1 nơi mũi tên điểm từ phân lớp superclasses. Lưu ý rằng chúng ta đang giả định lớp StackItem không phải là một phần của sự sinh và vì thế không phải trong hệ thống phân cấp.

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

1.5 Đa hình
Mặc dù mỗi đối tượng của một đối tượng cụ thể Z fi cation thuộc về một lớp duy nhất, nó không phải là luôn luôn cần thiết để xác định chính xác lớp đó. Đa hình cho phép một đối tượng được tuyên bố là thuộc về một lớp từ một hệ thống phân cấp thừa kế đặc biệt - một bộ sưu tập của các lớp học bao gồm một tầng lớp nhất định và tất cả các lớp trong cation fi cụ thể mà kế thừa, hoặc trực tiếp hoặc gián tiếp, các tính năng của lớp này. Đối với biểu thức liên quan đến các đối tượng được tốt được hình thành, nó là cần thiết rằng giao diện của mỗi phân lớp của hệ thống phân cấp bao gồm tất cả các tính năng của giao diện của nhóm nhất định. Là một exampleof như một inheritancehierarchy, considera cụ thể fi cation trong đó bao gồm các lớp hàng đợi khác nhau của mục 1.4. Hệ thống phân cấp này được thể hiện trong hình 1.1 mũi tên chỉ từ lớp con superclasses. Lưu ý rằng chúng ta đang giả định các StackItem lớp? không phải là một phần của các cation fi cụ thể và do đó không có trong hệ thống phân cấp.