The operation AddBlock has an input

The operation AddBlock has an input variable occupied ? denoting the posi- tions of the playing screen occupied by the block. The precondition requires that there exists a position x y occupied by the block which is either at the bottom of the playing screen — y 0 — or immediately above an occupied position —
x y 1 occupied . The postcondition requires that the positions occupied by
the are added to the occupied positions of the playing screen.
The precondition of the operation RemoveRow requires that there exists a row
y in which all positions are occupied — x : 0 width 1 x y occupied .

The postcondition requires that all occupied


positions

of the playing screen

i j

below this row — that is, with j y — remain occupied and all occupied positions
i j above the row — that is, with j y — shift down one row to i j 1 . The

occupied positions in row y

are effectively removed from the playing


screen.

The blocks in Tetris come in seven different shapes. Each block can be mod- elled as a square grid object comprising either 4, 9 or 16 positions and with four positions occupied. The different blocks are shown in this form in Figure 1.5.

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

Hoạt động AddBlock có một biến đầu vào chiếm đóng? biểu thị posi-tions của màn hình chơi bị chiếm đóng bởi các khối. Sự kiện đòi hỏi rằng có tồn tại một vị trí x y bị chiếm đóng bởi các khối hoặc ở dưới cùng của màn hình chơi-y 0 — hoặc ngay lập tức trên một vị trí chiếm đóng — x y 1 chiếm đóng. Postcondition yêu cầu rằng các vị trí bị xâm chiếmđược thêm vào các vị trí chiếm đóng của màn hình chơi.Điều kiện tiên quyết của các hoạt động RemoveRow đòi hỏi rằng có tồn tại một hàngy trong đó tất cả các vị trí đang chiếm đóng — x: chiều rộng 0 1 x y bị chiếm đóng. Postcondition yêu cầu mà tất cả bị chiếm đóng vị trí của màn hình chơi Tôi j dưới hàng này — có nghĩa là, với j y-vẫn còn bị chiếm đóng và tất cả chiếm vị trí Tôi j trên hàng — có nghĩa là, với j y — thay đổi xuống hàng i j 1. Các chiếm vị trí ở hàng y có hiệu quả loại bỏ khỏi chơi màn hình. Các khối Tetris có bảy hình dạng khác nhau. Mỗi khối có thể là mod-elled như là một đối tượng lưới vuông bao gồm 4, 9 hoặc 16 vị trí và với bốn vị trí chiếm đóng. Các khối khác nhau được hiển thị ở dạng này hình 1.5.

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

Các hoạt động đã AddBlock một biến đầu vào chiếm đóng? biểu thị các vị trí của màn hình chơi bị chiếm đóng bởi các khối. Các điều kiện tiên quyết đòi hỏi rằng có tồn tại một xy vị trí chiếm đóng các khối đó là hoặc ở dưới cùng của màn hình chơi - y 0 - hoặc ngay lập tức trên một vị trí chiếm đóng -
xy 1 chiếm đóng. Các hậu đòi hỏi rằng các vị trí chiếm đóng bởi
các được bổ sung vào vị trí chiếm đóng của màn hình chơi.
Các điều kiện tiên quyết của RemoveRow hoạt động đòi hỏi rằng có tồn tại một hàng
y trong đó tất cả các vị trí đang chiếm đóng - x:. 0 chiều rộng 1 xy chiếm đóng các hậu yêu cầu tất cả chiếm vị trí của màn hình chơi ij dưới hàng này - đó là, với jy - vẫn chiếm đóng và tất cả các vị trí chiếm đóng ij trên hàng - đó là, với jy - chuyển xuống một hàng để ij 1. Các vị trí chiếm đóng trong hàng y được loại bỏ một cách hiệu quả từ việc chơi màn hình. Các khối trong Tetris đi trong bảy hình dạng khác nhau. Mỗi khối có thể được elled mô hình giống như một đối tượng lưới vuông bao gồm cả 4, 9 hoặc 16 vị trí và với bốn vị trí chiếm đóng. Các khối khác nhau được thể hiện trong hình thức này trong hình 1.5.