Path.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 import java.io.*;
00004 
00005 public interface Path {
00006   Path append(Path p);  
00007   byte[] getData();  
00008   Path relativeTo(Path p);  
00009   int size();  
00010   int upCount();  
00011 }