FileDocCategorySizeDatePackage
Diff.javaAPI DocExample23586Sat Jan 04 06:14:36 GMT 1997None

fileInfo

public class fileInfo extends Object
This is the info kept per-file.

Fields Summary
static final int
MAXLINECOUNT
DataInputStream
file
public int
maxLine
node[]
symbol
int[]
other
Constructors Summary
fileInfo(String filename)
Normal constructor with one filename; file is opened and saved.

 /* Map of line# to line# in other file */
                                /* ( -1 means don't-know ).            */
				/* Allocated AFTER the lines are read. */

	          	 
	    
		symbol = new node [ MAXLINECOUNT+2 ];
		other  = null;		// allocated later!
		try {
			file = new DataInputStream(
				new FileInputStream( filename));
		} catch (IOException e) {
			  System.err.println("Diff can't read file " +
				filename );
			  System.err.println("Error Exception was:" + e );
			  System.exit(1);
		}
	
Methods Summary
voidalloc()

		other  = new int[symbol.length + 2];