diff options
Diffstat (limited to 'navit/android/src/org/navitproject/navit/NavitMap.java')
-rw-r--r-- | navit/android/src/org/navitproject/navit/NavitMap.java | 60 |
1 files changed, 30 insertions, 30 deletions
diff --git a/navit/android/src/org/navitproject/navit/NavitMap.java b/navit/android/src/org/navitproject/navit/NavitMap.java index b7bd265a4..ee0f11bb7 100644 --- a/navit/android/src/org/navitproject/navit/NavitMap.java +++ b/navit/android/src/org/navitproject/navit/NavitMap.java @@ -3,38 +3,38 @@ package org.navitproject.navit; import java.io.File; public class NavitMap { - String fileName; - String mapName; - String mapPath; + private String fileName; + String mapName; + private String mapPath; - public NavitMap(String path, String map_file_name) { - mapPath = path; - fileName = map_file_name; - if (map_file_name.endsWith(".bin")) { - mapName = map_file_name.substring(0, map_file_name.length() - 4); - } else { - mapName = map_file_name; - } - } + NavitMap(String path, String map_file_name) { + mapPath = path; + fileName = map_file_name; + if (map_file_name.endsWith(".bin")) { + mapName = map_file_name.substring(0, map_file_name.length() - 4); + } else { + mapName = map_file_name; + } + } - public NavitMap(String map_location) { - File mapFile = new File(map_location); - - mapPath = mapFile.getParent() + "/"; - fileName = mapFile.getName(); - if (fileName.endsWith(".bin")) { - mapName = fileName.substring(0, fileName.length() - 4); - } else { - mapName = fileName; - } - } + NavitMap(String map_location) { + File mapFile = new File(map_location); - public long size() { - File map_file = new File(mapPath + fileName); - return map_file.length(); - } + mapPath = mapFile.getParent() + "/"; + fileName = mapFile.getName(); + if (fileName.endsWith(".bin")) { + mapName = fileName.substring(0, fileName.length() - 4); + } else { + mapName = fileName; + } + } - public String getLocation() { - return mapPath + fileName; - } + public long size() { + File map_file = new File(mapPath + fileName); + return map_file.length(); + } + + public String getLocation() { + return mapPath + fileName; + } } |