Line data    Source code

       1              : /* valaccodelinedirective.vala
       2              :  *
       3              :  * Copyright (C) 2006  Jürg Billeter
       4              :  *
       5              :  * This library is free software; you can redistribute it and/or
       6              :  * modify it under the terms of the GNU Lesser General Public
       7              :  * License as published by the Free Software Foundation; either
       8              :  * version 2.1 of the License, or (at your option) any later version.
       9              : 
      10              :  * This library is distributed in the hope that it will be useful,
      11              :  * but WITHOUT ANY WARRANTY; without even the implied warranty of
      12              :  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
      13              :  * Lesser General Public License for more details.
      14              : 
      15              :  * You should have received a copy of the GNU Lesser General Public
      16              :  * License along with this library; if not, write to the Free Software
      17              :  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301  USA
      18              :  *
      19              :  * Author:
      20              :  *      Jürg Billeter <j@bitron.ch>
      21              :  */
      22              : 
      23              : using GLib;
      24              : 
      25              : /**
      26              :  * Represents a line directive in the C code.
      27              :  */
      28          885 : public class Vala.CCodeLineDirective : CCodeNode {
      29              :         /**
      30              :          * The name of the source file to be presumed.
      31              :          */
      32       188094 :         public string filename { get; set; }
      33              : 
      34              :         /**
      35              :          * The line number in the source file to be presumed.
      36              :          */
      37        62698 :         public int line_number { get; set; }
      38              : 
      39       188094 :         public CCodeLineDirective (string _filename, int _line) {
      40        62698 :                 filename = _filename;
      41        62698 :                 line_number = _line;
      42              :         }
      43              : 
      44        79820 :         public override void write (CCodeWriter writer) {
      45        79820 :                 if (!writer.bol) {
      46            0 :                         writer.write_newline ();
      47              :                 }
      48        79820 :                 writer.write_string ("#line %d \"%s\"".printf (line_number, filename));
      49        79820 :                 writer.write_newline ();
      50              :         }
      51              : }