|Re: Help with OCL function [message #1243608 is a reply to message #1242963]
||Tue, 11 February 2014 07:39
| Pablo Rodríguez
Registered: February 2014
Maybe is this better?
context Server:: validMovement(playerName: String, movement: Movement) : boolean
pre : result = self.games-> forAll (g : Game| g.players -> forAll(p : Player | p.name=playerName and p.hasTurn=true) and g.board.validMovement(movement)=true)
Thanks all in advance!
[Updated on: Tue, 11 February 2014 07:39]
Report message to a moderator
Powered by FUDForum
. Page generated in 0.02516 seconds