presto-thrift-api/src/main/java/io/prestosql/plugin/thrift/api/valuesets/PrestoThriftRangeValueSet.java/PrestoThriftRangeValueSet/PrestoThriftBound
class PrestoThriftRangeValueSet:        PrestoThriftBound(int value)
        {
            this.value = value;
        }