ini4j неправильно анализирует файлы.ini с именем раздела [мм / гггг]?

Question

Я использую API ini4j для анализа файлов.ini, в которых имя раздела имеет формат [мм / гггг], где символ / вызывает проблемы.

Предположим, мой файл test.ini выглядит следующим образом:

[02/2018]
k=v

Мой фрагмент кода Java:

Ini ini = new Ini(new File("test.ini"));        
Set<String> sectionNames = ini.keySet();  
System.out.println("List of Section Names: " + sectionNames + "\n");

Я получил следующий вывод:

List of Section Names: [02, 02/2018]

где "02" ошибочно анализируется как раздел.

Это ошибка или я правильно использую API?

Answer 1

Из документации на http://ini4j.sourceforge.net/tutorial/IniTutorial.java.html

Модель дерева Помимо двухуровневой модели карты, класс Ini предоставляет модель дерева. Вы можете получить доступ к разделам в виде дерева. Это означает, что имена разделов становятся именами путей с символом-разделителем пути ('/' и '\' в Wini и Reg).

Вы должны использовать класс Wini вместо класса Ini