gps_pvt 0.1.7 → 0.2.3

data/ext/ninja-scan-light/tool/swig/GPS.i

@@ -15,16 +15,19 @@
 #include <iostream>
 #include <fstream>
 #include <exception>
+#include <sstream>
 
 #include "navigation/GPS.h"
+#include "navigation/SBAS.h"
+#include "navigation/QZSS.h"
 #include "navigation/RINEX.h"
 
 #include "navigation/GPS_Solver_Base.h"
 #include "navigation/GPS_Solver.h"
 #include "navigation/GPS_Solver_RAIM.h"
+#include "navigation/SBAS_Solver.h"
 
 #if defined(__cplusplus) && (__cplusplus < 201103L)
-#include <sstream>
 namespace std {
 template <class T>
 inline std::string to_string(const T &value){
@@ -156,6 +159,14 @@ static std::string inspect_str(const VALUE &v){
     *week = self->week;
     *seconds = self->seconds;
   }
+#if defined(SWIG)  
+  int __cmp__(const GPS_Time<FloatT> &t) const {
+    return ((self->week < t.week) ? -1 
+        : ((self->week > t.week) ? 1 
+          : (self->seconds < t.seconds ? -1 
+            : (self->seconds > t.seconds ? 1 : 0))));
+  }
+#endif
 }
 
 %define MAKE_ACCESSOR(name, type)
@@ -180,6 +191,26 @@ const type &get_ ## name () const {
   }
 }
 %enddef
+#if defined(SWIGRUBY)
+%define MAKE_ARRAY_INPUT(type, arg_name, f_conv)
+%typemap(typecheck,precedence=SWIG_TYPECHECK_POINTER) type arg_name[ANY] {
+  $1 = RB_TYPE_P($input, T_ARRAY) ? 1 : 0;
+}
+%typemap(in) type arg_name[ANY] ($*1_ltype temp[$1_dim0]) {
+  if(!(RB_TYPE_P($input, T_ARRAY) && (RARRAY_LEN($input) == $1_dim0))){
+    SWIG_exception(SWIG_TypeError, "array[$1_dim0] is expected");
+  }
+  for(int i(0); i < $1_dim0; ++i){
+    if(!SWIG_IsOK(f_conv(RARRAY_AREF($input, i), &temp[i]))){
+      SWIG_exception(SWIG_TypeError, "$*1_ltype is expected");
+    }
+  }
+  $1 = temp;
+}
+%enddef
+#else
+#define MAKE_ARRAY_INPUT(type, arg_name, f_conv)
+#endif
 
 %inline %{
 template <class FloatT>
@@ -195,34 +226,8 @@ struct GPS_Ionospheric_UTC_Parameters : public GPS_SpaceNode<FloatT>::Ionospheri
       %append_output(swig::from($1[i]));
     }
   }
-  %typemap(in) const FloatT values[4] (FloatT temp[4]) {
-#ifdef SWIGRUBY
-    if(!(RB_TYPE_P($input, T_ARRAY) && (RARRAY_LEN($input) == 4))){
-      SWIG_exception(SWIG_TypeError, "array[4] is expected");
-    }
-    for(int i(0); i < 4; ++i){
-      SWIG_Object obj(RARRAY_AREF($input, i));
-      if(!SWIG_IsOK(swig::asval(obj, &temp[i]))){
-        SWIG_exception(SWIG_TypeError, "$*1_ltype is expected");
-      }
-    }
-#endif
-    $1 = temp;
-  }
-  %typemap(in) const unsigned int *buf (unsigned int temp[10]) {
-#ifdef SWIGRUBY
-    if((!RB_TYPE_P($input, T_ARRAY))
-        || (RARRAY_LEN($input) < sizeof(temp) / sizeof(temp[0]))){
-      SWIG_exception(SWIG_TypeError, "array is expected, or too short array");
-    }
-    $1 = temp;
-    for(int i(0); i < sizeof(temp) / sizeof(temp[0]); ++i){
-      if(!SWIG_IsOK(SWIG_AsVal(unsigned int)(RARRAY_AREF($input, i), &($1[i])))){
-        SWIG_exception(SWIG_TypeError, "$*1_ltype is expected");
-      }
-    }
-#endif
-  }
+  MAKE_ARRAY_INPUT(const FloatT, values, swig::asval);
+  MAKE_ARRAY_INPUT(const unsigned int, buf, SWIG_AsVal(unsigned int));
   %rename("alpha=") set_alpha;
   void set_alpha(const FloatT values[4]){
     for(int i(0); i < 4; ++i){
@@ -255,7 +260,7 @@ struct GPS_Ionospheric_UTC_Parameters : public GPS_SpaceNode<FloatT>::Ionospheri
   MAKE_ACCESSOR(WN_LSF, unsigned int);
   MAKE_ACCESSOR(DN, unsigned int);
   MAKE_ACCESSOR(delta_t_LSF, int);
-  static GPS_Ionospheric_UTC_Parameters<FloatT> parse(const unsigned int *buf){
+  static GPS_Ionospheric_UTC_Parameters<FloatT> parse(const unsigned int buf[10]){
     typedef typename GPS_SpaceNode<FloatT>
         ::BroadcastedMessage<unsigned int, 30> parser_t;
     if((parser_t::subframe_id(buf) != 4) || (parser_t::sv_page_id(buf) != 56)){
@@ -321,22 +326,10 @@ struct GPS_Ephemeris : public GPS_SpaceNode<FloatT>::SatelliteProperties::Epheme
   MAKE_ACCESSOR(omega, FloatT);
   MAKE_ACCESSOR(dot_Omega0, FloatT);
   MAKE_ACCESSOR(dot_i0, FloatT);
-  %typemap(in) const unsigned int *buf (unsigned int temp[10]) {
-#ifdef SWIGRUBY
-    if((!RB_TYPE_P($input, T_ARRAY))
-        || (RARRAY_LEN($input) < sizeof(temp) / sizeof(temp[0]))){
-      SWIG_exception(SWIG_TypeError, "array is expected, or too short array");
-    }
-    $1 = temp;
-    for(int i(0); i < sizeof(temp) / sizeof(temp[0]); ++i){
-      if(!SWIG_IsOK(SWIG_AsVal(unsigned int)(RARRAY_AREF($input, i), &($1[i])))){
-        SWIG_exception(SWIG_TypeError, "$*1_ltype is expected");
-      }
-    }
-#endif
-  }
+  
+  MAKE_ARRAY_INPUT(const unsigned int, buf, SWIG_AsVal(unsigned int));
   %apply int *OUTPUT { int *subframe_no, int *iodc_or_iode };
-  void parse(const unsigned int *buf, int *subframe_no, int *iodc_or_iode){
+  void parse(const unsigned int buf[10], int *subframe_no, int *iodc_or_iode){
     typedef typename GPS_SpaceNode<FloatT>::SatelliteProperties::Ephemeris eph_t;
     typename eph_t::raw_t raw;
     eph_t eph;
@@ -428,15 +421,84 @@ struct GPS_Ephemeris : public GPS_SpaceNode<FloatT>::SatelliteProperties::Epheme
     %append_output(swig::from($1.latitude));
     %append_output(swig::from($1.longitude));
   }
-  %ignore iono_correction() const;
-  %ignore tropo_correction() const;
   int read(const char *fname) {
     std::fstream fin(fname, std::ios::in | std::ios::binary);
-    return RINEX_NAV_Reader<FloatT>::read_all(fin, *self);
+    typename RINEX_NAV_Reader<FloatT>::space_node_list_t space_nodes = {self};
+    space_nodes.qzss = self;
+    return RINEX_NAV_Reader<FloatT>::read_all(fin, space_nodes);
   }
 }
 
 %include navigation/GPS.h
+%include navigation/QZSS.h
+
+%inline %{
+template <class FloatT>
+struct SBAS_Ephemeris : public SBAS_SpaceNode<FloatT>::SatelliteProperties::Ephemeris {
+  SBAS_Ephemeris() : SBAS_SpaceNode<FloatT>::SatelliteProperties::Ephemeris() {}
+  SBAS_Ephemeris(const typename SBAS_SpaceNode<FloatT>::SatelliteProperties::Ephemeris &eph) 
+      : SBAS_SpaceNode<FloatT>::SatelliteProperties::Ephemeris(eph) {}
+};
+%}
+%extend SBAS_Ephemeris {
+  MAKE_ACCESSOR(svid, unsigned int);
+          
+  MAKE_ACCESSOR(WN, unsigned int);
+  MAKE_ACCESSOR(t_0, FloatT);
+  MAKE_ACCESSOR(URA, int);
+  MAKE_ACCESSOR(  x, FloatT); MAKE_ACCESSOR(  y, FloatT); MAKE_ACCESSOR(  z, FloatT);
+  MAKE_ACCESSOR( dx, FloatT); MAKE_ACCESSOR( dy, FloatT); MAKE_ACCESSOR( dz, FloatT);
+  MAKE_ACCESSOR(ddx, FloatT); MAKE_ACCESSOR(ddy, FloatT); MAKE_ACCESSOR(ddz, FloatT);
+  MAKE_ACCESSOR(a_Gf0, FloatT);
+  MAKE_ACCESSOR(a_Gf1, FloatT);
+  %apply GPS_Ephemeris::System_XYZ<FloatT, WGS84> & { System_XYZ<FloatT, WGS84> & }; // TODO ineffective?
+  void constellation(
+      System_XYZ<FloatT, WGS84> &position, System_XYZ<FloatT, WGS84> &velocity,
+      const GPS_Time<FloatT> &t, const FloatT &pseudo_range = 0,
+      const bool &with_velocity = true) const {
+    typename SBAS_SpaceNode<FloatT>::SatelliteProperties::constellation_t res(
+        self->constellation(t, pseudo_range, with_velocity));
+    position = res.position;
+    velocity = res.velocity;
+  }
+}
+
+%extend SBAS_SpaceNode {
+  %fragment(SWIG_Traits_frag(FloatT));
+  %ignore satellites() const;
+  %ignore satellite(const int &);
+  %ignore available_satellites(const FloatT &lng_deg) const;
+  void register_ephemeris(
+      const int &prn, const SBAS_Ephemeris<FloatT> &eph,
+      const int &priority_delta = 1){
+    self->satellite(prn).register_ephemeris(eph, priority_delta);
+  }
+  SBAS_Ephemeris<FloatT> ephemeris(const int &prn) const {
+    return SBAS_Ephemeris<FloatT>(
+        %const_cast(self, SBAS_SpaceNode<FloatT> *)->satellite(prn).ephemeris());
+  }
+  int read(const char *fname) {
+    std::fstream fin(fname, std::ios::in | std::ios::binary);
+    RINEX_NAV_Reader<FloatT>::space_node_list_t space_nodes = {NULL};
+    space_nodes.sbas = self;
+    return RINEX_NAV_Reader<FloatT>::read_all(fin, space_nodes);
+  }
+  MAKE_ARRAY_INPUT(const unsigned int, buf, SWIG_AsVal(unsigned int));
+  int decode_message(const unsigned int buf[8],
+      const int &prn, const GPS_Time<FloatT> &t_reception,
+      const bool &LNAV_VNAV_LP_LPV_approach = false){
+    return static_cast<int>(
+        self->decode_message(buf, prn, t_reception, LNAV_VNAV_LP_LPV_approach));
+  }
+  std::string ionospheric_grid_points(const int &prn) const {
+    std::ostringstream ss;
+    ss << %const_cast(self, SBAS_SpaceNode<FloatT> *)->satellite(prn)
+      .ionospheric_grid_points();
+    return ss.str();
+  }
+}
+
+%include navigation/SBAS.h
 
 %extend GPS_User_PVT {
   %ignore solver_t;
@@ -604,23 +666,6 @@ struct GPS_User_PVT
       }
     }
   }
-#ifdef SWIGRUBY
-  VALUE to_hash() const {
-    VALUE res(rb_hash_new());
-    for(typename GPS_Measurement<FloatT>::items_t::const_iterator
-          it(self->items.begin()), it_end(self->items.end());
-        it != it_end; ++it){
-      VALUE per_sat(rb_hash_new());
-      rb_hash_aset(res, SWIG_From(int)(it->first), per_sat);
-      for(typename GPS_Measurement<FloatT>::items_t::mapped_type::const_iterator 
-            it2(it->second.begin()), it2_end(it->second.end());
-          it2 != it2_end; ++it2){
-        rb_hash_aset(per_sat, SWIG_From(int)(it2->first), swig::from(it2->second));
-      }
-    }
-    return res;
-  }
-#endif
   %fragment(SWIG_Traits_frag(GPS_Measurement<FloatT>), "header",
       fragment=SWIG_Traits_frag(FloatT)){
     namespace swig {
@@ -704,9 +749,32 @@ struct GPS_User_PVT
 #endif
         return SWIG_ERROR;
       }
+#ifdef SWIGRUBY
+      template <>
+      VALUE from(const GPS_Measurement<FloatT>::items_t::mapped_type &val) {
+        VALUE per_sat(rb_hash_new());
+        for(typename GPS_Measurement<FloatT>::items_t::mapped_type::const_iterator 
+              it(val.begin()), it_end(val.end());
+            it != it_end; ++it){
+          rb_hash_aset(per_sat, SWIG_From(int)(it->first), swig::from(it->second));
+        }
+        return per_sat;
+      }
+#endif
     }
   }
   %fragment(SWIG_Traits_frag(GPS_Measurement<FloatT>));
+#ifdef SWIGRUBY
+  VALUE to_hash() const {
+    VALUE res(rb_hash_new());
+    for(typename GPS_Measurement<FloatT>::items_t::const_iterator
+          it(self->items.begin()), it_end(self->items.end());
+        it != it_end; ++it){
+      rb_hash_aset(res, SWIG_From(int)(it->first), swig::from(it->second));
+    }
+    return res;
+  }
+#endif
   %typemap(typecheck,precedence=SWIG_TYPECHECK_POINTER) const GPS_Measurement<FloatT> & {
     $1 = SWIG_CheckState(SWIG_ConvertPtr($input, (void **)0, $1_descriptor, 0))
         || swig::check<GPS_Measurement<FloatT> >($input);
@@ -738,6 +806,7 @@ struct GPS_Measurement {
     L1_RANGE_RATE_SIGMA,
     L1_SIGNAL_STRENGTH_dBHz,
     L1_LOCK_SEC,
+    L1_FREQUENCY,
     ITEMS_PREDEFINED,
   };
   void add(const int &prn, const int &key, const FloatT &value){
@@ -746,70 +815,66 @@ struct GPS_Measurement {
 };
 }
 
+%extend GPS_SolverOptions_Common {
+%define MAKE_ACCESSOR2(name, type)
+%rename(%str(name ## =)) set_ ## name;
+type set_ ## name (const type &v) {
+  return self->cast_general()->name = v;
+}
+%rename(%str(name)) get_ ## name;
+const type &get_ ## name () const {
+  return self->cast_general()->name;
+}
+%enddef
+  MAKE_ACCESSOR2(elevation_mask, FloatT);
+  MAKE_ACCESSOR2(residual_mask, FloatT);
+#undef MAKE_ACCESSOR2
+  MAKE_VECTOR2ARRAY(int);
+  %ignore cast_base;
+}
+%inline %{
+template <class FloatT>
+struct GPS_SolverOptions_Common {
+  virtual GPS_Solver_GeneralOptions<FloatT> *cast_general() = 0;
+  virtual const GPS_Solver_GeneralOptions<FloatT> *cast_general() const = 0;
+};
+%}
+
 %extend GPS_SolverOptions {
   %ignore base_t;
-  MAKE_ACCESSOR(elevation_mask, FloatT);
-  MAKE_ACCESSOR(residual_mask, FloatT);
-  MAKE_ACCESSOR(f_10_7, FloatT);
+  %ignore cast_general;
   MAKE_VECTOR2ARRAY(int);
-#ifdef SWIGRUBY
-  %rename("ionospheric_models=") set_ionospheric_models;
-  %rename("ionospheric_models") get_ionospheric_models;
-#endif
-  %typemap(in) const std::vector<int> &models (std::vector<int> temp) {
-    $1 = &temp;
-#ifdef SWIGRUBY
-    if(RB_TYPE_P($input, T_ARRAY)){
-      for(int i(0), i_max(RARRAY_LEN($input)); i < i_max; ++i){
-        SWIG_Object obj(RARRAY_AREF($input, i));
-        int v;
-        if(SWIG_IsOK(SWIG_AsVal(int)(obj, &v))){
-          temp.push_back(v);
-        }else{
-          SWIG_exception(SWIG_TypeError, "$*1_ltype is expected");
-        }
-      }
-    }
-#endif
-  }
 }
 %inline %{
 template <class FloatT>
-struct GPS_SolverOptions : public GPS_SinglePositioning<FloatT>::options_t {
+struct GPS_SolverOptions 
+    : public GPS_SinglePositioning<FloatT>::options_t, 
+    GPS_SolverOptions_Common<FloatT> {
   typedef typename GPS_SinglePositioning<FloatT>::options_t base_t;
   void exclude(const int &prn){base_t::exclude_prn.set(prn);}
   void include(const int &prn){base_t::exclude_prn.reset(prn);}
   std::vector<int> excluded() const {return base_t::exclude_prn.excluded();}
-  enum {
-    IONOSPHERIC_KLOBUCHAR,
-    IONOSPHERIC_NTCM_GL,
-    IONOSPHERIC_NONE, // which allows no correction
-    IONOSPHERIC_MODELS,
-    IONOSPHERIC_SKIP = IONOSPHERIC_MODELS, // which means delegating the next slot
-  };
-  std::vector<int> get_ionospheric_models() const {
-    std::vector<int> res;
-    for(int i(0); i < base_t::IONOSPHERIC_MODELS; ++i){
-      int v((int)(base_t::ionospheric_models[i]));
-      if(v == base_t::IONOSPHERIC_SKIP){break;}
-      res.push_back(v);
-    }
-    return res;
-  }
-  std::vector<int> set_ionospheric_models(const std::vector<int> &models){
-    typedef typename base_t::ionospheric_model_t model_t;
-    for(int i(0), j(0), j_max(models.size()); i < base_t::IONOSPHERIC_MODELS; ++i){
-      model_t v(base_t::IONOSPHERIC_SKIP);
-      if(j < j_max){
-        if((models[j] >= 0) && (models[j] < base_t::IONOSPHERIC_SKIP)){
-          v = (model_t)models[j];
-        }
-        ++j;
-      }
-      base_t::ionospheric_models[i] = v;
-    }
-    return get_ionospheric_models();
-  }
+  GPS_Solver_GeneralOptions<FloatT> *cast_general(){return this;}
+  const GPS_Solver_GeneralOptions<FloatT> *cast_general() const {return this;}
+};
+%}
+
+%extend SBAS_SolverOptions {
+  %ignore base_t;
+  %ignore cast_general;
+  MAKE_VECTOR2ARRAY(int);
+}
+%inline %{
+template <class FloatT>
+struct SBAS_SolverOptions 
+    : public SBAS_SinglePositioning<FloatT>::options_t,
+    GPS_SolverOptions_Common<FloatT> {
+  typedef typename SBAS_SinglePositioning<FloatT>::options_t base_t;
+  void exclude(const int &prn){base_t::exclude_prn.set(prn);}
+  void include(const int &prn){base_t::exclude_prn.reset(prn);}
+  std::vector<int> excluded() const {return base_t::exclude_prn.excluded();}
+  GPS_Solver_GeneralOptions<FloatT> *cast_general(){return this;}
+  const GPS_Solver_GeneralOptions<FloatT> *cast_general() const {return this;}
 };
 %}
 
@@ -818,6 +883,8 @@ struct GPS_SolverOptions : public GPS_SinglePositioning<FloatT>::options_t {
   %ignore base_t;
   %ignore gps_t;
   %ignore gps;
+  %ignore sbas_t;
+  %ignore sbas;
   %ignore select_solver;
   %ignore relative_property;
   %ignore satellite_position;
@@ -826,18 +893,19 @@ struct GPS_SolverOptions : public GPS_SinglePositioning<FloatT>::options_t {
   %ignore mark;
   %fragment("hook"{GPS_Solver<FloatT>}, "header",
       fragment=SWIG_From_frag(int),
-      fragment=SWIG_Traits_frag(FloatT)){
+      fragment=SWIG_Traits_frag(FloatT),
+      fragment=SWIG_Traits_frag(GPS_Measurement<FloatT>)){
     template <>
-    typename GPS_Solver<FloatT>::base_t::relative_property_t
+    GPS_Solver<FloatT>::base_t::relative_property_t
         GPS_Solver<FloatT>::relative_property(
-          const typename GPS_Solver<FloatT>::base_t::prn_t &prn,
-          const typename GPS_Solver<FloatT>::base_t::measurement_t::mapped_type &measurement,
-          const typename GPS_Solver<FloatT>::base_t::float_t &receiver_error,
-          const typename GPS_Solver<FloatT>::base_t::gps_time_t &time_arrival,
-          const typename GPS_Solver<FloatT>::base_t::pos_t &usr_pos,
-          const typename GPS_Solver<FloatT>::base_t::xyz_t &usr_vel) const {
+          const GPS_Solver<FloatT>::base_t::prn_t &prn,
+          const GPS_Solver<FloatT>::base_t::measurement_t::mapped_type &measurement,
+          const GPS_Solver<FloatT>::base_t::float_t &receiver_error,
+          const GPS_Solver<FloatT>::base_t::gps_time_t &time_arrival,
+          const GPS_Solver<FloatT>::base_t::pos_t &usr_pos,
+          const GPS_Solver<FloatT>::base_t::xyz_t &usr_vel) const {
       union {
-        typename base_t::relative_property_t prop;
+        base_t::relative_property_t prop;
         FloatT values[7];
       } res = {
           select_solver(prn).relative_property(
@@ -859,6 +927,7 @@ struct GPS_SolverOptions : public GPS_SinglePositioning<FloatT>::options_t {
               swig::from(res.prop.los_neg[0]),
               swig::from(res.prop.los_neg[1]),
               swig::from(res.prop.los_neg[2])),
+            swig::from(measurement), // measurement => Hash
             swig::from(receiver_error), // receiver_error
             SWIG_NewPointerObj( // time_arrival
               new base_t::gps_time_t(time_arrival), $descriptor(GPS_Time<FloatT> *), SWIG_POINTER_OWN),
@@ -889,29 +958,186 @@ struct GPS_SolverOptions : public GPS_SinglePositioning<FloatT>::options_t {
     }
     template <>
     bool GPS_Solver<FloatT>::update_position_solution(
-        const typename GPS_Solver<FloatT>::base_t::geometric_matrices_t &geomat,
-        typename GPS_Solver<FloatT>::base_t::user_pvt_t &res) const {
+        const GPS_Solver<FloatT>::base_t::geometric_matrices_t &geomat,
+        GPS_Solver<FloatT>::base_t::user_pvt_t &res) const {
 #ifdef SWIGRUBY
       do{
         static const VALUE key(ID2SYM(rb_intern("update_position_solution")));
         VALUE hook(rb_hash_lookup(hooks, key));
         if(NIL_P(hook)){break;}
-        typename base_t::geometric_matrices_t &geomat_(
-            %const_cast(geomat, typename base_t::geometric_matrices_t &));
+        base_t::geometric_matrices_t &geomat_(
+            %const_cast(geomat, base_t::geometric_matrices_t &));
         VALUE values[] = {
             SWIG_NewPointerObj(&geomat_.G,
               $descriptor(Matrix<FloatT, Array2D_Dense<FloatT>, MatrixViewBase<> > *), 0),
             SWIG_NewPointerObj(&geomat_.W,
               $descriptor(Matrix<FloatT, Array2D_Dense<FloatT>, MatrixViewBase<> > *), 0),
             SWIG_NewPointerObj(&geomat_.delta_r,
-              $descriptor(Matrix<FloatT, Array2D_Dense<FloatT>, MatrixViewBase<> > *), 0)};
+              $descriptor(Matrix<FloatT, Array2D_Dense<FloatT>, MatrixViewBase<> > *), 0),
+            SWIG_NewPointerObj(&res,
+              $descriptor(GPS_User_PVT<FloatT> *), 0)};
         proc_call_throw_if_error(hook, sizeof(values) / sizeof(values[0]), values);
       }while(false);
 #endif
       return super_t::update_position_solution(geomat, res);
     }
+    template <>
+    GPS_Solver<FloatT>::base_t::xyz_t *GPS_Solver<FloatT>::satellite_position(
+        const GPS_Solver<FloatT>::base_t::prn_t &prn,
+        const GPS_Solver<FloatT>::base_t::gps_time_t &time,
+        GPS_Solver<FloatT>::base_t::xyz_t &buf) const {
+      GPS_Solver<FloatT>::base_t::xyz_t *res(
+          select_solver(prn).satellite_position(prn, time, buf));
+#ifdef SWIGRUBY
+      do{
+        static const VALUE key(ID2SYM(rb_intern("satellite_position")));
+        VALUE hook(rb_hash_lookup(hooks, key));
+        if(NIL_P(hook)){break;}
+        VALUE values[] = {
+            SWIG_From(int)(prn), // prn
+            SWIG_NewPointerObj( // time
+              new base_t::gps_time_t(time), $descriptor(GPS_Time<FloatT> *), SWIG_POINTER_OWN),
+            (res // position (internally calculated)
+              ? SWIG_NewPointerObj(res, $descriptor(System_XYZ<FloatT, WGS84> *), 0) 
+              : Qnil)};
+        VALUE res_hook(proc_call_throw_if_error(hook, sizeof(values) / sizeof(values[0]), values));
+        if(NIL_P(res_hook)){ // unknown position
+          res = NULL;
+          break;
+        }else if(RB_TYPE_P(res_hook, T_ARRAY) && (RARRAY_LEN(res_hook) == 3)){
+          int i(0);
+          for(; i < 3; ++i){
+            VALUE v(RARRAY_AREF(res_hook, i));
+            if(!SWIG_IsOK(swig::asval(v, &buf[i]))){break;}
+          }
+          if(i == 3){
+            res = &buf;
+            break;
+          }
+        }else if(SWIG_IsOK(SWIG_ConvertPtr(
+            res_hook, (void **)&res, $descriptor(System_XYZ<FloatT, WGS84> *), 0))){
+          res = &(buf = *res);
+          break;
+        }
+        throw std::runtime_error(
+            std::string("System_XYZ or [d * 3] is expected (d: " %str(FloatT) "), however ")
+              .append(inspect_str(res_hook)));
+      }while(false);
+#endif
+      return res;
+    }
   }
   %fragment("hook"{GPS_Solver<FloatT>});
+  %ignore update_correction;
+#ifdef SWIGRUBY
+  %fragment("correction"{GPS_Solver<FloatT>}, "header",
+      fragment=SWIG_From_frag(int),
+      fragment=SWIG_Traits_frag(FloatT)){
+    template<>
+    VALUE GPS_Solver<FloatT>::update_correction(
+        const bool &update, const VALUE &hash){
+      typedef range_correction_list_t list_t;
+      static const VALUE k_root[] = {
+        ID2SYM(rb_intern("gps_ionospheric")),
+        ID2SYM(rb_intern("gps_tropospheric")),
+        ID2SYM(rb_intern("sbas_ionospheric")),
+        ID2SYM(rb_intern("sbas_tropospheric")),
+      };
+      static const VALUE k_opt(ID2SYM(rb_intern("options")));
+      static const VALUE k_f_10_7(ID2SYM(rb_intern("f_10_7")));
+      static const VALUE k_known(ID2SYM(rb_intern("known")));
+      struct {
+        VALUE sym;
+        list_t::mapped_type::value_type obj;
+      } item[] = {
+        {ID2SYM(rb_intern("no_correction")), &base_t::no_correction},
+        {ID2SYM(rb_intern("klobuchar")), &this->gps.solver.ionospheric_klobuchar},
+        {ID2SYM(rb_intern("ntcm_gl")), &this->gps.solver.ionospheric_ntcm_gl},
+        {ID2SYM(rb_intern("hopfield")), &this->gps.solver.tropospheric_simplified},
+        {ID2SYM(rb_intern("sbas_igp")), &this->sbas.solver.ionospheric_sbas},
+        {ID2SYM(rb_intern("sbas_tropo")), &this->sbas.solver.tropospheric_sbas},
+      };
+      list_t input;
+      if(update){
+        if(!RB_TYPE_P(hash, T_HASH)){
+          throw std::runtime_error(
+              std::string("Hash is expected, however ").append(inspect_str(hash)));
+        }
+        for(std::size_t i(0); i < sizeof(k_root) / sizeof(k_root[0]); ++i){
+          VALUE ary = rb_hash_lookup(hash, k_root[i]);
+          if(NIL_P(ary)){continue;}
+          if(!RB_TYPE_P(ary, T_ARRAY)){
+            ary = rb_ary_new_from_values(1, &ary);
+          }
+          for(int j(0); j < RARRAY_LEN(ary); ++j){
+            std::size_t k(0);
+            VALUE v(rb_ary_entry(ary, j));
+            for(; k < sizeof(item) / sizeof(item[0]); ++k){
+              if(v == item[k].sym){break;}
+            }
+            if(k >= sizeof(item) / sizeof(item[0])){
+              continue; // TODO other than symbol
+            }
+            input[i].push_back(item[k].obj);
+          }
+        }
+        VALUE opt(rb_hash_lookup(hash, k_opt));
+        if(RB_TYPE_P(opt, T_HASH)){
+          swig::asval(rb_hash_lookup(opt, k_f_10_7), // ntcm_gl
+              &this->gps.solver.ionospheric_ntcm_gl.f_10_7);
+        }
+      }
+      list_t output(update_correction(update, input));
+      VALUE res = rb_hash_new();
+      for(list_t::const_iterator it(output.begin()), it_end(output.end());
+          it != it_end; ++it){
+        VALUE k;
+        if((it->first < 0) || (it->first >= (int)(sizeof(k_root) / sizeof(k_root[0])))){
+          k = SWIG_From(int)(it->first);
+        }else{
+          k = k_root[it->first];
+        }
+        VALUE v = rb_ary_new();
+        for(list_t::mapped_type::const_iterator
+              it2(it->second.begin()), it2_end(it->second.end());
+            it2 != it2_end; ++it2){
+          std::size_t i(0);
+          for(; i < sizeof(item) / sizeof(item[0]); ++i){
+            if(*it2 == item[i].obj){break;}
+          }
+          if(i >= sizeof(item) / sizeof(item[0])){
+            continue; // TODO other than built-in corrector
+          }
+          rb_ary_push(v, item[i].sym);
+        }
+        rb_hash_aset(res, k, v);
+      }
+      { // common options
+        VALUE opt = rb_hash_new();
+        rb_hash_aset(res, k_opt, opt);
+        rb_hash_aset(opt, k_f_10_7, // ntcm_gl 
+            swig::from(this->gps.solver.ionospheric_ntcm_gl.f_10_7));
+      }
+      { // known models
+        VALUE ary = rb_ary_new_capa((int)(sizeof(item) / sizeof(item[0])));
+        for(std::size_t i(0); i < sizeof(item) / sizeof(item[0]); ++i){
+          rb_ary_push(ary, item[i].sym);
+        }
+        rb_hash_aset(res, k_known, ary);
+      }
+      return res;
+    }
+  }
+  %fragment("correction"{GPS_Solver<FloatT>});
+  %rename("correction") get_correction;
+  %rename("correction=") set_correction;
+  VALUE get_correction() const {
+    return const_cast<GPS_Solver<FloatT> *>(self)->update_correction(false, Qnil);
+  }
+  VALUE set_correction(VALUE hash){
+    return self->update_correction(true, hash);
+  }
+#endif
 }
 %inline {
 template <class FloatT>
@@ -927,6 +1153,12 @@ struct GPS_Solver
     GPS_SinglePositioning<FloatT> solver;
     gps_t() : space_node(), options(), solver(space_node) {}
   } gps;
+  struct sbas_t {
+    SBAS_SpaceNode<FloatT> space_node;
+    SBAS_SolverOptions<FloatT> options;
+    SBAS_SinglePositioning<FloatT> solver;
+    sbas_t() : space_node(), options(), solver(space_node) {}
+  } sbas;
   SWIG_Object hooks;
 #ifdef SWIGRUBY
   static void mark(void *ptr){
@@ -935,17 +1167,36 @@ struct GPS_Solver
     rb_gc_mark(solver->hooks);
   }
 #endif
-  GPS_Solver() : super_t(), gps(), hooks() {
+  GPS_Solver() : super_t(), gps(), sbas(), hooks() {
 #ifdef SWIGRUBY
     hooks = rb_hash_new();
 #endif
+    typename base_t::range_correction_t ionospheric, tropospheric;
+    ionospheric.push_back(&sbas.solver.ionospheric_sbas);
+    ionospheric.push_back(&gps.solver.ionospheric_klobuchar);
+    tropospheric.push_back(&sbas.solver.tropospheric_sbas);
+    tropospheric.push_back(&gps.solver.tropospheric_simplified);
+    gps.solver.ionospheric_correction
+        = sbas.solver.ionospheric_correction
+        = ionospheric;
+    gps.solver.tropospheric_correction
+        = sbas.solver.tropospheric_correction
+        = tropospheric;
   }
   GPS_SpaceNode<FloatT> &gps_space_node() {return gps.space_node;}
   GPS_SolverOptions<FloatT> &gps_options() {return gps.options;}
+  SBAS_SpaceNode<FloatT> &sbas_space_node() {return sbas.space_node;}
+  SBAS_SolverOptions<FloatT> &sbas_options() {return sbas.options;}
   const base_t &select_solver(
       const typename base_t::prn_t &prn) const {
     if(prn > 0 && prn <= 32){return gps.solver;}
-    return *this;
+    if(prn >= 120 && prn <= 158){return sbas.solver;}
+    if(prn > 192 && prn <= 202){return gps.solver;}
+    // call order: base_t::solve => this returned by select() 
+    //     => relative_property() => select_solver()
+    // For not supported satellite, call loop prevention is required.
+    static const base_t dummy; 
+    return dummy;
   }
   virtual typename base_t::relative_property_t relative_property(
       const typename base_t::prn_t &prn,
@@ -957,9 +1208,7 @@ struct GPS_Solver
   virtual typename base_t::xyz_t *satellite_position(
       const typename base_t::prn_t &prn,
       const typename base_t::gps_time_t &time,
-      typename base_t::xyz_t &res) const {
-    return select_solver(prn).satellite_position(prn, time, res);
-  }
+      typename base_t::xyz_t &res) const;
   virtual bool update_position_solution(
       const typename base_t::geometric_matrices_t &geomat,
       typename base_t::user_pvt_t &res) const;
@@ -968,8 +1217,44 @@ struct GPS_Solver
       const GPS_Time<FloatT> &receiver_time) const {
     const_cast<gps_t &>(gps).space_node.update_all_ephemeris(receiver_time);
     const_cast<gps_t &>(gps).solver.update_options(gps.options);
+    const_cast<sbas_t &>(sbas).space_node.update_all_ephemeris(receiver_time);
+    const_cast<sbas_t &>(sbas).solver.update_options(sbas.options);
     return super_t::solve().user_pvt(measurement.items, receiver_time);
   }
+  typedef 
+      std::map<int, std::vector<const typename base_t::range_corrector_t *> >
+      range_correction_list_t;
+  range_correction_list_t update_correction(
+      const bool &update,
+      const range_correction_list_t &list = range_correction_list_t()){
+    range_correction_list_t res;
+    typename base_t::range_correction_t *root[] = {
+      &gps.solver.ionospheric_correction,
+      &gps.solver.tropospheric_correction,
+      &sbas.solver.ionospheric_correction,
+      &sbas.solver.tropospheric_correction,
+    };
+    for(std::size_t i(0); i < sizeof(root) / sizeof(root[0]); ++i){
+      do{
+        if(!update){break;}
+        typename range_correction_list_t::const_iterator it(list.find(i));
+        if(it == list.end()){break;}
+        root[i]->clear();
+        for(typename range_correction_list_t::mapped_type::const_iterator
+              it2(it->second.begin()), it2_end(it->second.end());
+            it2 != it2_end; ++it2){
+          root[i]->push_back(*it2);
+        }
+      }while(false);
+      for(typename base_t::range_correction_t::const_iterator
+            it(root[i]->begin()), it_end(root[i]->end());
+          it != it_end; ++it){
+        res[i].push_back(*it);
+      }
+    }
+    return res;
+  }
+  SWIG_Object update_correction(const bool &update, const SWIG_Object &hash);
 };
 }
 
@@ -1091,6 +1376,7 @@ struct RINEX_Observation {};
 
 #undef MAKE_ACCESSOR
 #undef MAKE_VECTOR2ARRAY
+#undef MAKE_ARRAY_INPUT
 
 %define CONCRETIZE(type)
 %template(Time) GPS_Time<type>;
@@ -1099,12 +1385,17 @@ struct RINEX_Observation {};
 %template(Ephemeris) GPS_Ephemeris<type>;
 %template(PVT) GPS_User_PVT<type>;
 %template(Measurement) GPS_Measurement<type>;
+%template(SolverOptionsCommon) GPS_SolverOptions_Common<type>;
 %template(SolverOptions) GPS_SolverOptions<type>;
 #if defined(SWIGRUBY)
 %markfunc GPS_Solver<type> "GPS_Solver<type>::mark";
 #endif
 %template(Solver) GPS_Solver<type>;
 
+%template(Ephemeris_SBAS) SBAS_Ephemeris<type>;
+%template(SpaceNode_SBAS) SBAS_SpaceNode<type>;
+%template(SolverOptions_SBAS) SBAS_SolverOptions<type>;
+
 %template(RINEX_Observation) RINEX_Observation<type>;
 %enddef