presto-thrift-api/src/main/java/io/prestosql/plugin/thrift/api/valuesets/PrestoThriftRangeValueSet.java/PrestoThriftBound/getValue
class PrestoThriftBound:        @ThriftEnumValue
        public int getValue()
        {
            return value;
        }