public class StringGenerator extends Generator<String>
Produces values for theory parameters of type String.
This implementation produces strings whose characters are in the interval [0x0000, 0xD7FF].
The generated values will have String.length() decided by
GenerationStatus.size().
| Constructor and Description |
|---|
StringGenerator() |
| Modifier and Type | Method and Description |
|---|---|
String |
generate(SourceOfRandomness random,
GenerationStatus status) |
addComponentGenerators, canGenerateForParametersOfTypes, canRegisterAsType, compatibleWithTypeParameter, configure, hasComponents, numberOfNeededComponents, provideRepository, typespublic String generate(SourceOfRandomness random, GenerationStatus status)
Copyright © 2015. All Rights Reserved.