bool close_input ();
vector<Source_file *> include_stack_;
vector<int> char_count_stack_;
- vector<string> pending_string_includes_;
public:
virtual void new_input (string s, Sources *);
void new_input (string name, string data, Sources *);
- void add_string_include (string data);
char const *here_str0 () const;
};