Constructor Detail

• LineInfo

  public LineInfo()

Method Detail

• setInputStartLine

  public void setInputStartLine(int inputStartLine)

  Sets InputStartLine.

• setOutputStartLine

  public void setOutputStartLine(int outputStartLine)

  Sets OutputStartLine.

• setLineFileID

  public void setLineFileID(int lineFileID)

  Sets lineFileID. Should be called only when different from that of prior LineInfo object (in any given context) or 0 if the current LineInfo has no (logical) predecessor. LineInfo will print this file number no matter what.

• setInputLineCount

  public void setInputLineCount(int inputLineCount)

  Sets InputLineCount.

• setOutputLineIncrement

  public void setOutputLineIncrement(int outputLineIncrement)

  Sets OutputLineIncrement.

• getString

  public java.lang.String getString()

  Retrieves the current LineInfo as a String, print all values only when appropriate (but LineInfoID if and only if it's been specified, as its necessity is sensitive to context).

• toString

  public java.lang.String toString()

  Overrides:

  toString in class java.lang.Object