Method readListJSON

src/main/java/mudmap2/backend/WorldFileList.java:202–240

Read JSON-formatted history file @param file

(File file)

     * @param file
     */
    private static void readListJSON(File file){
        JSONObject jRoot = null;
        try {
            byte[] bytes = Files.readAllBytes(Paths.get(file.getAbsolutePath()));
            jRoot = new JSONObject(new String(bytes));
        } catch (IOException ex) {
            Logger.getLogger(WorldFileList.class.getName()).log(Level.SEVERE, null, ex);
        }

        if(jRoot != null){
            jRoot.has("ver");
            String fileVersion = jRoot.getString("ver");

            Integer verMajor = 0, verMinor = 0;

            String[] split = fileVersion.split("\\.");
            if(split.length >= 2){
                verMajor = Integer.decode(split[0]);
                verMinor = Integer.decode(split[1]);
            }

            if(verMajor == FILE_VER_MAJOR && verMinor >= 0){
                if(jRoot.has("history")){
                    JSONArray jHistory = jRoot.getJSONArray("history");

                    for(int i = jHistory.length()-1; i >= 0; --i){
                        JSONObject jElement = jHistory.getJSONObject(i);

                        if(jElement.has("file") && jElement.has("name")){
                            File entryFile = new File(jElement.getString("file"));
                            String entryName = jElement.getString("name");

                            push(new WorldFileEntry(entryName, entryFile));
                        }
                    }
                }
            }
        }
    }

    /**
     * Write JSON-formatted history file