Line data    Source code

       1              : /* valasubroutine.vala
       2              :  *
       3              :  * Copyright (C) 2010  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      7440486 : public abstract class Vala.Subroutine : Symbol {
      24      7438948 :         Block _body;
      25              : 
      26      7995664 :         public BasicBlock entry_block { get; set; }
      27              : 
      28      7935645 :         public BasicBlock return_block { get; set; }
      29              : 
      30      7902878 :         public BasicBlock exit_block { get; set; }
      31              : 
      32              :         /**
      33              :          * Specifies the generated `result` variable for postconditions.
      34              :          */
      35     24597674 :         public LocalVariable result_var { get; set; }
      36              : 
      37        12220 :         public abstract bool has_result { get; }
      38              : 
      39      7438951 :         protected Subroutine (string? name, SourceReference? source_reference = null, Comment? comment = null) {
      40      7438951 :                 base (name, source_reference, comment);
      41              :         }
      42              : 
      43              :         public Block body {
      44     31494569 :                 get { return _body; }
      45      1023498 :                 set {
      46      1186058 :                         _body = value;
      47      1023498 :                         if (_body != null) {
      48       162560 :                                 _body.owner = scope;
      49       162560 :                                 _body.parent_node = this;
      50              :                         }
      51              :                 }
      52              :         }
      53              : }