net.sf.cpsolver.ifs.util

Class PrologFile

java.lang.Object

net.sf.cpsolver.ifs.util.PrologFile

All Implemented Interfaces:

Iterator<PrologFile.Term>

public class PrologFile
extends Object
implements Iterator<PrologFile.Term>

A class for reading prolog files.

Version:

IFS 1.2 (Iterative Forward Search)
Copyright (C) 2006 - 2010 Tomáš Müller
muller@unitime.org
http://muller.unitime.org

This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License along with this library; if not see http://www.gnu.org/licenses/.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PrologFile.Term Term -- it can contain a text and a content (set of terms)

Constructor Summary

Constructors

Constructor and Description
PrologFile(String file)

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
PrologFile.Term	next()
static List<PrologFile.Term>	readTermsFromStream(InputStream is, String term) Reads a prolog file.
void	remove()
static void	writeTerms(PrintWriter pw, List<PrologFile.Term> terms) Writes a set of terms.

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining

Constructor Detail

PrologFile

public PrologFile(String file)
           throws IOException

Throws:

IOException

Method Detail

readTermsFromStream

public static List<PrologFile.Term> readTermsFromStream(InputStream is,
                                                        String term)
                                                 throws IOException

Reads a prolog file. It returns a set of terms

Throws:

IOException

writeTerms

public static void writeTerms(PrintWriter pw,
                              List<PrologFile.Term> terms)
                       throws IOException

Writes a set of terms.

Throws:

IOException

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<PrologFile.Term>

next

public PrologFile.Term next()

Specified by:

next in interface Iterator<PrologFile.Term>

remove

public void remove()

Specified by:

remove in interface Iterator<PrologFile.Term>