org.eclipse.tptp.platform.llc.core.internal.report
Class LineInfo

java.lang.Object
  org.eclipse.tptp.platform.llc.core.internal.report.LineInfo

All Implemented Interfaces:

org.eclipse.tptp.platform.llc.core.report.ILineInfo

public class LineInfo
extends java.lang.Object
implements org.eclipse.tptp.platform.llc.core.report.ILineInfo

Implementation of ILineInfo

Field Summary

Fields inherited from interface org.eclipse.tptp.platform.llc.core.report.ILineInfo

LINE_COV, LINE_PARTCOV, LINE_UNCOV

Constructor Summary

LineInfo(int lineNum, int originalState)

LineInfo(LineInfo info)

Method Summary

int	getLine()
int	getState()
void	setState(int newState)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

LineInfo

public LineInfo(int lineNum,
                int originalState)

LineInfo

public LineInfo(LineInfo info)

Method Detail

getState

public int getState()

Specified by:

getState in interface org.eclipse.tptp.platform.llc.core.report.ILineInfo

See Also:

org.eclipse.tptp.platform.llc.core.report.impl.ILineInfo#getState()

setState

public void setState(int newState)

getLine

public int getLine()

Specified by:

getLine in interface org.eclipse.tptp.platform.llc.core.report.ILineInfo

See Also:

org.eclipse.tptp.platform.llc.core.report.impl.ILineInfo#getLine()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object