org.archive.format.gzip

Class GZIPFExtraRecords

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

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 java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor and Description
GZIPFExtraRecords()
GZIPFExtraRecords(InputStream is)

Method Summary

Methods

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

Methods inherited from class java.util.ArrayList

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

Methods inherited from class java.util.AbstractList

equals, hashCode

Methods inherited from class java.util.AbstractCollection

containsAll, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.List

containsAll, equals, hashCode

Constructor Detail

GZIPFExtraRecords

public GZIPFExtraRecords()

GZIPFExtraRecords

public GZIPFExtraRecords(InputStream is)
                  throws GZIPFormatException,
                         IOException

Throws:

GZIPFormatException

IOException

Method Detail

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