DistoXStationName.java

/** @file DistoXStationName.java
 *
 * @author marco corvi
 * @date may 2012
 *
 * @brief TopoDroid station name increment (static)
 * --------------------------------------------------------
 *  Copyright This sowftare is distributed under GPL-3.0 or later
 *  See the file COPYING.
 * --------------------------------------------------------
 */
package com.topodroid.DistoX;

import java.util.List;

// import android.util.Log;

public class DistoXStationName
{
  static String mInitialStation;
  static String mSecondStation;

  static void setInitialStation( String init )
  {
    if ( init == null || init.length() == 0 ) init = TDSetting.mInitStation;
    mInitialStation = init;
    mSecondStation  = increment( init );
  }

  private static char[] lc = {
    'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm',
    'n', 'o', 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', 'y', 'z' 
  };
  private static char[] uc = {
    'A', 'B', 'C', 'D', 'E', 'F', 'G', 'H', 'I', 'J', 'K', 'L', 'M',
    'N', 'O', 'P', 'Q', 'R', 'S', 'T', 'U', 'V', 'W', 'X', 'Y', 'Z' 
  };

  public static boolean isLessOrEqual( String lhs, String rhs )
  {
    int l1 = lhs.length();
    int l2 = rhs.length();
    if ( l1 == 0 ) return true;   // "" <= any_string
    if ( l2 == 0 ) return false;  // "..." > ""
    
    char[] ch1 = lhs.toCharArray();
    char[] ch2 = rhs.toCharArray();
    
    int n1 = 0, n2 = 0; // compare as numbers
    int k1 = 0, k2 = 0;
    for ( ; k1<l1; ++k1 ) {
      if ( ch1[k1] >= '0' && ch1[k1] <= '9' ) {
        n1 = n1*10 + ( ch1[k1] - '0' );
      } else {
        break;
      }
    }
    for ( ; k2<l2; ++k2 ) {
      if ( ch2[k2] >= '0' && ch2[k2] <= '9' ) {
        n2 = n2*10 + ( ch2[k2] - '0' );
      } else {
        break;
      }
    }
    if ( n1 < n2 ) return true;    
    if ( n1 > n2 ) return false;
    // n1 == n2 compare rest of the string (note k1 == k2)
    if ( k1 == l1 ) return true;  // nnn < nnn...
    if ( k2 == l2 ) return false; // nnn... > nnn
    int len = ( l1 < l2 )? l1 : l2;
    for ( int k = k1; k < len; ++k ) {
      if ( ch1[k] < ch2[k] ) return true;
      if ( ch1[k] > ch2[k] ) return false;
    }
    return ( l1 <= l2 );
  }

  public static String increment( String name, List<DistoXDBlock> list )
  {
    do {
      name = DistoXStationName.increment( name ); 
    } while ( DistoXStationName.listHasName( list, name ) );
    return name;
  }

  public static String increment( String name )
  {
    // if name is numeric
    // Log.v( TopoDroidApp.TAG, "incrementing " + name );

    if ( name != null && name.length() > 0 ) {
      int len = name.length();
      if ( len > 0 ) {
        char ch = name.charAt( len - 1 );
        int k = Character.getNumericValue( ch );
        if ( k >= 10 && k < 35 ) {
          k -= 9; // - 10 + 1
          // TDLog.Log( TDLog.LOG_NAME, "not numeric " + k );
          return name.substring( 0, len - 1 ) + 
           ( Character.isLowerCase( ch )? lc[k] : uc[k] );
        } else if ( k >= 0 && k < 10 ) {
          int n = 0;
          int s = 1;
          // TDLog.Log( TDLog.LOG_NAME, "name >" + name + "< n " + n );
          while ( len > 0 ) {
            -- len;
            k = Character.getNumericValue( name.charAt(len) );
            if ( k < 0 || k >= 10 ) { ++len; break; }
            n += s * k;
            s *= 10;
            // TDLog.Log( TDLog.LOG_NAME, "k " + k + " n " + n + " len " + len);
          }
          if ( len > 0 ) {
            return name.substring( 0, len ) + Integer.toString( n+1 );
          } 
          return Integer.toString( n+1 );
        }
      }
    }
    return "";
  }

  static boolean listHasName( List<DistoXDBlock> list, String name )
  {
    if ( name != null ) {
      for ( DistoXDBlock b : list ) {
        if ( b.mType != DistoXDBlock.BLOCK_MAIN_LEG ) continue;
        if ( name.equals( b.mFrom ) || name.equals( b.mTo ) ) return true;
      }
    }
    return false;
  }

  // used by PocketTopo export
  static int toInt( String name )
  {
    if ( name == null ) return -1;
    int ret = 0;
    int len = name.length();
    for ( int k = 0; k < len; ++k ) {
      char ch = name.charAt( k );
      if ( ch >= '0' && ch <= '9' ) { ret = ret*10 + (int)(ch - '0'); }
      else if ( ch >= 'a' && ch <= 'z') { ret = ret*100 + (int)(ch - 'a'); }
      else if ( ch >= 'A' && ch <= 'Z') { ret = ret*100 + 50 + (int)(ch - 'A'); }
      else { ret = ret*100 + 99; }
    }
    return ret;
  }


}