FileSourceGPX.java

1
/*
2
 * Copyright 2006 - 2013
3
 *     Stefan Balev     <stefan.balev@graphstream-project.org>
4
 *     Julien Baudry    <julien.baudry@graphstream-project.org>
5
 *     Antoine Dutot    <antoine.dutot@graphstream-project.org>
6
 *     Yoann Pign��      <yoann.pigne@graphstream-project.org>
7
 *     Guilhelm Savin   <guilhelm.savin@graphstream-project.org>
8
 * 
9
 * This file is part of GraphStream <http://graphstream-project.org>.
10
 * 
11
 * GraphStream is a library whose purpose is to handle static or dynamic
12
 * graph, create them from scratch, file or any source and display them.
13
 * 
14
 * This program is free software distributed under the terms of two licenses, the
15
 * CeCILL-C license that fits European law, and the GNU Lesser General Public
16
 * License. You can  use, modify and/ or redistribute the software under the terms
17
 * of the CeCILL-C license as circulated by CEA, CNRS and INRIA at the following
18
 * URL <http://www.cecill.info> or under the terms of the GNU LGPL as published by
19
 * the Free Software Foundation, either version 3 of the License, or (at your
20
 * option) any later version.
21
 * 
22
 * This program is distributed in the hope that it will be useful, but WITHOUT ANY
23
 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
24
 * PARTICULAR PURPOSE.  See the GNU Lesser General Public License for more details.
25
 * 
26
 * You should have received a copy of the GNU Lesser General Public License
27
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
28
 * 
29
 * The fact that you are presently reading this means that you have had
30
 * knowledge of the CeCILL-C and LGPL licenses and that you accept their terms.
31
 */
32
package org.graphstream.stream.file;
33
34
import java.io.IOException;
35
import java.util.EnumMap;
36
import java.util.HashMap;
37
import java.util.LinkedList;
38
import java.util.List;
39
40
import javax.xml.stream.XMLStreamException;
41
import javax.xml.stream.events.XMLEvent;
42
43
/**
44
 * Source to read GPX (GPS eXchange Format) data an XML extension to exchange
45
 * gps coordinates, routes and tracks.
46
 * 
47
 * Read more about GPX at <a
48
 * href="https://en.wikipedia.org/wiki/GPS_eXchange_Format">Wikipedia</a>
49
 * 
50
 */
51
public class FileSourceGPX extends FileSourceXML {
52
53
	/**
54
	 * Parser used by this source.
55
	 */
56
	protected GPXParser parser;
57
58
	/**
59
	 * Flag to set strict mode.
60
	 */
61
	protected boolean strict;
62
63
	public FileSourceGPX() {
64
		strict = false;
65
	}
66
67
	public void setStrict(boolean on) {
68
		strict = on;
69
	}
70
	
71
	public boolean isStrict() {
72 1 1. isStrict : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
		return strict;
73
	}
74
	
75
	/*
76
	 * (non-Javadoc)
77
	 * 
78
	 * @see org.graphstream.stream.file.FileSourceXML#afterStartDocument()
79
	 */
80
	protected void afterStartDocument() throws IOException, XMLStreamException {
81
		parser = new GPXParser();
82 1 1. afterStartDocument : removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::access$0 → NO_COVERAGE
		parser.__gpx();
83
	}
84
85
	/*
86
	 * (non-Javadoc)
87
	 * 
88
	 * @see org.graphstream.stream.file.FileSourceXML#beforeEndDocument()
89
	 */
90
	protected void beforeEndDocument() throws IOException, XMLStreamException {
91
		parser = null;
92
	}
93
94
	/*
95
	 * (non-Javadoc)
96
	 * 
97
	 * @see org.graphstream.stream.file.FileSourceXML#nextEvents()
98
	 */
99
	public boolean nextEvents() throws IOException {
100 1 1. nextEvents : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
		return false;
101
	}
102
103
	protected class WayPoint {
104
		String name;
105
		double lat, lon, ele;
106
		HashMap<String, Object> attributes;
107
108
		WayPoint() {
109
			attributes = new HashMap<String, Object>();
110
			name = null;
111
			lat = lon = ele = 0;
112
		}
113
114
		void deploy() {
115 1 1. deploy : removed call to org/graphstream/stream/file/FileSourceGPX::sendNodeAdded → NO_COVERAGE
			sendNodeAdded(sourceId, name);
116 1 1. deploy : removed call to org/graphstream/stream/file/FileSourceGPX::sendNodeAttributeAdded → NO_COVERAGE
			sendNodeAttributeAdded(sourceId, name, "xyz", new double[] { lat,
117
					lon, ele });
118
119 1 1. deploy : negated conditional → NO_COVERAGE
			for (String key : attributes.keySet())
120 1 1. deploy : removed call to org/graphstream/stream/file/FileSourceGPX::sendNodeAttributeAdded → NO_COVERAGE
				sendNodeAttributeAdded(sourceId, name, key, attributes.get(key));
121
		}
122
	}
123
124
	protected class GPXParser extends Parser implements GPXConstants {
125
126
		int automaticPointId;
127
		int automaticRouteId;
128
		int automaticEdgeId;
129
130
		GPXParser() {
131
			automaticRouteId = 0;
132
			automaticPointId = 0;
133
			automaticEdgeId = 0;
134
		}
135
136
		/**
137
		 * Base for read points since points can be one of "wpt", "rtept",
138
		 * "trkpt".
139
		 * 
140
		 * @param elementName
141
		 * @return
142
		 * @throws IOException
143
		 * @throws XMLStreamException
144
		 */
145
		private WayPoint waypoint(String elementName) throws IOException,
146
				XMLStreamException {
147
			XMLEvent e;
148
			WayPoint wp = new WayPoint();
149
			EnumMap<WPTAttribute, String> attributes;
150
			LinkedList<String> links = new LinkedList<String>();
151
152
			e = getNextEvent();
153 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, elementName);
154
155
			attributes = getAttributes(WPTAttribute.class, e.asStartElement());
156
157 1 1. waypoint : negated conditional → NO_COVERAGE
			if (!attributes.containsKey(WPTAttribute.LAT)) {
158
				XMLStreamException ex = newParseError(e,
159
						"attribute 'lat' is required");
160
161 1 1. waypoint : negated conditional → NO_COVERAGE
				if (strict)
162
					throw ex;
163
				else
164 1 1. waypoint : removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE
					ex.printStackTrace();
165
			}
166
167 1 1. waypoint : negated conditional → NO_COVERAGE
			if (!attributes.containsKey(WPTAttribute.LON)) {
168
				XMLStreamException ex = newParseError(e,
169
						"attribute 'lon' is required");
170
171 1 1. waypoint : negated conditional → NO_COVERAGE
				if (strict)
172
					throw ex;
173
				else
174 1 1. waypoint : removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE
					ex.printStackTrace();
175
			}
176
177
			wp.lat = Double.parseDouble(attributes.get(WPTAttribute.LAT));
178
			wp.lon = Double.parseDouble(attributes.get(WPTAttribute.LON));
179
			wp.ele = 0;
180
181
			wp.attributes.put("lat", wp.lat);
182
			wp.attributes.put("lon", wp.lon);
183
184
			e = getNextEvent();
185
186 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "ele")) {
187 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
188
				wp.ele = __ele();
189
				wp.attributes.put("ele", wp.ele);
190
191
				e = getNextEvent();
192
			}
193
194 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "time")) {
195 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
196
				wp.attributes.put("time", __time());
197
198
				e = getNextEvent();
199
			}
200
201 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "magvar")) {
202 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
203
				wp.attributes.put("magvar", __magvar());
204
205
				e = getNextEvent();
206
			}
207
208 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "geoidheight")) {
209 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
210
				wp.attributes.put("geoidheight", __geoidheight());
211
212
				e = getNextEvent();
213
			}
214
215 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "name")) {
216 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
217
				wp.name = __name();
218
219
				e = getNextEvent();
220
			}
221
222 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "cmt")) {
223 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
224
				wp.attributes.put("cmt", __cmt());
225
226
				e = getNextEvent();
227
			}
228
229 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "desc")) {
230 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
231
				wp.attributes.put("desc", __desc());
232
233
				e = getNextEvent();
234
			}
235
236 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "src")) {
237 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
238
				wp.attributes.put("src", __src());
239
240
				e = getNextEvent();
241
			}
242
243 1 1. waypoint : negated conditional → NO_COVERAGE
			while (isEvent(e, XMLEvent.START_ELEMENT, "link")) {
244 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
245
				links.add(__link());
246
247
				e = getNextEvent();
248
			}
249
250
			wp.attributes.put("link", links.toArray(new String[links.size()]));
251
252 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "sym")) {
253 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
254
				wp.attributes.put("sym", __sym());
255
256
				e = getNextEvent();
257
			}
258
259 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "type")) {
260 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
261
				wp.attributes.put("type", __type());
262
263
				e = getNextEvent();
264
			}
265
266 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "fix")) {
267 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
268
				wp.attributes.put("fix", __fix());
269
270
				e = getNextEvent();
271
			}
272
273 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "sat")) {
274 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
275
				wp.attributes.put("sat", __sat());
276
277
				e = getNextEvent();
278
			}
279
280 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "hdop")) {
281 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
282
				wp.attributes.put("hdop", __hdop());
283
284
				e = getNextEvent();
285
			}
286
287 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "vdop")) {
288 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
289
				wp.attributes.put("vdop", __vdop());
290
291
				e = getNextEvent();
292
			}
293
294 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "pdop")) {
295 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
296
				wp.attributes.put("pdop", __pdop());
297
298
				e = getNextEvent();
299
			}
300
301 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "ageofdgpsdata")) {
302 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
303
				wp.attributes.put("ageofdgpsdata", __ageofdgpsdata());
304
305
				e = getNextEvent();
306
			}
307
308 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "dgpsid")) {
309 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
310
				wp.attributes.put("dgpsid", __dgpsid());
311
312
				e = getNextEvent();
313
			}
314
315 1 1. waypoint : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "extensions")) {
316 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
317 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__extensions → NO_COVERAGE
				__extensions();
318
319
				e = getNextEvent();
320
			}
321
322 1 1. waypoint : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, elementName);
323
324 1 1. waypoint : negated conditional → NO_COVERAGE
			if (wp.name == null)
325 1 1. waypoint : Replaced integer addition with subtraction → NO_COVERAGE
				wp.name = String.format("wp#%08x", automaticPointId++);
326
327 1 1. waypoint : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::waypoint to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return wp;
328
		}
329
330
		/**
331
		 * <pre>
332
		 * name       : GPX
333
		 * attributes : GPXAttribute
334
		 * structure  : METADATA? WPT* RTE* TRK* EXTENSIONS?
335
		 * </pre>
336
		 * 
337
		 * @throws IOException
338
		 * @throws XMLStreamException
339
		 */
340
		private void __gpx() throws IOException, XMLStreamException {
341
			XMLEvent e;
342
			EnumMap<GPXAttribute, String> attributes;
343
344
			e = getNextEvent();
345 1 1. __gpx : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "gpx");
346
347
			attributes = getAttributes(GPXAttribute.class, e.asStartElement());
348
349 1 1. __gpx : negated conditional → NO_COVERAGE
			if (!attributes.containsKey(GPXAttribute.VERSION)) {
350
				XMLStreamException ex = newParseError(e,
351
						"attribute 'version' is required");
352
353 1 1. __gpx : negated conditional → NO_COVERAGE
				if (strict)
354
					throw ex;
355
				else
356 1 1. __gpx : removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE
					ex.printStackTrace();
357
			} else {
358 1 1. __gpx : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
				sendGraphAttributeAdded(sourceId, "gpx.version", attributes
359
						.get(GPXAttribute.VERSION));
360
			}
361
362 1 1. __gpx : negated conditional → NO_COVERAGE
			if (!attributes.containsKey(GPXAttribute.CREATOR)) {
363
				XMLStreamException ex = newParseError(e,
364
						"attribute 'creator' is required");
365
366 1 1. __gpx : negated conditional → NO_COVERAGE
				if (strict)
367
					throw ex;
368
				else
369 1 1. __gpx : removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE
					ex.printStackTrace();
370
			} else {
371 1 1. __gpx : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
				sendGraphAttributeAdded(sourceId, "gpx.creator", attributes
372
						.get(GPXAttribute.CREATOR));
373
			}
374
375
			e = getNextEvent();
376
377 1 1. __gpx : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "metadata")) {
378 1 1. __gpx : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
379 1 1. __gpx : removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__metadata → NO_COVERAGE
				__metadata();
380
381
				e = getNextEvent();
382
			}
383
384 1 1. __gpx : negated conditional → NO_COVERAGE
			while (isEvent(e, XMLEvent.START_ELEMENT, "wpt")) {
385 1 1. __gpx : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
386 1 1. __gpx : removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__wpt → NO_COVERAGE
				__wpt();
387
388
				e = getNextEvent();
389
			}
390
391 1 1. __gpx : negated conditional → NO_COVERAGE
			while (isEvent(e, XMLEvent.START_ELEMENT, "rte")) {
392 1 1. __gpx : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
393 1 1. __gpx : removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__rte → NO_COVERAGE
				__rte();
394
395
				e = getNextEvent();
396
			}
397
398 1 1. __gpx : negated conditional → NO_COVERAGE
			while (isEvent(e, XMLEvent.START_ELEMENT, "trk")) {
399 1 1. __gpx : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
400 1 1. __gpx : removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__trk → NO_COVERAGE
				__trk();
401
402
				e = getNextEvent();
403
			}
404
405 1 1. __gpx : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "extensions")) {
406 1 1. __gpx : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
407 1 1. __gpx : removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__extensions → NO_COVERAGE
				__extensions();
408
409
				e = getNextEvent();
410
			}
411
412 1 1. __gpx : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "gpx");
413
		}
414
415
		/**
416
		 * <pre>
417
		 * name       : METADATA
418
		 * attributes : 
419
		 * structure  : NAME? DESC? AUTHOR? COPYRIGHT? LINK* TIME? KEYWORDS? BOUNDS? EXTENSIONS?
420
		 * </pre>
421
		 * 
422
		 * @throws IOException
423
		 * @throws XMLStreamException
424
		 */
425
		private void __metadata() throws IOException, XMLStreamException {
426
			XMLEvent e;
427
428
			e = getNextEvent();
429 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "metadata");
430
431
			e = getNextEvent();
432
433 1 1. __metadata : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "name")) {
434 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
435 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
				sendGraphAttributeAdded(sourceId, "gpx.metadata.name", __name());
436
437
				e = getNextEvent();
438
			}
439
440 1 1. __metadata : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "desc")) {
441 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
442 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
				sendGraphAttributeAdded(sourceId, "gpx.metadata.desc", __desc());
443
444
				e = getNextEvent();
445
			}
446
447 1 1. __metadata : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "author")) {
448 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
449 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
				sendGraphAttributeAdded(sourceId, "gpx.metadata.author",
450
						__author());
451
452
				e = getNextEvent();
453
			}
454
455 1 1. __metadata : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "copyright")) {
456 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
457 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
				sendGraphAttributeAdded(sourceId, "gpx.metadata.copyright",
458
						__copyright());
459
460
				e = getNextEvent();
461
			}
462
463
			LinkedList<String> links = new LinkedList<String>();
464
465 1 1. __metadata : negated conditional → NO_COVERAGE
			while (isEvent(e, XMLEvent.START_ELEMENT, "link")) {
466 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
467
				links.add(__link());
468
469
				e = getNextEvent();
470
			}
471
472 2 1. __metadata : changed conditional boundary → NO_COVERAGE
2. __metadata : negated conditional → NO_COVERAGE
			if (links.size() > 0)
473 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
				sendGraphAttributeAdded(sourceId, "gpx.metadata.links", links
474
						.toArray(new String[links.size()]));
475
476 1 1. __metadata : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "time")) {
477 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
478 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
				sendGraphAttributeAdded(sourceId, "gpx.metadata.time", __time());
479
480
				e = getNextEvent();
481
			}
482
483 1 1. __metadata : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "keywords")) {
484 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
485 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
				sendGraphAttributeAdded(sourceId, "gpx.metadata.keywords",
486
						__keywords());
487
488
				e = getNextEvent();
489
			}
490
491 1 1. __metadata : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "bounds")) {
492 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
493 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__bounds → NO_COVERAGE
				__bounds();
494
495
				e = getNextEvent();
496
			}
497
498 1 1. __metadata : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "extensions")) {
499 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
500 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__extensions → NO_COVERAGE
				__extensions();
501
502
				e = getNextEvent();
503
			}
504
505 1 1. __metadata : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "metadata");
506
		}
507
508
		/**
509
		 * <pre>
510
		 * name       : WPT
511
		 * attributes : WPTAttribute
512
		 * structure  : ELE? TIME? MAGVAR? GEOIDHEIGHT? NAME? CMT? DESC? SRC? LINK* SYM? TYPE? FIX? SAT? HDOP? VDOP? PDOP? AGEOFDGPSDATA? DGPSID? EXTENSIONS?
513
		 * </pre>
514
		 * 
515
		 * @throws IOException
516
		 * @throws XMLStreamException
517
		 */
518
		private void __wpt() throws IOException, XMLStreamException {
519
			WayPoint wp = waypoint("wpt");
520 1 1. __wpt : removed call to org/graphstream/stream/file/FileSourceGPX$WayPoint::deploy → NO_COVERAGE
			wp.deploy();
521
		}
522
523
		/**
524
		 * <pre>
525
		 * name       : RTE
526
		 * attributes : 
527
		 * structure  : NAME? CMT? DESC? SRC? LINK* NUMBER? TYPE? EXTENSIONS? RTEPT*
528
		 * </pre>
529
		 * 
530
		 * @throws IOException
531
		 * @throws XMLStreamException
532
		 */
533
		private void __rte() throws IOException, XMLStreamException {
534
			XMLEvent e;
535
			String name, cmt, desc, src, type, time;
536
			int number;
537
			LinkedList<String> links = new LinkedList<String>();
538
			LinkedList<WayPoint> points = new LinkedList<WayPoint>();
539
540
			name = cmt = desc = src = type = time = null;
541
			number = -1;
542
543
			e = getNextEvent();
544 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "rte");
545
546
			e = getNextEvent();
547
548 1 1. __rte : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "name")) {
549 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
550
				name = __name();
551
552
				e = getNextEvent();
553
			}
554
555 1 1. __rte : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "time")) {
556 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
557
				time = __time();
558
559
				e = getNextEvent();
560
			}
561
562 1 1. __rte : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "cmt")) {
563 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
564
				cmt = __cmt();
565
566
				e = getNextEvent();
567
			}
568
569 1 1. __rte : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "desc")) {
570 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
571
				desc = __desc();
572
573
				e = getNextEvent();
574
			}
575
576 1 1. __rte : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "src")) {
577 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
578
				src = __src();
579
580
				e = getNextEvent();
581
			}
582
583 1 1. __rte : negated conditional → NO_COVERAGE
			while (isEvent(e, XMLEvent.START_ELEMENT, "link")) {
584 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
585
				links.add(__link());
586
587
				e = getNextEvent();
588
			}
589
590 1 1. __rte : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "number")) {
591 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
592
				number = __number();
593
594
				e = getNextEvent();
595
			}
596
597 1 1. __rte : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "type")) {
598 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
599
				type = __type();
600
601
				e = getNextEvent();
602
			}
603
604 1 1. __rte : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "extensions")) {
605 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
606 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__extensions → NO_COVERAGE
				__extensions();
607
608
				e = getNextEvent();
609
			}
610
611 1 1. __rte : negated conditional → NO_COVERAGE
			while (isEvent(e, XMLEvent.START_ELEMENT, "rtept")) {
612 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
613 1 1. __rte : removed call to java/util/LinkedList::addLast → NO_COVERAGE
				points.addLast(__rtept());
614
615
				e = getNextEvent();
616
			}
617
618 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "rte");
619
620 1 1. __rte : negated conditional → NO_COVERAGE
			if (name == null)
621 1 1. __rte : Replaced integer addition with subtraction → NO_COVERAGE
				name = String.format("route#%08x", automaticRouteId++);
622
623 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "routes." + name, Boolean.TRUE);
624 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "routes." + name + ".desc", desc);
625 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "routes." + name + ".cmt", cmt);
626 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "routes." + name + ".src", src);
627 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "routes." + name + ".type", type);
628 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "routes." + name + ".time", time);
629 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "routes." + name + ".number",
630
					number);
631
632 3 1. __rte : changed conditional boundary → NO_COVERAGE
2. __rte : Changed increment from 1 to -1 → NO_COVERAGE
3. __rte : negated conditional → NO_COVERAGE
			for (int i = 0; i < points.size(); i++) {
633 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX$WayPoint::deploy → NO_COVERAGE
				points.get(i).deploy();
634
635 2 1. __rte : changed conditional boundary → NO_COVERAGE
2. __rte : negated conditional → NO_COVERAGE
				if (i > 0) {
636 1 1. __rte : Replaced integer addition with subtraction → NO_COVERAGE
					String eid = String.format("seg#%08x", automaticEdgeId++);
637 2 1. __rte : Replaced integer subtraction with addition → NO_COVERAGE
2. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::sendEdgeAdded → NO_COVERAGE
					sendEdgeAdded(sourceId, eid, points.get(i - 1).name, points
638
							.get(i).name, true);
639 1 1. __rte : removed call to org/graphstream/stream/file/FileSourceGPX::sendEdgeAttributeAdded → NO_COVERAGE
					sendEdgeAttributeAdded(sourceId, eid, "route", name);
640
				}
641
			}
642
		}
643
644
		/**
645
		 * <pre>
646
		 * name       : TRK
647
		 * attributes : 
648
		 * structure  : NAME? CMT? DESC? SRC? LINK* NUMBER? TYPE? EXTENSIONS? TRKSEG*
649
		 * </pre>
650
		 * 
651
		 * @throws IOException
652
		 * @throws XMLStreamException
653
		 */
654
		private void __trk() throws IOException, XMLStreamException {
655
			XMLEvent e;
656
			String name, cmt, desc, src, type, time;
657
			int number;
658
			LinkedList<String> links = new LinkedList<String>();
659
660
			name = cmt = desc = src = type = time = null;
661
			number = -1;
662
663
			e = getNextEvent();
664 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "trk");
665
666
			e = getNextEvent();
667
668 1 1. __trk : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "name")) {
669 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
670
				name = __name();
671
672
				e = getNextEvent();
673
			}
674
675 1 1. __trk : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "time")) {
676 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
677
				time = __time();
678
679
				e = getNextEvent();
680
			}
681
682 1 1. __trk : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "cmt")) {
683 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
684
				cmt = __cmt();
685
686
				e = getNextEvent();
687
			}
688
689 1 1. __trk : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "desc")) {
690 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
691
				desc = __desc();
692
693
				e = getNextEvent();
694
			}
695
696 1 1. __trk : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "src")) {
697 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
698
				src = __src();
699
700
				e = getNextEvent();
701
			}
702
703 1 1. __trk : negated conditional → NO_COVERAGE
			while (isEvent(e, XMLEvent.START_ELEMENT, "link")) {
704 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
705
				links.add(__link());
706
707
				e = getNextEvent();
708
			}
709
710 1 1. __trk : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "number")) {
711 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
712
				number = __number();
713
714
				e = getNextEvent();
715
			}
716
717 1 1. __trk : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "type")) {
718 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
719
				type = __type();
720
721
				e = getNextEvent();
722
			}
723
724 1 1. __trk : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "extensions")) {
725 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
726 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__extensions → NO_COVERAGE
				__extensions();
727
728
				e = getNextEvent();
729
			}
730
731 1 1. __trk : negated conditional → NO_COVERAGE
			if (name == null)
732 1 1. __trk : Replaced integer addition with subtraction → NO_COVERAGE
				name = String.format("route#%08x", automaticRouteId++);
733
734 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "tracks." + name, Boolean.TRUE);
735 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "tracks." + name + ".desc", desc);
736 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "tracks." + name + ".cmt", cmt);
737 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "tracks." + name + ".src", src);
738 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "tracks." + name + ".type", type);
739 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "tracks." + name + ".time", time);
740 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "tracks." + name + ".number",
741
					number);
742
743 1 1. __trk : negated conditional → NO_COVERAGE
			while (isEvent(e, XMLEvent.START_ELEMENT, "trkseg")) {
744 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
745
				List<WayPoint> wps = __trkseg();
746
747 3 1. __trk : changed conditional boundary → NO_COVERAGE
2. __trk : Changed increment from 1 to -1 → NO_COVERAGE
3. __trk : negated conditional → NO_COVERAGE
				for (int i = 0; i < wps.size(); i++) {
748 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX$WayPoint::deploy → NO_COVERAGE
					wps.get(i).deploy();
749
750 2 1. __trk : changed conditional boundary → NO_COVERAGE
2. __trk : negated conditional → NO_COVERAGE
					if (i > 0) {
751
						String eid = String.format("seg#%08x",
752 1 1. __trk : Replaced integer addition with subtraction → NO_COVERAGE
								automaticEdgeId++);
753 2 1. __trk : Replaced integer subtraction with addition → NO_COVERAGE
2. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::sendEdgeAdded → NO_COVERAGE
						sendEdgeAdded(sourceId, eid, wps.get(i - 1).name, wps
754
								.get(i).name, true);
755 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::sendEdgeAttributeAdded → NO_COVERAGE
						sendEdgeAttributeAdded(sourceId, eid, "route", name);
756
					}
757
				}
758
759
				e = getNextEvent();
760
			}
761
762 1 1. __trk : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "trk");
763
		}
764
765
		/**
766
		 * <pre>
767
		 * name       : EXTENSIONS
768
		 * attributes : 
769
		 * structure  :
770
		 * </pre>
771
		 * 
772
		 * @throws IOException
773
		 * @throws XMLStreamException
774
		 */
775
		private void __extensions() throws IOException, XMLStreamException {
776
			XMLEvent e;
777
			int stack = 0;
778
779
			e = getNextEvent();
780 1 1. __extensions : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "extensions");
781
782
			e = getNextEvent();
783
784 2 1. __extensions : negated conditional → NO_COVERAGE
2. __extensions : negated conditional → NO_COVERAGE
			while (!(isEvent(e, XMLEvent.END_ELEMENT, "extensions") && stack == 0)) {
785 1 1. __extensions : negated conditional → NO_COVERAGE
				if (isEvent(e, XMLEvent.END_ELEMENT, "extensions"))
786 1 1. __extensions : Changed increment from -1 to 1 → NO_COVERAGE
					stack--;
787 1 1. __extensions : negated conditional → NO_COVERAGE
				else if (isEvent(e, XMLEvent.START_ELEMENT, "extensions"))
788 1 1. __extensions : Changed increment from 1 to -1 → NO_COVERAGE
					stack++;
789
790
				e = getNextEvent();
791
			}
792
		}
793
794
		/**
795
		 * <pre>
796
		 * name       : NAME
797
		 * attributes : 
798
		 * structure  : string
799
		 * </pre>
800
		 * 
801
		 * @throws IOException
802
		 * @throws XMLStreamException
803
		 */
804
		private String __name() throws IOException, XMLStreamException {
805
			String name;
806
			XMLEvent e;
807
808
			e = getNextEvent();
809 1 1. __name : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "name");
810
811
			name = __characters();
812
813
			e = getNextEvent();
814 1 1. __name : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "name");
815
816 1 1. __name : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__name to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return name;
817
		}
818
819
		/**
820
		 * <pre>
821
		 * name       : DESC
822
		 * attributes : 
823
		 * structure  : string
824
		 * </pre>
825
		 * 
826
		 * @throws IOException
827
		 * @throws XMLStreamException
828
		 */
829
		private String __desc() throws IOException, XMLStreamException {
830
			String desc;
831
			XMLEvent e;
832
833
			e = getNextEvent();
834 1 1. __desc : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "desc");
835
836
			desc = __characters();
837
838
			e = getNextEvent();
839 1 1. __desc : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "desc");
840
841 1 1. __desc : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__desc to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return desc;
842
		}
843
844
		/**
845
		 * <pre>
846
		 * name       : AUTHOR
847
		 * attributes : 
848
		 * structure  : NAME? EMAIL? LINK?
849
		 * </pre>
850
		 * 
851
		 * @throws IOException
852
		 * @throws XMLStreamException
853
		 */
854
		private String __author() throws IOException, XMLStreamException {
855
			String author = "";
856
			XMLEvent e;
857
858
			e = getNextEvent();
859 1 1. __author : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "author");
860
861
			e = getNextEvent();
862
863 1 1. __author : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "name")) {
864 1 1. __author : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
865
				author += __name();
866
867
				e = getNextEvent();
868
			}
869
870 1 1. __author : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "email")) {
871 1 1. __author : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
872
				author += " <" + __email() + ">";
873
874
				e = getNextEvent();
875
			}
876
877 1 1. __author : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "link")) {
878 1 1. __author : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
879
				author += " (" + __link() + ")";
880
881
				e = getNextEvent();
882
			}
883
884
			e = getNextEvent();
885 1 1. __author : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "author");
886
887 1 1. __author : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__author to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return author;
888
		}
889
890
		/**
891
		 * <pre>
892
		 * name       : COPYRIGHT
893
		 * attributes : COPYRIGHTAttribute
894
		 * structure  : YEAR? LICENCE?
895
		 * </pre>
896
		 * 
897
		 * @throws IOException
898
		 * @throws XMLStreamException
899
		 */
900
		private String __copyright() throws IOException, XMLStreamException {
901
			String copyright;
902
			XMLEvent e;
903
			EnumMap<COPYRIGHTAttribute, String> attributes;
904
905
			e = getNextEvent();
906 1 1. __copyright : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "copyright");
907
908
			attributes = getAttributes(COPYRIGHTAttribute.class, e
909
					.asStartElement());
910
911 1 1. __copyright : negated conditional → NO_COVERAGE
			if (!attributes.containsKey(COPYRIGHTAttribute.AUTHOR)) {
912
				XMLStreamException ex = newParseError(e,
913
						"attribute 'author' is required");
914
915 1 1. __copyright : negated conditional → NO_COVERAGE
				if (strict)
916
					throw ex;
917
				else
918 1 1. __copyright : removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE
					ex.printStackTrace();
919
920
				copyright = "unknown";
921
			} else
922
				copyright = attributes.get(COPYRIGHTAttribute.AUTHOR);
923
924
			e = getNextEvent();
925
926 1 1. __copyright : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "year")) {
927 1 1. __copyright : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
928
				copyright += " " + __year();
929
930
				e = getNextEvent();
931
			}
932
933 1 1. __copyright : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "license")) {
934 1 1. __copyright : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
935
				copyright += " " + __license();
936
937
				e = getNextEvent();
938
			}
939
940 1 1. __copyright : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "copyright");
941
942 1 1. __copyright : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__copyright to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return copyright;
943
		}
944
945
		/**
946
		 * <pre>
947
		 * name       : LINK
948
		 * attributes : LINKAttribute
949
		 * structure  : TEXT? TYPE?
950
		 * </pre>
951
		 * 
952
		 * @throws IOException
953
		 * @throws XMLStreamException
954
		 */
955
		private String __link() throws IOException, XMLStreamException {
956
			String link;
957
			XMLEvent e;
958
			EnumMap<LINKAttribute, String> attributes;
959
960
			e = getNextEvent();
961 1 1. __link : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "link");
962
963
			attributes = getAttributes(LINKAttribute.class, e.asStartElement());
964
965 1 1. __link : negated conditional → NO_COVERAGE
			if (!attributes.containsKey(LINKAttribute.HREF)) {
966
				XMLStreamException ex = newParseError(e,
967
						"attribute 'href' is required");
968
969 1 1. __link : negated conditional → NO_COVERAGE
				if (strict)
970
					throw ex;
971
				else
972 1 1. __link : removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE
					ex.printStackTrace();
973
974
				link = "unknown";
975
			} else
976
				link = attributes.get(LINKAttribute.HREF);
977
978
			e = getNextEvent();
979
980 1 1. __link : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "text")) {
981 1 1. __link : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
982
				__text();
983
984
				e = getNextEvent();
985
			}
986
987 1 1. __link : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "type")) {
988 1 1. __link : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
989
				__type();
990
991
				e = getNextEvent();
992
			}
993
994 1 1. __link : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "link");
995
996 1 1. __link : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__link to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return link;
997
		}
998
999
		/**
1000
		 * <pre>
1001
		 * name       : TIME
1002
		 * attributes : 
1003
		 * structure  : string
1004
		 * </pre>
1005
		 * 
1006
		 * @throws IOException
1007
		 * @throws XMLStreamException
1008
		 */
1009
		private String __time() throws IOException, XMLStreamException {
1010
			String time;
1011
			XMLEvent e;
1012
1013
			e = getNextEvent();
1014 1 1. __time : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "time");
1015
1016
			time = __characters();
1017
1018
			e = getNextEvent();
1019 1 1. __time : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "time");
1020
1021 1 1. __time : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__time to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return time;
1022
		}
1023
1024
		/**
1025
		 * <pre>
1026
		 * name       : KEYWORDS
1027
		 * attributes : 
1028
		 * structure  : string
1029
		 * </pre>
1030
		 * 
1031
		 * @throws IOException
1032
		 * @throws XMLStreamException
1033
		 */
1034
		private String __keywords() throws IOException, XMLStreamException {
1035
			String keywords;
1036
			XMLEvent e;
1037
1038
			e = getNextEvent();
1039 1 1. __keywords : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "keywords");
1040
1041
			keywords = __characters();
1042
1043
			e = getNextEvent();
1044 1 1. __keywords : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "keywords");
1045
1046 1 1. __keywords : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__keywords to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return keywords;
1047
		}
1048
1049
		/**
1050
		 * <pre>
1051
		 * name       : BOUNDS
1052
		 * attributes : BOUNDSAttribute
1053
		 * structure  :
1054
		 * </pre>
1055
		 * 
1056
		 * @throws IOException
1057
		 * @throws XMLStreamException
1058
		 */
1059
		private void __bounds() throws IOException, XMLStreamException {
1060
			XMLEvent e;
1061
			EnumMap<BOUNDSAttribute, String> attributes;
1062
			double minlat, maxlat, minlon, maxlon;
1063
1064
			e = getNextEvent();
1065 1 1. __bounds : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "bounds");
1066
1067
			attributes = getAttributes(BOUNDSAttribute.class, e
1068
					.asStartElement());
1069
1070 1 1. __bounds : negated conditional → NO_COVERAGE
			if (!attributes.containsKey(BOUNDSAttribute.MINLAT)) {
1071
				XMLStreamException ex = newParseError(e,
1072
						"attribute 'minlat' is required");
1073
1074 1 1. __bounds : negated conditional → NO_COVERAGE
				if (strict)
1075
					throw ex;
1076
				else
1077 1 1. __bounds : removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE
					ex.printStackTrace();
1078
			}
1079
1080 1 1. __bounds : negated conditional → NO_COVERAGE
			if (!attributes.containsKey(BOUNDSAttribute.MAXLAT)) {
1081
				XMLStreamException ex = newParseError(e,
1082
						"attribute 'maxlat' is required");
1083
1084 1 1. __bounds : negated conditional → NO_COVERAGE
				if (strict)
1085
					throw ex;
1086
				else
1087 1 1. __bounds : removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE
					ex.printStackTrace();
1088
			}
1089
1090 1 1. __bounds : negated conditional → NO_COVERAGE
			if (!attributes.containsKey(BOUNDSAttribute.MINLON)) {
1091
				XMLStreamException ex = newParseError(e,
1092
						"attribute 'minlon' is required");
1093
1094 1 1. __bounds : negated conditional → NO_COVERAGE
				if (strict)
1095
					throw ex;
1096
				else
1097 1 1. __bounds : removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE
					ex.printStackTrace();
1098
			}
1099
1100 1 1. __bounds : negated conditional → NO_COVERAGE
			if (!attributes.containsKey(BOUNDSAttribute.MAXLON)) {
1101
				XMLStreamException ex = newParseError(e,
1102
						"attribute 'maxlon' is required");
1103
1104 1 1. __bounds : negated conditional → NO_COVERAGE
				if (strict)
1105
					throw ex;
1106
				else
1107 1 1. __bounds : removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE
					ex.printStackTrace();
1108
			}
1109
1110
			minlat = Double.parseDouble(attributes.get(BOUNDSAttribute.MINLAT));
1111
			maxlat = Double.parseDouble(attributes.get(BOUNDSAttribute.MAXLAT));
1112
			minlon = Double.parseDouble(attributes.get(BOUNDSAttribute.MINLON));
1113
			maxlon = Double.parseDouble(attributes.get(BOUNDSAttribute.MAXLON));
1114
1115 1 1. __bounds : removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE
			sendGraphAttributeAdded(sourceId, "gpx.bounds", new double[] {
1116
					minlat, minlon, maxlat, maxlon });
1117
1118
			e = getNextEvent();
1119 1 1. __bounds : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "bounds");
1120
		}
1121
1122
		/**
1123
		 * <pre>
1124
		 * name       : ELE
1125
		 * attributes : 
1126
		 * structure  : double
1127
		 * </pre>
1128
		 * 
1129
		 * @throws IOException
1130
		 * @throws XMLStreamException
1131
		 */
1132
		private double __ele() throws IOException, XMLStreamException {
1133
			String ele;
1134
			XMLEvent e;
1135
1136
			e = getNextEvent();
1137 1 1. __ele : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "ele");
1138
1139
			ele = __characters();
1140
1141
			e = getNextEvent();
1142 1 1. __ele : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "ele");
1143
1144 1 1. __ele : replaced return of double value with -(x + 1) for org/graphstream/stream/file/FileSourceGPX$GPXParser::__ele → NO_COVERAGE
			return Double.parseDouble(ele);
1145
		}
1146
1147
		/**
1148
		 * <pre>
1149
		 * name       : MAGVAR
1150
		 * attributes : 
1151
		 * structure  : double in [0,360]
1152
		 * </pre>
1153
		 * 
1154
		 * @throws IOException
1155
		 * @throws XMLStreamException
1156
		 */
1157
		private double __magvar() throws IOException, XMLStreamException {
1158
			String magvar;
1159
			XMLEvent e;
1160
1161
			e = getNextEvent();
1162 1 1. __magvar : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "magvar");
1163
1164
			magvar = __characters();
1165
1166
			e = getNextEvent();
1167 1 1. __magvar : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "magvar");
1168
1169 1 1. __magvar : replaced return of double value with -(x + 1) for org/graphstream/stream/file/FileSourceGPX$GPXParser::__magvar → NO_COVERAGE
			return Double.parseDouble(magvar);
1170
		}
1171
1172
		/**
1173
		 * <pre>
1174
		 * name       : GEOIDHEIGHT
1175
		 * attributes : 
1176
		 * structure  : double
1177
		 * </pre>
1178
		 * 
1179
		 * @throws IOException
1180
		 * @throws XMLStreamException
1181
		 */
1182
		private double __geoidheight() throws IOException, XMLStreamException {
1183
			String geoidheight;
1184
			XMLEvent e;
1185
1186
			e = getNextEvent();
1187 1 1. __geoidheight : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "geoidheight");
1188
1189
			geoidheight = __characters();
1190
1191
			e = getNextEvent();
1192 1 1. __geoidheight : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "geoidheight");
1193
1194 1 1. __geoidheight : replaced return of double value with -(x + 1) for org/graphstream/stream/file/FileSourceGPX$GPXParser::__geoidheight → NO_COVERAGE
			return Double.parseDouble(geoidheight);
1195
		}
1196
1197
		/**
1198
		 * <pre>
1199
		 * name       : CMT
1200
		 * attributes : 
1201
		 * structure  : string
1202
		 * </pre>
1203
		 * 
1204
		 * @throws IOException
1205
		 * @throws XMLStreamException
1206
		 */
1207
		private String __cmt() throws IOException, XMLStreamException {
1208
			String cmt;
1209
			XMLEvent e;
1210
1211
			e = getNextEvent();
1212 1 1. __cmt : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "cmt");
1213
1214
			cmt = __characters();
1215
1216
			e = getNextEvent();
1217 1 1. __cmt : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "cmt");
1218
1219 1 1. __cmt : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__cmt to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return cmt;
1220
		}
1221
1222
		/**
1223
		 * <pre>
1224
		 * name       : SRC
1225
		 * attributes : 
1226
		 * structure  : string
1227
		 * </pre>
1228
		 * 
1229
		 * @throws IOException
1230
		 * @throws XMLStreamException
1231
		 */
1232
		private String __src() throws IOException, XMLStreamException {
1233
			String src;
1234
			XMLEvent e;
1235
1236
			e = getNextEvent();
1237 1 1. __src : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "src");
1238
1239
			src = __characters();
1240
1241
			e = getNextEvent();
1242 1 1. __src : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "src");
1243
1244 1 1. __src : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__src to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return src;
1245
		}
1246
1247
		/**
1248
		 * <pre>
1249
		 * name       : SYM
1250
		 * attributes : 
1251
		 * structure  : string
1252
		 * </pre>
1253
		 * 
1254
		 * @throws IOException
1255
		 * @throws XMLStreamException
1256
		 */
1257
		private String __sym() throws IOException, XMLStreamException {
1258
			String sym;
1259
			XMLEvent e;
1260
1261
			e = getNextEvent();
1262 1 1. __sym : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "sym");
1263
1264
			sym = __characters();
1265
1266
			e = getNextEvent();
1267 1 1. __sym : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "sym");
1268
1269 1 1. __sym : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__sym to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return sym;
1270
		}
1271
1272
		/**
1273
		 * <pre>
1274
		 * name       : TEXT
1275
		 * attributes : 
1276
		 * structure  : string
1277
		 * </pre>
1278
		 * 
1279
		 * @throws IOException
1280
		 * @throws XMLStreamException
1281
		 */
1282
		private String __text() throws IOException, XMLStreamException {
1283
			String text;
1284
			XMLEvent e;
1285
1286
			e = getNextEvent();
1287 1 1. __text : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "text");
1288
1289
			text = __characters();
1290
1291
			e = getNextEvent();
1292 1 1. __text : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "text");
1293
1294 1 1. __text : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__text to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return text;
1295
		}
1296
1297
		/**
1298
		 * <pre>
1299
		 * name       : TYPE
1300
		 * attributes : 
1301
		 * structure  : string
1302
		 * </pre>
1303
		 * 
1304
		 * @throws IOException
1305
		 * @throws XMLStreamException
1306
		 */
1307
		private String __type() throws IOException, XMLStreamException {
1308
			String type;
1309
			XMLEvent e;
1310
1311
			e = getNextEvent();
1312 1 1. __type : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "type");
1313
1314
			type = __characters();
1315
1316
			e = getNextEvent();
1317 1 1. __type : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "type");
1318
1319 1 1. __type : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__type to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return type;
1320
		}
1321
1322
		/**
1323
		 * <pre>
1324
		 * name       : FIX
1325
		 * attributes : 
1326
		 * structure  : enum FixType
1327
		 * </pre>
1328
		 * 
1329
		 * @throws IOException
1330
		 * @throws XMLStreamException
1331
		 */
1332
		private String __fix() throws IOException, XMLStreamException {
1333
			String fix;
1334
			XMLEvent e;
1335
1336
			e = getNextEvent();
1337 1 1. __fix : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "fix");
1338
1339
			fix = __characters();
1340
1341 1 1. __fix : negated conditional → NO_COVERAGE
			if (!fix.toLowerCase().matches("^(none|2d|3d|dgps|pps)$"))
1342
				throw newParseError(e,
1343
						"invalid fix type, expecting one of 'none', '2d', '3d', 'dgps', 'pps'");
1344
1345
			e = getNextEvent();
1346 1 1. __fix : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "fix");
1347
1348 1 1. __fix : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__fix to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return fix;
1349
		}
1350
1351
		/**
1352
		 * <pre>
1353
		 * name       : SAT
1354
		 * attributes : 
1355
		 * structure  : positive integer
1356
		 * </pre>
1357
		 * 
1358
		 * @throws IOException
1359
		 * @throws XMLStreamException
1360
		 */
1361
		private int __sat() throws IOException, XMLStreamException {
1362
			String sat;
1363
			XMLEvent e;
1364
1365
			e = getNextEvent();
1366 1 1. __sat : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "sat");
1367
1368
			sat = __characters();
1369
1370
			e = getNextEvent();
1371 1 1. __sat : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "sat");
1372
1373 1 1. __sat : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return Integer.parseInt(sat);
1374
		}
1375
1376
		/**
1377
		 * <pre>
1378
		 * name       : HDOP
1379
		 * attributes : 
1380
		 * structure  : double
1381
		 * </pre>
1382
		 * 
1383
		 * @throws IOException
1384
		 * @throws XMLStreamException
1385
		 */
1386
		private double __hdop() throws IOException, XMLStreamException {
1387
			String hdop;
1388
			XMLEvent e;
1389
1390
			e = getNextEvent();
1391 1 1. __hdop : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "hdop");
1392
1393
			hdop = __characters();
1394
1395
			e = getNextEvent();
1396 1 1. __hdop : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "hdop");
1397
1398 1 1. __hdop : replaced return of double value with -(x + 1) for org/graphstream/stream/file/FileSourceGPX$GPXParser::__hdop → NO_COVERAGE
			return Double.parseDouble(hdop);
1399
		}
1400
1401
		/**
1402
		 * <pre>
1403
		 * name       : VDOP
1404
		 * attributes : 
1405
		 * structure  : double
1406
		 * </pre>
1407
		 * 
1408
		 * @throws IOException
1409
		 * @throws XMLStreamException
1410
		 */
1411
		private double __vdop() throws IOException, XMLStreamException {
1412
			String vdop;
1413
			XMLEvent e;
1414
1415
			e = getNextEvent();
1416 1 1. __vdop : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "vdop");
1417
1418
			vdop = __characters();
1419
1420
			e = getNextEvent();
1421 1 1. __vdop : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "vdop");
1422
1423 1 1. __vdop : replaced return of double value with -(x + 1) for org/graphstream/stream/file/FileSourceGPX$GPXParser::__vdop → NO_COVERAGE
			return Double.parseDouble(vdop);
1424
		}
1425
1426
		/**
1427
		 * <pre>
1428
		 * name       : PDOP
1429
		 * attributes : 
1430
		 * structure  : double
1431
		 * </pre>
1432
		 * 
1433
		 * @throws IOException
1434
		 * @throws XMLStreamException
1435
		 */
1436
		private double __pdop() throws IOException, XMLStreamException {
1437
			String pdop;
1438
			XMLEvent e;
1439
1440
			e = getNextEvent();
1441 1 1. __pdop : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "pdop");
1442
1443
			pdop = __characters();
1444
1445
			e = getNextEvent();
1446 1 1. __pdop : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "pdop");
1447
1448 1 1. __pdop : replaced return of double value with -(x + 1) for org/graphstream/stream/file/FileSourceGPX$GPXParser::__pdop → NO_COVERAGE
			return Double.parseDouble(pdop);
1449
		}
1450
1451
		/**
1452
		 * <pre>
1453
		 * name       : AGEOFDGPSDATA
1454
		 * attributes : 
1455
		 * structure  : double
1456
		 * </pre>
1457
		 * 
1458
		 * @throws IOException
1459
		 * @throws XMLStreamException
1460
		 */
1461
		private double __ageofdgpsdata() throws IOException, XMLStreamException {
1462
			String ageofdgpsdata;
1463
			XMLEvent e;
1464
1465
			e = getNextEvent();
1466 1 1. __ageofdgpsdata : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "ageofdgpsdata");
1467
1468
			ageofdgpsdata = __characters();
1469
1470
			e = getNextEvent();
1471 1 1. __ageofdgpsdata : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "ageofdgpsdata");
1472
1473 1 1. __ageofdgpsdata : replaced return of double value with -(x + 1) for org/graphstream/stream/file/FileSourceGPX$GPXParser::__ageofdgpsdata → NO_COVERAGE
			return Double.parseDouble(ageofdgpsdata);
1474
		}
1475
1476
		/**
1477
		 * <pre>
1478
		 * name       : DGPSID
1479
		 * attributes : 
1480
		 * structure  : integer in [0,1023]
1481
		 * </pre>
1482
		 * 
1483
		 * @throws IOException
1484
		 * @throws XMLStreamException
1485
		 */
1486
		private int __dgpsid() throws IOException, XMLStreamException {
1487
			String dgpsid;
1488
			XMLEvent e;
1489
1490
			e = getNextEvent();
1491 1 1. __dgpsid : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "dgpsid");
1492
1493
			dgpsid = __characters();
1494
1495
			e = getNextEvent();
1496 1 1. __dgpsid : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "dgpsid");
1497
1498 1 1. __dgpsid : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return Integer.parseInt(dgpsid);
1499
		}
1500
1501
		/**
1502
		 * <pre>
1503
		 * name       : NUMBER
1504
		 * attributes : 
1505
		 * structure  : positive integer
1506
		 * </pre>
1507
		 * 
1508
		 * @throws IOException
1509
		 * @throws XMLStreamException
1510
		 */
1511
		private int __number() throws IOException, XMLStreamException {
1512
			String number;
1513
			XMLEvent e;
1514
1515
			e = getNextEvent();
1516 1 1. __number : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "number");
1517
1518
			number = __characters();
1519
1520
			e = getNextEvent();
1521 1 1. __number : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "number");
1522
1523 1 1. __number : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return Integer.parseInt(number);
1524
		}
1525
1526
		/**
1527
		 * <pre>
1528
		 * name       : RTEPT
1529
		 * attributes : 
1530
		 * structure  : __wptType
1531
		 * </pre>
1532
		 * 
1533
		 * @throws IOException
1534
		 * @throws XMLStreamException
1535
		 */
1536
		private WayPoint __rtept() throws IOException, XMLStreamException {
1537 1 1. __rtept : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__rtept to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return waypoint("rtept");
1538
		}
1539
1540
		/**
1541
		 * <pre>
1542
		 * name       : TRKPT
1543
		 * attributes : 
1544
		 * structure  : __wptType
1545
		 * </pre>
1546
		 * 
1547
		 * @throws IOException
1548
		 * @throws XMLStreamException
1549
		 */
1550
		private WayPoint __trkpt() throws IOException, XMLStreamException {
1551 1 1. __trkpt : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__trkpt to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return waypoint("trkpt");
1552
		}
1553
1554
		/**
1555
		 * <pre>
1556
		 * name       : TRKSEG
1557
		 * attributes : 
1558
		 * structure  : TRKPT* EXTENSIONS?
1559
		 * </pre>
1560
		 * 
1561
		 * @throws IOException
1562
		 * @throws XMLStreamException
1563
		 */
1564
		private List<WayPoint> __trkseg() throws IOException,
1565
				XMLStreamException {
1566
			LinkedList<WayPoint> points = new LinkedList<WayPoint>();
1567
			XMLEvent e;
1568
1569
			e = getNextEvent();
1570 1 1. __trkseg : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "trkseg");
1571
1572
			e = getNextEvent();
1573
1574 1 1. __trkseg : negated conditional → NO_COVERAGE
			while (isEvent(e, XMLEvent.START_ELEMENT, "trkpt")) {
1575 1 1. __trkseg : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
1576 1 1. __trkseg : removed call to java/util/LinkedList::addLast → NO_COVERAGE
				points.addLast(__trkpt());
1577
1578
				e = getNextEvent();
1579
			}
1580
1581 1 1. __trkseg : negated conditional → NO_COVERAGE
			if (isEvent(e, XMLEvent.START_ELEMENT, "extensions")) {
1582 1 1. __trkseg : removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE
				pushback(e);
1583 1 1. __trkseg : removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__extensions → NO_COVERAGE
				__extensions();
1584
1585
				e = getNextEvent();
1586
			}
1587
1588 1 1. __trkseg : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "trkseg");
1589
1590 1 1. __trkseg : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__trkseg to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return points;
1591
		}
1592
1593
		/**
1594
		 * <pre>
1595
		 * name       : EMAIL
1596
		 * attributes : EMAILAttribute
1597
		 * structure  :
1598
		 * </pre>
1599
		 * 
1600
		 * @throws IOException
1601
		 * @throws XMLStreamException
1602
		 */
1603
		private String __email() throws IOException, XMLStreamException {
1604
			XMLEvent e;
1605
			EnumMap<EMAILAttribute, String> attributes;
1606
			String email = "";
1607
1608
			e = getNextEvent();
1609 1 1. __email : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "email");
1610
1611
			attributes = getAttributes(EMAILAttribute.class, e.asStartElement());
1612
1613 1 1. __email : negated conditional → NO_COVERAGE
			if (!attributes.containsKey(EMAILAttribute.ID)) {
1614
				XMLStreamException ex = newParseError(e,
1615
						"attribute 'version' is required");
1616
1617 1 1. __email : negated conditional → NO_COVERAGE
				if (strict)
1618
					throw ex;
1619
				else
1620 1 1. __email : removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE
					ex.printStackTrace();
1621
			} else
1622
				email += attributes.get(EMAILAttribute.ID);
1623
1624
			email += "@";
1625
1626 1 1. __email : negated conditional → NO_COVERAGE
			if (!attributes.containsKey(EMAILAttribute.DOMAIN)) {
1627
				XMLStreamException ex = newParseError(e,
1628
						"attribute 'version' is required");
1629
1630 1 1. __email : negated conditional → NO_COVERAGE
				if (strict)
1631
					throw ex;
1632
				else
1633 1 1. __email : removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE
					ex.printStackTrace();
1634
			} else
1635
				email += attributes.get(EMAILAttribute.DOMAIN);
1636
1637
			e = getNextEvent();
1638 1 1. __email : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "email");
1639
1640 1 1. __email : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__email to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return email;
1641
		}
1642
1643
		/**
1644
		 * <pre>
1645
		 * name       : YEAR
1646
		 * attributes : 
1647
		 * structure  : string
1648
		 * </pre>
1649
		 * 
1650
		 * @throws IOException
1651
		 * @throws XMLStreamException
1652
		 */
1653
		private String __year() throws IOException, XMLStreamException {
1654
			String year;
1655
			XMLEvent e;
1656
1657
			e = getNextEvent();
1658 1 1. __year : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "year");
1659
1660
			year = __characters();
1661
1662
			e = getNextEvent();
1663 1 1. __year : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "year");
1664
1665 1 1. __year : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__year to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return year;
1666
		}
1667
1668
		/**
1669
		 * <pre>
1670
		 * name       : LICENSE
1671
		 * attributes : 
1672
		 * structure  : string
1673
		 * </pre>
1674
		 * 
1675
		 * @throws IOException
1676
		 * @throws XMLStreamException
1677
		 */
1678
		private String __license() throws IOException, XMLStreamException {
1679
			String license;
1680
			XMLEvent e;
1681
1682
			e = getNextEvent();
1683 1 1. __license : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.START_ELEMENT, "license");
1684
1685
			license = __characters();
1686
1687
			e = getNextEvent();
1688 1 1. __license : removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE
			checkValid(e, XMLEvent.END_ELEMENT, "license");
1689
1690 1 1. __license : mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__license to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
			return license;
1691
		}
1692
	}
1693
1694
	public static interface GPXConstants {
1695
		public static enum Balise {
1696
			GPX, METADATA, WPT, RTE, TRK, EXTENSIONS, NAME, DESC, AUTHOR, COPYRIGHT, LINK, TIME, KEYWORDS, BOUNDS, ELE, MAGVAR, GEOIDHEIGHT, CMT, SRC, SYM, TYPE, FIX, SAT, HDOP, VDOP, PDOP, AGEOFDGPSDATA, DGPSID, NUMBER, RTEPT, TRKSEG, TRKPT, YEAR, LICENCE, TEXT, EMAIL, PT
1697
		}
1698
1699
		public static enum GPXAttribute {
1700
			CREATOR, VERSION
1701
		}
1702
1703
		public static enum WPTAttribute {
1704
			LAT, LON
1705
		}
1706
1707
		public static enum LINKAttribute {
1708
			HREF
1709
		}
1710
1711
		public static enum EMAILAttribute {
1712
			ID, DOMAIN
1713
		}
1714
1715
		public static enum PTAttribute {
1716
			LAT, LON
1717
		}
1718
1719
		public static enum BOUNDSAttribute {
1720
			MINLAT, MAXLAT, MINLON, MAXLON
1721
		}
1722
1723
		public static enum COPYRIGHTAttribute {
1724
			AUTHOR
1725
		}
1726
1727
		public static enum FixType {
1728
			T_NONE, T_2D, T_3D, T_DGPS, T_PPS
1729
		}
1730
	}
1731
}

Mutations

72

1.1
Location : isStrict
Killed by : none
replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE

82

1.1
Location : afterStartDocument
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::access$0 → NO_COVERAGE

100

1.1
Location : nextEvents
Killed by : none
replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE

115

1.1
Location : deploy
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendNodeAdded → NO_COVERAGE

116

1.1
Location : deploy
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendNodeAttributeAdded → NO_COVERAGE

119

1.1
Location : deploy
Killed by : none
negated conditional → NO_COVERAGE

120

1.1
Location : deploy
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendNodeAttributeAdded → NO_COVERAGE

153

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

157

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

161

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

164

1.1
Location : waypoint
Killed by : none
removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE

167

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

171

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

174

1.1
Location : waypoint
Killed by : none
removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE

186

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

187

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

194

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

195

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

201

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

202

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

208

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

209

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

215

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

216

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

222

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

223

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

229

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

230

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

236

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

237

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

243

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

244

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

252

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

253

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

259

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

260

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

266

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

267

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

273

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

274

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

280

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

281

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

287

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

288

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

294

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

295

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

301

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

302

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

308

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

309

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

315

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

316

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

317

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__extensions → NO_COVERAGE

322

1.1
Location : waypoint
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

324

1.1
Location : waypoint
Killed by : none
negated conditional → NO_COVERAGE

325

1.1
Location : waypoint
Killed by : none
Replaced integer addition with subtraction → NO_COVERAGE

327

1.1
Location : waypoint
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::waypoint to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

345

1.1
Location : __gpx
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

349

1.1
Location : __gpx
Killed by : none
negated conditional → NO_COVERAGE

353

1.1
Location : __gpx
Killed by : none
negated conditional → NO_COVERAGE

356

1.1
Location : __gpx
Killed by : none
removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE

358

1.1
Location : __gpx
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

362

1.1
Location : __gpx
Killed by : none
negated conditional → NO_COVERAGE

366

1.1
Location : __gpx
Killed by : none
negated conditional → NO_COVERAGE

369

1.1
Location : __gpx
Killed by : none
removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE

371

1.1
Location : __gpx
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

377

1.1
Location : __gpx
Killed by : none
negated conditional → NO_COVERAGE

378

1.1
Location : __gpx
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

379

1.1
Location : __gpx
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__metadata → NO_COVERAGE

384

1.1
Location : __gpx
Killed by : none
negated conditional → NO_COVERAGE

385

1.1
Location : __gpx
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

386

1.1
Location : __gpx
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__wpt → NO_COVERAGE

391

1.1
Location : __gpx
Killed by : none
negated conditional → NO_COVERAGE

392

1.1
Location : __gpx
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

393

1.1
Location : __gpx
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__rte → NO_COVERAGE

398

1.1
Location : __gpx
Killed by : none
negated conditional → NO_COVERAGE

399

1.1
Location : __gpx
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

400

1.1
Location : __gpx
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__trk → NO_COVERAGE

405

1.1
Location : __gpx
Killed by : none
negated conditional → NO_COVERAGE

406

1.1
Location : __gpx
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

407

1.1
Location : __gpx
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__extensions → NO_COVERAGE

412

1.1
Location : __gpx
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

429

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

433

1.1
Location : __metadata
Killed by : none
negated conditional → NO_COVERAGE

434

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

435

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

440

1.1
Location : __metadata
Killed by : none
negated conditional → NO_COVERAGE

441

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

442

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

447

1.1
Location : __metadata
Killed by : none
negated conditional → NO_COVERAGE

448

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

449

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

455

1.1
Location : __metadata
Killed by : none
negated conditional → NO_COVERAGE

456

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

457

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

465

1.1
Location : __metadata
Killed by : none
negated conditional → NO_COVERAGE

466

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

472

1.1
Location : __metadata
Killed by : none
changed conditional boundary → NO_COVERAGE

2.2
Location : __metadata
Killed by : none
negated conditional → NO_COVERAGE

473

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

476

1.1
Location : __metadata
Killed by : none
negated conditional → NO_COVERAGE

477

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

478

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

483

1.1
Location : __metadata
Killed by : none
negated conditional → NO_COVERAGE

484

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

485

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

491

1.1
Location : __metadata
Killed by : none
negated conditional → NO_COVERAGE

492

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

493

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__bounds → NO_COVERAGE

498

1.1
Location : __metadata
Killed by : none
negated conditional → NO_COVERAGE

499

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

500

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__extensions → NO_COVERAGE

505

1.1
Location : __metadata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

520

1.1
Location : __wpt
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$WayPoint::deploy → NO_COVERAGE

544

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

548

1.1
Location : __rte
Killed by : none
negated conditional → NO_COVERAGE

549

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

555

1.1
Location : __rte
Killed by : none
negated conditional → NO_COVERAGE

556

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

562

1.1
Location : __rte
Killed by : none
negated conditional → NO_COVERAGE

563

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

569

1.1
Location : __rte
Killed by : none
negated conditional → NO_COVERAGE

570

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

576

1.1
Location : __rte
Killed by : none
negated conditional → NO_COVERAGE

577

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

583

1.1
Location : __rte
Killed by : none
negated conditional → NO_COVERAGE

584

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

590

1.1
Location : __rte
Killed by : none
negated conditional → NO_COVERAGE

591

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

597

1.1
Location : __rte
Killed by : none
negated conditional → NO_COVERAGE

598

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

604

1.1
Location : __rte
Killed by : none
negated conditional → NO_COVERAGE

605

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

606

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__extensions → NO_COVERAGE

611

1.1
Location : __rte
Killed by : none
negated conditional → NO_COVERAGE

612

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

613

1.1
Location : __rte
Killed by : none
removed call to java/util/LinkedList::addLast → NO_COVERAGE

618

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

620

1.1
Location : __rte
Killed by : none
negated conditional → NO_COVERAGE

621

1.1
Location : __rte
Killed by : none
Replaced integer addition with subtraction → NO_COVERAGE

623

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

624

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

625

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

626

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

627

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

628

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

629

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

632

1.1
Location : __rte
Killed by : none
changed conditional boundary → NO_COVERAGE

2.2
Location : __rte
Killed by : none
Changed increment from 1 to -1 → NO_COVERAGE

3.3
Location : __rte
Killed by : none
negated conditional → NO_COVERAGE

633

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$WayPoint::deploy → NO_COVERAGE

635

1.1
Location : __rte
Killed by : none
changed conditional boundary → NO_COVERAGE

2.2
Location : __rte
Killed by : none
negated conditional → NO_COVERAGE

636

1.1
Location : __rte
Killed by : none
Replaced integer addition with subtraction → NO_COVERAGE

637

1.1
Location : __rte
Killed by : none
Replaced integer subtraction with addition → NO_COVERAGE

2.2
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendEdgeAdded → NO_COVERAGE

639

1.1
Location : __rte
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendEdgeAttributeAdded → NO_COVERAGE

664

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

668

1.1
Location : __trk
Killed by : none
negated conditional → NO_COVERAGE

669

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

675

1.1
Location : __trk
Killed by : none
negated conditional → NO_COVERAGE

676

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

682

1.1
Location : __trk
Killed by : none
negated conditional → NO_COVERAGE

683

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

689

1.1
Location : __trk
Killed by : none
negated conditional → NO_COVERAGE

690

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

696

1.1
Location : __trk
Killed by : none
negated conditional → NO_COVERAGE

697

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

703

1.1
Location : __trk
Killed by : none
negated conditional → NO_COVERAGE

704

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

710

1.1
Location : __trk
Killed by : none
negated conditional → NO_COVERAGE

711

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

717

1.1
Location : __trk
Killed by : none
negated conditional → NO_COVERAGE

718

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

724

1.1
Location : __trk
Killed by : none
negated conditional → NO_COVERAGE

725

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

726

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__extensions → NO_COVERAGE

731

1.1
Location : __trk
Killed by : none
negated conditional → NO_COVERAGE

732

1.1
Location : __trk
Killed by : none
Replaced integer addition with subtraction → NO_COVERAGE

734

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

735

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

736

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

737

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

738

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

739

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

740

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

743

1.1
Location : __trk
Killed by : none
negated conditional → NO_COVERAGE

744

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

747

1.1
Location : __trk
Killed by : none
changed conditional boundary → NO_COVERAGE

2.2
Location : __trk
Killed by : none
Changed increment from 1 to -1 → NO_COVERAGE

3.3
Location : __trk
Killed by : none
negated conditional → NO_COVERAGE

748

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$WayPoint::deploy → NO_COVERAGE

750

1.1
Location : __trk
Killed by : none
changed conditional boundary → NO_COVERAGE

2.2
Location : __trk
Killed by : none
negated conditional → NO_COVERAGE

752

1.1
Location : __trk
Killed by : none
Replaced integer addition with subtraction → NO_COVERAGE

753

1.1
Location : __trk
Killed by : none
Replaced integer subtraction with addition → NO_COVERAGE

2.2
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendEdgeAdded → NO_COVERAGE

755

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendEdgeAttributeAdded → NO_COVERAGE

762

1.1
Location : __trk
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

780

1.1
Location : __extensions
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

784

1.1
Location : __extensions
Killed by : none
negated conditional → NO_COVERAGE

2.2
Location : __extensions
Killed by : none
negated conditional → NO_COVERAGE

785

1.1
Location : __extensions
Killed by : none
negated conditional → NO_COVERAGE

786

1.1
Location : __extensions
Killed by : none
Changed increment from -1 to 1 → NO_COVERAGE

787

1.1
Location : __extensions
Killed by : none
negated conditional → NO_COVERAGE

788

1.1
Location : __extensions
Killed by : none
Changed increment from 1 to -1 → NO_COVERAGE

809

1.1
Location : __name
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

814

1.1
Location : __name
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

816

1.1
Location : __name
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__name to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

834

1.1
Location : __desc
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

839

1.1
Location : __desc
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

841

1.1
Location : __desc
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__desc to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

859

1.1
Location : __author
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

863

1.1
Location : __author
Killed by : none
negated conditional → NO_COVERAGE

864

1.1
Location : __author
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

870

1.1
Location : __author
Killed by : none
negated conditional → NO_COVERAGE

871

1.1
Location : __author
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

877

1.1
Location : __author
Killed by : none
negated conditional → NO_COVERAGE

878

1.1
Location : __author
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

885

1.1
Location : __author
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

887

1.1
Location : __author
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__author to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

906

1.1
Location : __copyright
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

911

1.1
Location : __copyright
Killed by : none
negated conditional → NO_COVERAGE

915

1.1
Location : __copyright
Killed by : none
negated conditional → NO_COVERAGE

918

1.1
Location : __copyright
Killed by : none
removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE

926

1.1
Location : __copyright
Killed by : none
negated conditional → NO_COVERAGE

927

1.1
Location : __copyright
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

933

1.1
Location : __copyright
Killed by : none
negated conditional → NO_COVERAGE

934

1.1
Location : __copyright
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

940

1.1
Location : __copyright
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

942

1.1
Location : __copyright
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__copyright to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

961

1.1
Location : __link
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

965

1.1
Location : __link
Killed by : none
negated conditional → NO_COVERAGE

969

1.1
Location : __link
Killed by : none
negated conditional → NO_COVERAGE

972

1.1
Location : __link
Killed by : none
removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE

980

1.1
Location : __link
Killed by : none
negated conditional → NO_COVERAGE

981

1.1
Location : __link
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

987

1.1
Location : __link
Killed by : none
negated conditional → NO_COVERAGE

988

1.1
Location : __link
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

994

1.1
Location : __link
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

996

1.1
Location : __link
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__link to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

1014

1.1
Location : __time
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1019

1.1
Location : __time
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1021

1.1
Location : __time
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__time to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

1039

1.1
Location : __keywords
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1044

1.1
Location : __keywords
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1046

1.1
Location : __keywords
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__keywords to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

1065

1.1
Location : __bounds
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1070

1.1
Location : __bounds
Killed by : none
negated conditional → NO_COVERAGE

1074

1.1
Location : __bounds
Killed by : none
negated conditional → NO_COVERAGE

1077

1.1
Location : __bounds
Killed by : none
removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE

1080

1.1
Location : __bounds
Killed by : none
negated conditional → NO_COVERAGE

1084

1.1
Location : __bounds
Killed by : none
negated conditional → NO_COVERAGE

1087

1.1
Location : __bounds
Killed by : none
removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE

1090

1.1
Location : __bounds
Killed by : none
negated conditional → NO_COVERAGE

1094

1.1
Location : __bounds
Killed by : none
negated conditional → NO_COVERAGE

1097

1.1
Location : __bounds
Killed by : none
removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE

1100

1.1
Location : __bounds
Killed by : none
negated conditional → NO_COVERAGE

1104

1.1
Location : __bounds
Killed by : none
negated conditional → NO_COVERAGE

1107

1.1
Location : __bounds
Killed by : none
removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE

1115

1.1
Location : __bounds
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::sendGraphAttributeAdded → NO_COVERAGE

1119

1.1
Location : __bounds
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1137

1.1
Location : __ele
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1142

1.1
Location : __ele
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1144

1.1
Location : __ele
Killed by : none
replaced return of double value with -(x + 1) for org/graphstream/stream/file/FileSourceGPX$GPXParser::__ele → NO_COVERAGE

1162

1.1
Location : __magvar
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1167

1.1
Location : __magvar
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1169

1.1
Location : __magvar
Killed by : none
replaced return of double value with -(x + 1) for org/graphstream/stream/file/FileSourceGPX$GPXParser::__magvar → NO_COVERAGE

1187

1.1
Location : __geoidheight
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1192

1.1
Location : __geoidheight
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1194

1.1
Location : __geoidheight
Killed by : none
replaced return of double value with -(x + 1) for org/graphstream/stream/file/FileSourceGPX$GPXParser::__geoidheight → NO_COVERAGE

1212

1.1
Location : __cmt
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1217

1.1
Location : __cmt
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1219

1.1
Location : __cmt
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__cmt to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

1237

1.1
Location : __src
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1242

1.1
Location : __src
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1244

1.1
Location : __src
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__src to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

1262

1.1
Location : __sym
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1267

1.1
Location : __sym
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1269

1.1
Location : __sym
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__sym to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

1287

1.1
Location : __text
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1292

1.1
Location : __text
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1294

1.1
Location : __text
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__text to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

1312

1.1
Location : __type
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1317

1.1
Location : __type
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1319

1.1
Location : __type
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__type to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

1337

1.1
Location : __fix
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1341

1.1
Location : __fix
Killed by : none
negated conditional → NO_COVERAGE

1346

1.1
Location : __fix
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1348

1.1
Location : __fix
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__fix to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

1366

1.1
Location : __sat
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1371

1.1
Location : __sat
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1373

1.1
Location : __sat
Killed by : none
replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE

1391

1.1
Location : __hdop
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1396

1.1
Location : __hdop
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1398

1.1
Location : __hdop
Killed by : none
replaced return of double value with -(x + 1) for org/graphstream/stream/file/FileSourceGPX$GPXParser::__hdop → NO_COVERAGE

1416

1.1
Location : __vdop
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1421

1.1
Location : __vdop
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1423

1.1
Location : __vdop
Killed by : none
replaced return of double value with -(x + 1) for org/graphstream/stream/file/FileSourceGPX$GPXParser::__vdop → NO_COVERAGE

1441

1.1
Location : __pdop
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1446

1.1
Location : __pdop
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1448

1.1
Location : __pdop
Killed by : none
replaced return of double value with -(x + 1) for org/graphstream/stream/file/FileSourceGPX$GPXParser::__pdop → NO_COVERAGE

1466

1.1
Location : __ageofdgpsdata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1471

1.1
Location : __ageofdgpsdata
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1473

1.1
Location : __ageofdgpsdata
Killed by : none
replaced return of double value with -(x + 1) for org/graphstream/stream/file/FileSourceGPX$GPXParser::__ageofdgpsdata → NO_COVERAGE

1491

1.1
Location : __dgpsid
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1496

1.1
Location : __dgpsid
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1498

1.1
Location : __dgpsid
Killed by : none
replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE

1516

1.1
Location : __number
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1521

1.1
Location : __number
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1523

1.1
Location : __number
Killed by : none
replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE

1537

1.1
Location : __rtept
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__rtept to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

1551

1.1
Location : __trkpt
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__trkpt to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

1570

1.1
Location : __trkseg
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1574

1.1
Location : __trkseg
Killed by : none
negated conditional → NO_COVERAGE

1575

1.1
Location : __trkseg
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

1576

1.1
Location : __trkseg
Killed by : none
removed call to java/util/LinkedList::addLast → NO_COVERAGE

1581

1.1
Location : __trkseg
Killed by : none
negated conditional → NO_COVERAGE

1582

1.1
Location : __trkseg
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::pushback → NO_COVERAGE

1583

1.1
Location : __trkseg
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX$GPXParser::__extensions → NO_COVERAGE

1588

1.1
Location : __trkseg
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1590

1.1
Location : __trkseg
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__trkseg to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

1609

1.1
Location : __email
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1613

1.1
Location : __email
Killed by : none
negated conditional → NO_COVERAGE

1617

1.1
Location : __email
Killed by : none
negated conditional → NO_COVERAGE

1620

1.1
Location : __email
Killed by : none
removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE

1626

1.1
Location : __email
Killed by : none
negated conditional → NO_COVERAGE

1630

1.1
Location : __email
Killed by : none
negated conditional → NO_COVERAGE

1633

1.1
Location : __email
Killed by : none
removed call to javax/xml/stream/XMLStreamException::printStackTrace → NO_COVERAGE

1638

1.1
Location : __email
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1640

1.1
Location : __email
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__email to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

1658

1.1
Location : __year
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1663

1.1
Location : __year
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1665

1.1
Location : __year
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__year to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

1683

1.1
Location : __license
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1688

1.1
Location : __license
Killed by : none
removed call to org/graphstream/stream/file/FileSourceGPX::checkValid → NO_COVERAGE

1690

1.1
Location : __license
Killed by : none
mutated return of Object value for org/graphstream/stream/file/FileSourceGPX$GPXParser::__license to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

Active mutators

Tests examined


Report generated by PIT 0.33