java.lang.Object
diffxml.pulldiff.pulldiff
- public class pulldiff
- extends java.lang.Object
|
Method Summary |
void |
allcosts(XmlPullParser doc1,
java.lang.String file1,
int num_doc1,
XmlPullParser doc2,
java.lang.String file2,
int num_doc2,
int[][] D)
|
int |
delcosts(XmlPullParser doc1,
int[][] D,
java.io.RandomAccessFile fA)
|
int |
inscosts(XmlPullParser doc2,
int[][] D,
java.io.RandomAccessFile fB)
|
void |
printarray(int[][] D,
int size1,
int size2)
|
static void |
PrintPath(java.util.ArrayList path,
java.io.RandomAccessFile file,
int depth)
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
pulldiff
public pulldiff(java.lang.String f1,
java.lang.String f2)
throws XmlPullParserException,
java.io.IOException
delcosts
public int delcosts(XmlPullParser doc1,
int[][] D,
java.io.RandomAccessFile fA)
throws XmlPullParserException,
java.io.IOException
PrintPath
public static void PrintPath(java.util.ArrayList path,
java.io.RandomAccessFile file,
int depth)
throws java.io.IOException
inscosts
public int inscosts(XmlPullParser doc2,
int[][] D,
java.io.RandomAccessFile fB)
throws XmlPullParserException,
java.io.IOException
allcosts
public void allcosts(XmlPullParser doc1,
java.lang.String file1,
int num_doc1,
XmlPullParser doc2,
java.lang.String file2,
int num_doc2,
int[][] D)
throws XmlPullParserException,
java.io.IOException
printarray
public void printarray(int[][] D,
int size1,
int size2)