public class ListHeader
extends java.lang.Object
Constructor and Description |
---|
ListHeader() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args) |
static void |
processFile(java.lang.String filename,
java.lang.String network,
java.lang.String station,
java.lang.String location,
java.lang.String channel,
int maxRecords,
int defaultRecordSize,
boolean verbose,
boolean dumpData,
java.io.DataOutputStream dos,
java.io.PrintWriter out) |
public static void main(java.lang.String[] args) throws java.io.IOException, SeedFormatException
java.io.IOException
SeedFormatException
public static void processFile(java.lang.String filename, java.lang.String network, java.lang.String station, java.lang.String location, java.lang.String channel, int maxRecords, int defaultRecordSize, boolean verbose, boolean dumpData, java.io.DataOutputStream dos, java.io.PrintWriter out) throws java.io.IOException, SeedFormatException
java.io.IOException
SeedFormatException