Method getPopularChar

java/org/apache/tomcat/util/json/JSONFilter.java:129–139

(char c)

    }

    private static char getPopularChar(char c) {
        return switch (c) {
            case '"', '\\' -> c;
            case 0x8 -> 'b';
            case 0xc -> 'f';
            case 0xa -> 'n';
            case 0xd -> 'r';
            case 0x9 -> 't';
            default -> 0;
        };
    }
}