Clover

Clover Coverage Report

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

FRAMES NO FRAMES SHOW HELP

0% of files have more coverage

Statistics for file DefaultContextChecker.java:
Stmts:	0	LOC:	38	Total cmp:	1	Stmts/Method:	0
Branches:	0	NCLOC:	7	Cmp density:	-	Methods/Class:	1
Methods:	1			Avg method cmp:	1
Classes:	1

Statistics for file DefaultContextChecker.java:
Stmts:	0	LOC:	38	Total cmp:	1	Stmts/Method:	0
Branches:	0	NCLOC:	7	Cmp density:	-	Methods/Class:	1
Methods:	1			Avg method cmp:	1
Classes:	1

Expand All

DefaultContextChecker

Line # 25

Total Statements 0

Complexity 1

TOTAL Coverage 100%

1.0

Show Tests (1) Select All Deselect All
Highlight	Test Contribution	Test	Result
	1.0	org.qedeq.kernel.se.visitor.DefaultContextCheckerTest.testCheckHashCode org.qedeq.kernel.se.visitor.DefaultContextCheckerTest.testCheckHashCode	1 PASS

Collapse All

/* This file is part of the project "Hilbert II" - http://www.qedeq.org

* "Hilbert II" is free software; you can redistribute

* it and/or modify it under the terms of the GNU General Public

* License as published by the Free Software Foundation; either

* version 2 of the License, or (at your option) any later version.

* This program is distributed in the hope that it will be useful,

* but WITHOUT ANY WARRANTY; without even the implied warranty of

* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the

* GNU General Public License for more details.

package org.qedeq.kernel.se.visitor;

import org.qedeq.kernel.se.base.module.Qedeq;

import org.qedeq.kernel.se.common.ModuleContext;

/**

* Basis implementation.

public class DefaultContextChecker implements ContextChecker {

/**

* We don't check anything.

* @param qedeq QEDEQ module.

* @param context Current context.

public void checkContext(final Qedeq qedeq, final ModuleContext context) {

// we don't check anything

}