210211212213214215216
public void addMinefields(Vector<Minefield> mines) { for (int i = 0; i < mines.size(); i++) { Minefield mf = mines.elementAt(i); addMinefieldHelper(mf); } processGameEvent(new GameBoardChangeEvent(this)); }
219220221222223224225
clearMinefieldsHelper(); for (int i = 0; i < minefields.size(); i++) { Minefield mf = minefields.elementAt(i); addMinefieldHelper(mf); } processGameEvent(new GameBoardChangeEvent(this)); }
232233234235236237238
mfs.clear(); for (int i = 0; i < newMinefields.size(); i++) { Minefield mf = newMinefields.elementAt(i); addMinefieldHelper(mf); } processGameEvent(new GameBoardChangeEvent(this)); }
248249250251252253254
mfs.addElement(mf); } public void removeMinefield(Minefield mf) { removeMinefieldHelper(mf); processGameEvent(new GameBoardChangeEvent(this)); }
272273274275276277278
} } public void clearMinefields() { clearMinefieldsHelper(); processGameEvent(new GameBoardChangeEvent(this)); }
1930193119321933193419351936
processGameEvent(new GameNewActionEvent(this, ea)); } public void setArtilleryVector(Vector<ArtilleryAttackAction> v) { offboardArtilleryAttacks = v; processGameEvent(new GameBoardChangeEvent(this)); }
2754275527562757275827592760
/** * Set the list of flares */ public void setFlares(Vector<Flare> flares) { this.flares = flares; processGameEvent(new GameBoardChangeEvent(this)); }
2762276327642765276627672768
/** * Add a new flare */ public void addFlare(Flare flare) { flares.addElement(flare); processGameEvent(new GameBoardChangeEvent(this)); }
28382839284028412842284328442845
r.add(flare.turnsToBurn); reports.addElement(r); flares.setElementAt(flare, i); } } processGameEvent(new GameBoardChangeEvent(this)); return reports; }
202203204205206207208
return minefields.keys(); } public void addMinefield(Minefield mf) { addMinefieldHelper(mf); processGameEvent(new GameBoardChangeEvent(this)); }