class Source_file : public Smob<Source_file>
{
public:
- int print_smob (SCM, scm_print_state *);
- SCM mark_smob ();
- static const char type_p_name_[];
+ int print_smob (SCM, scm_print_state *) const;
+ SCM mark_smob () const;
+ static const char * const type_p_name_;
virtual ~Source_file ();
private:
vector<char const *> newline_locations_;