Modifier and Type | Method and Description |
---|---|
Zone |
ContextManager.createZone(String id,
int leftX,
int topY,
int bottomZ,
int width,
int height,
int depth)
Creates a new rectangular zone.
|
Zone |
ContextManager.createZone(String id,
Position center,
int detectionScope)
Creates a new rectangular zone using a center position.
|
Zone |
ContextManager.getZone(String zoneId)
Gets the zone having the specified ID or null if there is no zone with this ID.
|
Zone |
ContextManager.getZoneFromPosition(Position position)
Gets the zone containing this position.
|
Modifier and Type | Method and Description |
---|---|
List<Zone> |
ContextManager.getZones()
Returns all defined zones.
|
Modifier and Type | Method and Description |
---|---|
void |
GenericDevice.enterInZones(List<Zone> zones)
Callback notifying this device enters in one or more zones
|
void |
GenericDevice.leavingZones(List<Zone> zones)
Callback notifying this device leaves one or more zones
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractDevice.enterInZones(List<Zone> zones) |
void |
AbstractDevice.leavingZones(List<Zone> zones) |
Modifier and Type | Method and Description |
---|---|
Zone |
Zone.getParent()
Gets the parent Zone
|
Modifier and Type | Method and Description |
---|---|
List<Zone> |
Zone.getChildren()
Gets the list of children zones
|
Modifier and Type | Method and Description |
---|---|
boolean |
Zone.addZone(Zone child)
Adds a child zone to this zone.
|
void |
ZoneListener.deviceAttached(Zone container,
LocatedDevice child)
Invoked when a device has been attached a zone
|
void |
ZoneListener.deviceDetached(Zone container,
LocatedDevice child)
Invoked when a device has been detached from a zone
|
boolean |
Zone.fits(Zone aZone)
Determines if a Zone fits (don't exceed limits) of this zone/
|
void |
Zone.setParent(Zone parent)
Sets the parent Zone
|
void |
ZoneListener.zoneAdded(Zone zone)
Called callback when a new zone has been added.
|
void |
ZoneListener.zoneMoved(Zone zone,
Position oldPosition,
Position newPosition)
Called callback when the zone has move.
|
void |
ZoneListener.zoneParentModified(Zone zone,
Zone oldParentZone,
Zone newParentZone)
Called callback when adding a parent to an existent zone.
|
void |
ZoneListener.zoneRemoved(Zone zone)
Called callback when a zone is removed.
|
void |
ZoneListener.zoneResized(Zone zone)
Called callback when a zone has been resized.
|
void |
ZonePropListener.zoneVariableAdded(Zone zone,
String variableName)
Called callback when a variable is added in a zone.
|
void |
ZonePropListener.zoneVariableModified(Zone zone,
String variableName,
Object oldValue,
Object newValue)
Called callback when a variable has been modified.
|
void |
ZonePropListener.zoneVariableRemoved(Zone zone,
String variableName)
Called callback when a variable is removed from a zone.
|
Modifier and Type | Method and Description |
---|---|
void |
LocatedDevice.enterInZones(List<Zone> zones)
Callback notifying this device enters in one or more zones
|
void |
LocatedDevice.leavingZones(List<Zone> zones)
Callback notifying this device leaves one or more zones
|
Modifier and Type | Method and Description |
---|---|
List<Zone> |
ZoneTracker.getZones()
Gets the list of stored zones.
|
Modifier and Type | Method and Description |
---|---|
void |
ZoneTracker.addedZone(Zone zone)
A zone tracked by the Tracker object has been added in the list.
|
void |
ZoneTrackerCustomizer.addedZone(Zone zone)
A device tracked by the Tracker object has been added in the list.
|
boolean |
ZoneTracker.addingZone(Zone zone)
A zone is being added to the Tracker object.
|
boolean |
ZoneTrackerCustomizer.addingZone(Zone zone)
A zone is being added to the Tracker object.
|
void |
EmptyZoneListener.deviceAttached(Zone container,
LocatedDevice child)
Invoked when a device has been attached a zone
|
void |
EmptyZoneListener.deviceDetached(Zone container,
LocatedDevice child)
* Invoked when a device has been detached from a zone
|
boolean |
ZoneFilter.match(Zone zone)
Determines if the zone match to be tracked.
|
void |
ZoneTracker.modifiedZone(Zone zone,
String variableName,
Object oldValue,
Object newValue)
Called when a zone tracked by the Tracker object has been modified.
|
void |
ZoneTrackerCustomizer.modifiedZone(Zone zone,
String variableName,
Object oldValue,
Object newValue)
Called when a zone tracked by the Tracker object has been modified.
|
void |
ZoneTracker.movedZone(Zone zone,
Position oldPosition,
Position newPosition) |
void |
ZoneTrackerCustomizer.movedZone(Zone zone,
Position oldPosition,
Position newPosition) |
void |
ZoneTracker.removedZone(Zone zone)
A zone tracked by the Tracker object has been removed.
|
void |
ZoneTrackerCustomizer.removedZone(Zone zone)
A zone tracked by the Tracker object has been removed.
|
void |
ZoneTracker.resizedZone(Zone zone) |
void |
ZoneTrackerCustomizer.resizedZone(Zone zone)
Called when a zone tracked by the Tracker object has been resized.
|
void |
EmptyZoneListener.zoneAdded(Zone zone)
Called callback when a new zone has been added.
|
void |
EmptyZoneListener.zoneMoved(Zone zone,
Position oldPosition,
Position newPosition)
Called callback when the zone has move.
|
void |
EmptyZoneListener.zoneParentModified(Zone zone,
Zone oldParentZone,
Zone newParentZone)
Called callback when adding a parent to an existent zone.
|
void |
EmptyZoneListener.zoneRemoved(Zone zone)
Called callback when a zone is removed.
|
void |
EmptyZoneListener.zoneResized(Zone zone)
Called callback when a zone has been resized.
|
void |
EmptyZoneListener.zoneVariableAdded(Zone zone,
String variableName)
Called callback when a variable is added in a zone.
|
void |
EmptyZoneListener.zoneVariableModified(Zone zone,
String variableName,
Object oldValue,
Object newValue)
Called callback when a variable has been modified.
|
void |
EmptyZoneListener.zoneVariableRemoved(Zone zone,
String variableName)
Called callback when a variable is removed from a zone.
|
Modifier and Type | Method and Description |
---|---|
Set<Person> |
SimulationManager.getPersonsIntoZone(Zone zone)
Gets a set with person in the specified zone
|
Modifier and Type | Method and Description |
---|---|
void |
BaseZoneListener.deviceAttached(Zone zone,
LocatedDevice locatedDevice) |
void |
BaseZoneListener.deviceDetached(Zone zone,
LocatedDevice locatedDevice) |
void |
BaseZoneListener.zoneAdded(Zone zone) |
void |
BaseZoneListener.zoneMoved(Zone zone,
Position oldPosition,
Position newPosition) |
void |
BaseZoneListener.zoneParentModified(Zone zone,
Zone oldParentZone,
Zone newParentZone) |
void |
BaseZoneListener.zoneRemoved(Zone zone) |
void |
BaseZoneListener.zoneResized(Zone zone) |
void |
BaseZoneListener.zoneVariableAdded(Zone zone,
String variableName) |
void |
BaseZoneListener.zoneVariableModified(Zone zone,
String variableName,
Object oldValue,
Object newValue) |
void |
BaseZoneListener.zoneVariableRemoved(Zone zone,
String variableName) |
Copyright © 2012-2013 ADELE Research Group. All Rights Reserved.