Clover coverage report - QedeqKernelSe Coverage Report
Coverage timestamp: Do Jan 11 2007 09:03:50 CET
file stats: LOC: 85   Methods: 7
NCLOC: 34   Classes: 1
 
 Source file Conditionals Statements Methods TOTAL
TermVo.java 100% 100% 100% 100%
coverage
 1    /* $Id: FormulaOrTermVo.java,v 1.5 2006/10/20 20:23:01 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.dto.module;
 19   
 20    import org.qedeq.kernel.base.list.Element;
 21    import org.qedeq.kernel.base.module.Term;
 22    import org.qedeq.kernel.utility.EqualsUtility;
 23   
 24   
 25    /**
 26    * Wraps a fterm. Such an object is build out of
 27    * {@link org.qedeq.kernel.base.list.Element}s.
 28    *
 29    * @version $Revision: 1.5 $
 30    * @author Michael Meyling
 31    */
 32    public final class TermVo implements Term {
 33   
 34    /** Formula or term. */
 35    private Element element;
 36   
 37    /**
 38    * Constructs a term.
 39    *
 40    * @param element Element that should be a term.
 41    */
 42  48 public TermVo(final Element element) {
 43  48 this.element = element;
 44    }
 45   
 46    /**
 47    * Empty constructor.
 48    */
 49  86 public TermVo() {
 50    // nothing to do
 51    }
 52   
 53    /**
 54    * Set term.
 55    *
 56    * @param element Term.
 57    */
 58  78 public final void setElement(final Element element) {
 59  78 this.element = element;
 60    }
 61   
 62  391 public final Element getElement() {
 63  391 return element;
 64    }
 65   
 66  35 public boolean equals(final Object obj) {
 67  35 if (!(obj instanceof TermVo)) {
 68  5 return false;
 69    }
 70  30 final TermVo other = (TermVo) obj;
 71  30 return EqualsUtility.equals(getElement(), other.getElement());
 72    }
 73   
 74  32 public int hashCode() {
 75  32 return (getElement() != null ? getElement().hashCode() : 0);
 76    }
 77   
 78  24 public String toString() {
 79  24 if (getElement() != null) {
 80  12 return getElement().toString();
 81    }
 82  12 return "";
 83    }
 84   
 85    }