// DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-

#ifndef __org_apache_lucene_index_SegmentInfos__
#define __org_apache_lucene_index_SegmentInfos__

#pragma interface

#include <java/util/Vector.h>

extern "Java"
{
  namespace org
  {
    namespace apache
    {
      namespace lucene
      {
        namespace store
        {
          class Directory;
        }
        namespace index
        {
          class SegmentInfos;
          class SegmentInfo;
        }
      }
    }
  }
}

class org::apache::lucene::index::SegmentInfos : public ::java::util::Vector
{
public: // actually package-private
  SegmentInfos ();
public:
  ::org::apache::lucene::index::SegmentInfo *info (jint);
  void read (::org::apache::lucene::store::Directory *);
  void write (::org::apache::lucene::store::Directory *);
  jlong getVersion () { return version; }
  static jlong readCurrentVersion (::org::apache::lucene::store::Directory *);
  static const jint FORMAT = -1L;
  jint __attribute__((aligned(__alignof__( ::java::util::Vector ))))  counter;
private:
  jlong version;
public:

  static ::java::lang::Class class$;
};

#endif /* __org_apache_lucene_index_SegmentInfos__ */