vala/valadeletestatement.vala

   1 /* valadeletestatement.vala
   2  *
   3  * Copyright (C) 2008  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 delete statement e.g. "delete a".
  27  */
  28 public class Vala.DeleteStatement : CodeNode, Statement {
  29         /**
  30          * Expression representing the instance to be freed.
  31          */
  32         public Expression expression { get; set; }
  33
  34         public DeleteStatement (Expression expression, SourceReference? source_reference = null) {
  35                 this.expression = expression;
  36                 this.source_reference = source_reference;
  37         }
  38
  39         public override void accept (CodeVisitor visitor) {
  40                 visitor.visit_delete_statement (this);
  41         }
  42
  43         public override void accept_children (CodeVisitor visitor) {
  44                 expression.accept (visitor);
  45         }
  46
  47         public override bool check (SemanticAnalyzer analyzer) {
  48                 if (checked) {
  49                         return !error;
  50                 }
  51
  52                 checked = true;
  53
  54                 if (!expression.check (analyzer)) {
  55                         // if there was an error in the inner expression, skip this check
  56                         return false;
  57                 }
  58
  59                 if (!(expression.value_type is PointerType)) {
  60                         error = true;
  61                         Report.error (source_reference, "delete operator not supported for `%s'".printf (expression.value_type.to_string ()));
  62                 }
  63
  64                 return !error;
  65         }
  66 }