PET: Partial Evaluation-based Test Case Generator for Bytecode

package net.datastructures;
/**
 * A simple node class for a doubly-linked list.  Each DNode has a
 * reference to a stored element, a previous node, and a next node.
 
 @author Roberto Tamassia
 */
public class DNode implements Position {
  private DNode prev, next;  // References to the nodes before and after
  private Object element;  // Element stored in this position
  // Constructor
  public DNode(DNode newPrev, DNode newNext, Object elem) {
    prev = newPrev;
    next = newNext;
    element = elem;
  }
  // Method from interface Position
  public Object element() throws InvalidPositionException {
    if ((prev == null&& (next == null))
      throw new InvalidPositionException("Position is not in a list!");
    return element;
  }
  // Accessor methods
  public DNode getNext() { return next; }
  public DNode getPrev() { return prev; }
  // Update methods
  public void setNext(DNode newNext) { next = newNext; }
  public void setPrev(DNode newPrev) { prev = newPrev; }
  public void setElement(Object newElement) { element = newElement; }
}

The Java2Html library is used for displaying source code.