public class Maps
extends java.lang.Object
| Constructor | Description |
|---|---|
Maps(java.io.File activeMapDirectory,
java.io.File previousMapsDirectory,
java.util.logging.Level logLevel) |
Create a new Maps object.
|
| Modifier and Type | Method | Description |
|---|---|---|
VacuumMap |
getActiveMap() |
|
VacuumMap |
getLastMap() |
|
VacuumMap |
getOldMap(java.lang.String name) |
Get a old map.
|
java.util.Set<java.lang.String> |
getPreviousMaps() |
|
boolean |
hasActiveMap() |
|
int |
numberOfPreviousMaps() |
|
void |
updateActiveMap() |
Update the active map.
|
boolean |
updateActiveMapSlam() |
Update the active maps path.
|
void |
updatePreviousMaps() |
Update the old maps.
|
public Maps(java.io.File activeMapDirectory,
java.io.File previousMapsDirectory,
java.util.logging.Level logLevel)
throws java.io.IOException
activeMapDirectory - The directory where the files for the active map can be found.previousMapsDirectory - The directory where the directories for the older maps can be found.logLevel - The log level.java.io.IOException - When the directories are invalid.public VacuumMap getOldMap(java.lang.String name)
name - The maps name.public VacuumMap getActiveMap()
public VacuumMap getLastMap()
public java.util.Set<java.lang.String> getPreviousMaps()
public boolean hasActiveMap()
public int numberOfPreviousMaps()
public void updateActiveMap()
public boolean updateActiveMapSlam()
public void updatePreviousMaps()
Copyright © 2018. All rights reserved.