2014-02-09 94 views
-3

我需要關於OCL操作的幫助來傳遞我的主人主題之一。我不太瞭解OCL語言。OCL功能操作

下一個我所要做的就是:

實現該操作:

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

這個操作返回true,當且僅當存在一個遊戲誰擁有它的玩家的名字playerName一個該玩家將擁有屬性hasTurn爲true,並且在調用一個操作validMovement(移動)時,遊戲板返回true。

據推測,操作Board:validMovement(g:Game):bool存在,它不是必要的OCL紀錄片。

+0

您應該嘗試並在此發佈問題,如果您有問題。 – suspectus

回答

2

難道是這樣嗎?我不知道這是否是好或不...

上下文服務器:: validMovement(namePlayer:字符串,運動:運動):布爾

後:結果= self.games->一個(G:遊戲| p。players->存在(p:玩家| p.name = namePlayer和p.hasTurn = true)和p.board.validMovement(運動))