Updated comments.

This commit is contained in:
2015-07-10 19:08:29 +02:00
parent 5da01fd576
commit 3ea9e36e7c
2 changed files with 5 additions and 4 deletions

View File

@@ -54,7 +54,7 @@ feature -- Access
feature {CMS_MODULE, CMS_API} -- Restricted access feature {CMS_MODULE, CMS_API} -- Restricted access
update_module_status_within (a_module: CMS_MODULE; a_collection: CMS_MODULE_COLLECTION) update_module_status_within (a_module: CMS_MODULE; a_collection: CMS_MODULE_COLLECTION)
-- Is `a_module' enabled, and also its dependencies within the collection `a_collection'? -- Update status of module `a_module', taking into account its dependencies within the collection `a_collection'.
require require
a_module_is_enabled: a_module.is_enabled a_module_is_enabled: a_module.is_enabled
do do
@@ -78,7 +78,7 @@ feature {CMS_MODULE, CMS_API} -- Restricted access
end end
update_module_status_from_configuration (m: CMS_MODULE) update_module_status_from_configuration (m: CMS_MODULE)
-- Is module `m' enabled? -- Update status of module `m' according to configuration.
local local
b: BOOLEAN b: BOOLEAN
dft: BOOLEAN dft: BOOLEAN

View File

@@ -46,7 +46,8 @@ feature {CMS_API} -- Module Initialization
is_initialized: is_initialized is_initialized: is_initialized
end end
add_dependency (m: TYPE [CMS_MODULE]) add_dependency (a_type: TYPE [CMS_MODULE])
-- Add dependency using type of module `a_type'.
local local
deps: like dependencies deps: like dependencies
do do
@@ -55,7 +56,7 @@ feature {CMS_API} -- Module Initialization
create {ARRAYED_LIST [TYPE [CMS_MODULE]]} deps.make (1) create {ARRAYED_LIST [TYPE [CMS_MODULE]]} deps.make (1)
dependencies := deps dependencies := deps
end end
deps.force (m) deps.force (a_type)
end end
feature -- Status feature -- Status