src/main/java/org/semgus/java/object/SmtTerm.java
private static SmtTerm deserializeVariable(JSONObject termDto) throws DeserializationException {
        String name = JsonUtils.getString(termDto, "name");
        Object typeDto = JsonUtils.get(termDto, "sort");
        Identifier type;
        try {
            type = Identifier.deserialize(typeDto);
        } catch (DeserializationException e) {
            throw e.prepend("sort");
        }
        return new Variable(name, type);
    }
/**
     * Deserializes a variable.
     *
     * @param termDto The JSON representation of the variable.
     * @return The deserialized variable.
     * @throws DeserializationException If {@code termDto} is not a valid representation of a variable.
     */
Deserializes a variable.
@param termDto The JSON representation of the variable.
@return The deserialized variable.
@throws DeserializationException If  termDto is not a valid representation of a variable.
Deserializes a variable . @param termDto The JSON representation of the variable . @return The deserialized variable . @throws DeserializationException If termDto is not a valid representation of a variable .
private static SmtTerm deserializeVariable(JSONObject termDto) throws DeserializationException {
        String name = JsonUtils.getString(termDto, "name");
        Object typeDto = JsonUtils.get(termDto, "sort");
        Identifier type;
        try {
            type = Identifier.deserialize(typeDto);
        } catch (DeserializationException e) {
            throw e.prepend("sort");
        }
        return new Variable(name, type);
    }
private static SmtTerm deserializeVariable ( JSONObject termDto ) throws DeserializationException { String name = JsonUtils . getString ( termDto , "name" ) ; Object typeDto = JsonUtils . get ( termDto , "sort" ) ; Identifier type ; try { type = Identifier . deserialize ( typeDto ) ; } catch ( DeserializationException e ) { throw e . prepend ( "sort" ) ; } return new Variable ( name , type ) ; }
Deserializes a variable.
Deserializes a variable .