Line data    Source code

       1              : /* valavoidtype.vala
       2              :  *
       3              :  * Copyright (C) 2007-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              :  * The void type.
      27              :  */
      28         1538 : public class Vala.VoidType : DataType {
      29      6248698 :         public VoidType (SourceReference? source_reference = null) {
      30      3124349 :                 this.source_reference = source_reference;
      31              :         }
      32              : 
      33         3337 :         public override bool stricter (DataType type2) {
      34         3337 :                 return (type2 is VoidType);
      35              :         }
      36              : 
      37            1 :         public override bool compatible (DataType type2) {
      38            1 :                 return (type2 is VoidType);
      39              :         }
      40              : 
      41         5308 :         public override string to_qualified_string (Scope? scope) {
      42         5308 :                 return "void";
      43              :         }
      44              : 
      45       324604 :         public override DataType copy () {
      46       324604 :                 return new VoidType (source_reference);
      47              :         }
      48              : }