net.cscott.gjdoc.parser

Class PFile

public class PFile extends Object

The PFile class wraps a java.io.File object and a lazily-created table which allows translation of raw character indices to line numbers.

Version: $Id: PFile.java,v 1.5 2003/03/26 21:45:46 cananian Exp $

Author: C. Scott Ananian (cscott@cscott.net)

Constructor Summary
	PFile(File file, String encoding, DocErrorReporter reporter)

Field Detail

public final String encoding

public final File file

public final DocErrorReporter reporter

public PFile(File file, String encoding, DocErrorReporter reporter)