Storyboard LudoStoryboard
Start situation:
now the pawn may move to Tom's start field
// build move operation with SDM model transformations PawnPO pawnPO = new PawnPO(p2); PlayerPO playerPO = pawnPO.hasPlayer(); DicePO diePO = playerPO.hasDice().hasValue(6); FieldPO baseField = pawnPO.hasPos().hasKind("base"); playerPO.hasBase(baseField); FieldPO startFieldPO = playerPO.hasStart(); startFieldPO.startNAC().hasPawns().hasPlayer(playerPO).endNAC();
pawnPO.startDestroy(); pawnPO.hasPos(baseField); pawnPO.startCreate(); pawnPO.hasPos(startFieldPO);
Check: Pattern has match: true