Class GZIPFExtraRecords

java.lang.Object

java.util.AbstractCollection<GZIPFExtraRecord>

java.util.AbstractList<GZIPFExtraRecord>

java.util.ArrayList<GZIPFExtraRecord>

org.archive.format.gzip.GZIPFExtraRecords

All Implemented Interfaces:

Serializable, Cloneable, Iterable<GZIPFExtraRecord>, Collection<GZIPFExtraRecord>, List<GZIPFExtraRecord>, RandomAccess

public class GZIPFExtraRecords
extends ArrayList<GZIPFExtraRecord>

See Also:

• Serialized Form

Field Summary

Fields inherited from class AbstractList

modCount

Constructor Summary

Constructors

Constructor	Description
GZIPFExtraRecords()
GZIPFExtraRecords(InputStream is)

Method Summary

Modifier and Type	Method	Description
int	getByteLength()
void	readRecords(InputStream is)
void	writeTo(OutputStream os)

Methods inherited from class ArrayList

add, add, addAll, addAll, clear, clone, contains, ensureCapacity, forEach, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize

Methods inherited from class AbstractList

equals, hashCode

Methods inherited from class AbstractCollection

containsAll, toString

Methods inherited from class Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface Collection

parallelStream, stream

Methods inherited from interface List

containsAll, equals, hashCode

Constructor Details

GZIPFExtraRecords

public GZIPFExtraRecords()

GZIPFExtraRecords

public GZIPFExtraRecords(InputStream is)
                  throws GZIPFormatException,
IOException

Throws:

GZIPFormatException

IOException

Method Details

writeTo

public void writeTo(OutputStream os)
             throws IOException

Throws:

IOException

getByteLength

public int getByteLength()

Returns:

the number of bytes used by these records. Includes: records-length : 2-byte short record-data : summation of sizes of records

readRecords

public void readRecords(InputStream is)
                 throws GZIPFormatException,
IOException

Throws:

GZIPFormatException

IOException