jtp.rs
Class SecondaryProofStorageLookup

java.lang.Object
  |
  +--jtp.rs.SecondaryProofStorageLookup

public class SecondaryProofStorageLookup

extends Object

Constructor Summary

SecondaryProofStorageLookup(ObjectStorage ost, File indexFile)

Method Summary

protected long	align(Reader rdr)
ReasoningStep	lookUp(Object goal)
protected int	match(String goalString, Reader rdr) compares a given string against a location in a file.
protected long	readLocation(Reader rdr)

Methods inherited from class java.lang.Object

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

Constructor Detail

SecondaryProofStorageLookup

public SecondaryProofStorageLookup(ObjectStorage ost,
                                   File indexFile)
                            throws IOException

Method Detail

lookUp

public ReasoningStep lookUp(Object goal)
                     throws IOException

IOException

align

protected long align(Reader rdr)
              throws IOException

IOException

match

protected int match(String goalString,
                    Reader rdr)
             throws IOException

compares a given string against a location in a file. Returns a negative value if the string in file is smaller than the given, etc. In case of match, returns 0; stream is leaft pointing at the first character of the value for this key.

IOException

readLocation

protected long readLocation(Reader rdr)
                     throws IOException

IOException