PairSubstitutingDoublyLinkedList.kt

1
package com.github.sanity.pav
2
3
import java.util.*
4
5
/**
6
 * A doubly-linked-list with functionality that is particularly useful for implementing the
7
 * pool-adjacent violators algorithm.  Specifically, supports iterating through the list while replacing
8
 * pairs of elements in the list.
9
 */
10
11
/*
12
 Before replacement:
13
        p   n
14
    A   B   C   D
15
          |
16
17
 After replacement:
18
    p   n
19
    A   X   D
20
      |
21
 */
22
23 3 1. getNext : mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList::getNext to ( if (x != null) null else throw new RuntimeException ) → SURVIVED
2. getPrevious : mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList::getPrevious to ( if (x != null) null else throw new RuntimeException ) → KILLED
3. getValue : mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList::getValue to ( if (x != null) null else throw new RuntimeException ) → KILLED
class PairSubstitutingDoublyLinkedList<V>(var value: V, var previous: PairSubstitutingDoublyLinkedList<V>? = null, var next: PairSubstitutingDoublyLinkedList<V>? = null) {
24
25
    companion object {
26
27
        fun <V> createFromList(list: List<V>): PairSubstitutingDoublyLinkedList<V> {
28 1 1. createFromList : negated conditional → KILLED
            if (list.isEmpty()) {
29
                throw IllegalArgumentException("Cannot create PairSubstitutingDoublyLinkedList with empty list")
30
            } else {
31
                val mcArray = list.map { PairSubstitutingDoublyLinkedList(it) }.toTypedArray()
32 5 1. createFromList : changed conditional boundary → SURVIVED
2. createFromList : Changed increment from 1 to -1 → TIMED_OUT
3. createFromList : Replaced integer subtraction with addition → KILLED
4. createFromList : negated conditional → KILLED
5. createFromList : negated conditional → KILLED
                for (i in mcArray.indices) {
33 2 1. createFromList : changed conditional boundary → KILLED
2. createFromList : negated conditional → KILLED
                    if (i > 0) {
34 2 1. createFromList : Replaced integer subtraction with addition → KILLED
2. createFromList : removed call to com/github/sanity/pav/PairSubstitutingDoublyLinkedList::setNext → KILLED
                        mcArray[i - 1].next = mcArray[i]
35 2 1. createFromList : Replaced integer subtraction with addition → KILLED
2. createFromList : removed call to com/github/sanity/pav/PairSubstitutingDoublyLinkedList::setPrevious → KILLED
                        mcArray[i].previous = mcArray[i - 1]
36
                    }
37
                }
38 1 1. createFromList : mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList$Companion::createFromList to ( if (x != null) null else throw new RuntimeException ) → KILLED
                return mcArray[0]
39
            }
40
        }
41
    }
42
43
    class Cursor<V>(private val after: PairSubstitutingDoublyLinkedList<V>) {
44
        val previousValue: V?
45 2 1. getPreviousValue : negated conditional → KILLED
2. getPreviousValue : mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList$Cursor::getPreviousValue to ( if (x != null) null else throw new RuntimeException ) → KILLED
            get() = after.previous?.value
46
        val nextValue: V
47 1 1. getNextValue : mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList$Cursor::getNextValue to ( if (x != null) null else throw new RuntimeException ) → KILLED
            get() = after.value
48
    }
49
50
    /**
51
     * Iterate through the list.  The cursor is positioned between two elements unless at the first element.  The
52
     * cursor can be used to retrieve the element before or after the cursor.
53
     *
54
     * The handler may optionally return a value, if it does this value will replace the elements before and after the cursor,
55
     * and the cursor will be repositioned before the new replacement element.
56
     */
57
    fun iterate(handler: (Cursor<V>) -> V?) {
58
        var afterCursor: PairSubstitutingDoublyLinkedList<V>? = this
59 1 1. iterate : negated conditional → KILLED
        while (afterCursor != null) {
60
            val cursor = Cursor<V>(afterCursor)
61
            val replacementValue = handler(cursor)
62 1 1. iterate : negated conditional → KILLED
            if (replacementValue != null) {
63
                /*
64
                 Before replacement:
65
                        p   n
66
                    A   B   C   D
67
                          |
68
69
                 After replacement:
70
                    p   n
71
                    A   X   D
72
                      |
73
                */
74
                val C = afterCursor
75
                val B = afterCursor.previous
76 1 1. iterate : negated conditional → KILLED
                if (B == null) throw IllegalArgumentException("Cannot replace values at start of chain")
77
                val D = C.next
78
                B.value = replacementValue; val X = B;
79 1 1. iterate : negated conditional → KILLED
                X.next = D; if (D != null) D.previous = X
80
                afterCursor = X
81
            } else {
82
                afterCursor = afterCursor.next
83
            }
84
85
        }
86
    }
87
88
    /**
89
     * Transform the PairSubstitutingDoublyLinkedList into a List
90
     */
91
    fun toArrayList(): List<V> {
92
        val arrayList = ArrayList<V>()
93 1 1. toArrayList : removed call to com/github/sanity/pav/PairSubstitutingDoublyLinkedList::iterate → KILLED
        iterate {
94
            arrayList.add(it.nextValue)
95 1 1. invoke : mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList$toArrayList$1::invoke to ( if (x != null) null else throw new RuntimeException ) → KILLED
            null
96
        }
97 1 1. toArrayList : mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList::toArrayList to ( if (x != null) null else throw new RuntimeException ) → KILLED
        return arrayList
98
    }
99
100
    /**
101
     * Check that the bi-directonal links are consistent, this is used for testing purposes
102
     * and should never return anything but *true*
103
     */
104
    internal fun checkListIntegrity() : Boolean {
105
        var mc: PairSubstitutingDoublyLinkedList<V>? = this
106 1 1. checkListIntegrity$pair_adjacent_violators_compileKotlin : negated conditional → SURVIVED
        while (mc != null) {
107
            val previous = mc.previous
108 3 1. checkListIntegrity$pair_adjacent_violators_compileKotlin : Replaced XOR with AND → KILLED
2. checkListIntegrity$pair_adjacent_violators_compileKotlin : negated conditional → KILLED
3. checkListIntegrity$pair_adjacent_violators_compileKotlin : negated conditional → KILLED
            if (previous != null && previous.next != mc) {
109 1 1. checkListIntegrity$pair_adjacent_violators_compileKotlin : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE
                return false
110
            }
111
            mc = mc.next
112
        }
113 1 1. checkListIntegrity$pair_adjacent_violators_compileKotlin : replaced return of integer sized value with (x == 0 ? 1 : 0) → KILLED
        return true
114
    }
115
116 1 1. toString : mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList::toString to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE
    override fun toString() = "MC[$value]"
117
}
118

Mutations

23

1.1
Location : getNext
Killed by : none
mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList::getNext to ( if (x != null) null else throw new RuntimeException ) → SURVIVED

2.2
Location : getPrevious
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList::getPrevious to ( if (x != null) null else throw new RuntimeException ) → KILLED

3.3
Location : getValue
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList::getValue to ( if (x != null) null else throw new RuntimeException ) → KILLED

28

1.1
Location : createFromList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
negated conditional → KILLED

32

1.1
Location : createFromList
Killed by : none
changed conditional boundary → SURVIVED

2.2
Location : createFromList
Killed by : none
Changed increment from 1 to -1 → TIMED_OUT

3.3
Location : createFromList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
Replaced integer subtraction with addition → KILLED

4.4
Location : createFromList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
negated conditional → KILLED

5.5
Location : createFromList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
negated conditional → KILLED

33

1.1
Location : createFromList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
changed conditional boundary → KILLED

2.2
Location : createFromList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
negated conditional → KILLED

34

1.1
Location : createFromList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
Replaced integer subtraction with addition → KILLED

2.2
Location : createFromList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
removed call to com/github/sanity/pav/PairSubstitutingDoublyLinkedList::setNext → KILLED

35

1.1
Location : createFromList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
Replaced integer subtraction with addition → KILLED

2.2
Location : createFromList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
removed call to com/github/sanity/pav/PairSubstitutingDoublyLinkedList::setPrevious → KILLED

38

1.1
Location : createFromList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList$Companion::createFromList to ( if (x != null) null else throw new RuntimeException ) → KILLED

45

1.1
Location : getPreviousValue
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
negated conditional → KILLED

2.2
Location : getPreviousValue
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList$Cursor::getPreviousValue to ( if (x != null) null else throw new RuntimeException ) → KILLED

47

1.1
Location : getNextValue
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList$Cursor::getNextValue to ( if (x != null) null else throw new RuntimeException ) → KILLED

59

1.1
Location : iterate
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
negated conditional → KILLED

62

1.1
Location : iterate
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
negated conditional → KILLED

76

1.1
Location : iterate
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
negated conditional → KILLED

79

1.1
Location : iterate
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
negated conditional → KILLED

93

1.1
Location : toArrayList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
removed call to com/github/sanity/pav/PairSubstitutingDoublyLinkedList::iterate → KILLED

95

1.1
Location : invoke
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList$toArrayList$1::invoke to ( if (x != null) null else throw new RuntimeException ) → KILLED

97

1.1
Location : toArrayList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList::toArrayList to ( if (x != null) null else throw new RuntimeException ) → KILLED

106

1.1
Location : checkListIntegrity$pair_adjacent_violators_compileKotlin
Killed by : none
negated conditional → SURVIVED

108

1.1
Location : checkListIntegrity$pair_adjacent_violators_compileKotlin
Killed by : com.github.sanity.pav.PairSubstitutingDoublyLinkedListSpec.com.github.sanity.pav.PairSubstitutingDoublyLinkedListSpec
Replaced XOR with AND → KILLED

2.2
Location : checkListIntegrity$pair_adjacent_violators_compileKotlin
Killed by : com.github.sanity.pav.PairSubstitutingDoublyLinkedListSpec.com.github.sanity.pav.PairSubstitutingDoublyLinkedListSpec
negated conditional → KILLED

3.3
Location : checkListIntegrity$pair_adjacent_violators_compileKotlin
Killed by : com.github.sanity.pav.PairSubstitutingDoublyLinkedListSpec.com.github.sanity.pav.PairSubstitutingDoublyLinkedListSpec
negated conditional → KILLED

109

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

113

1.1
Location : checkListIntegrity$pair_adjacent_violators_compileKotlin
Killed by : com.github.sanity.pav.PairSubstitutingDoublyLinkedListSpec.com.github.sanity.pav.PairSubstitutingDoublyLinkedListSpec
replaced return of integer sized value with (x == 0 ? 1 : 0) → KILLED

116

1.1
Location : toString
Killed by : none
mutated return of Object value for com/github/sanity/pav/PairSubstitutingDoublyLinkedList::toString to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE

121

1.1
Location : createFromList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
negated conditional → KILLED

125

1.1
Location : createFromList
Killed by : com.github.sanity.pav.PairAdjacentViolatorsSpec.com.github.sanity.pav.PairAdjacentViolatorsSpec
negated conditional → KILLED

Active mutators

Tests examined


Report generated by PIT 1.1.10