public class Saver extends Object
Modifier and Type | Field and Description |
---|---|
protected File |
file |
protected Format |
format |
protected boolean |
gzipped |
protected boolean |
haveDest |
protected boolean |
haveFormat |
protected OutputStream |
os |
protected boolean |
toString |
Constructor and Description |
---|
Saver() |
protected boolean gzipped
protected Format format
protected boolean haveDest
protected boolean haveFormat
protected boolean toString
protected File file
protected OutputStream os
Copyright © 2021 GATE. All rights reserved.