SourceTime.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.sync;
33
34
public class SourceTime {
35
	protected String sourceId;
36
	/**
37
	 * Current value of the time for this source.
38
	 */
39
	protected long currentTimeId;
40
	/**
41
	 * 
42
	 */
43
	protected SinkTime sinkTime;
44
45
	/**
46
	 * Create a new SourceTime for a given id. Current time id is set to 0.
47
	 */
48
	public SourceTime() {
49
		this(0);
50
	}
51
52
	/**
53
	 * Create a new SourceTime for a given id and a given time.
54
	 * 
55
	 * @param currentTimeId
56
	 */
57
	public SourceTime(long currentTimeId) {
58
		this(null, currentTimeId, null);
59
	}
60
61
	public SourceTime(String sourceId) {
62
		this(sourceId, 0, null);
63
	}
64
65
	public SourceTime(String sourceId, SinkTime sinkTime) {
66
		this(sourceId, 0, sinkTime);
67
	}
68
69
	/**
70
	 * Create a new SourceTime for a given id and a given time.
71
	 * 
72
	 * @param currentTimeId
73
	 */
74
	public SourceTime(String sourceId, long currentTimeId) {
75
		this(sourceId, currentTimeId, null);
76
	}
77
78
	public SourceTime(String sourceId, long currentTimeId, SinkTime sinkTime) {
79
		this.sourceId = sourceId;
80
		this.currentTimeId = currentTimeId;
81
		this.sinkTime = sinkTime;
82
	}
83
84
	public SinkTime getSinkTime() {
85 1 1. getSinkTime : mutated return of Object value for org/graphstream/stream/sync/SourceTime::getSinkTime to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
		return sinkTime;
86
	}
87
88
	public String getSourceId() {
89 1 1. getSourceId : mutated return of Object value for org/graphstream/stream/sync/SourceTime::getSourceId to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
		return sourceId;
90
	}
91
92
	public void setSourceId(String sourceId) {
93
		this.sourceId = sourceId;
94
	}
95
96
	public void setSinkTime(SinkTime st) {
97
		this.sinkTime = st;
98
	}
99
100
	public long newEvent() {
101 1 1. newEvent : Replaced long addition with subtraction → SURVIVED
		currentTimeId++;
102
103 1 1. newEvent : negated conditional → SURVIVED
		if (sinkTime != null)
104
			sinkTime.setTimeFor(sourceId, currentTimeId);
105
106 1 1. newEvent : replaced return of long value with value + 1 for org/graphstream/stream/sync/SourceTime::newEvent → SURVIVED
		return currentTimeId;
107
	}
108
}

Mutations

85

1.1
Location : getSinkTime
Killed by : none
mutated return of Object value for org/graphstream/stream/sync/SourceTime::getSinkTime to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

89

1.1
Location : getSourceId
Killed by : none
mutated return of Object value for org/graphstream/stream/sync/SourceTime::getSourceId to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

101

1.1
Location : newEvent
Killed by : none
Replaced long addition with subtraction → SURVIVED

103

1.1
Location : newEvent
Killed by : none
negated conditional → SURVIVED

106

1.1
Location : newEvent
Killed by : none
replaced return of long value with value + 1 for org/graphstream/stream/sync/SourceTime::newEvent → SURVIVED

Active mutators

Tests examined


Report generated by PIT 0.33