public static class PhasePhilter.PhaseRenamer
extends java.lang.Object
Constructor and Description |
---|
PhaseRenamer() |
PhaseRenamer(org.w3c.dom.Node n) |
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 PhaseRenamer()
public PhaseRenamer(org.w3c.dom.Node n) throws javax.xml.transform.TransformerException
javax.xml.transform.TransformerException
public PhaseRenamer(java.util.regex.Pattern[] patterns, java.lang.String[] replacements)