1 #ifndef LINE_INFO

     2 #define LINE_INFO 1

     3 

     4 class LineMarker {

     5  private:

     6   int start_row;

     7   int end_row;

     8  public:

     9   LineMarker(int st, int fi);

    10   inline int get_start_row()

    11       {

    12 	return start_row;

    13       }

    14   inline int get_end_row()

    15       {

    16 	return end_row;

    17       }

    18 };

    19 

    20 class LineInfo {

    21  private:

    22   int num_lines;

    23   LineMarker* line_marks;

    24  public:

    25   LineInfo(LineMarker* line_m, int num_l);

    26   inline int get_num_lines()

    27       {

    28 	return num_lines;

    29       }

    30   inline int get_line_n_start(int n)

    31       {

    32 	return line_marks[n].get_start_row();

    33       }

    34   inline int get_line_n_end(int n)

    35       {

    36 	return line_marks[n].get_end_row();

    37       }

    38   

    39 };

    40 

    41 #endif