vala/valaconstructor.vala

   1 /* valaconstructor.vala
   2  *
   3  * Copyright (C) 2006-2009  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 class or instance constructor.
  27  */
  28 public class Vala.Constructor : Symbol {
  29         /**
  30          * The body of this constructor.
  31          */
  32         public Block body { get; set; }
  33
  34         /**
  35          * Specifies the generated `this' parameter for instance methods.
  36          */
  37         public FormalParameter this_parameter { get; set; }
  38
  39         /**
  40          * Specifies whether this is an instance or a class constructor.
  41          */
  42         public MemberBinding binding { get; set; default = MemberBinding.INSTANCE; }
  43
  44         /**
  45          * Creates a new constructor.
  46          *
  47          * @param source reference to source code
  48          * @return       newly created constructor
  49          */
  50         public Constructor (SourceReference source) {
  51                 base (null, source);
  52         }
  53
  54         public override void accept (CodeVisitor visitor) {
  55                 visitor.visit_constructor (this);
  56         }
  57
  58         public override void accept_children (CodeVisitor visitor) {
  59                 if (body != null) {
  60                         body.accept (visitor);
  61                 }
  62         }
  63
  64         public override bool check (SemanticAnalyzer analyzer) {
  65                 if (checked) {
  66                         return !error;
  67                 }
  68
  69                 checked = true;
  70
  71                 this_parameter = new FormalParameter ("this", new ObjectType (analyzer.current_class));
  72                 scope.add (this_parameter.name, this_parameter);
  73
  74                 owner = analyzer.current_symbol.scope;
  75                 analyzer.current_symbol = this;
  76
  77                 if (body != null) {
  78                         body.check (analyzer);
  79                 }
  80
  81                 foreach (DataType body_error_type in body.get_error_types ()) {
  82                         if (!((ErrorType) body_error_type).dynamic_error) {
  83                                 Report.warning (body_error_type.source_reference, "unhandled error `%s'".printf (body_error_type.to_string()));
  84                         }
  85                 }
  86
  87                 analyzer.current_symbol = analyzer.current_symbol.parent_symbol;
  88
  89                 return !error;
  90         }
  91 }