| private LengthFilter ( System.Version version, bool enablePositionIncrements, TokenStream @in, int min, int max ) : System | ||
| version | System.Version | |
| enablePositionIncrements | bool | |
| @in | TokenStream | |
| min | int | |
| max | int | |
| return | System | |
public LengthFilter(Version version, bool enablePositionIncrements, TokenStream @in, int min, int max) : base(version, enablePositionIncrements, @in)
{
if (min < 0)
{
throw new System.ArgumentException("minimum length must be greater than or equal to zero");
}
if (min > max)
{
throw new System.ArgumentException("maximum length must not be greater than minimum length");
}
this.min = min;
this.max = max;
}
| LengthFilter::LengthFilter ( System.Version version, TokenStream @in, int min, int max ) : System |