FileOrigin.h

Go to the documentation of this file.

//
// Created by Nico Schäfer on 30/07/18.
//
 
#ifndef JODA_FILEORIGIN_H
#define JODA_FILEORIGIN_H
 
#include "IDPositionOrigin.h"
#include "IOrigin.h"
#include "joda/misc/FileNameRepo.h"
#include "joda/misc/RJFwd.h"
 
class FileOrigin : public IDPositionOrigin {
 public:
  // Identifies an interval of a File where one/or multiple documents can be
  // parsed without skipping through the file
  typedef std::pair<FILEID, std::pair<long, long>> ParseInterval;
 
  FileOrigin(FILEID id);
  FileOrigin(FILEID file, long start, long end, int index);
  /*
   * Inherited
   */
  bool isReparsable() const override;
  std::unique_ptr<IOrigin> clone() const override;
  std::unique_ptr<RJDocument> reparse(RJMemoryPoolAlloc &alloc) const override;
  std::string toString() const override;
  std::string getStreamName() const override;
 
  FILEID getFile() const;
  ParseInterval getInterval() const;
 
  static std::vector<ParseInterval> mergeIntervals(std::vector<ParseInterval> &&intervals);
  static std::vector<std::unique_ptr<RJDocument>> parseIntervals(RJMemoryPoolAlloc &alloc, std::vector<ParseInterval> &&intervals);
};
 
#endif  // JODA_FILEORIGIN_H