DOTParserTokenManager.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.dot;
33
34
import org.graphstream.util.parser.SimpleCharStream;
35
import org.graphstream.util.parser.Token;
36
import org.graphstream.util.parser.TokenMgrError;
37
38
/** Token Manager. */
39
public class DOTParserTokenManager implements DOTParserConstants {
40
41
	/** Debug output. */
42
	public java.io.PrintStream debugStream = System.out;
43
44
	/** Set debug output. */
45
	public void setDebugStream(java.io.PrintStream ds) {
46
		debugStream = ds;
47
	}
48
49
	private final int jjStopStringLiteralDfa_0(int pos, long active0) {
50
		switch (pos) {
51
		case 0:
52 2 1. jjStopStringLiteralDfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjStopStringLiteralDfa_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x3ff07e0000L) != 0L) {
53
				jjmatchedKind = 26;
54 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return 16;
55
			}
56 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return -1;
57
		case 1:
58 2 1. jjStopStringLiteralDfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjStopStringLiteralDfa_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0xaa07e0000L) != 0L) {
59
				jjmatchedKind = 26;
60
				jjmatchedPos = 1;
61 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return 16;
62
			}
63 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return -1;
64
		case 2:
65 2 1. jjStopStringLiteralDfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjStopStringLiteralDfa_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x7e0000L) != 0L) {
66
				jjmatchedKind = 26;
67
				jjmatchedPos = 2;
68 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return 16;
69
			}
70 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return -1;
71
		case 3:
72 2 1. jjStopStringLiteralDfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjStopStringLiteralDfa_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x300000L) != 0L)
73 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return 16;
74 2 1. jjStopStringLiteralDfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjStopStringLiteralDfa_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x4e0000L) != 0L) {
75
				jjmatchedKind = 26;
76
				jjmatchedPos = 3;
77 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return 16;
78
			}
79 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return -1;
80
		case 4:
81 2 1. jjStopStringLiteralDfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjStopStringLiteralDfa_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x20000L) != 0L)
82 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return 16;
83 2 1. jjStopStringLiteralDfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjStopStringLiteralDfa_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x4c0000L) != 0L) {
84
				jjmatchedKind = 26;
85
				jjmatchedPos = 4;
86 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return 16;
87
			}
88 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return -1;
89
		case 5:
90 2 1. jjStopStringLiteralDfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjStopStringLiteralDfa_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0xc0000L) != 0L) {
91
				jjmatchedKind = 26;
92
				jjmatchedPos = 5;
93 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return 16;
94
			}
95 2 1. jjStopStringLiteralDfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjStopStringLiteralDfa_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x400000L) != 0L)
96 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return 16;
97 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return -1;
98
		case 6:
99 2 1. jjStopStringLiteralDfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjStopStringLiteralDfa_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x40000L) != 0L)
100 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return 16;
101 2 1. jjStopStringLiteralDfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjStopStringLiteralDfa_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x80000L) != 0L) {
102
				jjmatchedKind = 26;
103
				jjmatchedPos = 6;
104 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return 16;
105
			}
106 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return -1;
107
		default:
108 1 1. jjStopStringLiteralDfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return -1;
109
		}
110
	}
111
112
	private final int jjStartNfa_0(int pos, long active0) {
113 2 1. jjStartNfa_0 : Replaced integer addition with subtraction → NO_COVERAGE
2. jjStartNfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
		return jjMoveNfa_0(jjStopStringLiteralDfa_0(pos, active0), pos + 1);
114
	}
115
116
	private int jjStopAtPos(int pos, int kind) {
117
		jjmatchedKind = kind;
118
		jjmatchedPos = pos;
119 2 1. jjStopAtPos : Replaced integer addition with subtraction → NO_COVERAGE
2. jjStopAtPos : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
		return pos + 1;
120
	}
121
122
	private int jjMoveStringLiteralDfa0_0() {
123
		switch (curChar) {
124
		case 44:
125 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStopAtPos(0, 15);
126
		case 58:
127 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStopAtPos(0, 14);
128
		case 59:
129 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStopAtPos(0, 27);
130
		case 61:
131 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStopAtPos(0, 16);
132
		case 91:
133 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStopAtPos(0, 10);
134
		case 93:
135 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStopAtPos(0, 11);
136
		case 95:
137 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStartNfaWithStates_0(0, 26, 16);
138
		case 67:
139
		case 99:
140 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStartNfaWithStates_0(0, 26, 16);
141
		case 68:
142
		case 100:
143 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa1_0(0x40000L);
144
		case 69:
145
		case 101:
146
			jjmatchedKind = 26;
147 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa1_0(0x200000L);
148
		case 71:
149
		case 103:
150 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa1_0(0x20000L);
151
		case 78:
152
		case 110:
153
			jjmatchedKind = 26;
154 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa1_0(0x820100000L);
155
		case 83:
156
		case 115:
157
			jjmatchedKind = 26;
158 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa1_0(0x280480000L);
159
		case 87:
160
		case 119:
161 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStartNfaWithStates_0(0, 26, 16);
162
		case 123:
163 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStopAtPos(0, 12);
164
		case 125:
165 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStopAtPos(0, 13);
166
		default:
167 1 1. jjMoveStringLiteralDfa0_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveNfa_0(0, 0);
168
		}
169
	}
170
171
	private int jjMoveStringLiteralDfa1_0(long active0) {
172
		try {
173
			curChar = input_stream.readChar();
174
		} catch (java.io.IOException e) {
175
			jjStopStringLiteralDfa_0(0, active0);
176 1 1. jjMoveStringLiteralDfa1_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return 1;
177
		}
178
		switch (curChar) {
179
		case 68:
180
		case 100:
181 1 1. jjMoveStringLiteralDfa1_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa2_0(active0, 0x200000L);
182
		case 69:
183
		case 101:
184 2 1. jjMoveStringLiteralDfa1_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa1_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x20000000L) != 0L)
185 1 1. jjMoveStringLiteralDfa1_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return jjStartNfaWithStates_0(1, 26, 16);
186 2 1. jjMoveStringLiteralDfa1_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa1_0 : negated conditional → NO_COVERAGE
			else if ((active0 & 0x80000000L) != 0L)
187 1 1. jjMoveStringLiteralDfa1_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return jjStartNfaWithStates_0(1, 26, 16);
188
			break;
189
		case 73:
190
		case 105:
191 1 1. jjMoveStringLiteralDfa1_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa2_0(active0, 0x40000L);
192
		case 79:
193
		case 111:
194 1 1. jjMoveStringLiteralDfa1_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa2_0(active0, 0x100000L);
195
		case 82:
196
		case 114:
197 1 1. jjMoveStringLiteralDfa1_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa2_0(active0, 0x20000L);
198
		case 84:
199
		case 116:
200 1 1. jjMoveStringLiteralDfa1_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa2_0(active0, 0x400000L);
201
		case 85:
202
		case 117:
203 1 1. jjMoveStringLiteralDfa1_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa2_0(active0, 0x80000L);
204
		case 87:
205
		case 119:
206 2 1. jjMoveStringLiteralDfa1_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa1_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x200000000L) != 0L)
207 1 1. jjMoveStringLiteralDfa1_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return jjStartNfaWithStates_0(1, 26, 16);
208 2 1. jjMoveStringLiteralDfa1_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa1_0 : negated conditional → NO_COVERAGE
			else if ((active0 & 0x800000000L) != 0L)
209 1 1. jjMoveStringLiteralDfa1_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return jjStartNfaWithStates_0(1, 26, 16);
210
			break;
211
		default:
212
			break;
213
		}
214 1 1. jjMoveStringLiteralDfa1_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
		return jjStartNfa_0(0, active0);
215
	}
216
217
	private int jjMoveStringLiteralDfa2_0(long old0, long active0) {
218 2 1. jjMoveStringLiteralDfa2_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa2_0 : negated conditional → NO_COVERAGE
		if (((active0 &= old0)) == 0L)
219 1 1. jjMoveStringLiteralDfa2_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStartNfa_0(0, old0);
220
		try {
221
			curChar = input_stream.readChar();
222
		} catch (java.io.IOException e) {
223
			jjStopStringLiteralDfa_0(1, active0);
224 1 1. jjMoveStringLiteralDfa2_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return 2;
225
		}
226
		switch (curChar) {
227
		case 65:
228
		case 97:
229 1 1. jjMoveStringLiteralDfa2_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa3_0(active0, 0x20000L);
230
		case 66:
231
		case 98:
232 1 1. jjMoveStringLiteralDfa2_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa3_0(active0, 0x80000L);
233
		case 68:
234
		case 100:
235 1 1. jjMoveStringLiteralDfa2_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa3_0(active0, 0x100000L);
236
		case 71:
237
		case 103:
238 1 1. jjMoveStringLiteralDfa2_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa3_0(active0, 0x240000L);
239
		case 82:
240
		case 114:
241 1 1. jjMoveStringLiteralDfa2_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa3_0(active0, 0x400000L);
242
		default:
243
			break;
244
		}
245 1 1. jjMoveStringLiteralDfa2_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
		return jjStartNfa_0(1, active0);
246
	}
247
248
	private int jjMoveStringLiteralDfa3_0(long old0, long active0) {
249 2 1. jjMoveStringLiteralDfa3_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa3_0 : negated conditional → NO_COVERAGE
		if (((active0 &= old0)) == 0L)
250 1 1. jjMoveStringLiteralDfa3_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStartNfa_0(1, old0);
251
		try {
252
			curChar = input_stream.readChar();
253
		} catch (java.io.IOException e) {
254
			jjStopStringLiteralDfa_0(2, active0);
255 1 1. jjMoveStringLiteralDfa3_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return 3;
256
		}
257
		switch (curChar) {
258
		case 69:
259
		case 101:
260 2 1. jjMoveStringLiteralDfa3_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa3_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x100000L) != 0L)
261 1 1. jjMoveStringLiteralDfa3_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return jjStartNfaWithStates_0(3, 20, 16);
262 2 1. jjMoveStringLiteralDfa3_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa3_0 : negated conditional → NO_COVERAGE
			else if ((active0 & 0x200000L) != 0L)
263 1 1. jjMoveStringLiteralDfa3_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return jjStartNfaWithStates_0(3, 21, 16);
264
			break;
265
		case 71:
266
		case 103:
267 1 1. jjMoveStringLiteralDfa3_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa4_0(active0, 0x80000L);
268
		case 73:
269
		case 105:
270 1 1. jjMoveStringLiteralDfa3_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa4_0(active0, 0x400000L);
271
		case 80:
272
		case 112:
273 1 1. jjMoveStringLiteralDfa3_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa4_0(active0, 0x20000L);
274
		case 82:
275
		case 114:
276 1 1. jjMoveStringLiteralDfa3_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa4_0(active0, 0x40000L);
277
		default:
278
			break;
279
		}
280 1 1. jjMoveStringLiteralDfa3_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
		return jjStartNfa_0(2, active0);
281
	}
282
283
	private int jjMoveStringLiteralDfa4_0(long old0, long active0) {
284 2 1. jjMoveStringLiteralDfa4_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa4_0 : negated conditional → NO_COVERAGE
		if (((active0 &= old0)) == 0L)
285 1 1. jjMoveStringLiteralDfa4_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStartNfa_0(2, old0);
286
		try {
287
			curChar = input_stream.readChar();
288
		} catch (java.io.IOException e) {
289
			jjStopStringLiteralDfa_0(3, active0);
290 1 1. jjMoveStringLiteralDfa4_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return 4;
291
		}
292
		switch (curChar) {
293
		case 65:
294
		case 97:
295 1 1. jjMoveStringLiteralDfa4_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa5_0(active0, 0x40000L);
296
		case 67:
297
		case 99:
298 1 1. jjMoveStringLiteralDfa4_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa5_0(active0, 0x400000L);
299
		case 72:
300
		case 104:
301 2 1. jjMoveStringLiteralDfa4_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa4_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x20000L) != 0L)
302 1 1. jjMoveStringLiteralDfa4_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return jjStartNfaWithStates_0(4, 17, 16);
303
			break;
304
		case 82:
305
		case 114:
306 1 1. jjMoveStringLiteralDfa4_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa5_0(active0, 0x80000L);
307
		default:
308
			break;
309
		}
310 1 1. jjMoveStringLiteralDfa4_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
		return jjStartNfa_0(3, active0);
311
	}
312
313
	private int jjMoveStringLiteralDfa5_0(long old0, long active0) {
314 2 1. jjMoveStringLiteralDfa5_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa5_0 : negated conditional → NO_COVERAGE
		if (((active0 &= old0)) == 0L)
315 1 1. jjMoveStringLiteralDfa5_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStartNfa_0(3, old0);
316
		try {
317
			curChar = input_stream.readChar();
318
		} catch (java.io.IOException e) {
319
			jjStopStringLiteralDfa_0(4, active0);
320 1 1. jjMoveStringLiteralDfa5_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return 5;
321
		}
322
		switch (curChar) {
323
		case 65:
324
		case 97:
325 1 1. jjMoveStringLiteralDfa5_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa6_0(active0, 0x80000L);
326
		case 80:
327
		case 112:
328 1 1. jjMoveStringLiteralDfa5_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa6_0(active0, 0x40000L);
329
		case 84:
330
		case 116:
331 2 1. jjMoveStringLiteralDfa5_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa5_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x400000L) != 0L)
332 1 1. jjMoveStringLiteralDfa5_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return jjStartNfaWithStates_0(5, 22, 16);
333
			break;
334
		default:
335
			break;
336
		}
337 1 1. jjMoveStringLiteralDfa5_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
		return jjStartNfa_0(4, active0);
338
	}
339
340
	private int jjMoveStringLiteralDfa6_0(long old0, long active0) {
341 2 1. jjMoveStringLiteralDfa6_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa6_0 : negated conditional → NO_COVERAGE
		if (((active0 &= old0)) == 0L)
342 1 1. jjMoveStringLiteralDfa6_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStartNfa_0(4, old0);
343
		try {
344
			curChar = input_stream.readChar();
345
		} catch (java.io.IOException e) {
346
			jjStopStringLiteralDfa_0(5, active0);
347 1 1. jjMoveStringLiteralDfa6_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return 6;
348
		}
349
		switch (curChar) {
350
		case 72:
351
		case 104:
352 2 1. jjMoveStringLiteralDfa6_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa6_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x40000L) != 0L)
353 1 1. jjMoveStringLiteralDfa6_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return jjStartNfaWithStates_0(6, 18, 16);
354
			break;
355
		case 80:
356
		case 112:
357 1 1. jjMoveStringLiteralDfa6_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjMoveStringLiteralDfa7_0(active0, 0x80000L);
358
		default:
359
			break;
360
		}
361 1 1. jjMoveStringLiteralDfa6_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
		return jjStartNfa_0(5, active0);
362
	}
363
364
	private int jjMoveStringLiteralDfa7_0(long old0, long active0) {
365 2 1. jjMoveStringLiteralDfa7_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa7_0 : negated conditional → NO_COVERAGE
		if (((active0 &= old0)) == 0L)
366 1 1. jjMoveStringLiteralDfa7_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return jjStartNfa_0(5, old0);
367
		try {
368
			curChar = input_stream.readChar();
369
		} catch (java.io.IOException e) {
370
			jjStopStringLiteralDfa_0(6, active0);
371 1 1. jjMoveStringLiteralDfa7_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return 7;
372
		}
373
		switch (curChar) {
374
		case 72:
375
		case 104:
376 2 1. jjMoveStringLiteralDfa7_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveStringLiteralDfa7_0 : negated conditional → NO_COVERAGE
			if ((active0 & 0x80000L) != 0L)
377 1 1. jjMoveStringLiteralDfa7_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return jjStartNfaWithStates_0(7, 19, 16);
378
			break;
379
		default:
380
			break;
381
		}
382 1 1. jjMoveStringLiteralDfa7_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
		return jjStartNfa_0(6, active0);
383
	}
384
385
	private int jjStartNfaWithStates_0(int pos, int kind, int state) {
386
		jjmatchedKind = kind;
387
		jjmatchedPos = pos;
388
		try {
389
			curChar = input_stream.readChar();
390
		} catch (java.io.IOException e) {
391 2 1. jjStartNfaWithStates_0 : Replaced integer addition with subtraction → NO_COVERAGE
2. jjStartNfaWithStates_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
			return pos + 1;
392
		}
393 2 1. jjStartNfaWithStates_0 : Replaced integer addition with subtraction → NO_COVERAGE
2. jjStartNfaWithStates_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
		return jjMoveNfa_0(state, pos + 1);
394
	}
395
396
	static final long[] jjbitVec0 = { 0x0L, 0x0L, 0xffffffffffffffffL,
397
			0xffffffffffffffffL };
398
399
	private int jjMoveNfa_0(int startState, int curPos) {
400
		int startsAt = 0;
401
		jjnewStateCnt = 28;
402
		int i = 1;
403
		jjstateSet[0] = startState;
404
		int kind = 0x7fffffff;
405
		for (;;) {
406 2 1. jjMoveNfa_0 : Replaced integer addition with subtraction → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
			if (++jjround == 0x7fffffff)
407 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::ReInitRounds → NO_COVERAGE
				ReInitRounds();
408 2 1. jjMoveNfa_0 : changed conditional boundary → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
			if (curChar < 64) {
409 1 1. jjMoveNfa_0 : Replaced Shift Left with Shift Right → NO_COVERAGE
				long l = 1L << curChar;
410
				do {
411 1 1. jjMoveNfa_0 : Changed increment from -1 to 1 → NO_COVERAGE
					switch (jjstateSet[--i]) {
412
					case 0:
413 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((0x3ff000000000000L & l) != 0L) {
414 2 1. jjMoveNfa_0 : changed conditional boundary → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
							if (kind > 24)
415
								kind = 24;
416 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE
							jjCheckNAddTwoStates(4, 5);
417 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						} else if ((0x280000000000L & l) != 0L)
418 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE
							jjCheckNAdd(4);
419 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						else if (curChar == 47)
420 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE
							jjAddStates(0, 1);
421 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						else if (curChar == 39)
422 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE
							jjCheckNAddTwoStates(13, 14);
423 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						else if (curChar == 34)
424 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE
							jjCheckNAddStates(2, 4);
425 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						else if (curChar == 35)
426 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE
							jjCheckNAddTwoStates(1, 2);
427 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 45)
428 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE
							jjAddStates(5, 6);
429
						break;
430
					case 1:
431 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((0xffffffffffffdbffL & l) != 0L)
432 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE
							jjCheckNAddTwoStates(1, 2);
433
						break;
434
					case 2:
435 4 1. jjMoveNfa_0 : changed conditional boundary → NO_COVERAGE
2. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
3. jjMoveNfa_0 : negated conditional → NO_COVERAGE
4. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((0x2400L & l) != 0L && kind > 6)
436
							kind = 6;
437
						break;
438
					case 3:
439 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((0x280000000000L & l) != 0L)
440 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE
							jjCheckNAdd(4);
441
						break;
442
					case 4:
443 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((0x3ff000000000000L & l) == 0L)
444
							break;
445 2 1. jjMoveNfa_0 : changed conditional boundary → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (kind > 24)
446
							kind = 24;
447 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE
						jjCheckNAddTwoStates(4, 5);
448
						break;
449
					case 5:
450 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 46)
451 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE
							jjCheckNAdd(6);
452
						break;
453
					case 6:
454 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((0x3ff000000000000L & l) == 0L)
455
							break;
456 2 1. jjMoveNfa_0 : changed conditional boundary → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (kind > 24)
457
							kind = 24;
458 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE
						jjCheckNAdd(6);
459
						break;
460
					case 7:
461
					case 9:
462 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 34)
463 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE
							jjCheckNAddStates(2, 4);
464
						break;
465
					case 8:
466 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((0xfffffffbffffffffL & l) != 0L)
467 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE
							jjCheckNAddStates(2, 4);
468
						break;
469
					case 11:
470 3 1. jjMoveNfa_0 : changed conditional boundary → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
3. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 34 && kind > 25)
471
							kind = 25;
472
						break;
473
					case 12:
474 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 39)
475 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE
							jjCheckNAddTwoStates(13, 14);
476
						break;
477
					case 13:
478 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((0xffffff7fffffffffL & l) != 0L)
479 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE
							jjCheckNAddTwoStates(13, 14);
480
						break;
481
					case 14:
482 3 1. jjMoveNfa_0 : changed conditional boundary → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
3. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 39 && kind > 25)
483
							kind = 25;
484
						break;
485
					case 16:
486 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((0x3ff000000000000L & l) == 0L)
487
							break;
488 2 1. jjMoveNfa_0 : changed conditional boundary → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (kind > 26)
489
							kind = 26;
490 1 1. jjMoveNfa_0 : Replaced integer addition with subtraction → NO_COVERAGE
						jjstateSet[jjnewStateCnt++] = 16;
491
						break;
492
					case 17:
493 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 45)
494 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE
							jjAddStates(5, 6);
495
						break;
496
					case 18:
497 3 1. jjMoveNfa_0 : changed conditional boundary → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
3. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 45 && kind > 23)
498
							kind = 23;
499
						break;
500
					case 19:
501 3 1. jjMoveNfa_0 : changed conditional boundary → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
3. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 62 && kind > 23)
502
							kind = 23;
503
						break;
504
					case 20:
505 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 47)
506 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE
							jjAddStates(0, 1);
507
						break;
508
					case 21:
509 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 42)
510 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE
							jjCheckNAddStates(7, 9);
511
						break;
512
					case 22:
513 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((0xfffffbffffffffffL & l) != 0L)
514 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE
							jjCheckNAddStates(7, 9);
515
						break;
516
					case 23:
517 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 42)
518 1 1. jjMoveNfa_0 : Replaced integer addition with subtraction → NO_COVERAGE
							jjstateSet[jjnewStateCnt++] = 24;
519
						break;
520
					case 24:
521 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((0xffff7fffffffffffL & l) != 0L)
522 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE
							jjCheckNAddStates(7, 9);
523
						break;
524
					case 25:
525 3 1. jjMoveNfa_0 : changed conditional boundary → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
3. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 47 && kind > 5)
526
							kind = 5;
527
						break;
528
					case 26:
529 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 42)
530 1 1. jjMoveNfa_0 : Replaced integer addition with subtraction → NO_COVERAGE
							jjstateSet[jjnewStateCnt++] = 25;
531
						break;
532
					case 27:
533 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 47)
534 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE
							jjCheckNAddTwoStates(1, 2);
535
						break;
536
					default:
537
						break;
538
					}
539 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
				} while (i != startsAt);
540 2 1. jjMoveNfa_0 : changed conditional boundary → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
			} else if (curChar < 128) {
541 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : Replaced Shift Left with Shift Right → NO_COVERAGE
				long l = 1L << (curChar & 077);
542
				do {
543 1 1. jjMoveNfa_0 : Changed increment from -1 to 1 → NO_COVERAGE
					switch (jjstateSet[--i]) {
544
					case 0:
545
					case 16:
546 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((0x7fffffe87fffffeL & l) == 0L)
547
							break;
548 2 1. jjMoveNfa_0 : changed conditional boundary → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (kind > 26)
549
							kind = 26;
550 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE
						jjCheckNAdd(16);
551
						break;
552
					case 1:
553 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE
						jjAddStates(10, 11);
554
						break;
555
					case 8:
556 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE
						jjAddStates(2, 4);
557
						break;
558
					case 10:
559 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (curChar == 92)
560 1 1. jjMoveNfa_0 : Replaced integer addition with subtraction → NO_COVERAGE
							jjstateSet[jjnewStateCnt++] = 9;
561
						break;
562
					case 13:
563 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE
						jjAddStates(12, 13);
564
						break;
565
					case 22:
566
					case 24:
567 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE
						jjCheckNAddStates(7, 9);
568
						break;
569
					default:
570
						break;
571
					}
572 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
				} while (i != startsAt);
573
			} else {
574 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : Replaced Shift Right with Shift Left → NO_COVERAGE
				int i2 = (curChar & 0xff) >> 6;
575 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : Replaced Shift Left with Shift Right → NO_COVERAGE
				long l2 = 1L << (curChar & 077);
576
				do {
577 1 1. jjMoveNfa_0 : Changed increment from -1 to 1 → NO_COVERAGE
					switch (jjstateSet[--i]) {
578
					case 0:
579
					case 16:
580 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((jjbitVec0[i2] & l2) == 0L)
581
							break;
582 2 1. jjMoveNfa_0 : changed conditional boundary → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if (kind > 26)
583
							kind = 26;
584 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE
						jjCheckNAdd(16);
585
						break;
586
					case 1:
587 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((jjbitVec0[i2] & l2) != 0L)
588 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE
							jjAddStates(10, 11);
589
						break;
590
					case 8:
591 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((jjbitVec0[i2] & l2) != 0L)
592 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE
							jjAddStates(2, 4);
593
						break;
594
					case 13:
595 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((jjbitVec0[i2] & l2) != 0L)
596 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE
							jjAddStates(12, 13);
597
						break;
598
					case 22:
599
					case 24:
600 2 1. jjMoveNfa_0 : Replaced bitwise AND with OR → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
						if ((jjbitVec0[i2] & l2) != 0L)
601 1 1. jjMoveNfa_0 : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE
							jjCheckNAddStates(7, 9);
602
						break;
603
					default:
604
						break;
605
					}
606 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
				} while (i != startsAt);
607
			}
608 1 1. jjMoveNfa_0 : negated conditional → NO_COVERAGE
			if (kind != 0x7fffffff) {
609
				jjmatchedKind = kind;
610
				jjmatchedPos = curPos;
611
				kind = 0x7fffffff;
612
			}
613 1 1. jjMoveNfa_0 : Changed increment from 1 to -1 → NO_COVERAGE
			++curPos;
614 2 1. jjMoveNfa_0 : Replaced integer subtraction with addition → NO_COVERAGE
2. jjMoveNfa_0 : negated conditional → NO_COVERAGE
			if ((i = jjnewStateCnt) == (startsAt = 28 - (jjnewStateCnt = startsAt)))
615 1 1. jjMoveNfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return curPos;
616
			try {
617
				curChar = input_stream.readChar();
618
			} catch (java.io.IOException e) {
619 1 1. jjMoveNfa_0 : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
				return curPos;
620
			}
621
		}
622
	}
623
624
	static final int[] jjnextStates = { 21, 27, 8, 10, 11, 18, 19, 22, 23, 26,
625
			1, 2, 13, 14, };
626
627
	/** Token literal values. */
628
	public static final String[] jjstrLiteralImages = { "", null, null, null,
629
			null, null, null, null, null, null, "\133", "\135", "\173", "\175",
630
			"\72", "\54", "\75", null, null, null, null, null, null, null,
631
			null, null, null, "\73", null, null, null, null, null, null, null,
632
			null, null, "\137", };
633
634
	/** Lexer state names. */
635
	public static final String[] lexStateNames = { "DEFAULT", };
636
	static final long[] jjtoToken = { 0x3ffffffc01L, };
637
	static final long[] jjtoSkip = { 0x7eL, };
638
	protected SimpleCharStream input_stream;
639
	private final int[] jjrounds = new int[28];
640
	private final int[] jjstateSet = new int[56];
641
	protected char curChar;
642
643
	/** Constructor. */
644
	public DOTParserTokenManager(SimpleCharStream stream) {
645
		if (SimpleCharStream.staticFlag)
646
			throw new Error(
647
					"ERROR: Cannot use a static CharStream class with a non-static lexical analyzer.");
648
		input_stream = stream;
649
	}
650
651
	/** Constructor. */
652
	public DOTParserTokenManager(SimpleCharStream stream, int lexState) {
653
		this(stream);
654 1 1. : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::SwitchTo → NO_COVERAGE
		SwitchTo(lexState);
655
	}
656
657
	/** Reinitialise parser. */
658
	public void ReInit(SimpleCharStream stream) {
659
		jjmatchedPos = jjnewStateCnt = 0;
660
		curLexState = defaultLexState;
661
		input_stream = stream;
662 1 1. ReInit : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::ReInitRounds → NO_COVERAGE
		ReInitRounds();
663
	}
664
665
	private void ReInitRounds() {
666
		int i;
667
		jjround = 0x80000001;
668 3 1. ReInitRounds : changed conditional boundary → NO_COVERAGE
2. ReInitRounds : Changed increment from -1 to 1 → NO_COVERAGE
3. ReInitRounds : negated conditional → NO_COVERAGE
		for (i = 28; i-- > 0;)
669
			jjrounds[i] = 0x80000000;
670
	}
671
672
	/** Reinitialise parser. */
673
	public void ReInit(SimpleCharStream stream, int lexState) {
674 1 1. ReInit : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::ReInit → NO_COVERAGE
		ReInit(stream);
675 1 1. ReInit : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::SwitchTo → NO_COVERAGE
		SwitchTo(lexState);
676
	}
677
678
	/** Switch to specified lex state. */
679
	public void SwitchTo(int lexState) {
680 4 1. SwitchTo : changed conditional boundary → NO_COVERAGE
2. SwitchTo : changed conditional boundary → NO_COVERAGE
3. SwitchTo : negated conditional → NO_COVERAGE
4. SwitchTo : negated conditional → NO_COVERAGE
		if (lexState >= 1 || lexState < 0)
681
			throw new TokenMgrError("Error: Ignoring invalid lexical state : "
682
					+ lexState + ". State unchanged.",
683
					TokenMgrError.INVALID_LEXICAL_STATE);
684
		else
685
			curLexState = lexState;
686
	}
687
688
	protected Token jjFillToken() {
689
		final Token t;
690
		final String curTokenImage;
691
		final int beginLine;
692
		final int endLine;
693
		final int beginColumn;
694
		final int endColumn;
695
		String im = jjstrLiteralImages[jjmatchedKind];
696 1 1. jjFillToken : negated conditional → NO_COVERAGE
		curTokenImage = (im == null) ? input_stream.GetImage() : im;
697
		beginLine = input_stream.getBeginLine();
698
		beginColumn = input_stream.getBeginColumn();
699
		endLine = input_stream.getEndLine();
700
		endColumn = input_stream.getEndColumn();
701
		t = Token.newToken(jjmatchedKind, curTokenImage);
702
703
		t.beginLine = beginLine;
704
		t.endLine = endLine;
705
		t.beginColumn = beginColumn;
706
		t.endColumn = endColumn;
707
708 1 1. jjFillToken : mutated return of Object value for org/graphstream/stream/file/dot/DOTParserTokenManager::jjFillToken to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
		return t;
709
	}
710
711
	int curLexState = 0;
712
	int defaultLexState = 0;
713
	int jjnewStateCnt;
714
	int jjround;
715
	int jjmatchedPos;
716
	int jjmatchedKind;
717
718
	/** Get the next Token. */
719
	public Token getNextToken() {
720
		Token matchedToken;
721
		int curPos = 0;
722
723
		EOFLoop: for (;;) {
724
			try {
725
				curChar = input_stream.BeginToken();
726
			} catch (java.io.IOException e) {
727
				jjmatchedKind = 0;
728
				matchedToken = jjFillToken();
729 1 1. getNextToken : mutated return of Object value for org/graphstream/stream/file/dot/DOTParserTokenManager::getNextToken to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
				return matchedToken;
730
			}
731
732
			try {
733 1 1. getNextToken : removed call to org/graphstream/util/parser/SimpleCharStream::backup → NO_COVERAGE
				input_stream.backup(0);
734 5 1. getNextToken : changed conditional boundary → NO_COVERAGE
2. getNextToken : Replaced Shift Left with Shift Right → NO_COVERAGE
3. getNextToken : Replaced bitwise AND with OR → NO_COVERAGE
4. getNextToken : negated conditional → NO_COVERAGE
5. getNextToken : negated conditional → NO_COVERAGE
				while (curChar <= 32 && (0x100002600L & (1L << curChar)) != 0L)
735
					curChar = input_stream.BeginToken();
736
			} catch (java.io.IOException e1) {
737
				continue EOFLoop;
738
			}
739
			jjmatchedKind = 0x7fffffff;
740
			jjmatchedPos = 0;
741
			curPos = jjMoveStringLiteralDfa0_0();
742 1 1. getNextToken : negated conditional → NO_COVERAGE
			if (jjmatchedKind != 0x7fffffff) {
743 3 1. getNextToken : changed conditional boundary → NO_COVERAGE
2. getNextToken : Replaced integer addition with subtraction → NO_COVERAGE
3. getNextToken : negated conditional → NO_COVERAGE
				if (jjmatchedPos + 1 < curPos)
744 3 1. getNextToken : Replaced integer subtraction with addition → NO_COVERAGE
2. getNextToken : Replaced integer subtraction with addition → NO_COVERAGE
3. getNextToken : removed call to org/graphstream/util/parser/SimpleCharStream::backup → NO_COVERAGE
					input_stream.backup(curPos - jjmatchedPos - 1);
745 5 1. getNextToken : Replaced Shift Right with Shift Left → NO_COVERAGE
2. getNextToken : Replaced bitwise AND with OR → NO_COVERAGE
3. getNextToken : Replaced Shift Left with Shift Right → NO_COVERAGE
4. getNextToken : Replaced bitwise AND with OR → NO_COVERAGE
5. getNextToken : negated conditional → NO_COVERAGE
				if ((jjtoToken[jjmatchedKind >> 6] & (1L << (jjmatchedKind & 077))) != 0L) {
746
					matchedToken = jjFillToken();
747 1 1. getNextToken : mutated return of Object value for org/graphstream/stream/file/dot/DOTParserTokenManager::getNextToken to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
					return matchedToken;
748
				} else {
749
					continue EOFLoop;
750
				}
751
			}
752
			int error_line = input_stream.getEndLine();
753
			int error_column = input_stream.getEndColumn();
754
			String error_after = null;
755
			boolean EOFSeen = false;
756
			try {
757
				input_stream.readChar();
758 1 1. getNextToken : removed call to org/graphstream/util/parser/SimpleCharStream::backup → NO_COVERAGE
				input_stream.backup(1);
759
			} catch (java.io.IOException e1) {
760
				EOFSeen = true;
761 2 1. getNextToken : changed conditional boundary → NO_COVERAGE
2. getNextToken : negated conditional → NO_COVERAGE
				error_after = curPos <= 1 ? "" : input_stream.GetImage();
762 2 1. getNextToken : negated conditional → NO_COVERAGE
2. getNextToken : negated conditional → NO_COVERAGE
				if (curChar == '\n' || curChar == '\r') {
763 1 1. getNextToken : Changed increment from 1 to -1 → NO_COVERAGE
					error_line++;
764
					error_column = 0;
765
				} else
766 1 1. getNextToken : Changed increment from 1 to -1 → NO_COVERAGE
					error_column++;
767
			}
768 1 1. getNextToken : negated conditional → NO_COVERAGE
			if (!EOFSeen) {
769 1 1. getNextToken : removed call to org/graphstream/util/parser/SimpleCharStream::backup → NO_COVERAGE
				input_stream.backup(1);
770 2 1. getNextToken : changed conditional boundary → NO_COVERAGE
2. getNextToken : negated conditional → NO_COVERAGE
				error_after = curPos <= 1 ? "" : input_stream.GetImage();
771
			}
772
			throw new TokenMgrError(EOFSeen, curLexState, error_line,
773
					error_column, error_after, curChar,
774
					TokenMgrError.LEXICAL_ERROR);
775
		}
776
	}
777
778
	private void jjCheckNAdd(int state) {
779 1 1. jjCheckNAdd : negated conditional → NO_COVERAGE
		if (jjrounds[state] != jjround) {
780 1 1. jjCheckNAdd : Replaced integer addition with subtraction → NO_COVERAGE
			jjstateSet[jjnewStateCnt++] = state;
781
			jjrounds[state] = jjround;
782
		}
783
	}
784
785
	private void jjAddStates(int start, int end) {
786
		do {
787 1 1. jjAddStates : Replaced integer addition with subtraction → NO_COVERAGE
			jjstateSet[jjnewStateCnt++] = jjnextStates[start];
788 2 1. jjAddStates : Changed increment from 1 to -1 → NO_COVERAGE
2. jjAddStates : negated conditional → NO_COVERAGE
		} while (start++ != end);
789
	}
790
791
	private void jjCheckNAddTwoStates(int state1, int state2) {
792 1 1. jjCheckNAddTwoStates : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE
		jjCheckNAdd(state1);
793 1 1. jjCheckNAddTwoStates : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE
		jjCheckNAdd(state2);
794
	}
795
796
	private void jjCheckNAddStates(int start, int end) {
797
		do {
798 1 1. jjCheckNAddStates : removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE
			jjCheckNAdd(jjnextStates[start]);
799 2 1. jjCheckNAddStates : Changed increment from 1 to -1 → NO_COVERAGE
2. jjCheckNAddStates : negated conditional → NO_COVERAGE
		} while (start++ != end);
800
	}
801
802
}

Mutations

52

1.1
Location : jjStopStringLiteralDfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

54

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

56

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

58

1.1
Location : jjStopStringLiteralDfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

61

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

63

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

65

1.1
Location : jjStopStringLiteralDfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

68

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

70

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

72

1.1
Location : jjStopStringLiteralDfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

73

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

74

1.1
Location : jjStopStringLiteralDfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

77

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

79

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

81

1.1
Location : jjStopStringLiteralDfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

82

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

83

1.1
Location : jjStopStringLiteralDfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

86

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

88

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

90

1.1
Location : jjStopStringLiteralDfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

93

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

95

1.1
Location : jjStopStringLiteralDfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

96

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

97

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

99

1.1
Location : jjStopStringLiteralDfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

100

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

101

1.1
Location : jjStopStringLiteralDfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

104

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

106

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

108

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

113

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

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

119

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

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

125

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

127

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

129

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

131

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

133

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

135

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

137

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

140

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

143

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

147

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

150

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

154

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

158

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

161

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

163

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

165

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

167

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

176

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

181

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

184

1.1
Location : jjMoveStringLiteralDfa1_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

185

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

186

1.1
Location : jjMoveStringLiteralDfa1_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

187

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

191

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

194

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

197

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

200

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

203

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

206

1.1
Location : jjMoveStringLiteralDfa1_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

207

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

208

1.1
Location : jjMoveStringLiteralDfa1_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

209

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

214

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

218

1.1
Location : jjMoveStringLiteralDfa2_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

219

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

224

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

229

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

232

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

235

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

238

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

241

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

245

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

249

1.1
Location : jjMoveStringLiteralDfa3_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

250

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

255

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

260

1.1
Location : jjMoveStringLiteralDfa3_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

261

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

262

1.1
Location : jjMoveStringLiteralDfa3_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

263

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

267

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

270

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

273

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

276

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

280

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

284

1.1
Location : jjMoveStringLiteralDfa4_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

285

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

290

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

295

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

298

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

301

1.1
Location : jjMoveStringLiteralDfa4_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

302

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

306

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

310

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

314

1.1
Location : jjMoveStringLiteralDfa5_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

315

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

320

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

325

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

328

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

331

1.1
Location : jjMoveStringLiteralDfa5_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

332

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

337

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

341

1.1
Location : jjMoveStringLiteralDfa6_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

342

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

347

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

352

1.1
Location : jjMoveStringLiteralDfa6_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

353

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

357

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

361

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

365

1.1
Location : jjMoveStringLiteralDfa7_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

366

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

371

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

376

1.1
Location : jjMoveStringLiteralDfa7_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

377

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

382

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

391

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

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

393

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

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

406

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

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

407

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::ReInitRounds → NO_COVERAGE

408

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

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

409

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced Shift Left with Shift Right → NO_COVERAGE

411

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

413

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

414

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

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

416

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE

417

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

418

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE

419

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

420

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE

421

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

422

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE

423

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

424

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE

425

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

426

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE

427

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

428

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE

431

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

432

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE

435

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

2.2
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

4.4
Location : jjMoveNfa_0
Killed by : none
negated conditional → NO_COVERAGE

439

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

440

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE

443

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

445

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

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

447

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE

450

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

451

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE

454

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

456

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

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

458

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE

462

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

463

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE

466

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

467

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE

470

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

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

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

474

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

475

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE

478

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

479

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE

482

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

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

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

486

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

488

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

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

490

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

493

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

494

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE

497

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

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

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

501

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

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

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

505

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

506

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE

509

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

510

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE

513

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

514

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE

517

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

518

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

521

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

522

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE

525

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

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

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

529

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

530

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

533

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

534

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddTwoStates → NO_COVERAGE

539

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

540

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

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

541

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

2.2
Location : jjMoveNfa_0
Killed by : none
Replaced Shift Left with Shift Right → NO_COVERAGE

543

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

546

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

548

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

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

550

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE

553

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE

556

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE

559

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

560

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

563

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE

567

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE

572

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

574

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

2.2
Location : jjMoveNfa_0
Killed by : none
Replaced Shift Right with Shift Left → NO_COVERAGE

575

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

2.2
Location : jjMoveNfa_0
Killed by : none
Replaced Shift Left with Shift Right → NO_COVERAGE

577

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

580

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

582

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

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

584

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE

587

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

588

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE

591

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

592

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE

595

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

596

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjAddStates → NO_COVERAGE

600

1.1
Location : jjMoveNfa_0
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

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

601

1.1
Location : jjMoveNfa_0
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAddStates → NO_COVERAGE

606

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

608

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

613

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

614

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

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

615

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

619

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

654

1.1
Location :
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::SwitchTo → NO_COVERAGE

662

1.1
Location : ReInit
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::ReInitRounds → NO_COVERAGE

668

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

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

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

674

1.1
Location : ReInit
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::ReInit → NO_COVERAGE

675

1.1
Location : ReInit
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::SwitchTo → NO_COVERAGE

680

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

2.2
Location : SwitchTo
Killed by : none
changed conditional boundary → NO_COVERAGE

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

4.4
Location : SwitchTo
Killed by : none
negated conditional → NO_COVERAGE

696

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

708

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

729

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

733

1.1
Location : getNextToken
Killed by : none
removed call to org/graphstream/util/parser/SimpleCharStream::backup → NO_COVERAGE

734

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

2.2
Location : getNextToken
Killed by : none
Replaced Shift Left with Shift Right → NO_COVERAGE

3.3
Location : getNextToken
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

4.4
Location : getNextToken
Killed by : none
negated conditional → NO_COVERAGE

5.5
Location : getNextToken
Killed by : none
negated conditional → NO_COVERAGE

742

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

743

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

2.2
Location : getNextToken
Killed by : none
Replaced integer addition with subtraction → NO_COVERAGE

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

744

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

2.2
Location : getNextToken
Killed by : none
Replaced integer subtraction with addition → NO_COVERAGE

3.3
Location : getNextToken
Killed by : none
removed call to org/graphstream/util/parser/SimpleCharStream::backup → NO_COVERAGE

745

1.1
Location : getNextToken
Killed by : none
Replaced Shift Right with Shift Left → NO_COVERAGE

2.2
Location : getNextToken
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

3.3
Location : getNextToken
Killed by : none
Replaced Shift Left with Shift Right → NO_COVERAGE

4.4
Location : getNextToken
Killed by : none
Replaced bitwise AND with OR → NO_COVERAGE

5.5
Location : getNextToken
Killed by : none
negated conditional → NO_COVERAGE

747

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

758

1.1
Location : getNextToken
Killed by : none
removed call to org/graphstream/util/parser/SimpleCharStream::backup → NO_COVERAGE

761

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

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

762

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

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

763

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

766

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

768

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

769

1.1
Location : getNextToken
Killed by : none
removed call to org/graphstream/util/parser/SimpleCharStream::backup → NO_COVERAGE

770

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

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

779

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

780

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

787

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

788

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

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

792

1.1
Location : jjCheckNAddTwoStates
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE

793

1.1
Location : jjCheckNAddTwoStates
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE

798

1.1
Location : jjCheckNAddStates
Killed by : none
removed call to org/graphstream/stream/file/dot/DOTParserTokenManager::jjCheckNAdd → NO_COVERAGE

799

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

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

Active mutators

Tests examined


Report generated by PIT 0.33