protected class AbstractStringDomain.PatternResolver extends Object
Constructor and Description |
---|
PatternResolver()
Creates a new PatternResolver instance.
|
PatternResolver(ResolverContext context)
Creates a new PatternResolver instance.
|
Modifier and Type | Method and Description |
---|---|
Optional<Stream<String>> |
generatedMatches(LengthDomain length)
Returns a sequence of generated matches to all pattern requirements
matching pattern . |
org.cornutum.regexpgen.RegExpGen |
getGenerator()
Returns the generator used to provide matching strings.
|
boolean |
matchesAll(String value)
Returns if the given value matches all pattern requirements.
|
boolean |
matchesRemaining(String match)
Returns if a generated match matches all remaining pattern requirements.
|
Optional<String> |
patternInfeasible(LengthDomain length)
If all pattern requirements are feasible for strings with the given length domain,
returns
Optional.empty() ; otherwise, returns an infeasible pattern. |
public PatternResolver()
public PatternResolver(ResolverContext context)
public boolean matchesAll(String value)
public boolean matchesRemaining(String match)
public Optional<String> patternInfeasible(LengthDomain length)
Optional.empty()
; otherwise, returns an infeasible pattern.public org.cornutum.regexpgen.RegExpGen getGenerator()
public Optional<Stream<String>> generatedMatches(LengthDomain length)
matching pattern
.
Returns Optional.empty()
if no generated match is possible.Copyright © 2024 The Cornutum Project. All rights reserved.