test_class.declarator: queue = new CircularQueue(10)
test_class.modifier: private
test_class.original_string: private CircularQueue queue = new CircularQueue(10);
test_class.type: CircularQueue
test_class.var_name: queue
test_class.declarator: i = 0
test_class.modifier: private
test_class.original_string: private int i = 0;
test_class.type: int
test_class.var_name: i
test_class.file: validating/src/main/java/CircularQueueTest.java
test_class.identifier: CircularQueueTest
test_case.body: @Test
      public void empty() {
          System.out.println("testEmpty");
          while (!queue.empty())
              System.out.println(queue.get());
          String msg = "";
          try {
              queue.get();
          } catch (CircularQueueException e) {
              msg = e.getMessage();
              System.out.println(msg);
          }
          assertEquals(msg, "get() from empty CircularQueue");
          showEmptiness();
      }
test_case.class_method_signature: CircularQueueTest.empty()
test_case.full_signature: @Test public void empty()
test_case.identifier: empty
test_case.invocations: println empty println get get getMessage println assertEquals showEmptiness
test_case.modifiers: @Test public
test_case.parameters: ()
test_case.return: void
test_case.signature: void empty()
focal_class.declarator: data
focal_class.modifier: private
focal_class.original_string: private Object[] data;
focal_class.type: Object[]
focal_class.var_name: data
focal_class.declarator: in = 0
focal_class.modifier: private
focal_class.original_string: private int
              in = 0, // Next available storage space
              out = 0;
focal_class.type: int
focal_class.var_name: in
focal_class.declarator: wrapped = false
focal_class.modifier: private
focal_class.original_string: private boolean wrapped = false;
focal_class.type: boolean
focal_class.var_name: wrapped
focal_class.file: validating/src/main/java/CircularQueue.java
focal_class.identifier: CircularQueue
focal_class.class_method_signature: CircularQueue.CircularQueue(int size)
focal_class.full_signature: public  CircularQueue(int size)
focal_class.identifier: CircularQueue
focal_class.modifiers: public
focal_class.parameters: (int size)
focal_class.signature:  CircularQueue(int size)
focal_class.class_method_signature: CircularQueue.empty()
focal_class.full_signature: public boolean empty()
focal_class.identifier: empty
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: boolean
focal_class.signature: boolean empty()
focal_class.class_method_signature: CircularQueue.full()
focal_class.full_signature: public boolean full()
focal_class.identifier: full
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: boolean
focal_class.signature: boolean full()
focal_class.class_method_signature: CircularQueue.isWrapped()
focal_class.full_signature: public boolean isWrapped()
focal_class.identifier: isWrapped
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: boolean
focal_class.signature: boolean isWrapped()
focal_class.class_method_signature: CircularQueue.put(Object item)
focal_class.full_signature: public void put(Object item)
focal_class.identifier: put
focal_class.modifiers: public
focal_class.parameters: (Object item)
focal_class.return: void
focal_class.signature: void put(Object item)
focal_class.class_method_signature: CircularQueue.get()
focal_class.full_signature: public Object get()
focal_class.identifier: get
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: Object
focal_class.signature: Object get()
focal_class.class_method_signature: CircularQueue.precondition(boolean cond, String msg)
focal_class.full_signature: private static void precondition(boolean cond, String msg)
focal_class.identifier: precondition
focal_class.modifiers: private static
focal_class.parameters: (boolean cond, String msg)
focal_class.return: void
focal_class.signature: void precondition(boolean cond, String msg)
focal_class.class_method_signature: CircularQueue.postcondition(boolean cond, String msg)
focal_class.full_signature: private static boolean postcondition(boolean cond, String msg)
focal_class.identifier: postcondition
focal_class.modifiers: private static
focal_class.parameters: (boolean cond, String msg)
focal_class.return: boolean
focal_class.signature: boolean postcondition(boolean cond, String msg)
focal_class.class_method_signature: CircularQueue.invariant()
focal_class.full_signature: private boolean invariant()
focal_class.identifier: invariant
focal_class.modifiers: private
focal_class.parameters: ()
focal_class.return: boolean
focal_class.signature: boolean invariant()
focal_class.class_method_signature: CircularQueue.dump()
focal_class.full_signature: public String dump()
focal_class.identifier: dump
focal_class.modifiers: public
focal_class.parameters: ()
focal_class.return: String
focal_class.signature: String dump()
focal_method.body: public boolean empty() {
          return !wrapped && in == out;
      }
focal_method.class_method_signature: CircularQueue.empty()
focal_method.full_signature: public boolean empty()
focal_method.identifier: empty
focal_method.modifiers: public
focal_method.parameters: ()
focal_method.return: boolean
focal_method.signature: boolean empty()