DoubleLinkedList.addBefore(Ljava.lang.Object;LDoubleLinkedList$Entry;)LDoubleLinkedList$Entry;
Coverage Report
- Method MAIN: Branch Coverage is 1/1=100%; Location Coverage is 11/11=100%;
- Method {|DoubleLinkedList$Entry.repOK()Z|}: Branch Coverage is 2/2=100%; Location Coverage is 10/10=100%;
- Method {|DoubleLinkedList.repOK()Z|}: Branch Coverage is 12/12=100%; Location Coverage is 51/51=100%;
- Method {|DoubleLinkedList.spex_M_addBefore(Ljava/lang/Object;LDoubleLinkedList$Entry;)LDoubleLinkedList$Entry;|}: Branch Coverage is 1/1=100%; Location Coverage is 31/31=100%;
- Method {|DoubleLinkedList.addBefore$Top(Ljava/lang/Object;LDoubleLinkedList$Entry;)LDoubleLinkedList$Entry;|}: Branch Coverage is 5/6=83%; Location Coverage is 39/42=92%;
- Method {|DoubleLinkedList.inList(LDoubleLinkedList$Entry;)Z|}: Branch Coverage is 6/6=100%; Location Coverage is 28/28=100%;
- Method {|DoubleLinkedList$Entry.nonNullPointers()Z|}: Branch Coverage is 4/4=100%; Location Coverage is 12/12=100%;
- Method {|DoubleLinkedList$Entry.(Ljava/lang/Object;LDoubleLinkedList$Entry;LDoubleLinkedList$Entry;)V|}: Branch Coverage is 1/1=100%; Location Coverage is 12/12=100%;
Graphs and JUnit
JUnit Test Suite:junit/AllAddBeforeTests.java
