import poset
import location
-
-# Simple way to store an HashMap[K, Array[V]]
-# FIXME: this should move to its own module
-class MultiHashMap[K: Object, V]
- super HashMap[K, Array[V]]
-
- # Add `v' to the array associated with `k'.
- # If there is no array associated, then create it.
- fun add_one(k: K, v: V)
- do
- if self.has_key(k) then
- self[k].add(v)
- else
- self[k] = [v]
- end
- end
-
- init do end
-end
-
-# Simple way to store an HashMap[K1, HashMap[K2, V]]
-# FIXME: this should move to its own module
-class HashMap2[K1: Object, K2: Object, V]
- private var level1: HashMap[K1, HashMap[K2, V]] = new HashMap[K1, HashMap[K2, V]]
- fun [](k1: K1, k2: K2): nullable V
- do
- var level1 = self.level1
- if not level1.has_key(k1) then return null
- var level2 = level1[k1]
- if not level2.has_key(k2) then return null
- return level2[k2]
- end
- fun []=(k1: K1, k2: K2, v: V)
- do
- var level1 = self.level1
- var level2: HashMap[K2, V]
- if not level1.has_key(k1) then
- level2 = new HashMap[K2, V]
- level1[k1] = level2
- else
- level2 = level1[k1]
- end
- level2[k2] = v
- end
-end
-
-# Simple way to store an HashMap[K1, HashMap[K2, HashMap[K3, V]]]
-# FIXME: this should move to its own module
-class HashMap3[K1: Object, K2: Object, K3: Object, V]
- private var level1: HashMap[K1, HashMap2[K2, K3, V]] = new HashMap[K1, HashMap2[K2, K3, V]]
- fun [](k1: K1, k2: K2, k3: K3): nullable V
- do
- var level1 = self.level1
- if not level1.has_key(k1) then return null
- var level2 = level1[k1]
- return level2[k2, k3]
- end
- fun []=(k1: K1, k2: K2, k3: K3, v: V)
- do
- var level1 = self.level1
- var level2: HashMap2[K2, K3, V]
- if not level1.has_key(k1) then
- level2 = new HashMap2[K2, K3, V]
- level1[k1] = level2
- else
- level2 = level1[k1]
- end
- level2[k2, k3] = v
- end
-end
+private import more_collections
# The container class of a Nit object-oriented model.
# A model knows modules, classes and properties and can retrieve them.
# Collections of modules grouped by their short names
private var mmodules_by_name: MultiHashMap[String, MModule] = new MultiHashMap[String, MModule]
- # Return all module named `name'
+ # Return all module named `name`
# If such a module does not exist, null is returned (instead of an empty array)
#
# Visibility or modules are not considered
end
# A Nit module is usually associated with a Nit source file.
-# Modules can be nested (see `direct_owner', `public_owner', and `in_nesting')
+# Modules can be nested (see `direct_owner`, `public_owner`, and `in_nesting`)
class MModule
# The model considered
var model: Model
# The origin of the definition
var location: Location
- # Alias for `name'
+ # Alias for `name`
redef fun to_s do return self.name
- # The view of the module in the module_nesting_hierarchy
+ # The view of the module in the `model.mmodule_nesting_hierarchy`
var in_nesting: POSetElement[MModule]
- # The view of the module in the module_importation_hierarchy
+ # The view of the module in the `model.mmodule_importation_hierarchy`
var in_importation: POSetElement[MModule]
# The canonical name of the module
- # Example: "owner::name"
+ # Example: `"owner::name"`
fun full_name: String
do
var owner = self.public_owner
end
# Create a new empty module and register it to a model
- # `direct_owner' is the direct owner (null if top-level module)
+ # `direct_owner` is the direct owner (null if top-level module)
init(model: Model, direct_owner: nullable MModule, name: String, location: Location)
do
self.model = model
# Register the imported modules (ie "import some_module")
# This function can only invoked once by mmodule.
- # The visibility must be set with `se_visibility_for'.
+ # The visibility must be set with `set_visibility_for`.
fun set_imported_mmodules(imported_mmodules: Array[MModule])
do
assert unique_invocation: self.in_importation.direct_greaters.is_empty
end
# Set the visibility of an imported module
- # REQUIRE: the visibility of the modules imported by `m' are already set for `m'
+ # REQUIRE: the visibility of the modules imported by `m` are already set for `m`
fun set_visibility_for(m: MModule, v: MVisibility)
do
if v == intrude_visibility then
# The first module in the nesting hierarchy to export self as public
# This function is used to determine the canonical name of modules, classes and properties.
- # REQUIRE: the visibility of all nesting modules is already set for `m'.
+ # REQUIRE: the visibility of all nesting modules is already set.
fun public_owner: nullable MModule
do
var res = self.direct_owner
return res
end
- # Return true if a class or a property introduced in `intro_mmodule' with a visibility of 'visibility' is visible in self.
+ # Return true if a class or a property introduced in `intro_mmodule` with a visibility of `visibility` is visible in self.
fun is_visible(intro_mmodule: MModule, visibility: MVisibility): Bool
do
var v = visibility_for(intro_mmodule)
# A visibility (for modules, class and properties)
# Valid visibility are:
#
-# * intrude_visibility
-# * public_visibility
-# * protected_visibility
-# * none_visibility
+# * `intrude_visibility`
+# * `public_visibility`
+# * `protected_visibility`
+# * `none_visibility`
#
# Note this class is basically an enum.
# FIXME: use a real enum once user-defined enums are available