nani/app

Julien LepillerMon Jul 19 00:11:52+0200 2021

30e5973

Fix pitch display and sense deserializing

app/src/main/java/eu/lepiller/nani/dictionary/DictionaryFactory.java

     }
     public static URL getListUrl() throws MalformedURLException {
         return new URL("https://nani.lepiller.eu/dicos/list");
         return new URL("https://nani.lepiller.eu/dicos2/list");
     }
     public static File getListFile() {

app/src/main/java/eu/lepiller/nani/dictionary/ResultDictionary.java

                 String source_language = getString(file);
                 sense_sources.add(new Result.Source(source_content, source_wasei, source_language));
             }
             ArrayList<String> sense_infos = getStringList(file);
             ArrayList<String> sense_infos = getHuffmanStringList(file, meaningHuffman);
             ArrayList<String> sense_glosses = getHuffmanStringList(file, meaningHuffman);
             String sense_language = getString(file);
             senses.add(new Result.Sense(sense_references, sense_limits, sense_infos, sense_sources,

app/src/main/java/eu/lepiller/nani/dictionary/WadokuPitchDictionary.java

             List<Result.Reading> readings = r.getReadings();
             for(String k: kanjis) {
                 Log.d(TAG, "Searching pitch for " + Arrays.toString(k.getBytes()));
                 for(Result.Reading read: readings) {
                     List<String> readingKanjis = read.getKanjis();
                     if(readingKanjis != null && !readingKanjis.contains(k)) {
                     if(readingKanjis != null && readingKanjis.size() > 0 && !readingKanjis.contains(k)) {
                         // this is not a reading for the current kanji, so continue to the next
                         // reading
                         continue;
                     }
                     List<String> innerReadings = read.getReadings();
                     for(String reading: innerReadings) {
                         Log.d(TAG, "Searching pitch for " + k + reading);
                         String pitch = findPitch(k, reading, file);
                         if(pitch != null) {
                             Log.d(TAG, "Found " + pitch);