presto-thrift-api/src/main/java/io/prestosql/plugin/thrift/api/PrestoThriftDomain.java/PrestoThriftDomain/fromDomain
class PrestoThriftDomain:    public static PrestoThriftDomain fromDomain(Domain domain)
    {
        return new PrestoThriftDomain(fromValueSet(domain.getValues()), domain.isNullAllowed());
    }