public interface AmplExtensionWriter
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getName() |
void |
write(java.util.List<AmplExtension> extensions,
Network network,
int variantIndex,
StringToIntMapper<AmplSubset> mapper,
DataSource dataSource,
boolean append,
AmplExportConfig config) |
java.lang.String getName()
void write(java.util.List<AmplExtension> extensions, Network network, int variantIndex, StringToIntMapper<AmplSubset> mapper, DataSource dataSource, boolean append, AmplExportConfig config) throws java.io.IOException
java.io.IOException
Copyright © 2019. All rights reserved.