AvlTree.insert(Ljava.lang.Comparable;)V

Coverage Report

Method {|AvlTree.ordered(LAvlNode;Lcomparable/ComparableRange;)Z|}: Branch Coverage is 11/12=91%; Location Coverage is 61/61=100%;
Method MAIN: Branch Coverage is 1/1=100%; Location Coverage is 11/11=100%;
Method {|comparator.LinkedNode.()V|}: Branch Coverage is 1/1=100%; Location Coverage is 3/3=100%;
Method {|AvlTree.balanced(LAvlNode;)Z|}: Branch Coverage is 10/12=83%; Location Coverage is 53/53=100%;
Method {|AvlTree.rotateWithRightChild(LAvlNode;)LAvlNode;|}: Branch Coverage is 1/1=100%; Location Coverage is 43/43=100%;
Method {|AvlTree.acyclic(Lcomparator/LinkedList;LAvlNode;)Z|}: Branch Coverage is 8/8=100%; Location Coverage is 40/40=100%;
Method {|AvlTree.max(II)I|}: Branch Coverage is 2/2=100%; Location Coverage is 8/8=100%;
Method {|AvlTree.doubleWithLeftChild(LAvlNode;)LAvlNode;|}: Branch Coverage is 1/1=100%; Location Coverage is 12/12=100%;
Method {|AvlTree.insert$Top(Ljava/lang/Comparable;)V|}: Branch Coverage is 21/32=65%; Location Coverage is 128/132=96%;
Method {|comparable.ComparableRange.()V|}: Branch Coverage is 1/1=100%; Location Coverage is 8/8=100%;
Method {|comparable.ComparableRange.setLower(Ljava/lang/Comparable;)Lcomparable/ComparableRange;|}: Branch Coverage is 4/6=66%; Location Coverage is 26/31=83%;
Method {|AvlTree.insert(Ljava/lang/Comparable;LAvlNode;)LAvlNode;|}: Branch Coverage is 14/14=100%; Location Coverage is 134/134=100%;
Method {|AvlNode.(Ljava/lang/Comparable;LAvlNode;LAvlNode;)V|}: Branch Coverage is 1/1=100%; Location Coverage is 15/15=100%;
Method {|AvlTree.rotateWithLeftChild(LAvlNode;)LAvlNode;|}: Branch Coverage is 1/1=100%; Location Coverage is 43/43=100%;
Method {|edu.ksu.cis.projects.spex.java.SpExJava.nonNull(Ljava/lang/Object;)Z|}: Branch Coverage is 2/2=100%; Location Coverage is 7/7=100%;
Method {|comparator.LinkedList.contains(Ljava/lang/Object;)Z|}: Branch Coverage is 4/4=100%; Location Coverage is 20/20=100%;
Method {|AvlTree.doubleWithRightChild(LAvlNode;)LAvlNode;|}: Branch Coverage is 1/1=100%; Location Coverage is 12/12=100%;
Method {|AvlTree.wellFormed(LAvlNode;)Z|}: Branch Coverage is 10/10=100%; Location Coverage is 52/52=100%;
Method {|AvlTree.spex_M_insert(Ljava/lang/Comparable;)V|}: Branch Coverage is 1/1=100%; Location Coverage is 10/10=100%;
Method {|edu.ksu.cis.projects.bogor.kiasan.region.spec.Region.setObjReg(Ljava/lang/Object;I)Z|}: Branch Coverage is 1/1=100%; Location Coverage is 1/1=100%;
Method {|AvlTree.height(LAvlNode;)I|}: Branch Coverage is 2/2=100%; Location Coverage is 8/8=100%;
Method {|java.lang.Comparable.compareTo(Ljava/lang/Object;)I|}: Branch Coverage is 1/1=100%; Location Coverage is 2/2=100%;
Method {|comparator.LinkedList.()V|}: Branch Coverage is 1/1=100%; Location Coverage is 9/9=100%;
Method {|comparable.ComparableRange.(Ljava/lang/Comparable;Ljava/lang/Comparable;ZZ)V|}: Branch Coverage is 1/1=100%; Location Coverage is 15/15=100%;
Method {|java.lang.Math.max(II)I|}: Branch Coverage is 2/2=100%; Location Coverage is 8/8=100%;
Method {|comparable.ComparableRange.inRange(Ljava/lang/Comparable;)Z|}: Branch Coverage is 10/10=100%; Location Coverage is 39/39=100%;
Method {|comparator.LinkedList.add(Ljava/lang/Object;)V|}: Branch Coverage is 1/1=100%; Location Coverage is 18/18=100%;
Method {|AvlTree.ordered()Z|}: Branch Coverage is 1/1=100%; Location Coverage is 11/11=100%;
Method {|comparable.ComparableRange.setUpper(Ljava/lang/Comparable;)Lcomparable/ComparableRange;|}: Branch Coverage is 4/6=66%; Location Coverage is 26/31=83%;
Method {|edu.ksu.cis.projects.bogor.kiasan.region.spec.Region.setFldReg(Ljava/lang/String;Ljava/lang/String;II)Z|}: Branch Coverage is 1/1=100%; Location Coverage is 1/1=100%;
Method {|AvlTree.isAcyclic()Z|}: Branch Coverage is 1/1=100%; Location Coverage is 13/13=100%;

Graphs and JUnit

JUnit Test Suite:junit/AllInsertTests.java

Case #	Pre-state Graph	Post-state Graph	Status	JUnit
0	.svg	.svg	OK	InsertTest0.java
1	.svg	.svg	OK	InsertTest1.java
2	.svg	.svg	OK	InsertTest2.java
3	.svg	.svg	OK	InsertTest3.java
4	.svg	.svg	OK	InsertTest4.java
5	.svg	.svg	OK	InsertTest5.java
6	.svg	.svg	OK	InsertTest6.java
7	.svg	.svg	OK	InsertTest7.java
8	.svg	.svg	OK	InsertTest8.java
9	.svg	.svg	OK	InsertTest9.java
10	.svg	.svg	OK	InsertTest10.java
11	.svg	.svg	OK	InsertTest11.java
12	.svg	.svg	OK	InsertTest12.java
13	.svg	.svg	OK	InsertTest13.java
14	.svg	.svg	OK	InsertTest14.java
15	.svg	.svg	OK	InsertTest15.java
16	.svg	.svg	OK	InsertTest16.java
17	.svg	.svg	OK	InsertTest17.java
18	.svg	.svg	OK	InsertTest18.java
19	.svg	.svg	OK	InsertTest19.java
20	.svg	.svg	OK	InsertTest20.java
21	.svg	.svg	OK	InsertTest21.java
22	.svg	.svg	OK	InsertTest22.java
23	.svg	.svg	OK	InsertTest23.java
24	.svg	.svg	OK	InsertTest24.java
25	.svg	.svg	OK	InsertTest25.java
26	.svg	.svg	OK	InsertTest26.java
27	.svg	.svg	OK	InsertTest27.java
28	.svg	.svg	OK	InsertTest28.java
29	.svg	.svg	OK	InsertTest29.java
30	.svg	.svg	OK	InsertTest30.java
31	.svg	.svg	OK	InsertTest31.java
32	.svg	.svg	OK	InsertTest32.java
33	.svg	.svg	OK	InsertTest33.java
34	.svg	.svg	OK	InsertTest34.java
35	.svg	.svg	OK	InsertTest35.java
36	.svg	.svg	OK	InsertTest36.java
37	.svg	.svg	OK	InsertTest37.java
38	.svg	.svg	OK	InsertTest38.java
39	.svg	.svg	OK	InsertTest39.java
40	.svg	.svg	OK	InsertTest40.java
41	.svg	.svg	OK	InsertTest41.java
42	.svg	.svg	OK	InsertTest42.java
43	.svg	.svg	OK	InsertTest43.java
44	.svg	.svg	OK	InsertTest44.java
45	.svg	.svg	OK	InsertTest45.java
46	.svg	.svg	OK	InsertTest46.java
47	.svg	.svg	OK	InsertTest47.java
48	.svg	.svg	OK	InsertTest48.java
49	.svg	.svg	OK	InsertTest49.java
50	.svg	.svg	OK	InsertTest50.java
51	.svg	.svg	OK	InsertTest51.java
52	.svg	.svg	OK	InsertTest52.java
53	.svg	.svg	OK	InsertTest53.java
54	.svg	.svg	OK	InsertTest54.java
55	.svg	.svg	OK	InsertTest55.java
56	.svg	.svg	OK	InsertTest56.java
57	.svg	.svg	OK	InsertTest57.java
58	.svg	.svg	OK	InsertTest58.java
59	.svg	.svg	OK	InsertTest59.java
60	.svg	.svg	OK	InsertTest60.java
61	.svg	.svg	OK	InsertTest61.java
62	.svg	.svg	OK	InsertTest62.java
63	.svg	.svg	OK	InsertTest63.java
64	.svg	.svg	OK	InsertTest64.java
65	.svg	.svg	OK	InsertTest65.java
66	.svg	.svg	OK	InsertTest66.java
67	.svg	.svg	OK	InsertTest67.java
68	.svg	.svg	OK	InsertTest68.java
69	.svg	.svg	OK	InsertTest69.java
70	.svg	.svg	OK	InsertTest70.java
71	.svg	.svg	OK	InsertTest71.java
72	.svg	.svg	OK	InsertTest72.java
73	.svg	.svg	OK	InsertTest73.java
74	.svg	.svg	OK	InsertTest74.java
75	.svg	.svg	OK	InsertTest75.java
76	.svg	.svg	OK	InsertTest76.java
77	.svg	.svg	OK	InsertTest77.java
78	.svg	.svg	OK	InsertTest78.java
79	.svg	.svg	OK	InsertTest79.java
80	.svg	.svg	OK	InsertTest80.java
81	.svg	.svg	OK	InsertTest81.java
82	.svg	.svg	OK	InsertTest82.java
83	.svg	.svg	OK	InsertTest83.java
84	.svg	.svg	OK	InsertTest84.java
85	.svg	.svg	OK	InsertTest85.java
86	.svg	.svg	OK	InsertTest86.java
87	.svg	.svg	OK	InsertTest87.java
88	.svg	.svg	OK	InsertTest88.java
89	.svg	.svg	OK	InsertTest89.java
90	.svg	.svg	OK	InsertTest90.java
91	.svg	.svg	OK	InsertTest91.java
92	.svg	.svg	OK	InsertTest92.java
93	.svg	.svg	OK	InsertTest93.java
94	.svg	.svg	OK	InsertTest94.java
95	.svg	.svg	OK	InsertTest95.java
96	.svg	.svg	OK	InsertTest96.java
97	.svg	.svg	OK	InsertTest97.java
98	.svg	.svg	OK	InsertTest98.java
99	.svg	.svg	OK	InsertTest99.java
100	.svg	.svg	OK	InsertTest100.java
101	.svg	.svg	OK	InsertTest101.java
102	.svg	.svg	OK	InsertTest102.java
103	.svg	.svg	OK	InsertTest103.java
104	.svg	.svg	OK	InsertTest104.java
105	.svg	.svg	OK	InsertTest105.java
106	.svg	.svg	OK	InsertTest106.java
107	.svg	.svg	OK	InsertTest107.java
108	.svg	.svg	OK	InsertTest108.java
109	.svg	.svg	OK	InsertTest109.java
110	.svg	.svg	OK	InsertTest110.java
111	.svg	.svg	OK	InsertTest111.java
112	.svg	.svg	OK	InsertTest112.java
113	.svg	.svg	OK	InsertTest113.java
114	.svg	.svg	OK	InsertTest114.java
115	.svg	.svg	OK	InsertTest115.java
116	.svg	.svg	OK	InsertTest116.java
117	.svg	.svg	OK	InsertTest117.java
118	.svg	.svg	OK	InsertTest118.java
119	.svg	.svg	OK	InsertTest119.java
120	.svg	.svg	OK	InsertTest120.java
121	.svg	.svg	OK	InsertTest121.java
122	.svg	.svg	OK	InsertTest122.java
123	.svg	.svg	OK	InsertTest123.java
124	.svg	.svg	OK	InsertTest124.java
125	.svg	.svg	OK	InsertTest125.java
126	.svg	.svg	OK	InsertTest126.java
127	.svg	.svg	OK	InsertTest127.java
128	.svg	.svg	OK	InsertTest128.java
129	.svg	.svg	OK	InsertTest129.java
130	.svg	.svg	OK	InsertTest130.java
131	.svg	.svg	OK	InsertTest131.java
132	.svg	.svg	OK	InsertTest132.java
133	.svg	.svg	OK	InsertTest133.java
134	.svg	.svg	OK	InsertTest134.java
135	.svg	.svg	OK	InsertTest135.java
136	.svg	.svg	OK	InsertTest136.java
137	.svg	.svg	OK	InsertTest137.java
138	.svg	.svg	OK	InsertTest138.java
139	.svg	.svg	OK	InsertTest139.java
140	.svg	.svg	OK	InsertTest140.java
141	.svg	.svg	OK	InsertTest141.java
142	.svg	.svg	OK	InsertTest142.java
143	.svg	.svg	OK	InsertTest143.java
144	.svg	.svg	OK	InsertTest144.java
145	.svg	.svg	OK	InsertTest145.java
146	.svg	.svg	OK	InsertTest146.java
147	.svg	.svg	OK	InsertTest147.java
148	.svg	.svg	OK	InsertTest148.java
149	.svg	.svg	OK	InsertTest149.java
150	.svg	.svg	OK	InsertTest150.java
151	.svg	.svg	OK	InsertTest151.java
152	.svg	.svg	OK	InsertTest152.java
153	.svg	.svg	OK	InsertTest153.java
154	.svg	.svg	OK	InsertTest154.java
155	.svg	.svg	OK	InsertTest155.java
156	.svg	.svg	OK	InsertTest156.java
157	.svg	.svg	OK	InsertTest157.java
158	.svg	.svg	OK	InsertTest158.java
159	.svg	.svg	OK	InsertTest159.java
160	.svg	.svg	OK	InsertTest160.java
161	.svg	.svg	OK	InsertTest161.java
162	.svg	.svg	OK	InsertTest162.java
163	.svg	.svg	OK	InsertTest163.java
164	.svg	.svg	OK	InsertTest164.java
165	.svg	.svg	OK	InsertTest165.java
166	.svg	.svg	OK	InsertTest166.java
167	.svg	.svg	OK	InsertTest167.java
168	.svg	.svg	OK	InsertTest168.java
169	.svg	.svg	OK	InsertTest169.java
170	.svg	.svg	OK	InsertTest170.java
171	.svg	.svg	OK	InsertTest171.java
172	.svg	.svg	OK	InsertTest172.java
173	.svg	.svg	OK	InsertTest173.java
174	.svg	.svg	OK	InsertTest174.java
175	.svg	.svg	OK	InsertTest175.java
176	.svg	.svg	OK	InsertTest176.java
177	.svg	.svg	OK	InsertTest177.java
178	.svg	.svg	OK	InsertTest178.java
179	.svg	.svg	OK	InsertTest179.java
180	.svg	.svg	OK	InsertTest180.java
181	.svg	.svg	OK	InsertTest181.java
182	.svg	.svg	OK	InsertTest182.java
183	.svg	.svg	OK	InsertTest183.java
184	.svg	.svg	OK	InsertTest184.java
185	.svg	.svg	OK	InsertTest185.java
186	.svg	.svg	OK	InsertTest186.java
187	.svg	.svg	OK	InsertTest187.java
188	.svg	.svg	OK	InsertTest188.java
189	.svg	.svg	OK	InsertTest189.java
190	.svg	.svg	OK	InsertTest190.java
191	.svg	.svg	OK	InsertTest191.java
192	.svg	.svg	OK	InsertTest192.java
193	.svg	.svg	OK	InsertTest193.java
194	.svg	.svg	OK	InsertTest194.java
195	.svg	.svg	OK	InsertTest195.java
196	.svg	.svg	OK	InsertTest196.java
197	.svg	.svg	OK	InsertTest197.java
198	.svg	.svg	OK	InsertTest198.java
199	.svg	.svg	OK	InsertTest199.java
200	.svg	.svg	OK	InsertTest200.java
201	.svg	.svg	OK	InsertTest201.java
202	.svg	.svg	OK	InsertTest202.java
203	.svg	.svg	OK	InsertTest203.java
204	.svg	.svg	OK	InsertTest204.java
205	.svg	.svg	OK	InsertTest205.java
206	.svg	.svg	OK	InsertTest206.java
207	.svg	.svg	OK	InsertTest207.java
208	.svg	.svg	OK	InsertTest208.java
209	.svg	.svg	OK	InsertTest209.java
210	.svg	.svg	OK	InsertTest210.java
211	.svg	.svg	OK	InsertTest211.java
212	.svg	.svg	OK	InsertTest212.java
213	.svg	.svg	OK	InsertTest213.java
214	.svg	.svg	OK	InsertTest214.java
215	.svg	.svg	OK	InsertTest215.java
216	.svg	.svg	OK	InsertTest216.java
217	.svg	.svg	OK	InsertTest217.java
218	.svg	.svg	OK	InsertTest218.java
219	.svg	.svg	OK	InsertTest219.java
220	.svg	.svg	OK	InsertTest220.java
221	.svg	.svg	OK	InsertTest221.java
222	.svg	.svg	OK	InsertTest222.java
223	.svg	.svg	OK	InsertTest223.java
224	.svg	.svg	OK	InsertTest224.java
225	.svg	.svg	OK	InsertTest225.java
226	.svg	.svg	OK	InsertTest226.java
227	.svg	.svg	OK	InsertTest227.java
228	.svg	.svg	OK	InsertTest228.java
229	.svg	.svg	OK	InsertTest229.java
230	.svg	.svg	OK	InsertTest230.java
231	.svg	.svg	OK	InsertTest231.java
232	.svg	.svg	OK	InsertTest232.java
233	.svg	.svg	OK	InsertTest233.java
234	.svg	.svg	OK	InsertTest234.java
235	.svg	.svg	OK	InsertTest235.java
236	.svg	.svg	OK	InsertTest236.java
237	.svg	.svg	OK	InsertTest237.java
238	.svg	.svg	OK	InsertTest238.java
239	.svg	.svg	OK	InsertTest239.java
240	.svg	.svg	OK	InsertTest240.java
241	.svg	.svg	OK	InsertTest241.java
242	.svg	.svg	OK	InsertTest242.java
243	.svg	.svg	OK	InsertTest243.java
244	.svg	.svg	OK	InsertTest244.java
245	.svg	.svg	OK	InsertTest245.java
246	.svg	.svg	OK	InsertTest246.java
247	.svg	.svg	OK	InsertTest247.java
248	.svg	.svg	OK	InsertTest248.java
249	.svg	.svg	OK	InsertTest249.java
250	.svg	.svg	OK	InsertTest250.java
251	.svg	.svg	OK	InsertTest251.java
252	.svg	.svg	OK	InsertTest252.java
253	.svg	.svg	OK	InsertTest253.java
254	.svg	.svg	OK	InsertTest254.java
255	.svg	.svg	OK	InsertTest255.java
256	.svg	.svg	OK	InsertTest256.java
257	.svg	.svg	OK	InsertTest257.java
258	.svg	.svg	OK	InsertTest258.java
259	.svg	.svg	OK	InsertTest259.java
260	.svg	.svg	OK	InsertTest260.java
261	.svg	.svg	OK	InsertTest261.java
262	.svg	.svg	OK	InsertTest262.java
263	.svg	.svg	OK	InsertTest263.java
264	.svg	.svg	OK	InsertTest264.java
265	.svg	.svg	OK	InsertTest265.java
266	.svg	.svg	OK	InsertTest266.java
267	.svg	.svg	OK	InsertTest267.java
268	.svg	.svg	OK	InsertTest268.java
269	.svg	.svg	OK	InsertTest269.java
270	.svg	.svg	OK	InsertTest270.java
271	.svg	.svg	OK	InsertTest271.java
272	.svg	.svg	OK	InsertTest272.java
273	.svg	.svg	OK	InsertTest273.java
274	.svg	.svg	OK	InsertTest274.java