aboutsummaryrefslogtreecommitdiffstats
path: root/main/src/cgeo/geocaching/maps/mapsforge/MapsforgeMapView.java
diff options
context:
space:
mode:
authorSamuel Tardieu <sam@rfc1149.net>2014-04-24 13:01:58 +0200
committerSamuel Tardieu <sam@rfc1149.net>2014-04-24 13:01:58 +0200
commite82eab6b2f88a2569fc7e03683629d9a67d23bff (patch)
treeb3c6554419d2587e5272ef1f829b3e2c7cff93e7 /main/src/cgeo/geocaching/maps/mapsforge/MapsforgeMapView.java
parentfcbf8bcd9aacb341b5ddd09474fa8a03bf973d36 (diff)
downloadcgeo-e82eab6b2f88a2569fc7e03683629d9a67d23bff.zip
cgeo-e82eab6b2f88a2569fc7e03683629d9a67d23bff.tar.gz
cgeo-e82eab6b2f88a2569fc7e03683629d9a67d23bff.tar.bz2
Add more @NonNull annotations for overriden methods
Diffstat (limited to 'main/src/cgeo/geocaching/maps/mapsforge/MapsforgeMapView.java')
-rw-r--r--main/src/cgeo/geocaching/maps/mapsforge/MapsforgeMapView.java4
1 files changed, 3 insertions, 1 deletions
diff --git a/main/src/cgeo/geocaching/maps/mapsforge/MapsforgeMapView.java b/main/src/cgeo/geocaching/maps/mapsforge/MapsforgeMapView.java
index e993548..7a5aab2 100644
--- a/main/src/cgeo/geocaching/maps/mapsforge/MapsforgeMapView.java
+++ b/main/src/cgeo/geocaching/maps/mapsforge/MapsforgeMapView.java
@@ -15,6 +15,7 @@ import cgeo.geocaching.settings.Settings;
import cgeo.geocaching.utils.Log;
import org.apache.commons.lang3.StringUtils;
+import org.eclipse.jdt.annotation.NonNull;
import org.mapsforge.android.maps.MapView;
import org.mapsforge.android.maps.Projection;
import org.mapsforge.android.maps.mapgenerator.MapGenerator;
@@ -49,7 +50,7 @@ public class MapsforgeMapView extends MapView implements MapViewImpl {
}
@Override
- public void draw(Canvas canvas) {
+ public void draw(@NonNull Canvas canvas) {
try {
// Google Maps and OSM Maps use different zoom levels for the same view.
// Here we don't want the Google Maps compatible zoom level, but the actual one.
@@ -74,6 +75,7 @@ public class MapsforgeMapView extends MapView implements MapViewImpl {
}
@Override
+ @NonNull
public GeoPointImpl getMapViewCenter() {
GeoPoint point = getMapPosition().getMapCenter();
return new MapsforgeGeoPoint(point.latitudeE6, point.longitudeE6);