public class Encoded extends Generator<String>
Produces values for theory parameters of type String.
This implementation produces strings whose code points correspond to code points in a given
Charset (by default).
The generated values will have String.length() decided by
GenerationStatus.size().
| Modifier and Type | Class and Description |
|---|---|
static interface |
Encoded.InCharset
Names a Charset.
|
| Constructor and Description |
|---|
Encoded() |
| Modifier and Type | Method and Description |
|---|---|
void |
configure(Encoded.InCharset c) |
String |
generate(SourceOfRandomness random,
GenerationStatus status) |
addComponentGenerators, canGenerateForParametersOfTypes, canRegisterAsType, compatibleWithTypeParameter, configure, hasComponents, numberOfNeededComponents, provideRepository, typespublic void configure(Encoded.InCharset c)
public String generate(SourceOfRandomness random, GenerationStatus status)
Copyright © 2015. All Rights Reserved.