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:	18		LOC:	789		Total cmp:	15		Stmts/Method:	1.29
Branches:	2		NCLOC:	265		Cmp density:	0.83		Methods/Class:	1.27
Methods:	14		Files:	11		Avg method cmp:	1.07
Classes:	11

Package

Files

Average Method Complexity

TOTAL Coverage

Cloud icon for org.qedeq.kernel.se.state

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

11.0 11

1.0714285 1.07

1.0 100%

1.0

Class

Methods

Average Method Complexity

TOTAL Coverage

AbstractState AbstractState

7.0 7

1.1428572 1.14

1.0 100%

1.0

DependencyState DependencyState

2.0 2

1.0 1

1.0 100%

1.0

FormallyProvedState FormallyProvedState

1.0 1

1.0 1

1.0 100%

1.0

LoadingImportsState LoadingImportsState

2.0 2

1.0 1

1.0 100%

1.0

LoadingState LoadingState

1.0 1

1.0 1

1.0 100%

1.0

WellFormedState WellFormedState

1.0 1

1.0 1

1.0 100%

1.0