ElementTags.java

1 
/*
2 
 * $Id: ElementTags.java 3533 2008-07-07 21:27:13Z Howard_s $
3 
 *
4 
 * Copyright (c) 2001, 2002 Bruno Lowagie.
5 
 *
6 
 * The contents of this file are subject to the Mozilla Public License Version 1.1
7 
 * (the "License"); you may not use this file except in compliance with the License.
8 
 * You may obtain a copy of the License at http://www.mozilla.org/MPL/
9 
 *
10 
 * Software distributed under the License is distributed on an "AS IS" basis,
11 
 * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
12 
 * for the specific language governing rights and limitations under the License.
13 
 *
14 
 * The Original Code is 'iText, a free JAVA-PDF library'.
15 
 *
16 
 * The Initial Developer of the Original Code is Bruno Lowagie. Portions created by
17 
 * the Initial Developer are Copyright (C) 1999, 2000, 2001, 2002 by Bruno Lowagie.
18 
 * All Rights Reserved.
19 
 * Co-Developer of the code is Paulo Soares. Portions created by the Co-Developer
20 
 * are Copyright (C) 2000, 2001, 2002 by Paulo Soares. All Rights Reserved.
21 
 *
22 
 * Contributor(s): all the names of the contributors are added in the source code
23 
 * where applicable.
24 
 *
25 
 * Alternatively, the contents of this file may be used under the terms of the
26 
 * LGPL license (the "GNU LIBRARY GENERAL PUBLIC LICENSE"), in which case the
27 
 * provisions of LGPL are applicable instead of those above.  If you wish to
28 
 * allow use of your version of this file only under the terms of the LGPL
29 
 * License and not to allow others to use your version of this file under
30 
 * the MPL, indicate your decision by deleting the provisions above and
31 
 * replace them with the notice and other provisions required by the LGPL.
32 
 * If you do not delete the provisions above, a recipient may use your version
33 
 * of this file under either the MPL or the GNU LIBRARY GENERAL PUBLIC LICENSE.
34 
 *
35 
 * This library is free software; you can redistribute it and/or modify it
36 
 * under the terms of the MPL as stated above or under the terms of the GNU
37 
 * Library General Public License as published by the Free Software Foundation;
38 
 * either version 2 of the License, or any later version.
39 
 *
40 
 * This library is distributed in the hope that it will be useful, but WITHOUT
41 
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
42 
 * FOR A PARTICULAR PURPOSE. See the GNU Library general Public License for more
43 
 * details.
44 
 *
45 
 * Contributions by:
46 
 * Lubos Strapko
47 
 *
48 
 * If you didn't download this code from the following link, you should check if
49 
 * you aren't using an obsolete version:
50 
 * http://www.lowagie.com/iText/
51 
 */
52
53 
package com.lowagie.text;
54
55 
import java.util.Locale;
56
57 
/**
58 
 * A class that contains all the possible tagnames and their attributes.
59 
 */
60
61 
public class ElementTags {
62
63 
    /** the root tag. */
64 
    public static final String ITEXT = "itext";
65
66 
    /** attribute of the root and annotation tag (also a special tag within a chapter or section) */
67 
    public static final String TITLE = "title";
68
69 
    /** attribute of the root tag */
70 
    public static final String SUBJECT = "subject";
71
72 
    /** attribute of the root tag */
73 
    public static final String KEYWORDS = "keywords";
74
75 
    /** attribute of the root tag */
76 
    public static final String AUTHOR = "author";
77
78 
    /** attribute of the root tag */
79 
    public static final String CREATIONDATE = "creationdate";
80
81 
    /** attribute of the root tag */
82 
    public static final String PRODUCER = "producer";
83
84 
    // Chapters and Sections
85
86 
    /** the chapter tag */
87 
    public static final String CHAPTER = "chapter";
88
89 
    /** the section tag */
90 
    public static final String SECTION = "section";
91
92 
    /** attribute of section/chapter tag */
93 
    public static final String NUMBERDEPTH = "numberdepth";
94
95 
    /** attribute of section/chapter tag */
96 
    public static final String DEPTH = "depth";
97
98 
    /** attribute of section/chapter tag */
99 
    public static final String NUMBER = "number";
100
101 
    /** attribute of section/chapter tag */
102 
    public static final String INDENT = "indent";
103
104 
    /** attribute of chapter/section/paragraph/table/cell tag */
105 
    public static final String LEFT = "left";
106
107 
    /** attribute of chapter/section/paragraph/table/cell tag */
108 
    public static final String RIGHT = "right";
109
110 
    // Phrases, Anchors, Lists and Paragraphs
111
112 
    /** the phrase tag */
113 
    public static final String PHRASE = "phrase";
114
115 
    /** the anchor tag */
116 
    public static final String ANCHOR = "anchor";
117
118 
    /** the list tag */
119 
    public static final String LIST = "list";
120
121 
    /** the listitem tag */
122 
    public static final String LISTITEM = "listitem";
123
124 
    /** the paragraph tag */
125 
    public static final String PARAGRAPH = "paragraph";
126
127 
    /** attribute of phrase/paragraph/cell tag */
128 
    public static final String LEADING = "leading";
129
130 
    /** attribute of paragraph/image/table tag */
131 
    public static final String ALIGN = "align";
132
133 
    /** attribute of paragraph */
134 
    public static final String KEEPTOGETHER = "keeptogether";
135
136 
    /** attribute of anchor tag */
137 
    public static final String NAME = "name";
138
139 
    /** attribute of anchor tag */
140 
    public static final String REFERENCE = "reference";
141
142 
    /** attribute of list tag */
143 
    public static final String LISTSYMBOL = "listsymbol";
144
145 
    /** attribute of list tag */
146 
    public static final String NUMBERED = "numbered";
147
148 
    /** attribute of the list tag */
149 
    public static final String LETTERED = "lettered";
150
151 
    /** attribute of list tag */
152 
    public static final String FIRST = "first";
153
154 
    /** attribute of list tag */
155 
    public static final String SYMBOLINDENT = "symbolindent";
156
157 
    /** attribute of list tag */
158 
    public static final String INDENTATIONLEFT = "indentationleft";
159
160 
    /** attribute of list tag */
161 
    public static final String INDENTATIONRIGHT = "indentationright";
162
163 
    // Chunks
164
165 
    /** the chunk tag */
166 
    public static final String IGNORE = "ignore";
167
168 
    /** the chunk tag */
169 
    public static final String ENTITY = "entity";
170
171 
    /** the chunk tag */
172 
    public static final String ID = "id";
173
174 
    /** the chunk tag */
175 
    public static final String CHUNK = "chunk";
176
177 
    /** attribute of the chunk tag */
178 
    public static final String ENCODING = "encoding";
179
180 
    /** attribute of the chunk tag */
181 
    public static final String EMBEDDED = "embedded";
182
183 
    /** attribute of the chunk/table/cell tag */
184 
    public static final String COLOR = "color";
185
186 
    /** attribute of the chunk/table/cell tag */
187 
    public static final String RED = "red";
188
189 
    /** attribute of the chunk/table/cell tag */
190 
    public static final String GREEN = "green";
191
192 
    /** attribute of the chunk/table/cell tag */
193 
    public static final String BLUE = "blue";
194
195 
    /** attribute of the chunk tag */
196 
    public static final String SUBSUPSCRIPT = Chunk.SUBSUPSCRIPT.toLowerCase(Locale.ROOT);
197
198 
    /** attribute of the chunk tag */
199 
    public static final String LOCALGOTO = Chunk.LOCALGOTO.toLowerCase(Locale.ROOT);
200
201 
    /** attribute of the chunk tag */
202 
    public static final String REMOTEGOTO = Chunk.REMOTEGOTO.toLowerCase(Locale.ROOT);
203
204 
    /** attribute of the chunk tag */
205 
    public static final String LOCALDESTINATION = Chunk.LOCALDESTINATION.toLowerCase(Locale.ROOT);
206
207 
    /** attribute of the chunk tag */
208 
    public static final String GENERICTAG = Chunk.GENERICTAG.toLowerCase(Locale.ROOT);
209
210 
    // tables/cells
211
212 
    /** the table tag */
213 
    public static final String TABLE = "table";
214
215 
    /** the cell tag */
216 
    public static final String ROW = "row";
217
218 
    /** the cell tag */
219 
    public static final String CELL = "cell";
220
221 
    /** attribute of the table tag */
222 
    public static final String COLUMNS = "columns";
223
224 
    /** attribute of the table tag */
225 
    public static final String LASTHEADERROW = "lastHeaderRow";
226
227 
    /** attribute of the table tag */
228 
    public static final String CELLPADDING = "cellpadding";
229
230 
    /** attribute of the table tag */
231 
    public static final String CELLSPACING = "cellspacing";
232
233 
    /** attribute of the table tag */
234 
    public static final String OFFSET = "offset";
235
236 
    /** attribute of the table tag */
237 
    public static final String WIDTHS = "widths";
238
239 
    /** attribute of the table tag */
240 
    public static final String TABLEFITSPAGE = "tablefitspage";
241
242 
    /** attribute of the table tag */
243 
    public static final String CELLSFITPAGE = "cellsfitpage";
244
245 
    /** attribute of the table tag */
246 
    public static final String CONVERT2PDFP = "convert2pdfp";
247
248 
    /** attribute of the cell tag */
249 
    public static final String HORIZONTALALIGN = "horizontalalign";
250
251 
    /** attribute of the cell tag */
252 
    public static final String VERTICALALIGN = "verticalalign";
253
254 
    /** attribute of the cell tag */
255 
    public static final String COLSPAN = "colspan";
256
257 
    /** attribute of the cell tag */
258 
    public static final String ROWSPAN = "rowspan";
259
260 
    /** attribute of the cell tag */
261 
    public static final String HEADER = "header";
262
263 
    /** attribute of the cell tag */
264 
    public static final String NOWRAP = "nowrap";
265
266 
    /** attribute of the table/cell tag */
267 
    public static final String BORDERWIDTH = "borderwidth";
268
269 
    /** attribute of the table/cell tag */
270 
    public static final String TOP = "top";
271
272 
    /** attribute of the table/cell tag */
273 
    public static final String BOTTOM = "bottom";
274
275 
    /** attribute of the table/cell tag */
276 
    public static final String WIDTH = "width";
277
278 
    /** attribute of the table/cell tag */
279 
    public static final String BORDERCOLOR = "bordercolor";
280
281 
    /** attribute of the table/cell tag */
282 
    public static final String BACKGROUNDCOLOR = "backgroundcolor";
283
284 
    /** attribute of the table/cell tag */
285 
    public static final String BGRED = "bgred";
286
287 
    /** attribute of the table/cell tag */
288 
    public static final String BGGREEN = "bggreen";
289
290 
    /** attribute of the table/cell tag */
291 
    public static final String BGBLUE = "bgblue";
292
293 
    /** attribute of the table/cell tag */
294 
    public static final String GRAYFILL = "grayfill";
295
296 
    // Misc
297
298 
    /** the image tag */
299 
    public static final String IMAGE = "image";
300
301 
    /** attribute of the image and annotation tag */
302 
    public static final String URL = "url";
303
304 
    /** attribute of the image tag */
305 
    public static final String UNDERLYING = "underlying";
306
307 
    /** attribute of the image tag */
308 
    public static final String TEXTWRAP = "textwrap";
309
310 
    /** attribute of the image tag */
311 
    public static final String ALT = "alt";
312
313 
    /** attribute of the image tag */
314 
    public static final String ABSOLUTEX = "absolutex";
315
316 
    /** attribute of the image tag */
317 
    public static final String ABSOLUTEY = "absolutey";
318
319 
    /** attribute of the image tag */
320 
    public static final String PLAINWIDTH = "plainwidth";
321
322 
    /** attribute of the image tag */
323 
    public static final String PLAINHEIGHT = "plainheight";
324
325 
    /** attribute of the image tag */
326 
    public static final String SCALEDWIDTH = "scaledwidth";
327
328 
    /** attribute of the image tag */
329 
    public static final String SCALEDHEIGHT = "scaledheight";
330
331 
    /** attribute of the image tag */
332 
    public static final String  ROTATION = "rotation";
333
334 
    /** the newpage tag */
335 
    public static final String NEWPAGE = "newpage";
336
337 
    /** the newpage tag */
338 
    public static final String NEWLINE = "newline";
339
340 
    /** the annotation tag */
341 
    public static final String ANNOTATION = "annotation";
342
343 
    /** attribute of the annotation tag */
344 
    public static final String FILE = "file";
345
346 
    /** attribute of the annotation tag */
347 
    public static final String DESTINATION = "destination";
348
349 
    /** attribute of the annotation tag */
350 
    public static final String PAGE = "page";
351
352 
    /** attribute of the annotation tag */
353 
    public static final String NAMED = "named";
354
355 
    /** attribute of the annotation tag */
356 
    public static final String APPLICATION = "application";
357
358 
    /** attribute of the annotation tag */
359 
    public static final String PARAMETERS = "parameters";
360
361 
    /** attribute of the annotation tag */
362 
    public static final String OPERATION = "operation";
363
364 
    /** attribute of the annotation tag */
365 
    public static final String DEFAULTDIR = "defaultdir";
366
367 
    /** attribute of the annotation tag */
368 
    public static final String LLX = "llx";
369
370 
    /** attribute of the annotation tag */
371 
    public static final String LLY = "lly";
372
373 
    /** attribute of the annotation tag */
374 
    public static final String URX = "urx";
375
376 
    /** attribute of the annotation tag */
377 
    public static final String URY = "ury";
378
379 
    /** attribute of the annotation tag */
380 
    public static final String CONTENT = "content";
381
382 
    // alignment attribute values
383
384 
    /** the possible value of an alignment attribute */
385 
    public static final String ALIGN_LEFT = "Left";
386
387 
    /** the possible value of an alignment attribute */
388 
    public static final String ALIGN_CENTER = "Center";
389
390 
    /** the possible value of an alignment attribute */
391 
    public static final String ALIGN_RIGHT = "Right";
392
393 
    /** the possible value of an alignment attribute */
394 
    public static final String ALIGN_JUSTIFIED = "Justify";
395
396 
    /** the possible value of an alignment attribute */
397 
    public static final String ALIGN_JUSTIFIED_ALL = "JustifyAll";
398
399 
    /** the possible value of an alignment attribute */
400 
    public static final String ALIGN_TOP = "Top";
401
402 
    /** the possible value of an alignment attribute */
403 
    public static final String ALIGN_MIDDLE = "Middle";
404
405 
    /** the possible value of an alignment attribute */
406 
    public static final String ALIGN_BOTTOM = "Bottom";
407
408 
    /** the possible value of an alignment attribute */
409 
    public static final String ALIGN_BASELINE = "Baseline";
410
411 
    /** the possible value of an alignment attribute */
412 
    public static final String DEFAULT = "Default";
413
414 
    /** the possible value of an alignment attribute */
415 
    public static final String UNKNOWN = "unknown";
416
417 
    /** the possible value of an alignment attribute */
418 
    public static final String FONT = "font";
419
420 
    /** the possible value of an alignment attribute */
421 
    public static final String SIZE = "size";
422
423 
    /** the possible value of an alignment attribute */
424 
    public static final String STYLE = "fontstyle";
425
426 
    /** the possible value of a tag */
427 
    public static final String HORIZONTALRULE = "horizontalrule";
428
429 
    /** the possible value of a tag */
430 
    public static final String PAGE_SIZE  = "pagesize";
431
432 
    /** the possible value of a tag */
433 
    public static final String ORIENTATION  = "orientation";
434
435 
    /** a possible list attribute */
436 
    public static final String ALIGN_INDENTATION_ITEMS = "alignindent";
437
438 
    /** a possible list attribute */
439 
    public static final String AUTO_INDENT_ITEMS = "autoindent";
440
441 
    /** a possible list attribute */
442 
    public static final String LOWERCASE = "lowercase";
443 
   /**
444 
    * a possible list attribute
445 
    * @since 2.1.3
446 
    */
447 
   public static final String FACE = "face";
448
449 
   /** attribute of the image or iframe tag
450 
    * @since 2.1.3
451 
    */
452 
   public static final String SRC = "src";
453
454
455 
    // methods
456
457 
    /**
458 
     * Translates the alignment value to a String value.
459 
     *
460 
     * @param   alignment   the alignment value
461 
     * @return  the translated value
462 
     */
463 
    public static String getAlignment(int alignment) {
464 
        switch(alignment) {
465 
            case Element.ALIGN_LEFT:
466 1 1. getAlignment : mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
 
                return ALIGN_LEFT;
467 
            case Element.ALIGN_CENTER:
468 1 1. getAlignment : mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
 
                return ALIGN_CENTER;
469 
            case Element.ALIGN_RIGHT:
470 1 1. getAlignment : mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
 
                return ALIGN_RIGHT;
471 
            case Element.ALIGN_JUSTIFIED:
472 
            case Element.ALIGN_JUSTIFIED_ALL:
473 1 1. getAlignment : mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
 
                return ALIGN_JUSTIFIED;
474 
            case Element.ALIGN_TOP:
475 1 1. getAlignment : mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
 
                return ALIGN_TOP;
476 
            case Element.ALIGN_MIDDLE:
477 1 1. getAlignment : mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
 
                return ALIGN_MIDDLE;
478 
            case Element.ALIGN_BOTTOM:
479 1 1. getAlignment : mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
 
                return ALIGN_BOTTOM;
480 
            case Element.ALIGN_BASELINE:
481 1 1. getAlignment : mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
 
                return ALIGN_BASELINE;
482 
                default:
483 1 1. getAlignment : mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
 
                    return DEFAULT;
484 
        }
485 
    }
486
487 
    /**
488 
     * Translates a String value to an alignment value.
489 
     * (written by Norman Richards, integrated into iText by Bruno)
490 
     * @param    alignment a String (one of the ALIGN_ constants of this class)
491 
     * @return    an alignment value (one of the ALIGN_ constants of the Element interface)
492 
     */
493 
    public static int alignmentValue(String alignment) {
494 2 1. alignmentValue : negated conditional → SURVIVED
2. alignmentValue : replaced return of integer sized value with (x == 0 ? 1 : 0) → SURVIVED
 
        if (alignment == null) return Element.ALIGN_UNDEFINED;
495 1 1. alignmentValue : negated conditional → NO_COVERAGE
 
        if (ALIGN_CENTER.equalsIgnoreCase(alignment)) {
496 1 1. alignmentValue : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
 
            return Element.ALIGN_CENTER;
497 
        }
498 1 1. alignmentValue : negated conditional → NO_COVERAGE
 
        if (ALIGN_LEFT.equalsIgnoreCase(alignment)) {
499 1 1. alignmentValue : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
 
            return Element.ALIGN_LEFT;
500 
        }
501 1 1. alignmentValue : negated conditional → NO_COVERAGE
 
        if (ALIGN_RIGHT.equalsIgnoreCase(alignment)) {
502 1 1. alignmentValue : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
 
            return Element.ALIGN_RIGHT;
503 
        }
504 1 1. alignmentValue : negated conditional → NO_COVERAGE
 
        if (ALIGN_JUSTIFIED.equalsIgnoreCase(alignment)) {
505 1 1. alignmentValue : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
 
            return Element.ALIGN_JUSTIFIED;
506 
        }
507 1 1. alignmentValue : negated conditional → NO_COVERAGE
 
        if (ALIGN_JUSTIFIED_ALL.equalsIgnoreCase(alignment)) {
508 1 1. alignmentValue : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
 
            return Element.ALIGN_JUSTIFIED_ALL;
509 
        }
510 1 1. alignmentValue : negated conditional → NO_COVERAGE
 
        if (ALIGN_TOP.equalsIgnoreCase(alignment)) {
511 1 1. alignmentValue : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
 
            return Element.ALIGN_TOP;
512 
        }
513 1 1. alignmentValue : negated conditional → NO_COVERAGE
 
        if (ALIGN_MIDDLE.equalsIgnoreCase(alignment)) {
514 1 1. alignmentValue : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
 
            return Element.ALIGN_MIDDLE;
515 
        }
516 1 1. alignmentValue : negated conditional → NO_COVERAGE
 
        if (ALIGN_BOTTOM.equalsIgnoreCase(alignment)) {
517 1 1. alignmentValue : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
 
            return Element.ALIGN_BOTTOM;
518 
        }
519 1 1. alignmentValue : negated conditional → NO_COVERAGE
 
        if (ALIGN_BASELINE.equalsIgnoreCase(alignment)) {
520 1 1. alignmentValue : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
 
            return Element.ALIGN_BASELINE;
521 
        }
522 1 1. alignmentValue : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
 
        return Element.ALIGN_UNDEFINED;
523 
    }
524 
}

Mutations

466

1.1
Location : getAlignment
Killed by : none mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
468

1.1
Location : getAlignment
Killed by : none mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
470

1.1
Location : getAlignment
Killed by : none mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
473

1.1
Location : getAlignment
Killed by : none mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
475

1.1
Location : getAlignment
Killed by : none mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
477

1.1
Location : getAlignment
Killed by : none mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
479

1.1
Location : getAlignment
Killed by : none mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
481

1.1
Location : getAlignment
Killed by : none mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
483

1.1
Location : getAlignment
Killed by : none mutated return of Object value for com/lowagie/text/ElementTags::getAlignment to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
494

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

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

1.1
Location : alignmentValue
Killed by : none negated conditional → NO_COVERAGE
496

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

1.1
Location : alignmentValue
Killed by : none negated conditional → NO_COVERAGE
499

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

1.1
Location : alignmentValue
Killed by : none negated conditional → NO_COVERAGE
502

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

1.1
Location : alignmentValue
Killed by : none negated conditional → NO_COVERAGE
505

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

1.1
Location : alignmentValue
Killed by : none negated conditional → NO_COVERAGE
508

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

1.1
Location : alignmentValue
Killed by : none negated conditional → NO_COVERAGE
511

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

1.1
Location : alignmentValue
Killed by : none negated conditional → NO_COVERAGE
514

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

1.1
Location : alignmentValue
Killed by : none negated conditional → NO_COVERAGE
517

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

1.1
Location : alignmentValue
Killed by : none negated conditional → NO_COVERAGE
520

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

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

Active mutators

Tests examined


Report generated by PIT 1.4.2