View Javadoc

1   package org.sat4j.minisat.core;
2   
3   import static org.junit.Assert.assertEquals;
4   
5   import org.junit.Before;
6   import org.junit.Test;
7   
8   public class CircularBufferTest {
9   
10      private CircularBuffer buffer;
11  
12      @Before
13      public void setUp() throws Exception {
14          this.buffer = new CircularBuffer(5);
15      }
16  
17      @Test
18      public void test() {
19          assertEquals(0, this.buffer.average());
20          this.buffer.push(3);
21          assertEquals(3, this.buffer.average());
22          this.buffer.push(5);
23          assertEquals(4, this.buffer.average());
24          this.buffer.push(1);
25          assertEquals(3, this.buffer.average());
26          this.buffer.push(7);
27          assertEquals(4, this.buffer.average());
28          this.buffer.push(4);
29          assertEquals(4, this.buffer.average());
30          this.buffer.push(8);
31          assertEquals(5, this.buffer.average());
32      }
33  
34  }