Package com.semedy.reasoner.edb.zdb

Class LineStackFromFileZipped

java.lang.Object

com.semedy.reasoner.edb.zdb.LineStackFromFileZipped

public class LineStackFromFileZipped
extends Object

Constructor Summary

Constructors

Constructor	Description
LineStackFromFileZipped(File f, boolean deleteinputfiles, boolean compressed)

Method Summary

Modifier and Type	Method	Description
final boolean	isEmpty()
final String	peek()
final String	pop()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

LineStackFromFileZipped

public LineStackFromFileZipped(File f,
 boolean deleteinputfiles,
 boolean compressed)
                        throws IOException

Throws:

IOException

Method Details

isEmpty

public final boolean isEmpty()

pop

public final String pop()
                 throws IOException

Throws:

IOException

peek

public final String peek()