---

ErrorTrail.java

package gov.nasa.arc.ase.jpf.jvm;

import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.util.Debug;
import java.io.*;

class ErrorTrail implements ErrorTrailInterface, Serializable {
  private String[] lines;
  private int current = 0;
  
  ErrorTrail(int size) {
    lines = new String[size];
  }  
  void add(String line) {
    if(current < lines.length)
      lines[current++] = line;
  }  
  public void print() {
    for(int idx = 0; idx < lines.length; idx++)
      Debug.println(Debug.ERROR, lines[idx]);
  }  
  public void print(PrintStream out) {
    for(int idx = 0; idx < lines.length; idx++)
      out.println(lines[idx]);
  }  
}

---