1 | :- module(module_information,[module_info/2,module_info/3,get_module_info/3,number_of_groups/1,number_of_modules/1,number_of_modules/2]). | |
2 | ||
3 | % a simple mechanism to provide annotations for various modules | |
4 | % examples: | |
5 | % :- module_info(description,'....'). | |
6 | % :- module_info(group,kernel). | |
7 | :- meta_predicate module_info(:,*). | |
8 | :- dynamic get_module_info/3. | |
9 | module_info(Module:Attribute,Value) :- | |
10 | !,%print(describe_module(Module,Attribute,Value)),nl, | |
11 | assert(get_module_info(Module,Attribute,Value)). | |
12 | module_info(Attribute,Value) :- nl,print('### Attribute has no module prefix: '), Attribute,nl, | |
13 | print('### Value: '), print(Value),nl. | |
14 | % called for non-module prolog files | |
15 | module_info(Module,Attribute,Value) :- | |
16 | assert(get_module_info(Module,Attribute,Value)). | |
17 | ||
18 | :- module_info(group,infrastructure). | |
19 | :- module_info(description,'This module contains functionality to store basic documentation and information about all modules in ProB.'). | |
20 | ||
21 | :- use_module(library(lists)). | |
22 | ||
23 | % module_information:get_maximal_module_info(revision,X). | |
24 | % module_information:get_maximal_module_info(lastchanged,X). | |
25 | ||
26 | number_of_groups(X) :- | |
27 | findall(Group,get_module_info(_Module,group,Group),List), | |
28 | remove_dups(List,NList), | |
29 | length(NList,X). | |
30 | ||
31 | number_of_modules(X) :- | |
32 | findall(Module,get_module_info(Module,_A,_B),List), | |
33 | remove_dups(List,NList), | |
34 | length(NList,X). | |
35 | ||
36 | number_of_modules(Group,X) :- | |
37 | findall(Module,get_module_info(Module,group,Group),List), | |
38 | remove_dups(List,NList), | |
39 | length(NList,X). | |
40 | ||
41 |