public interface ToolchainsWriter
Modifier and Type | Method and Description |
---|---|
void |
write(java.io.Writer output,
java.util.Map<java.lang.String,java.lang.Object> options,
PersistedToolchains toolchains)
Writes the supplied toolchains to the specified character writer.
|
void write(java.io.Writer output, java.util.Map<java.lang.String,java.lang.Object> options, PersistedToolchains toolchains) throws java.io.IOException
output
- The writer to serialize the toolchains to, must not be null
.options
- The options to use for serialization, may be null
to use the default values.toolchains
- The toolchains to serialize, must not be null
.java.io.IOException
- If the toolchains could not be serialized.