1		% (c) 2018 Lehrstuhl fuer Softwaretechnik und Programmiersprachen,
2		% Heinrich Heine Universitaet Duesseldorf
3		% This software is licenced under EPL 1.0 (http://www.eclipse.org/org/documents/epl-v10.html)
4
5
6		:- module(tools_matching,
7		[fuzzy_match_codes_lower_case/2,
8		fuzzy_match_codes/2,
9		codes_to_lower_case/2,
10		get_current_keywords/1
11		]).
12
13		:- use_module(error_manager).
14		:- use_module(self_check).
15		:- use_module(library(lists)).
16
17		:- use_module(module_information).
18
19		:- module_info(group,infrastructure).
20		:- module_info(description,'A few utilities for fuzzy matching and completion.').
21
22
23
24		:- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("a","A")).
25		:- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("aBcD","ABCd")).
26		:- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("aBcD","ABxCd")).
27		:- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("aBxcD","ABCd")).
28		:- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("aBcD","ABCdx")).
29		:- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("aBcDx","ABCd")).
30		:- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("a_Bc_D","AB__Cd")).
31		:- assert_must_fail(tools_matching:fuzzy_match_codes_lower_case("abc","cba")).
32
33
34		fuzzy_match_codes_lower_case(Codes1,Codes2) :-
35		codes_to_lower_case(Codes1,LCodes1),
36		codes_to_lower_case(Codes2,LCodes2),
37		fuzzy_match_codes(LCodes1,LCodes2).
38
39		:- assert_must_succeed(tools_matching:fuzzy_match_codes("aBcD","aBcD")).
40		:- assert_must_succeed(tools_matching:fuzzy_match_codes("aBxcD","aBcD")).
41		:- assert_must_succeed(tools_matching:fuzzy_match_codes("aBcD","aBcxD")).
42		:- assert_must_succeed(tools_matching:fuzzy_match_codes("aBcD","aBcDx")).
43		:- assert_must_succeed(tools_matching:fuzzy_match_codes("xaBcD","aBcD")).
44		:- assert_must_succeed(tools_matching:fuzzy_match_codes("aBcD","xaBcD")).
45		:- assert_must_fail(tools_matching:fuzzy_match_codes("abc","ABC")).
46
47		fuzzy_match_codes([],[]).
48		fuzzy_match_codes([H|T1],[H|T2]) :- !,fuzzy_match_codes(T1,T2).
49		fuzzy_match_codes([_|T],[_|T]) :- !. % one character rewritten
50		fuzzy_match_codes([H1|T1],L2) :- possible_skip_char(H1),!,fuzzy_match_codes(T1,L2).
51		fuzzy_match_codes(L1,[H2|T2]) :- possible_skip_char(H2),!,fuzzy_match_codes(L1,T2).
52		fuzzy_match_codes([_|T],T) :- !. % one character too much
53		fuzzy_match_codes(T,[_|T]) :- !. % one character too few
54
55		codes_to_lower_case(Codes,LC) :- maplist(code_to_lower_case,Codes,LC).
56
57		code_to_lower_case(Char,LC_Char) :- Char >= 65, Char =< 90,!, LC_Char is Char+32.
58		code_to_lower_case(C,C).
59
60		possible_skip_char(95). % _
61
62		:- use_module(specfile,[b_mode/0, animation_minor_mode/1]).
63
64		get_current_keywords(List) :- b_mode,!,
65		(animation_minor_mode(Minor) -> Mode=Minor ; Mode=b),
66		get_keywords(Mode,[expr,predicate],List).
67		get_current_keywords([]). % TO DO: support csp mode
68
69		get_keywords(Mode,Types,List) :-
70		findall(ID,(keyword(ID,Type,Modes), member(Mode,Modes), member(Type,Types)),Ids),
71		sort(Ids,List).
72
73		% list of language specific and context specific keywords
74		keyword(not,predicate,[b,eventb]).
75		keyword(or,predicate,[b,eventb]).
76		keyword('TRUE',expr,[b,eventb]).
77		keyword('FALSE',expr,[b,eventb]).
78		keyword('BOOL',expr,[b,eventb]).
79		keyword('bool',expr,[b,eventb]).
80		keyword('POW',expr,[b,eventb]).
81		keyword('POW1',expr,[b,eventb]).
82		keyword('FIN',expr,[b,eventb]).
83		keyword('FIN1',expr,[b,eventb]).
84		keyword('union',expr,[b,eventb]).
85		keyword('inter',expr,[b,eventb]).
86		keyword('UNION',expr,[b,eventb]).
87		keyword('INTER',expr,[b,eventb]).
88		keyword('INTEGER',expr,[b]).
89		keyword('NATURAL',expr,[b]).
90		keyword('NATURAL1',expr,[b]).
91		keyword('INT',expr,[b,eventb]).
92		keyword('NAT',expr,[b,eventb]).
93		keyword('NAT1',expr,[b,eventb]).
94		keyword('MININT',expr,[b]).
95		keyword('MAXINT',expr,[b]).
96		keyword('min',expr,[b,eventb]).
97		keyword('max',expr,[b,eventb]).
98		keyword('SIGMA',expr,[b]).
99		keyword('PI',expr,[b]).
100		keyword('dom',expr,[b,eventb]).
101		keyword('ran',expr,[b,eventb]).
102		keyword('id',expr,[b,eventb]).
103		keyword('prj1',expr,[b,eventb]).
104		keyword('prj2',expr,[b,eventb]).
105		keyword('pred',expr,[b,eventb]).
106		keyword('succ',expr,[b,eventb]).
107		keyword('closure',expr,[b]).
108		keyword('closure1',expr,[b]).
109		keyword('iterate',expr,[b]).
110		keyword('fnc',expr,[b]). % also Event-B ?
111		keyword('rel',expr,[b]).
112
113		keyword('seq',expr,[b]).
114		keyword('seq1',expr,[b]).
115		keyword('iseq',expr,[b]).
116		keyword('iseq1',expr,[b]).
117		keyword('perm',expr,[b]).
118		keyword('size',expr,[b]).
119		keyword('rev',expr,[b]).
120		keyword('first',expr,[b]).
121		keyword('last',expr,[b]).
122		keyword('front',expr,[b]).
123		keyword('tail',expr,[b]).
124		keyword('conc',expr,[b]).
125		keyword('struct',expr,[b]).
126		keyword('rec',expr,[b]).
127		keyword('STRING',expr,[b]).
128
129		keyword('skip',subst,[b]).
130		keyword('CASE',subst,[b]).
131		keyword('SELECT',subst,[b]).
132		keyword('PRE',subst,[b]).
133
134		keyword('IF',_,[b]).
135		keyword('THEN',_,[b]).
136		keyword('ELSE',_,[b]).
137		keyword('LET',_,[b]).
138		keyword('BE',_,[b]).
139		keyword('END',_,[b]).
140
141		% TO DO: add keywords for TLA, Z minor modes