appli.diff
Class FileInfo

java.lang.Object
  extended byappli.diff.FileInfo

class FileInfo
extends java.lang.Object

This is the info kept per-file.


Field Summary
protected  java.lang.String filename
           
protected  int maxLine
           
(package private) static int MAXLINECOUNT
           
protected  int[] other
           
protected  java.io.BufferedReader rdr
           
protected  node[] symbol
           
 
Constructor Summary
protected FileInfo(java.io.File file)
          Normal constructor with one File object; the file is opened and saved.
protected FileInfo(java.lang.String file)
          Constructor with one string already in memory.
 
Method Summary
protected  void alloc()
          Allocate the 'other' table This is done late, to be same size as # lines in input file.
private  void init()
          Initialize the tables
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

MAXLINECOUNT

static final int MAXLINECOUNT
See Also:
Constant Field Values

filename

protected java.lang.String filename

rdr

protected java.io.BufferedReader rdr

maxLine

protected int maxLine

symbol

protected node[] symbol

other

protected int[] other
Constructor Detail

FileInfo

protected FileInfo(java.io.File file)
Normal constructor with one File object; the file is opened and saved.


FileInfo

protected FileInfo(java.lang.String file)
Constructor with one string already in memory.

Method Detail

init

private void init()
Initialize the tables


alloc

protected void alloc()
Allocate the 'other' table This is done late, to be same size as # lines in input file.