Source_file * source_file_l_;
public:
- void warning(String) const; // should use member func?
- void error(String) const;
- void message(String) const;
- void set_spot(Input const &);
+ void warning (String) const; // should use member func?
+ void error (String) const;
+ void message (String) const;
+ void set_spot (Input const &);
- String location_str() const;
- Input(Source_file*, char const*);
- Input();
- Input(Input const& );
+ String location_str () const;
+ Input (Source_file*, char const*);
+ Input ();
+ Input (Input const& );
};
#endif // INPUT_HH