QedeqKernelSe Coverage Report

Clover coverage report - QedeqKernelSe Coverage Report

Coverage timestamp: Do Mai 10 2007 03:16:40 CEST

FRAMES NO FRAMES

file stats:	LOC:	108		Methods:	11
	NCLOC:	60		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

DefaultAtom.java

60%

70,8%

72,7%

68,9%

1		/* $Id: DefaultAtom.java,v 1.1 2007/05/10 00:37:52 m31 Exp $
2		*
3		* This file is part of the project "Hilbert II" - http://www.qedeq.org
4		*
5		* Copyright 2000-2007, 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.list;
19
20		import org.qedeq.kernel.base.list.Atom;
21		import org.qedeq.kernel.base.list.Element;
22		import org.qedeq.kernel.base.list.ElementList;
23
24
25		/**
26		* An object of this class represents a text string.
27		*
28		* @version $Revision: 1.1 $
29		* @author Michael Meyling
30		*/
31		public final class DefaultAtom implements Atom {
32
33		/** The plain text. */
34		private final String text;
35
36		/**
37		* Constructs an <code>Atom</code>.
38		*
39		* @param text Atom string.
40		* @throws IllegalArgumentException <code>text</code> is a NullPointer.
41		*/
42	18625	public DefaultAtom(final String text) {
43	18625	if (text == null) {
44	0	throw new IllegalArgumentException("a NullPointer is no valid text");
45		}
46	18625	this.text = text;
47		}
48
49	69266	public final String getString() {
50	69266	return text;
51		}
52
53	117372	public final boolean isAtom() {
54	117372	return true;
55		}
56
57	92434	public final Atom getAtom() {
58	92434	return this;
59		}
60
61	86652	public final boolean isList() {
62	86652	return false;
63		}
64
65	0	public final ElementList getList() {
66	0	throw new ClassCastException("this is no " + ElementList.class.getName()
67		+ ", but a " + this.getClass().getName());
68		}
69
70	0	public final Element copy() {
71	0	return new DefaultAtom(text);
72		}
73
74	0	public final Element replace(final Element search, final Element replacement) {
75	0	if (this.equals(search)) {
76	0	return replacement.copy();
77		}
78	0	return this.copy();
79		}
80
81	70966	public final String toString() {
82	70966	StringBuffer result = new StringBuffer();
83	70966	result.append("\"");
84
85	70966	for (int i = 0; i < text.length(); i++) {
86	107508	if (text.charAt(i) == '\"') {
87	0	result.append("\"\"");
88		} else {
89	107508	result.append(text.charAt(i));
90		}
91		}
92	70966	result.append('\"');
93	70966	return result.toString();
94
95		}
96
97	5079	public final boolean equals(final Object object) {
98	5079	if (object instanceof DefaultAtom) {
99	5072	return ((DefaultAtom) object).text.equals(text);
100		}
101	7	return false;
102		}
103
104	451	public final int hashCode() {
105	451	return toString().hashCode();
106		}
107
108		}