+void
+Input::get_counts (int *line, int *chr, int *col) const
+{
+ source_file_->get_counts (start_, line, chr, col);
+}
+
+void
+Input::set (Source_file *sf, char const *start, char const *end)
+{
+ source_file_ = sf;
+ start_ = start;
+ end_ = end;
+}
+
+Source_file *
+Input::get_source_file () const
+{
+ return source_file_;
+}
+
+char const *
+Input::start () const
+{
+ return start_;
+}
+
+char const *
+Input::end () const
+{
+ return end_;