--- valasourcereference.vala.orig 2007-09-12 01:03:33.000000000 +0200 +++ valasourcereference.vala 2007-09-12 01:07:08.000000000 +0200 @@ -66,12 +66,12 @@ * @param last_column last column number * @return newly created source reference */ - public SourceReference (SourceFile _file, int _first_line = 0, int _first_column = 0, int _last_line = 0, int _last_column = 0) { - file = _file; - first_line = _first_line; - first_column = _first_column; - last_line = _last_line; - last_column = _last_column; + public SourceReference ( + construct SourceFile file, + construct int first_line = 0, + construct int first_column = 0, + construct int last_line = 0, + construct int last_column = 0) { } /** @@ -85,13 +85,13 @@ * @param comment code comment * @return newly created source reference */ - public SourceReference.with_comment (SourceFile _file, int _first_line, int _first_column, int _last_line, int _last_column, string _comment) { - file = _file; - first_line = _first_line; - first_column = _first_column; - last_line = _last_line; - last_column = _last_column; - comment = _comment; + public SourceReference.with_comment ( + construct SourceFile file, + construct int first_line, + construct int first_column, + construct int last_line, + construct int last_column, + construct string comment) { } /**