Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
../../../../../../../img/srcFileCovDistChart10.png 0% of files have more coverage
3   41   2   1.5
0   15   0.67   2
2     1  
1    
 
  ProofException       Line # 13 3 2 100% 1.0
 
  (6)
 
1    package org.qedeq.kernel.bo.logic.proof.common;
2   
3    import org.qedeq.kernel.se.base.module.FormalProofLineList;
4    import org.qedeq.kernel.se.common.ModuleContext;
5    import org.qedeq.kernel.se.common.ModuleDataException;
6   
7    /**
8    * Indicates we found something or have to abandon the search.
9    *
10    * @author Michael Meyling.
11    *
12    */
 
13    public abstract class ProofException extends ModuleDataException {
14   
15    /** Proof lines found. If any. Might be <code>null</code>. */
16    private final FormalProofLineList lines;
17   
18    /**
19    * Constructor.
20    *
21    * @param errorCode Error code of this message.
22    * @param message Error message.
23    * @param lines Current proof lines.
24    * @param context Error location.
25    */
 
26  9 toggle public ProofException(final int errorCode, final String message, final FormalProofLineList lines,
27    final ModuleContext context) {
28  9 super(errorCode, message, context);
29  9 this.lines = lines;
30    }
31   
32    /**
33    * Get proof lines we found. If any.
34    *
35    * @return Found proof lines. Might be <code>null</code>.
36    */
 
37  8 toggle public FormalProofLineList getProofLines() {
38  8 return lines;
39    }
40   
41    }
 
CloverReport generated by Clover Code Coverage v3.1.10
Fri May 24 2013 13:47:32 UTC.		   Clover: Open Source License registered to qedeq.org .