Modifier and Type | Field and Description |
---|---|
static float |
DEFAULT_TOLERENCE |
static java.lang.String |
SEPARATOR |
Constructor and Description |
---|
SyncFile(java.lang.String dccName) |
SyncFile(java.lang.String dccName,
java.lang.String dateModified) |
SyncFile(java.lang.String dccName,
java.lang.String dateModified,
java.lang.String[] extraHeaders) |
SyncFile(java.lang.String dccName,
java.lang.String dateModified,
java.lang.String[] extraHeaders,
java.util.List<SyncLine> lines) |
Modifier and Type | Method and Description |
---|---|
void |
addLine(SyncLine line) |
void |
addLine(SyncLine line,
boolean consolidate) |
void |
appendToWriter(java.io.PrintWriter writer,
boolean writeHeader) |
SyncFile |
cleanSmallSegments(float tolerence) |
SyncFile |
concatenate(SyncFile other) |
SyncFile |
consolidate() |
java.lang.String |
getDateModified() |
java.lang.String |
getDccName() |
java.util.Date |
getEarliest()
calculates the earliest time in the syncfile.
|
java.lang.String[] |
getExtraHeaders() |
java.lang.String |
getHeaderLine() |
java.util.Date |
getLatest()
calculates the latest time in the syncfile.
|
java.util.List<SyncLine> |
getSyncLines() |
boolean |
isEmpty() |
java.util.Iterator<SyncLine> |
iterator() |
static SyncFile |
load(java.io.BufferedReader r) |
static SyncFile |
load(java.io.File f) |
void |
saveToFile(java.io.File f) |
void |
saveToFile(java.lang.String filename) |
void |
setDateModified(java.lang.String dateModified) |
void |
setDccName(java.lang.String dccName) |
void |
setExtraHeaders(java.lang.String[] extraHeaders) |
int |
size() |
void |
sort() |
java.util.HashMap<java.lang.String,SyncFile> |
splitByChannel() |
public static final float DEFAULT_TOLERENCE
public static final java.lang.String SEPARATOR
public SyncFile(java.lang.String dccName)
public SyncFile(java.lang.String dccName, java.lang.String dateModified)
public SyncFile(java.lang.String dccName, java.lang.String dateModified, java.lang.String[] extraHeaders)
public SyncFile(java.lang.String dccName, java.lang.String dateModified, java.lang.String[] extraHeaders, java.util.List<SyncLine> lines)
public static SyncFile load(java.io.File f) throws java.io.IOException, SeisFileException
java.io.IOException
SeisFileException
public static SyncFile load(java.io.BufferedReader r) throws java.io.IOException, SeisFileException
java.io.IOException
SeisFileException
public java.util.HashMap<java.lang.String,SyncFile> splitByChannel()
public SyncFile consolidate()
public SyncFile cleanSmallSegments(float tolerence)
public void sort()
public void addLine(SyncLine line)
public void addLine(SyncLine line, boolean consolidate)
public void saveToFile(java.lang.String filename) throws java.io.IOException
java.io.IOException
public void saveToFile(java.io.File f) throws java.io.IOException
java.io.IOException
public void appendToWriter(java.io.PrintWriter writer, boolean writeHeader)
public java.lang.String getHeaderLine()
public java.lang.String getDccName()
public void setDccName(java.lang.String dccName)
public java.lang.String getDateModified()
public void setDateModified(java.lang.String dateModified)
public java.lang.String[] getExtraHeaders()
public void setExtraHeaders(java.lang.String[] extraHeaders)
public java.util.List<SyncLine> getSyncLines()
public boolean isEmpty()
public int size()
public java.util.Date getEarliest()
SeisFileRuntimeException
- if emptypublic java.util.Date getLatest()
SeisFileRuntimeException
- if empty