package de.ids_mannheim.korap.util;

import java.io.*;
import java.net.URLDecoder;
import java.nio.file.Files;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.nio.charset.Charset;
import java.nio.charset.StandardCharsets;

/**
 * A collection of string related utility
 * functions.
 * 
 * @author diewald
 */
public class KrillString {

    /**
     * Get String from file.
     * 
     * @param path
     *            The path of the file represented as a string.
     * @param path
     *            The expected {@link Charset}.
     * @return The content of the file
     * @throws IOException
     */
    public static String StringfromFile (String path, Charset encoding)
            throws IOException {
        path = URLDecoder.decode(path, "UTF-8");
        path = path.replaceFirst("^/(.:/)", "$1");
        Path p = Paths.get(path);
        byte[] encoded = Files.readAllBytes(p);
        return new String(encoded, encoding);
    };


    /**
     * Get String from file (expecting UTF-8).
     * 
     * @param path
     *            The path of the file represented as a string.
     * @return The content of the file
     * @throws IOException
     */
    public static String StringfromFile (String path) throws IOException {
        return StringfromFile(path, StandardCharsets.UTF_8);
    };


    /**
     * Escape HTML relevant characters as entities.
     * 
     * @param text
     *            The string to escape.
     * @return The secured string.
     */
    public static String escapeHTML (String text) {
        return text.replace("&", "&amp;").replace("<", "&lt;")
                .replace(">", "&gt;").replace("\"", "&quot;");
    };


    /**
     * Escape Bracket relevant characters.
     * 
     * @param text
     *            The string to escape.
     * @return The secured string.
     */
    public static String escapeBrackets (String text) {
        return text.replaceAll("([\\{\\}\\[\\]\\\\])", "\\\\$1");
    };


    /**
     * Add surrounding double quotes.
     * 
     * @param text
     *            The string to escape.
     * @return The secured string.
     */
    public static String quote (String text) {
        return '"' + text.replaceAll("([\"\\\\])", "\\\\$1") + '"';
    };
};

@@ -1539,32 +1539,70 @@
  (String text) %7B
+%0A%0A%09%09if (text == null)%0A%09%09%09return %22%22;%0A%09%09
 %0A        return 

Fix null pointer in HTML escaping