src/main/java/org/semgus/java/object/SmtTerm.java
private static int readHexChar(char hexChar) throws DeserializationException {
        return switch (hexChar) {
            case '0' -> 0x0;
            case '1' -> 0x1;
            case '2' -> 0x2;
            case '3' -> 0x3;
            case '4' -> 0x4;
            case '5' -> 0x5;
            case '6' -> 0x6;
            case '7' -> 0x7;
            case '8' -> 0x8;
            case '9' -> 0x9;
            case 'a', 'A' -> 0xA;
            case 'b', 'B' -> 0xB;
            case 'c', 'C' -> 0xC;
            case 'd', 'D' -> 0xD;
            case 'e', 'E' -> 0xE;
            case 'f', 'F' -> 0xF;
            default -> throw new DeserializationException("Not a valid hexadecimal character: " + hexChar);
        };
    }
/**
     * Parses a hexadecimal character into its corresponding numeric value.
     *
     * @param hexChar The hexadecimal character.
     * @return The numeric value of {@code hexChar},
     * @throws DeserializationException If {@code hexChar} is not a valid hexadecimal character.
     */
Parses a hexadecimal character into its corresponding numeric value.
@param hexChar The hexadecimal character.
@return The numeric value of  hexChar,
@throws DeserializationException If  hexChar is not a valid hexadecimal character.
Parses a hexadecimal character into its corresponding numeric value . @param hexChar The hexadecimal character . @return The numeric value of hexChar @throws DeserializationException If hexChar is not a valid hexadecimal character .
private static int readHexChar(char hexChar) throws DeserializationException {
        return switch (hexChar) {
            case '0' -> 0x0;
            case '1' -> 0x1;
            case '2' -> 0x2;
            case '3' -> 0x3;
            case '4' -> 0x4;
            case '5' -> 0x5;
            case '6' -> 0x6;
            case '7' -> 0x7;
            case '8' -> 0x8;
            case '9' -> 0x9;
            case 'a', 'A' -> 0xA;
            case 'b', 'B' -> 0xB;
            case 'c', 'C' -> 0xC;
            case 'd', 'D' -> 0xD;
            case 'e', 'E' -> 0xE;
            case 'f', 'F' -> 0xF;
            default -> throw new DeserializationException("Not a valid hexadecimal character: " + hexChar);
        };
    }
private static int readHexChar ( char hexChar ) throws DeserializationException { return switch ( hexChar ) { case '0' -> 0x0 ; case '1' -> 0x1 ; case '2' -> 0x2 ; case '3' -> 0x3 ; case '4' -> 0x4 ; case '5' -> 0x5 ; case '6' -> 0x6 ; case '7' -> 0x7 ; case '8' -> 0x8 ; case '9' -> 0x9 ; case 'a' , 'A' -> 0xA ; case 'b' , 'B' -> 0xB ; case 'c' , 'C' -> 0xC ; case 'd' , 'D' -> 0xD ; case 'e' , 'E' -> 0xE ; case 'f' , 'F' -> 0xF ; default -> throw new DeserializationException ( "Not a valid hexadecimal character: " + hexChar ) ; } ; }
Parses a hexadecimal character into its corresponding numeric value.
Parses a hexadecimal character into its corresponding numeric value .