修飾子とタイプ | フィールドと説明 |
---|---|
protected java.lang.String |
header
Information file name is header_[psv,sh].inf
|
protected java.nio.file.Path |
locationsPath
information file of locations of pertubation points.
|
protected int |
np
NP default: 1024
|
protected PolynomialStructure |
ps
a structure to be used the default is PREM.
|
protected java.nio.file.Path |
stationInformationPath |
protected double |
tlen
TLEN default:3276.8
|
コンストラクタと説明 |
---|
InformationFileMaker(java.util.Properties property) |
修飾子とタイプ | メソッドと説明 |
---|---|
java.util.Properties |
getProperties() |
java.nio.file.Path |
getWorkPath() |
static void |
main(java.lang.String[] args)
With static members, make two information files for back- and forward
propagation.
|
void |
run() |
static void |
writeDefaultPropertiesFile() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
findPath, getPath, writeProperties
protected int np
protected double tlen
protected java.nio.file.Path locationsPath
protected PolynomialStructure ps
protected java.lang.String header
protected java.nio.file.Path stationInformationPath
public InformationFileMaker(java.util.Properties property) throws java.io.IOException
java.io.IOException
public static void writeDefaultPropertiesFile() throws java.io.IOException
java.io.IOException
public static void main(java.lang.String[] args) throws java.lang.Exception
public java.nio.file.Path getWorkPath()
getWorkPath
インタフェース内 Operation
public java.util.Properties getProperties()
getProperties
インタフェース内 Operation