iTrailInfo.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 import java.io.*;
00004 
00005 public interface iTrailInfo {
00006   public void dump2file(BufferedWriter out);  
00007   public String getClassname();  
00008   public int getLine();  
00009   public int getRandom();  
00010   public int getThread();  
00011   public void print();  
00012 }