Clover

Clover Coverage Report

Coverage timestamp: Fri May 24 2013 13:47:27 UTC

FRAMES NO FRAMES SHOW HELP

Statistics for package org.qedeq.kernel.bo.logic.proof.common:
Stmts:	5		LOC:	397		Total cmp:	4		Stmts/Method:	1.25
Branches:	0		NCLOC:	83		Cmp density:	0.8		Methods/Class:	0.44
Methods:	4		Files:	9		Avg method cmp:	1
Classes:	9

Package

Files

Average Method Complexity

TOTAL Coverage

Cloud icon for org.qedeq.kernel.bo.logic.proof.common

org.qedeq.kernel.bo.logic.proof.common org.qedeq.kernel.bo.logic.proof.common

9.0 9

1.0 1

1.0 100%

1.0

Class

Methods

Average Method Complexity

TOTAL Coverage

ProofException ProofException

2.0 2

1.0 1

1.0 100%

1.0

ProofFoundException ProofFoundException

1.0 1

1.0 1

1.0 100%

1.0

ProofNotFoundException ProofNotFoundException

1.0 1

1.0 1

1.0 100%

1.0