src/com/hughes/android/dictionary/parser/WikiHeading.java

   1 package com.hughes.android.dictionary.parser;
   2
   3 public class WikiHeading {
   4   public final int depth;
   5   public final String name;
   6   public final String prefix;
   7
   8   public WikiHeading(int depth, String name, String prefix) {
   9     this.depth = depth;
  10     this.name = name;
  11     this.prefix = prefix;
  12   }
  13
  14   public static WikiHeading getHeading(String line) {
  15     line = line.trim();
  16     if (!line.startsWith("=")) {
  17       return null;
  18     }
  19     int i = 0;
  20     for (; i < line.length() && line.charAt(i) == '='; ++i) {
  21     }
  22     final String prefix = line.substring(0, i);
  23     if (!line.substring(i).endsWith(prefix) || line.charAt(line.length() - i - 1) == '=') {
  24       System.err.println("Invalid heading: " + line);
  25       return null;
  26     }
  27     return new WikiHeading(i, line.substring(i, line.length() - i).trim(), prefix);
  28   }
  29
  30 }