#ifndef LINE_INFO
#define LINE_INFO 1

class LineMarker {
 private:
  int start_row;
  int end_row;
 public:
  LineMarker(int st, int fi);
  inline int get_start_row()
      {
	return start_row;
      }
  inline int get_end_row()
      {
	return end_row;
      }
};

class LineInfo {
 private:
  int num_lines;
  LineMarker* line_marks;
 public:
  LineInfo(LineMarker* line_m, int num_l);
  inline int get_num_lines()
      {
	return num_lines;
      }
  inline int get_line_n_start(int n)
      {
	return line_marks[n].get_start_row();
      }
  inline int get_line_n_end(int n)
      {
	return line_marks[n].get_end_row();
      }
  
};

#endif