Package eu.iv4xr.framework.extensions.ltl.gameworldmodel

Class GWZone

java.lang.Object

eu.iv4xr.framework.extensions.ltl.gameworldmodel.GWZone

public class GWZone
extends Object

GWZone is part of GameWorldModel. It represents a zone in a game-world. A zone represents some physical closed area in the game-world, populated by game-objects. "Closed" here means that the zone cannot be entered/escaped except through some exit-points guarded by blockers (e.g. you can imagine a door or a gate as a blocker). Blockers are also game objects btw.

A blocker also connect the zone to another zone. Because of this, a blocker is also a connector between two zones. There can be more than one blockers connecting two zones. The implementation does not prevent you from connecting more than two zones via one blocker, though that is a bit strange, physically.

A blocker may have an open/blocking state.

A GWZone does not keep an explicit representation of "connectors" between zones. So, if you have two zones connected by an unguarded corridor you need to put a "blocker" between them, with a state that is always open.

We will not store the actual game-objects here, in the zone. Instead we will only store their IDs. The actual game-objects are stored in the model GameWorldModel, of which a zone is part of. GameWorldModel is also the one that keeps track which objects are blockers.

Author:

Samira, Wish.

Field Summary

Fields

Modifier and Type	Field	Description
String	id	The id/name of the zone.
Set<String>	members	Ids of objects inside the zone.

Constructor Summary

Constructors

Constructor	Description
GWZone(String id)

Method Summary

Modifier and Type	Method	Description
void	addMembers(String... members)
boolean	equals(Object o)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

id

public String id

The id/name of the zone.

members

public Set<String> members

Ids of objects inside the zone.

Constructor Details

GWZone

public GWZone(String id)

Method Details

addMembers

public void addMembers(String... members)

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object