-3

マスターのサブジェクトの 1 つを渡すための OCL 操作について助けが必要です。私はOCL言語についてあまり知りません。

私がしなければならないことは次のとおりです。

操作を実装します。

Server::validMovement(playerName:String, movement:Movement):bool

この操作は、playerName という名前のプレイヤーがいるゲームが存在し、そのプレイヤーが hasTurn 属性を true に設定し、1 つの操作 validMovement(movement) を呼び出したときにゲーム ボードが true を返す場合にのみ、true を返します。

操作Board:validMovement(g:Game):boolが存在すると想定されており、OCL でそれを記録する必要はありません。

4

1 に答える 1

2

それはそのようなものでしょうか？大丈夫かどうかわかりませんが…

コンテキスト サーバー :: validMovement(namePlayer:String, Movement:Movement) : boolean

post : result = self.games->one(g : Game | p.players->exists(p : Player | p.name=namePlayer and p.hasTurn=true) and p.board.validMovement(movement))

于 2014-02-09T22:34:51.643 に答える