io.github.kensuke1984.kibrary.waveformdata

クラス PartialIDFile

java.lang.Object

io.github.kensuke1984.kibrary.waveformdata.PartialIDFile

public final class PartialIDFile
extends java.lang.Object

Utilities for a pair of an ID file and a waveform file.
The files are for partial waveforms.

The file contains
Numbers of stations, events, period ranges and perturbation points
Each station information
- name, network, position
Each event
- Global CMT ID Each period
Each period range
- min period, max period
Each perturbation points
- latitude, longitude, radius Each PartialID information
- see in read(Path)

TODO short to char READing has problem. TODO

フィールドのサマリー

フィールド

修飾子とタイプ	フィールドと説明
static int	oneIDByte File size for an ID

メソッドのサマリー

修飾子とタイプ	メソッドと説明
static void	main(java.lang.String[] args) Creates lists of stations, events, partials.
static PartialID[]	read(java.nio.file.Path idPath)
static PartialID[]	read(java.nio.file.Path idPath, java.nio.file.Path dataPath)
static PartialID[]	read(java.nio.file.Path idPath, java.nio.file.Path dataPath, java.util.function.Predicate<PartialID> chooser)

クラスから継承されたメソッド java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

フィールドの詳細

oneIDByte

public static final int oneIDByte

File size for an ID

関連項目:

定数フィールド値

メソッドの詳細

read

public static PartialID[] read(java.nio.file.Path idPath,
                               java.nio.file.Path dataPath,
                               java.util.function.Predicate<PartialID> chooser)
                        throws java.io.IOException

例外:

java.io.IOException

read

public static PartialID[] read(java.nio.file.Path idPath)
                        throws java.io.IOException

パラメータ:

idPath - Path of an ID file.

戻り値:

Array of PartialID without waveform data

例外:

java.io.IOException - if an I/O error occurs

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException

Creates lists of stations, events, partials.(if they dont exist) Options: -a: show all IDs

パラメータ:

args - [options] [parameter file name]

例外:

java.io.IOException - if an I/O error occurs

read

public static PartialID[] read(java.nio.file.Path idPath,
                               java.nio.file.Path dataPath)
                        throws java.io.IOException

例外:

java.io.IOException