Class LazyObjectIdSetFile

  • All Implemented Interfaces:
    ObjectIdSet

    public class LazyObjectIdSetFile
    extends java.lang.Object
    implements ObjectIdSet
    Lazily loads a set of ObjectIds, one per line.
    • Constructor Detail

      • LazyObjectIdSetFile

        public LazyObjectIdSetFile​(java.io.File src)
        Create a new lazy set from a file.
        Parameters:
        src - the source file.