Class SortedTripleFileFacade


  • public final class SortedTripleFileFacade
    extends java.lang.Object
    A SortedTripleFileFacade created with a file. Reads a Triple from the file.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static int BUFFERSIZE  
    • Constructor Summary

      Constructors 
      Constructor Description
      SortedTripleFileFacade​(java.io.File file)
      Constructs a SortedTripleFileFacade with a file.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void close()
      Closes the ObjectInputStream and deletes the file if it exists.
      boolean isEmpty()
      Checks whether SortedTripleFileFacade is empty.
      org.metafacture.framework.objects.Triple peek()
      Peeks at a Triple at the top of the stack.
      org.metafacture.framework.objects.Triple pop()
      Pops a Triple from the stack.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • SortedTripleFileFacade

        public SortedTripleFileFacade​(java.io.File file)
                               throws java.io.IOException
        Constructs a SortedTripleFileFacade with a file. Reads a Triple from the file.
        Parameters:
        file - the File to load Triples from
        Throws:
        java.io.IOException - if Triple can't be loaded
    • Method Detail

      • isEmpty

        public boolean isEmpty()
        Checks whether SortedTripleFileFacade is empty.
        Returns:
        true if SortedTripleFileFacade is empty.
      • close

        public void close()
        Closes the ObjectInputStream and deletes the file if it exists.
      • peek

        public org.metafacture.framework.objects.Triple peek()
        Peeks at a Triple at the top of the stack.
        Returns:
        the Triple at the top of the stack
      • pop

        public org.metafacture.framework.objects.Triple pop()
                                                     throws java.io.IOException
        Pops a Triple from the stack.
        Returns:
        the Triple at the top of the stack.
        Throws:
        java.io.IOException - if the Triple can't be loaded