public void testDist() {
   SpanNotQueryBuilder builder =
       new SpanNotQueryBuilder(
           new SpanTermQueryBuilder("name1", "value1"),
           new SpanTermQueryBuilder("name2", "value2"));
   assertThat(builder.pre(), equalTo(0));
   assertThat(builder.post(), equalTo(0));
   builder.dist(-4);
   assertThat(builder.pre(), equalTo(0));
   assertThat(builder.post(), equalTo(0));
   builder.dist(4);
   assertThat(builder.pre(), equalTo(4));
   assertThat(builder.post(), equalTo(4));
 }
 @Override
 protected SpanNotQueryBuilder doCreateTestQueryBuilder() {
   SpanTermQueryBuilder[] spanTermQueries =
       new SpanTermQueryBuilderTests().createSpanTermQueryBuilders(2);
   SpanNotQueryBuilder queryBuilder =
       new SpanNotQueryBuilder(spanTermQueries[0], spanTermQueries[1]);
   if (randomBoolean()) {
     // also test negative values, they should implicitly be changed to 0
     queryBuilder.dist(randomIntBetween(-2, 10));
   } else {
     if (randomBoolean()) {
       queryBuilder.pre(randomIntBetween(-2, 10));
     }
     if (randomBoolean()) {
       queryBuilder.post(randomIntBetween(-2, 10));
     }
   }
   return queryBuilder;
 }