From 603eba6ed07cfbb8e8942ad6e2c2dfd164a51b77 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jean-Christophe=20Beaupr=C3=A9?= Date: Mon, 15 Sep 2014 11:36:10 -0400 Subject: [PATCH] neo: Explain how arguments of a MClasType are named. MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Jean-Christophe Beaupré --- src/neo.nit | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/neo.nit b/src/neo.nit index c3273a7..70d593e 100644 --- a/src/neo.nit +++ b/src/neo.nit @@ -72,6 +72,11 @@ # * `visibility`: visibility of the class. # * `(:MClass)-[:CLASSTYPE]->(:MClassType)`: SEE: `MClass.mclass_type` # +# Arguments in the `CLASSTYPE` are named following the `parameter_names` +# attribute of the `MClassDef` that introduces the class. A class definition +# introduces a class if and only if it has this class as `MCLASS` and +# has `is_intro` set to `true`. +# # `MClassDef` # # * labels: `MClassDef`, `model_name` and `MEntity`. @@ -135,6 +140,9 @@ # * `(:MClassType)-[:CLASS]->(:MClass)`: SEE: `MClassType.mclass` # * `(:MClassType)-[:ARGUMENT]->(:MType)`: type arguments. # +# Arguments are named following the `parameter_names` attribute of the +# `MClassDef` that introduces the class referred by `CLASS`. +# # Additional relationship for `MVirtualType`: # # * `(:MVirtualType)-[:PROPERTY]->(:MProperty)`: associated property that -- 1.7.9.5