public class SeedPrinter extends Object
| Constructor and Description |
|---|
SeedPrinter(PrintStream ps)
Creates a new ConfigurationWriter for the given PrintStream.
|
| Modifier and Type | Method and Description |
|---|---|
void |
write(Configuration configuration,
ClassPool programClassPool,
ClassPool libraryClassPool)
Prints out the seeds for the classes in the given program class pool.
|
public SeedPrinter(PrintStream ps) throws IOException
IOExceptionpublic void write(Configuration configuration, ClassPool programClassPool, ClassPool libraryClassPool) throws IOException
configuration - the configuration containing the keep options.IOException - if an IO error occurs while writing the configuration.Copyright © 2015. All Rights Reserved.