Class PhaseArgs


  • public class PhaseArgs
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String DEFAULT_PHASES  
    • Constructor Summary

      Constructors 
      Constructor Description
      PhaseArgs()  
    • Constructor Detail

      • PhaseArgs

        public PhaseArgs()
    • Method Detail

      • extractPhaseNames

        public static java.util.List<java.lang.String> extractPhaseNames​(java.lang.String phaseNames)
        Parse comma separated list of phase names, expanding convience phase names like ttp into real phase names.
        Parameters:
        phaseNames - string to parse
        Returns:
        parsed list of phase names
      • splitPhaseNameList

        public static java.lang.String[] splitPhaseNameList​(java.lang.String phaseList)
      • setPhaseNames

        public void setPhaseNames​(java.util.List<java.lang.String> phaseNamesStr)
        names of phases to be used, ie PKIKP.
      • setPhaseFiles

        public void setPhaseFiles​(java.util.List<java.lang.String> phaseFile)
      • getPhaseNamesAsString

        public static java.lang.String getPhaseNamesAsString​(java.util.List<PhaseName> phaseNameList)
      • readPhaseFile

        protected java.util.List<java.lang.String> readPhaseFile​(java.lang.String filename)
                                                          throws java.io.IOException
        Reads in list of phase names from a text file. So long as each phase name is separated by some whitespace, " " or newline or tab, it should read them fine. Also, comments are allowed, either # or // are comments to the end of the line while c style slash-star make a block a comment.
        Returns:
        Throws:
        java.io.IOException
      • isEmpty

        public boolean isEmpty()