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.se.state:
Stmts:	248		LOC:	605		Total cmp:	46		Stmts/Method:	5.51
Branches:	0		NCLOC:	406		Cmp density:	0.19		Methods/Class:	7.5
Methods:	45		Files:	6		Avg method cmp:	1.02
Classes:	6

Package

Files

Average Method Complexity

TOTAL Coverage

org.qedeq.kernel.se.state org.qedeq.kernel.se.state

6.0 6

1.0222223 1.02

0.99658704 99.7%

0.99658704

Class

Methods

Average Method Complexity

TOTAL Coverage

AbstractStateTest AbstractStateTest

8.0 8

1.125 1.12

0.9722222 97.2%

0.9722222

DependencyStateTest DependencyStateTest

8.0 8

1.0 1

1.0 100%

1.0

FormallyProvedStateTest FormallyProvedStateTest

7.0 7

1.0 1

1.0 100%

1.0

LoadingImportsStateTest LoadingImportsStateTest

8.0 8

1.0 1

1.0 100%

1.0

LoadingStateTest LoadingStateTest

7.0 7

1.0 1

1.0 100%

1.0

WellFormedStateTest WellFormedStateTest

7.0 7

1.0 1

1.0 100%

1.0