Class StringIndexMapping


  • public final class StringIndexMapping
    extends Object
    Class for transforming integer index values into string values (using latin characters, therefore effectively realizing a radix-26 representation of numbers).
    • Method Detail

      • stringToIndex

        public static long stringToIndex​(String sidx)
      • indexToString

        public static String indexToString​(@org.checkerframework.checker.index.qual.NonNegative long idx)