From cce40e0a46c25742b9e91d2ba3677ffa04fb6c9d Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Thu, 11 Jun 2009 14:54:53 -0400 Subject: [PATCH] metamodel: new MMLocalClass::has_global_property Signed-off-by: Jean Privat --- src/metamodel/abstractmetamodel.nit | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/metamodel/abstractmetamodel.nit b/src/metamodel/abstractmetamodel.nit index 260ea30..e69f4ab 100644 --- a/src/metamodel/abstractmetamodel.nit +++ b/src/metamodel/abstractmetamodel.nit @@ -502,6 +502,12 @@ class MMLocalClass register_local_property(prop) end + # Does the global property belong to the class? + meth has_global_property(glob: MMGlobalProperty): Bool + do + return _global_properties.has(glob) + end + # Get a local proprty by its global property meth [](glob: MMGlobalProperty): MMLocalProperty do -- 1.7.9.5