Class DlgpeParser

java.lang.Object

fr.inria.rules.integraal.io.dlgpe.DlgpeParser

All Implemented Interfaces:

Parser<Object>, CloseableIterator<Object>, Closeable, AutoCloseable

public class DlgpeParser
extends Object
implements Parser<Object>

Translate a given file in Dlgpe format to a Dlgp file then parses the Dlgp file.

Author:

Florent Tornil

Constructor Summary

Constructors

Constructor	Description
DlgpeParser(File file)	Constructor for parsing from the given file.

Method Summary

Modifier and Type	Method	Description
void	close()	Closes the iterator and releases its resources.
boolean	hasNext()	Indicates whether another element can be read from the iterator.
Object	next()	Returns the next element from the iterator.

Methods inherited from class Object

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

Methods inherited from interface Parser

parse, streamParsedObjects

Constructor Details

DlgpeParser

public DlgpeParser(File file)

Constructor for parsing from the given file.

Parameters:

file - java file object to read from

Method Details

close

public void close()

Description copied from interface: CloseableIterator

Closes the iterator and releases its resources.

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Closeable

Specified by:

close in interface CloseableIterator<Object>

hasNext

public boolean hasNext()
                throws ParseException

Description copied from interface: CloseableIterator

Indicates whether another element can be read from the iterator.

Specified by:

hasNext in interface CloseableIterator<Object>

Specified by:

hasNext in interface Parser<Object>

Returns:

true iff there is a next element

Throws:

ParseException

next

public Object next()
            throws ParseException

Description copied from interface: CloseableIterator

Returns the next element from the iterator.

Specified by:

next in interface CloseableIterator<Object>

Specified by:

next in interface Parser<Object>

Returns:

the next element

Throws:

ParseException