Class FormattedInput

Method Details

• getInstance

  public static FormattedInput getInstance()

  create new instance of this object (note that there is no public constructor because this class is a singleton!)

• nextLine

  public void nextLine(PushbackReader in) throws IOException

  go to the beginning of the next line. Recognized line terminators: Unix: \n, DOS: \r\n, Macintosh: \r

  Parameters:

  in - input stream

  Throws:

  IOException

• readLine

  public String readLine(PushbackReader in, boolean keepWhiteSpace) throws IOException

  read a whole line

  Parameters:

  in - input stream

  keepWhiteSpace - keep or drop white space

  Returns:

  string with content of line

  Throws:

  IOException

• skipWhiteSpace

  public int skipWhiteSpace(PushbackReader in) throws IOException

  go to first non-whitespace character

  Parameters:

  in - input stream

  Returns:

  character or EOF

  Throws:

  IOException

• readNextChar

  public int readNextChar(PushbackReader input) throws IOException

  read next character from stream (EOF does not count as character but will throw exception)

  Parameters:

  input - input stream

  Returns:

  character

  Throws:

  IOException

• readWord

  public String readWord(PushbackReader in) throws IOException

  read word from stream

  Parameters:

  input - stream

  Returns:

  word read from stream

  Throws:

  IOException

• readLabel

  public String readLabel(PushbackReader in, int maxLength) throws IOException

  read sequence label from stream A sequence label is not allowed to contain whitespace and either of :,;()[]{}. Note that newline/cr is NOT counted as white space!!

  Parameters:

  in - input stream

  maxLength - maximum allowed length of label (if negative any length is permitted)

  Returns:

  label

  Throws:

  IOException

• readNumber

  public String readNumber(PushbackReader in, boolean ignoreNewlineCR) throws IOException

  Throws:

  IOException

• readDouble

  public double readDouble(PushbackReader in) throws IOException, NumberFormatException

  read next number from stream and convert it to a double (newline/cr are treated as separators)

  Parameters:

  in - input stream

  Returns:

  double

  Throws:

  IOException

  NumberFormatException

• readDouble

  public double readDouble(PushbackReader in, boolean ignoreNewlineCR) throws IOException, NumberFormatException

  read next number from stream and convert it to a double

  Parameters:

  in - input stream

  ignoreNewlineCR - ignore newline/cr as separator

  Returns:

  double

  Throws:

  IOException

  NumberFormatException

• readInt

  public int readInt(PushbackReader in) throws IOException, NumberFormatException

  read next number from stream and convert it to a int (newline/cr are treated as separators)

  Parameters:

  in - input stream

  Returns:

  integer

  Throws:

  IOException

  NumberFormatException

• readInt

  public int readInt(PushbackReader in, boolean ignoreNewlineCR) throws IOException, NumberFormatException

  read next number from stream and convert it to a int

  Parameters:

  in - input stream

  ignoreNewlineCR - ignore newline/cr as separator

  Returns:

  integer

  Throws:

  IOException

  NumberFormatException