TPTP 4.5.0 Platform Project
Internal API Specification

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

java.lang.Object
  extended by org.eclipse.tptp.platform.llc.core.internal.report.CoverageMethod
All Implemented Interfaces:
org.eclipse.tptp.platform.llc.core.report.ICoverageMethod

public class CoverageMethod
extends java.lang.Object
implements org.eclipse.tptp.platform.llc.core.report.ICoverageMethod


Constructor Summary
CoverageMethod()
           
 
Method Summary
 void accept(org.eclipse.tptp.platform.llc.core.report.ICoverageVisitor visitor)
           
 int getCoveredLines()
           
 java.lang.String getName()
           
 org.eclipse.tptp.platform.llc.core.report.ICoverageClass getParent()
           
 int getTotalLines()
           
 int getUncoveredLines()
           
 boolean isEntered()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CoverageMethod

public CoverageMethod()
Method Detail

getName

public java.lang.String getName()
Specified by:
getName in interface org.eclipse.tptp.platform.llc.core.report.ICoverageMethod

getParent

public org.eclipse.tptp.platform.llc.core.report.ICoverageClass getParent()
Specified by:
getParent in interface org.eclipse.tptp.platform.llc.core.report.ICoverageMethod

isEntered

public boolean isEntered()
Specified by:
isEntered in interface org.eclipse.tptp.platform.llc.core.report.ICoverageMethod

getCoveredLines

public int getCoveredLines()
Specified by:
getCoveredLines in interface org.eclipse.tptp.platform.llc.core.report.ICoverageMethod

getUncoveredLines

public int getUncoveredLines()
Specified by:
getUncoveredLines in interface org.eclipse.tptp.platform.llc.core.report.ICoverageMethod

getTotalLines

public int getTotalLines()
Specified by:
getTotalLines in interface org.eclipse.tptp.platform.llc.core.report.ICoverageMethod

accept

public void accept(org.eclipse.tptp.platform.llc.core.report.ICoverageVisitor visitor)

TPTP 4.5.0 Platform Project
Internal API Specification