public static class PhasePhilter.PhaseRenamer
extends java.lang.Object
| Constructor and Description |
|---|
PhasePhilter.PhaseRenamer() |
PhasePhilter.PhaseRenamer(org.w3c.dom.Node n) |
PhasePhilter.PhaseRenamer(java.util.regex.Pattern[] patterns,
java.lang.String[] replacements) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
rename(edu.sc.seis.TauP.Arrival a) |
public PhasePhilter.PhaseRenamer()
public PhasePhilter.PhaseRenamer(org.w3c.dom.Node n)
throws javax.xml.transform.TransformerException
javax.xml.transform.TransformerExceptionpublic PhasePhilter.PhaseRenamer(java.util.regex.Pattern[] patterns,
java.lang.String[] replacements)