net.sf.cpsolver.ifs.util
Class PrologFile

java.lang.Object
  extended by 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
static class PrologFile.Term
          Term -- it can contain a text and a content (set of terms)
 
Constructor Summary
PrologFile(String file)
           
 
Method Summary
 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
 

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>