| // Copyright 2009 The Go Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style |
| // license that can be found in the LICENSE file. |
| |
| package heap_test |
| |
| import ( |
| . "container/heap" |
| "testing" |
| ) |
| |
| type myHeap []int |
| |
| func (h *myHeap) Less(i, j int) bool { |
| return (*h)[i] < (*h)[j] |
| } |
| |
| func (h *myHeap) Swap(i, j int) { |
| (*h)[i], (*h)[j] = (*h)[j], (*h)[i] |
| } |
| |
| func (h *myHeap) Len() int { |
| return len(*h) |
| } |
| |
| func (h *myHeap) Pop() (v interface{}) { |
| *h, v = (*h)[:h.Len()-1], (*h)[h.Len()-1] |
| return |
| } |
| |
| func (h *myHeap) Push(v interface{}) { |
| *h = append(*h, v.(int)) |
| } |
| |
| func (h myHeap) verify(t *testing.T, i int) { |
| n := h.Len() |
| j1 := 2*i + 1 |
| j2 := 2*i + 2 |
| if j1 < n { |
| if h.Less(j1, i) { |
| t.Errorf("heap invariant invalidated [%d] = %d > [%d] = %d", i, h[i], j1, h[j1]) |
| return |
| } |
| h.verify(t, j1) |
| } |
| if j2 < n { |
| if h.Less(j2, i) { |
| t.Errorf("heap invariant invalidated [%d] = %d > [%d] = %d", i, h[i], j1, h[j2]) |
| return |
| } |
| h.verify(t, j2) |
| } |
| } |
| |
| func TestInit0(t *testing.T) { |
| h := new(myHeap) |
| for i := 20; i > 0; i-- { |
| h.Push(0) // all elements are the same |
| } |
| Init(h) |
| h.verify(t, 0) |
| |
| for i := 1; h.Len() > 0; i++ { |
| x := Pop(h).(int) |
| h.verify(t, 0) |
| if x != 0 { |
| t.Errorf("%d.th pop got %d; want %d", i, x, 0) |
| } |
| } |
| } |
| |
| func TestInit1(t *testing.T) { |
| h := new(myHeap) |
| for i := 20; i > 0; i-- { |
| h.Push(i) // all elements are different |
| } |
| Init(h) |
| h.verify(t, 0) |
| |
| for i := 1; h.Len() > 0; i++ { |
| x := Pop(h).(int) |
| h.verify(t, 0) |
| if x != i { |
| t.Errorf("%d.th pop got %d; want %d", i, x, i) |
| } |
| } |
| } |
| |
| func Test(t *testing.T) { |
| h := new(myHeap) |
| h.verify(t, 0) |
| |
| for i := 20; i > 10; i-- { |
| h.Push(i) |
| } |
| Init(h) |
| h.verify(t, 0) |
| |
| for i := 10; i > 0; i-- { |
| Push(h, i) |
| h.verify(t, 0) |
| } |
| |
| for i := 1; h.Len() > 0; i++ { |
| x := Pop(h).(int) |
| if i < 20 { |
| Push(h, 20+i) |
| } |
| h.verify(t, 0) |
| if x != i { |
| t.Errorf("%d.th pop got %d; want %d", i, x, i) |
| } |
| } |
| } |
| |
| func TestRemove0(t *testing.T) { |
| h := new(myHeap) |
| for i := 0; i < 10; i++ { |
| h.Push(i) |
| } |
| h.verify(t, 0) |
| |
| for h.Len() > 0 { |
| i := h.Len() - 1 |
| x := Remove(h, i).(int) |
| if x != i { |
| t.Errorf("Remove(%d) got %d; want %d", i, x, i) |
| } |
| h.verify(t, 0) |
| } |
| } |
| |
| func TestRemove1(t *testing.T) { |
| h := new(myHeap) |
| for i := 0; i < 10; i++ { |
| h.Push(i) |
| } |
| h.verify(t, 0) |
| |
| for i := 0; h.Len() > 0; i++ { |
| x := Remove(h, 0).(int) |
| if x != i { |
| t.Errorf("Remove(0) got %d; want %d", x, i) |
| } |
| h.verify(t, 0) |
| } |
| } |
| |
| func TestRemove2(t *testing.T) { |
| N := 10 |
| |
| h := new(myHeap) |
| for i := 0; i < N; i++ { |
| h.Push(i) |
| } |
| h.verify(t, 0) |
| |
| m := make(map[int]bool) |
| for h.Len() > 0 { |
| m[Remove(h, (h.Len()-1)/2).(int)] = true |
| h.verify(t, 0) |
| } |
| |
| if len(m) != N { |
| t.Errorf("len(m) = %d; want %d", len(m), N) |
| } |
| for i := 0; i < len(m); i++ { |
| if !m[i] { |
| t.Errorf("m[%d] doesn't exist", i) |
| } |
| } |
| } |