Clover coverage report - QedeqKernelSe Coverage Report
Coverage timestamp: Do Jan 11 2007 09:03:50 CET
Overview   Package   File
    FRAMES   NO FRAMES  
file stats: LOC: 278   Methods: 70
NCLOC: 181   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
AbstractModuleVisitor.java - - 90% 90%
coverage coverage
 1    /* $Id: Visitor.java,v 1.2 2006/10/20 20:23:00 m31 Exp $
 2    *
 3    * This file is part of the project "Hilbert II" - http://www.qedeq.org
 4    *
 5    * Copyright 2000-2006, Michael Meyling <mime@qedeq.org>.
 6    *
 7    * "Hilbert II" is free software; you can redistribute
 8    * it and/or modify it under the terms of the GNU General Public
 9    * License as published by the Free Software Foundation; either
 10    * version 2 of the License, or (at your option) any later version.
 11    *
 12    * This program is distributed in the hope that it will be useful,
 13    * but WITHOUT ANY WARRANTY; without even the implied warranty of
 14    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 15    * GNU General Public License for more details.
 16    */
 17   
 18    package org.qedeq.kernel.bo.visitor;
 19   
 20    import org.qedeq.kernel.base.list.Atom;
 21    import org.qedeq.kernel.base.list.ElementList;
 22    import org.qedeq.kernel.base.module.Author;
 23    import org.qedeq.kernel.base.module.AuthorList;
 24    import org.qedeq.kernel.base.module.Axiom;
 25    import org.qedeq.kernel.base.module.Chapter;
 26    import org.qedeq.kernel.base.module.ChapterList;
 27    import org.qedeq.kernel.base.module.Formula;
 28    import org.qedeq.kernel.base.module.FunctionDefinition;
 29    import org.qedeq.kernel.base.module.Header;
 30    import org.qedeq.kernel.base.module.Import;
 31    import org.qedeq.kernel.base.module.ImportList;
 32    import org.qedeq.kernel.base.module.Latex;
 33    import org.qedeq.kernel.base.module.LatexList;
 34    import org.qedeq.kernel.base.module.LinkList;
 35    import org.qedeq.kernel.base.module.LiteratureItem;
 36    import org.qedeq.kernel.base.module.LiteratureItemList;
 37    import org.qedeq.kernel.base.module.Location;
 38    import org.qedeq.kernel.base.module.LocationList;
 39    import org.qedeq.kernel.base.module.Node;
 40    import org.qedeq.kernel.base.module.PredicateDefinition;
 41    import org.qedeq.kernel.base.module.Proof;
 42    import org.qedeq.kernel.base.module.ProofList;
 43    import org.qedeq.kernel.base.module.Proposition;
 44    import org.qedeq.kernel.base.module.Qedeq;
 45    import org.qedeq.kernel.base.module.Rule;
 46    import org.qedeq.kernel.base.module.Section;
 47    import org.qedeq.kernel.base.module.SectionList;
 48    import org.qedeq.kernel.base.module.Specification;
 49    import org.qedeq.kernel.base.module.Subsection;
 50    import org.qedeq.kernel.base.module.SubsectionList;
 51    import org.qedeq.kernel.base.module.SubsectionType;
 52    import org.qedeq.kernel.base.module.Term;
 53    import org.qedeq.kernel.base.module.UsedByList;
 54    import org.qedeq.kernel.base.module.VariableList;
 55    import org.qedeq.kernel.bo.module.ModuleDataException;
 56   
 57   
 58   
 59    /**
 60    * Basic visitor that makes nothing.
 61    *
 62    * @version $Revision: 1.2 $
 63    * @author Michael Meyling
 64    */
 65    public abstract class AbstractModuleVisitor implements QedeqVisitor {
 66   
 67  2532 public void visitEnter(final Atom atom) throws ModuleDataException {
 68    }
 69   
 70  3072 public void visitEnter(final ElementList list) throws ModuleDataException {
 71    }
 72   
 73  10 public void visitEnter(final Author author) throws ModuleDataException {
 74    }
 75   
 76  10 public void visitEnter(final AuthorList authorList) throws ModuleDataException {
 77    }
 78   
 79  0 public void visitEnter(final Axiom axiom) throws ModuleDataException {
 80    }
 81   
 82  50 public void visitEnter(final Chapter chapter) throws ModuleDataException {
 83    }
 84   
 85  10 public void visitEnter(final ChapterList chapterList) throws ModuleDataException {
 86    }
 87   
 88  160 public void visitEnter(final Formula formula) throws ModuleDataException {
 89    }
 90   
 91  0 public void visitEnter(final FunctionDefinition functionDefinition) throws ModuleDataException {
 92    }
 93   
 94  10 public void visitEnter(final Header header) throws ModuleDataException {
 95    }
 96   
 97  6 public void visitEnter(final Import imp) throws ModuleDataException {
 98    }
 99   
 100  4 public void visitEnter(final ImportList importList) throws ModuleDataException {
 101    }
 102   
 103  1452 public void visitEnter(final Latex latex) throws ModuleDataException {
 104    }
 105   
 106  836 public void visitEnter(final LatexList latexList) throws ModuleDataException {
 107    }
 108   
 109  2 public void visitEnter(final LinkList linkList) throws ModuleDataException {
 110    }
 111   
 112  18 public void visitEnter(final LiteratureItem literatureItem) throws ModuleDataException {
 113    }
 114   
 115  4 public void visitEnter(final LiteratureItemList literatureItemList) throws ModuleDataException {
 116    }
 117   
 118  18 public void visitEnter(final Location location) throws ModuleDataException {
 119    }
 120   
 121  18 public void visitEnter(final LocationList locationList) throws ModuleDataException {
 122    }
 123   
 124  200 public void visitEnter(final Node authorList) throws ModuleDataException {
 125    }
 126   
 127  0 public void visitEnter(final PredicateDefinition predicateDefinition)
 128    throws ModuleDataException {
 129    }
 130   
 131  10 public void visitEnter(final Proof proof) throws ModuleDataException {
 132    }
 133   
 134  10 public void visitEnter(final ProofList proofList) throws ModuleDataException {
 135    }
 136   
 137  0 public void visitEnter(final Proposition proposition) throws ModuleDataException {
 138    }
 139   
 140  10 public void visitEnter(final Qedeq qedeq) throws ModuleDataException {
 141    }
 142   
 143  0 public void visitEnter(final Rule rule) throws ModuleDataException {
 144    }
 145   
 146  84 public void visitEnter(final Section section) throws ModuleDataException {
 147    }
 148   
 149  28 public void visitEnter(final SectionList sectionList) throws ModuleDataException {
 150    }
 151   
 152  18 public void visitEnter(final Specification specification) throws ModuleDataException {
 153    }
 154   
 155  48 public void visitEnter(final Subsection subsection) throws ModuleDataException {
 156    }
 157   
 158  40 public void visitEnter(final SubsectionList subsectionList) throws ModuleDataException {
 159    }
 160   
 161  0 public void visitEnter(final SubsectionType subsectionType) throws ModuleDataException {
 162    }
 163   
 164  32 public void visitEnter(final Term term) throws ModuleDataException {
 165    }
 166   
 167  2 public void visitEnter(final UsedByList usedByList) throws ModuleDataException {
 168    }
 169   
 170  50 public void visitEnter(final VariableList variableList) throws ModuleDataException {
 171    }
 172   
 173  10 public void visitLeave(final Author author) throws ModuleDataException {
 174    }
 175   
 176  10 public void visitLeave(final AuthorList authorList) throws ModuleDataException {
 177    }
 178   
 179  32 public void visitLeave(final Axiom axiom) throws ModuleDataException {
 180    }
 181   
 182  50 public void visitLeave(final Chapter chapter) throws ModuleDataException {
 183    }
 184   
 185  10 public void visitLeave(final ChapterList chapterList) throws ModuleDataException {
 186    }
 187   
 188  160 public void visitLeave(final Formula formula) throws ModuleDataException {
 189    }
 190   
 191  32 public void visitLeave(final FunctionDefinition functionDefinition) throws ModuleDataException {
 192    }
 193   
 194  10 public void visitLeave(final Header header) throws ModuleDataException {
 195    }
 196   
 197  6 public void visitLeave(final Import imp) throws ModuleDataException {
 198    }
 199   
 200  4 public void visitLeave(final ImportList importList) throws ModuleDataException {
 201    }
 202   
 203  1452 public void visitLeave(final Latex latex) throws ModuleDataException {
 204    }
 205   
 206  836 public void visitLeave(final LatexList latexList) throws ModuleDataException {
 207    }
 208   
 209  2 public void visitLeave(final LinkList linkList) throws ModuleDataException {
 210    }
 211   
 212  18 public void visitLeave(final LiteratureItem literatureItem) throws ModuleDataException {
 213    }
 214   
 215  4 public void visitLeave(final LiteratureItemList literatureItemList) throws ModuleDataException {
 216    }
 217   
 218  18 public void visitLeave(final Location location) throws ModuleDataException {
 219    }
 220   
 221  18 public void visitLeave(final LocationList locationList) throws ModuleDataException {
 222    }
 223   
 224  200 public void visitLeave(final Node authorList) throws ModuleDataException {
 225    }
 226   
 227  24 public void visitLeave(final PredicateDefinition predicateDefinition)
 228    throws ModuleDataException {
 229    }
 230   
 231  10 public void visitLeave(final Proof proof) throws ModuleDataException {
 232    }
 233   
 234  10 public void visitLeave(final ProofList proofList) throws ModuleDataException {
 235    }
 236   
 237  108 public void visitLeave(final Proposition proposition) throws ModuleDataException {
 238    }
 239   
 240  10 public void visitLeave(final Qedeq qedeq) throws ModuleDataException {
 241    }
 242   
 243  4 public void visitLeave(final Rule rule) throws ModuleDataException {
 244    }
 245   
 246  84 public void visitLeave(final Section section) throws ModuleDataException {
 247    }
 248   
 249  28 public void visitLeave(final SectionList sectionList) throws ModuleDataException {
 250    }
 251   
 252  18 public void visitLeave(final Specification specification) throws ModuleDataException {
 253    }
 254   
 255  48 public void visitLeave(final Subsection subsection) throws ModuleDataException {
 256    }
 257   
 258  40 public void visitLeave(final SubsectionList subsectionList) throws ModuleDataException {
 259    }
 260   
 261  0 public void visitLeave(final SubsectionType subsectionType) throws ModuleDataException {
 262    }
 263   
 264  32 public void visitLeave(final Term term) throws ModuleDataException {
 265    }
 266   
 267  2 public void visitLeave(final UsedByList usedByList) throws ModuleDataException {
 268    }
 269   
 270  50 public void visitLeave(final VariableList variableList) throws ModuleDataException {
 271    }
 272   
 273  2532 public void visitLeave(final Atom atom) throws ModuleDataException {
 274    }
 275   
 276  3072 public void visitLeave(final ElementList list) throws ModuleDataException {
 277    }
 278    }
 
CloverReport generated by Clover Code Coverage v1.3.10
Do Jan 11 2007 09:22:29 CET.		   Open Source License registered to the Hilbert II Project. This license of Clover is provided to support the development of Hilbert II only.