The playing screen is, therefore, m

The playing screen is, therefore, modelled by a class Screen which inherits
Grid and adds predicates to the state schema equating width to 10 and height to
22. Rather than specify the condition on the occupied positions also as a predi- cate of the state schema, we ensure it through the specification of the initial state schema and operations. Initially, at the beginning of a game, the playing screen will have no occupied positions. The class Screen has two operations: AddBlock corresponding to a block being added to the screen and RemoveRow correspond- ing to a fully occupied row of the screen being removed. The precondition of AddBlock ensures that some position occupied by the block to be added is im- mediately above either the bottom of the playing screen or a previously added block. The postcondition of RemoveRow ensures that all occupied positions of the playing screen above the removed row are shifted down one position.

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

Màn chơi là, do đó, theo mô hình bởi một lớp màn hình kế thừaLưới và thêm predicates vào giản đồ bang equating chiều rộng đến 10 và chiều cao22. chứ không phải chỉ định các điều kiện trên các vị trí bị chiếm đóng cũng như predi cate của giản đồ tiểu bang, chúng tôi đảm bảo nó thông qua các đặc điểm kỹ thuật của giản đồ ban đầu nhà nước và các hoạt động. Ban đầu, lúc bắt đầu một trò chơi, chơi màn hình sẽ có không có vị trí chiếm đóng. Lớp màn hình đã hai hoạt động: AddBlock tương ứng với một khối được thêm vào màn hình và RemoveRow tương ứng-ing cho một dòng hoàn toàn chiếm đóng của màn hình đang được gỡ bỏ. Điều kiện tiên quyết của AddBlock đảm bảo rằng một số vị trí bị chiếm đóng bởi các khối sẽ được thêm vào im-mediately ở trên hoặc dưới cùng của màn hình chơi hay một khối trước đó đã được thêm vào. Postcondition RemoveRow đảm bảo rằng tất cả chiếm vị trí của màn hình chơi trên hàng loại bỏ được chuyển xuống một vị trí.

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

Các màn chơi được, do đó, mô hình hóa bằng một màn hình lớp học mà được thừa hưởng
Lưới và thêm vị vào giản đồ trạng thái tương đương chiều rộng và chiều cao 10 đến
22. Thay vì chỉ định điều kiện về vị trí chiếm đóng cũng như một cate predi- của giản đồ trạng thái, chúng tôi đảm bảo nó thông qua các đặc điểm kỹ thuật của giản đồ trạng thái ban đầu và hoạt động. Ban đầu, vào lúc bắt đầu của một trò chơi, màn hình chơi sẽ không có vị trí chiếm đóng. Màn hình lớp học có hai hoạt động: AddBlock tương ứng với một khối được thêm vào màn hình và RemoveRow correspond- ing một hàng lấp đầy màn hình khi bị xóa. Các điều kiện tiên quyết của AddBlock đảm bảo rằng một số vị trí chiếm đóng khối được thêm vào là trọng mediately ở trên hoặc dưới cùng của màn hình chơi hoặc một khối thêm trước đó. Các hậu của RemoveRow đảm bảo rằng tất cả các vị trí chiếm đóng của màn hình chơi trên hàng loại bỏ được chuyển xuống một vị trí.