presto-redis/src/main/java/io/prestosql/plugin/redis/RedisSplit.java/RedisSplit/RedisSplit
class RedisSplit:    @JsonCreator
    public RedisSplit(
            @JsonProperty("schemaName") String schemaName,
            @JsonProperty("tableName") String tableName,
            @JsonProperty("keyDataFormat") String keyDataFormat,
            @JsonProperty("valueDataFormat") String valueDataFormat,
            @JsonProperty("keyName") String keyName,
            @JsonProperty("start") long start,
            @JsonProperty("end") long end,
            @JsonProperty("nodes") List<HostAddress> nodes)
    {
        this.schemaName = requireNonNull(schemaName, "schemaName is null");
        this.tableName = requireNonNull(tableName, "tableName is null");
        this.keyDataFormat = requireNonNull(keyDataFormat, "keyDataFormat is null");
        this.valueDataFormat = requireNonNull(valueDataFormat, "valueDataFormat is null");
        this.keyName = keyName;
        this.nodes = ImmutableList.copyOf(requireNonNull(nodes, "nodes is null"));
        this.start = start;
        this.end = end;
        this.valueDataType = toRedisDataType(valueDataFormat);
        this.keyDataType = toRedisDataType(keyDataFormat);
    }