Clover Coverage Report
Coverage timestamp: Sat Sep 18 2010 04:09:52 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
../../../../../../img/srcFileCovDistChart8.png 50% of files have more coverage
10   81   7   1.67
6   31   0.7   6
6     1.17  
1    
 
  Predicate       Line # 25 10 7 72.7% 0.72727275
 
  (29)
 
1    /* This file is part of the project "Hilbert II" - http://www.qedeq.org
2    *
3    * Copyright 2000-2010, Michael Meyling <mime@qedeq.org>.
4    *
5    * "Hilbert II" is free software; you can redistribute
6    * it and/or modify it under the terms of the GNU General Public
7    * License as published by the Free Software Foundation; either
8    * version 2 of the License, or (at your option) any later version.
9    *
10    * This program is distributed in the hope that it will be useful,
11    * but WITHOUT ANY WARRANTY; without even the implied warranty of
12    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13    * GNU General Public License for more details.
14    */
15   
16    package org.qedeq.kernel.bo.logic.wf;
17   
18    import org.qedeq.base.utility.EqualsUtility;
19   
20    /**
21    * Predicate constant key, describing a predicate constant.
22    *
23    * @author Michael Meyling
24    */
 
25    public final class Predicate {
26   
27    /** Predicate name. */
28    private String name;
29   
30    /** Predicate argument number. */
31    private String arguments;
32   
33    /**
34    * Constructor.
35    *
36    * @param name Predicate name.
37    * @param arguments Predicate argument number.
38    */
 
39  5329 toggle public Predicate(final String name, final String arguments) {
40  5329 this.name = name;
41  5329 this.arguments = arguments;
42    }
43   
44    /**
45    * Get predicate name.
46    *
47    * @return Predicate name.
48    */
 
49  21639 toggle public String getName() {
50  21639 return name;
51    }
52   
53    /**
54    * Get predicate argument number.
55    *
56    * @return Number of arguments.
57    */
 
58  21691 toggle public String getArguments() {
59  21691 return arguments;
60    }
61   
 
62  4412 toggle public int hashCode() {
63  4412 return (getName() != null ? getName().hashCode() : 0)
64  4412 ^ (getArguments() != null ? getArguments().hashCode() : 0);
65    }
66   
 
67  3765 toggle public boolean equals(final Object obj) {
68  3765 if (!(obj instanceof Predicate)) {
69  0 return false;
70    }
71  3765 final Predicate other = (Predicate) obj;
72  3765 return EqualsUtility.equals(getName(), other.getName())
73    && EqualsUtility.equals(getArguments(), other.getArguments());
74    }
75   
 
76  0 toggle public String toString() {
77  0 return getName() + "[" + getArguments() + "]";
78    }
79   
80   
81    }
 
CloverReport generated by Clover Code Coverage v2.3.1
Sat Sep 18 2010 04:09:52 UTC.		   Clover: Open Source License registered to qedeq.org .