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 ProofNotFoundException.java:
Stmts:	1	LOC:	40	Total cmp:	1	Stmts/Method:	1
Branches:	0	NCLOC:	8	Cmp density:	1	Methods/Class:	1
Methods:	1			Avg method cmp:	1
Classes:	1

Statistics for file ProofNotFoundException.java:
Stmts:	1	LOC:	40	Total cmp:	1	Stmts/Method:	1
Branches:	0	NCLOC:	8	Cmp density:	1	Methods/Class:	1
Methods:	1			Avg method cmp:	1
Classes:	1

Expand All

ProofNotFoundException

Line # 26

Total Statements 1

Complexity 1

TOTAL Coverage 100%

1.0

Show Tests (1) Select All Deselect All
Highlight	Test Contribution	Test	Result
	1.0	org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3	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.bo.logic.proof.common;

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

/**

* Indicates we couldn't find a proof. Abandon the search.

* @author Michael Meyling.

/**

* Constructor.

* @param errorCode Error code of this message.

* @param message Error message.

* @param context Error location.

public ProofNotFoundException(final int errorCode, final String message,

final ModuleContext context) {

super(errorCode, message, null, context);

}