Package edu.sc.seis.TauP.cmdline.args

Class VelPlotOutputTypeArgs

java.lang.Object
edu.sc.seis.TauP.cmdline.args.AbstractOutputTypeArgs
edu.sc.seis.TauP.cmdline.args.VelPlotOutputTypeArgs
public class VelPlotOutputTypeArgs extends AbstractOutputTypeArgs

  • Field Details

    • psFile

      public String psFile
      ps filename for use within gmt script. Usually named after the tool that created the output.

    • mapwidth

      public Float mapwidth

    • mapWidthUnit

      public String mapWidthUnit

  • Constructor Details

    • VelPlotOutputTypeArgs

      public VelPlotOutputTypeArgs(String defaultFormat, String filebase)

  • Method Details

    • asGraphicOutputTypeArgs

      public GraphicOutputTypeArgs asGraphicOutputTypeArgs()
      Remap from this to GraphicOutputTypeArgs due to issue with inheritence and picocli. Needed mainly for GMT output.
      Returns:
      this converted to GraphicOutputTypeArgs

    • getOutputFormat

      public String getOutputFormat()
      Specified by:
      getOutputFormat in class AbstractOutputTypeArgs

    • getOutFileExtension

      public String getOutFileExtension()
      Specified by:
      getOutFileExtension in class AbstractOutputTypeArgs

    • setOutputFormat

      public void setOutputFormat(String oType)
      Specified by:
      setOutputFormat in class AbstractOutputTypeArgs

    • getPsFile

      public String getPsFile()

    • setPsFile

      public void setPsFile(String psFile)

    • getMapwidth

      public Float getMapwidth()

    • setMapwidth

      public void setMapwidth(Float mapwidth)

    • getMapWidthUnit

      public String getMapWidthUnit()

    • setMapWidthUnit

      public void setMapWidthUnit(String mapWidthUnit)

    • isText

      public boolean isText()

    • isSVG

      public boolean isSVG()

    • isHTML

      public boolean isHTML()

    • isGMT

      public boolean isGMT()

    • isJSON

      public boolean isJSON()

    • isND

      public boolean isND()

    • isCSV

      public boolean isCSV()

    • getPixelWidth

      public float getPixelWidth()