text: public SpanNotQuery(SpanQuery include, SpanQuery exclude, int pre, int post) {this.include = Objects.requireNonNull(include);this.exclude = Objects.requireNonNull(exclude);this.pre = pre;this.post = post;if (include.getField() != null && exclude.getField() != null && !include.getField().equals(exclude.getField()))throw new IllegalArgumentException("Clauses must have same field.");}