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.TransformerException
public PhasePhilter.PhaseRenamer(java.util.regex.Pattern[] patterns, java.lang.String[] replacements)