org.simantics.maps.elevation.server/src/org/simantics/maps/elevation/server/prefs/MapsElevationServerPreferences.java

   1 package org.simantics.maps.elevation.server.prefs;
   2
   3 import org.eclipse.core.runtime.preferences.InstanceScope;
   4 import org.osgi.service.prefs.Preferences;
   5 import org.simantics.maps.elevation.server.Activator;
   6
   7 public class MapsElevationServerPreferences {
   8
   9     public static final String P_NODE = Activator.PLUGIN_ID;
  10
  11     public static final String P_USE_ELEVATION_SERVER = "org.simantics.maps.elevation.server.useElevationServer";
  12     public static final String P_TIFF_FOLDER_PATH = "org.simantics.maps.elevation.server.tifsFolderPath";
  13     public static final String P_PIPE_DEPTH_UNDER_GROUND = "org.simantics.maps.elevation.server.pipeDepthUnderGround";
  14
  15     public static Preferences getPreferences() {
  16         return InstanceScope.INSTANCE.getNode(MapsElevationServerPreferences.P_NODE);
  17     }
  18
  19     public static boolean useElevationServer() {
  20         return getPreferences().getBoolean(P_USE_ELEVATION_SERVER, false);
  21     }
  22
  23     public static String tifFolderPath() {
  24         return getPreferences().get(P_TIFF_FOLDER_PATH, "tifsFolder");
  25     }
  26
  27     public static int pipeDepthUnderGround() {
  28         return getPreferences().getInt(P_PIPE_DEPTH_UNDER_GROUND, -1);
  29     }
  30 }