- Source_file* source_file_l () const;
- void new_input (String s, Sources*);
- void new_input (String name, String data, Sources*);
+ Source_file *get_source_file () const;
+ void new_input (String s, Sources *);
+ void new_input (String name, String data, Sources *);