From: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
Date: Mon, 15 Sep 2014 15:36:10 +0000 (-0400)
Subject: neo: Explain how arguments of a MClasType are named.
X-Git-Tag: v0.6.9~31^2
X-Git-Url: http://nitlanguage.org

neo: Explain how arguments of a MClasType are named.

Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
---

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