Path.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 import java.io.*;
00004 
00005 public interface Path {
00006 // ifdef DISTRIBUTED
00007 // ifdef CHILDREN_LOOKAHEAD
00008 
00009 //#endif CHILDREN_LOOKAHEAD
00010 //#endif DISTRIBUTED
00011   Path append(Path p);  
00012   Object getStoringData();  
00013   Path relativeTo(Path p);  
00014   int size();  
00015   int upCount();  
00016 }