diff options
| author | Timm Bäder <mail@baedert.org> | 2015-10-27 09:47:58 +0100 |
|---|---|---|
| committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2016-09-17 22:22:27 +0200 |
| commit | 8e4cdfd6488c467a3028831e8d6183286c4f399d (patch) | |
| tree | 9071dbbc0a9f1342c0aa853e67789e926899cff4 /vala | |
| parent | 22dff9c3a603c76e3597647ebd1a414af5a46d8e (diff) | |
| download | vala-8e4cdfd6488c467a3028831e8d6183286c4f399d.tar.gz | |
valainterface: Don't allow 'type' properties
https://bugzilla.gnome.org/show_bug.cgi?id=723258
Diffstat (limited to 'vala')
| -rw-r--r-- | vala/valainterface.vala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/vala/valainterface.vala b/vala/valainterface.vala index 621c6e8ce..f80427b98 100644 --- a/vala/valainterface.vala +++ b/vala/valainterface.vala @@ -204,6 +204,11 @@ public class Vala.Interface : ObjectTypeSymbol { return; } + if (prop.name == "type") { + Report.error (prop.source_reference, "Property 'type' not allowed"); + return; + } + properties.add (prop); scope.add (prop.name, prop); |