diff options
Diffstat (limited to 'vala/valatypecheck.vala')
-rw-r--r-- | vala/valatypecheck.vala | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/vala/valatypecheck.vala b/vala/valatypecheck.vala new file mode 100644 index 000000000..bb9f605c7 --- /dev/null +++ b/vala/valatypecheck.vala @@ -0,0 +1,60 @@ +/* valatypecheck.vala + * + * Copyright (C) 2006 Jürg Billeter + * + * This library is free software; you can redistribute it and/or + * modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation; either + * version 2 of the License, or (at your option) any later version. + + * This library is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * Lesser General Public License for more details. + + * You should have received a copy of the GNU Lesser General Public + * License along with this library; if not, write to the Free Software + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA + * + * Author: + * Jürg Billeter <j@bitron.ch> + */ + +using GLib; + +/** + * Represents a type check (`is') expression in the source code. + */ +public class Vala.TypeCheck : Expression { + /** + * The expression to be checked. + */ + public Expression! expression { get; set construct; } + + /** + * The type to be matched against. + */ + public TypeReference! type_reference { get; set construct; } + + /** + * Creates a new type check expression. + * + * @param expr an expression + * @param type a data type + * @param source reference to source code + * @return newly created type check expression + */ + public TypeCheck (Expression! expr, TypeReference! type, SourceReference source) { + expression = expr; + type_reference = type; + source_reference = source; + } + + public override void accept (CodeVisitor! visitor) { + expression.accept (visitor); + + type_reference.accept (visitor); + + visitor.visit_type_check (this); + } +} |