1 % (c) 2018-2025 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, % to lower case, also performs Unicode simplifications
10 get_current_keywords/1, get_current_expr_keywords/1,
11 is_b_keyword/2, is_rules_dsl_keyword/2,
12 get_all_svg_classes/1, is_svg_shape_class/1,
13 get_all_svg_attributes/1, is_svg_number_attribute/2, is_svg_color_attribute/1,
14 is_svg_attribute/1, is_virtual_svg_attribute/1,
15 is_svg_color_name/1,
16 is_html_tag/1, is_html_attribute/1,
17 get_all_dot_attributes/1, is_dot_attribute/1,
18 dot2svg_synonym/2,
19 get_possible_preferences/1, get_possible_preferences_matches_msg/2,
20 get_possible_top_level_event_matches_msg/2,
21 get_possible_fuzzy_matches_msg/3,
22 get_possible_completions_msg/3,
23 get_possible_fuzzy_matches_and_completions_msg/3 % both in one
24 ]).
25
26 :- use_module(error_manager).
27 :- use_module(self_check).
28 :- use_module(library(lists)).
29
30 :- use_module(module_information).
31
32 :- module_info(group,infrastructure).
33 :- module_info(description,'A few utilities for fuzzy matching and completion.').
34
35 :- set_prolog_flag(double_quotes, codes).
36
37
38 :- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("a","A")).
39 :- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("aBcD","ABCd")).
40 :- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("aBcD","ABxCd")).
41 :- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("aBxcD","ABCd")).
42 :- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("aBcD","ABCdx")).
43 :- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("aBcDx","ABCd")).
44 :- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("a_Bc_D","AB__Cd")).
45 %:- assert_must_succeed(tools_matching:fuzzy_match_codes_lower_case("äÄ","aA")).
46 :- assert_must_fail(tools_matching:fuzzy_match_codes_lower_case("abc","cba")).
47
48
49 fuzzy_match_codes_lower_case(Codes1,Codes2) :-
50 codes_to_lower_case(Codes1,LCodes1),
51 codes_to_lower_case(Codes2,LCodes2),
52 fuzzy_match_codes(LCodes1,LCodes2).
53
54 :- assert_must_succeed(tools_matching:fuzzy_match_codes("aBcD","aBcD")).
55 :- assert_must_succeed(tools_matching:fuzzy_match_codes("aBxcD","aBcD")).
56 :- assert_must_succeed(tools_matching:fuzzy_match_codes("aBcD","aBcxD")).
57 :- assert_must_succeed(tools_matching:fuzzy_match_codes("aBcD","aBcDx")).
58 :- assert_must_succeed(tools_matching:fuzzy_match_codes("xaBcD","aBcD")).
59 :- assert_must_succeed(tools_matching:fuzzy_match_codes("aBcD","xaBcD")).
60 :- assert_must_succeed(tools_matching:fuzzy_match_codes("version","verison")).
61 :- assert_must_fail(tools_matching:fuzzy_match_codes("abc","ABC")).
62
63 fuzzy_match_codes([],[]).
64 ?fuzzy_match_codes([H|T1],[H|T2]) :- !,fuzzy_match_codes(T1,T2).
65 fuzzy_match_codes([_|T],[_|T]) :- !. % one character rewritten
66 fuzzy_match_codes([H1|T1],L2) :- possible_skip_char(H1),!, % underscore _
67 fuzzy_match_codes(T1,L2).
68 fuzzy_match_codes(L1,[H2|T2]) :- possible_skip_char(H2),!,
69 fuzzy_match_codes(L1,T2).
70 fuzzy_match_codes([_|T],T) :- !. % one character too much
71 fuzzy_match_codes(T,[_|T]) :- !. % one character too few
72 fuzzy_match_codes([H1,H2|T],[H2,H1|T]) :- !. % swapping of two characters
73
74
75 %:- assert_must_succeed(tools_matching:codes_to_lower_case("äÄöAa","aaoaa")).
76
77 codes_to_lower_case(Codes,LC) :- maplist(code_to_lower_case,Codes,LC).
78 % TO DO: normalise more UNICODE symbols, ...
79
80 code_to_lower_case(Char,LC_Char) :- Char >= 65, Char =< 90,!, LC_Char is Char+32.
81 code_to_lower_case(Char,LC_Char) :- Char >= 8320, Char =< 8329,!, LC_Char is Char-8272. % Unicode Subscripts
82 code_to_lower_case(8242,R) :- !, R=8242. % Unicode Prime
83 code_to_lower_case(8216,R) :- !, R=8242.
84 code_to_lower_case(8217,R) :- !, R=8242.
85 code_to_lower_case(Char,R) :- Char >= 192, Char =< 197,!, R=97. % upper-case a
86 code_to_lower_case(Char,R) :- Char >= 224, Char =< 229,!, R=97. % lower-case a
87 code_to_lower_case(Char,R) :- Char >= 200, Char =< 203,!, R=101. % upper-case e
88 code_to_lower_case(Char,R) :- Char >= 232, Char =< 235,!, R=101. % lower-case e
89 code_to_lower_case(Char,R) :- Char >= 204, Char =< 207,!, R=105. % upper-case i
90 code_to_lower_case(Char,R) :- Char >= 236, Char =< 239,!, R=105. % lower-case i
91 code_to_lower_case(Char,R) :- Char >= 210, Char =< 214,!, R=111. % upper-case o
92 code_to_lower_case(Char,R) :- Char >= 242, Char =< 246,!, R=111. % lower-case o
93 code_to_lower_case(Char,R) :- Char >= 217, Char =< 220,!, R=117. % upper-case u
94 code_to_lower_case(Char,R) :- Char >= 249, Char =< 252,!, R=117. % lower-case u
95 code_to_lower_case(253,R) :- !, R=121. % ý -> y
96 code_to_lower_case(209,R) :- !, R=110. % Ñ -> n
97 code_to_lower_case(241,R) :- !, R=110. % ñ -> n
98 code_to_lower_case(231,R) :- !, R=99. % ç -> c
99 code_to_lower_case(223,R) :- !, R=115. % ß -> s
100 code_to_lower_case(C,C).
101
102 % use_module(library(between)), between(150,255,R), atom_codes(A,[R]), format("~w : ~w~n",[R,A]),fail.
103
104 possible_skip_char(95). % _
105
106 :- use_module(specfile,[b_or_z_mode/0, csp_mode/0, xtl_mode/0, animation_minor_mode/1, classical_b_mode/0]).
107
108 get_current_expr_keywords(List) :-
109 get_current_keywords([expr,external_funs,pragma,predicate],List).
110 get_current_keywords(List) :-
111 get_current_keywords([expr,external_funs,pragma,predicate,prob_definitions,section,subst],List).
112
113 get_current_keywords(Types,List) :- b_or_z_mode,!,
114 (animation_minor_mode(Minor)
115 -> (classical_b_mode
116 % e.g., for rules_dsl allow both B and rules_dsl keywords at the moment, TODO: remove sections
117 % TODO: we should also ensure this is active for VisB expressions or when the REPL is classical B mode
118 -> get_keywords(Minor,Types,List1),
119 get_keywords(b,Types,List2),
120 append(List1,List2,List)
121 ; get_keywords(Minor,Types,List))
122 ; get_keywords(b,Types,List)).
123 get_current_keywords(_,List) :- csp_mode,!,
124 findall(Def,csp_keyword(Def),List).
125 get_current_keywords(_,List) :- xtl_mode,!,
126 findall(Def,xtl_keyword(Def),List).
127 get_current_keywords(_,[]).
128
129 % -----------------
130
131 csp_keyword(and).
132 csp_keyword(card).
133 csp_keyword(channel).
134 csp_keyword(datatype).
135 csp_keyword(diff).
136 csp_keyword(elem).
137 csp_keyword(empty).
138 csp_keyword(false).
139 csp_keyword(head).
140 csp_keyword(inter).
141 csp_keyword(length).
142 csp_keyword(let).
143 csp_keyword(member).
144 csp_keyword(mod).
145 csp_keyword(nametype).
146 csp_keyword(not).
147 csp_keyword(null).
148 csp_keyword(or).
149 csp_keyword(set).
150 csp_keyword(subtype).
151 csp_keyword(tail).
152 csp_keyword(true).
153 csp_keyword(union).
154 csp_keyword(within).
155 csp_keyword('CHAOS').
156 csp_keyword('Inter').
157 csp_keyword('Seq').
158 csp_keyword('Set').
159 csp_keyword('SKIP').
160 csp_keyword('STOP').
161 csp_keyword('Union').
162
163
164 xtl_keyword(prop).
165 xtl_keyword(start).
166 xtl_keyword(trans).
167 xtl_keyword(animation_image).
168 xtl_keyword(animation_image_click_transition).
169 xtl_keyword(animation_image_right_click_transition).
170 xtl_keyword(animation_function_result).
171 xtl_keyword(heuristic_function_active).
172 xtl_keyword(heuristic_function_result).
173 xtl_keyword(prob_game_info).
174 xtl_keyword(prob_pragma_string).
175 xtl_keyword(nr_state_properties).
176
177 % -----------------
178
179 get_keywords(Mode,Types,List) :-
180 (Mode=b,select(prob_definitions,Types,Types1)
181 -> findall(Def,prob_special_def(Def),Ids1)
182 ; Ids1=[], Types1=Types
183 ),
184 ? (Mode=b,select(external_funs,Types1,Types2)
185 -> findall(Def,prob_external_fun(Def),Ids2,Ids1)
186 ; Ids2=Ids1, Types2=Types1
187 ),
188 findall(ID,(keyword(ID,Type,Modes), member(Mode,Modes), member(Type,Types2)),Ids,Ids2),
189 sort(Ids,List).
190
191 :- use_module(external_function_declarations,[external_function_library/2]).
192 ?prob_external_fun(Fun) :- external_function_library(Fun,File),
193 member(File,['LibraryStrings.def']). % ideally we want to only show the included libraries
194
195 prob_special_def(Def) :- special_definitions(Def,_).
196 prob_special_def(Def) :- set_pref_keyword(Def,_).
197 prob_special_def(Def) :- operation_pref_keyword(Def).
198
199 special_definitions('ASSERT_CTL',model_check).
200 special_definitions('ASSERT_LTL',model_check).
201 special_definitions('GOAL',model_check).
202 special_definitions('HEURISTIC_FUNCTION',model_check).
203 special_definitions('SCOPE',model_check).
204 special_definitions('CUSTOM_GRAPH',dot).
205 special_definitions('CUSTOM_GRAPH_EDGES',dot).
206 special_definitions('CUSTOM_GRAPH_NODES',dot).
207 special_definitions('VISB_DEFINITIONS_FILE',visb).
208 special_definitions('VISB_JSON_FILE',visb).
209 special_definitions('VISB_SVG_BOX',visb).
210 special_definitions('VISB_SVG_CONTENTS',visb).
211 special_definitions('VISB_SVG_EVENTS',visb).
212 special_definitions('VISB_SVG_FILE',visb).
213 special_definitions('VISB_SVG_HOVERS',visb).
214 special_definitions('VISB_SVG_OBJECTS',visb).
215 special_definitions('VISB_SVG_UPDATES',visb).
216 % this is a local identifier available inside event predicates: VISB_CLICK_META_INFOS
217 special_definitions('ANIMATION_CLICK',tkanim).
218 special_definitions('ANIMATION_EXPRESSION',tkanim).
219 special_definitions('ANIMATION_FUNCTION',tkanim).
220 special_definitions('ANIMATION_FUNCTION_DEFAULT',tkanim).
221 special_definitions('ANIMATION_IMG',tkanim).
222 special_definitions('ANIMATION_RIGHT_CLICK',tkanim).
223 special_definitions('ANIMATION_STR',tkanim).
224 special_definitions('ANIMATION_STR_JUSTIFY_LEFT',tkanim).
225 special_definitions('ANIMATION_STR_JUSTIFY_RIGHT',tkanim).
226 special_definitions('GAME_MCTS_RUNS',mcts).
227 special_definitions('GAME_MCTS_TIMEOUT',mcts).
228 special_definitions('GAME_MCTS_CACHE_LAST_TREE',mcts).
229 special_definitions('GAME_OVER',mcts).
230 special_definitions('GAME_PLAYER',mcts).
231 special_definitions('GAME_VALUE',mcts).
232 special_definitions('PROB_REQUIRED_VERSION',general).
233 % TODO: scope_, FORCE_SYMMETRY_, for sets
234
235 :- use_module(bmachine,[b_top_level_operation/1]).
236 operation_pref_keyword(OpPrefAtom) :-
237 b_top_level_operation(Top),
238 op_prefix(Prefix),
239 atom_concat(Prefix,Top,OpPrefAtom).
240 op_prefix('MAX_OPERATIONS_').
241 op_prefix('OPERATION_REUSE_OFF_').
242 op_prefix('SEQUENCE_CHART_').
243
244 set_pref_keyword(SetPrefAtom,Pref) :-
245 get_possible_preferences(Prefs),
246 member(Pref,Prefs),
247 atom_concat('SET_PREF_',Pref,SetPrefAtom).
248
249 is_b_keyword(ID,Type) :- keyword(ID,Type,L), member(b,L).
250 is_rules_dsl_keyword(ID,Type) :- keyword(ID,Type,L), member(rules_dsl,L).
251
252 % list of language specific and context specific keywords
253 keyword(not,predicate,[b,eventb]).
254 keyword(or,predicate,[b,eventb]).
255 keyword('true',expr,[eventb]). % truth in Rodin parser
256 keyword('false',expr,[eventb]). % falsity in Rodin parser
257 keyword('TRUE',expr,[b,eventb,tla]).
258 keyword('FALSE',expr,[b,eventb,tla]).
259 keyword('BOOL',expr,[b,eventb]).
260 keyword('bool',expr,[b,eventb]).
261 keyword('POW',expr,[b,eventb]).
262 keyword('POW1',expr,[b,eventb]).
263 keyword('FIN',expr,[b]). % not available in Event-B
264 keyword('FIN1',expr,[b]). % ditto
265 keyword('union',expr,[b,eventb]).
266 keyword('inter',expr,[b,eventb]).
267 keyword('UNION',expr,[b,eventb]).
268 keyword('INTER',expr,[b,eventb]).
269 keyword('INTEGER',expr,[b]).
270 keyword('NATURAL',expr,[b]).
271 keyword('NATURAL1',expr,[b]).
272 keyword('INT',expr,[b,eventb]).
273 keyword('NAT',expr,[b,eventb]).
274 keyword('NAT1',expr,[b,eventb]).
275 keyword('MININT',expr,[b]).
276 keyword('MAXINT',expr,[b]).
277 keyword('min',expr,[b,eventb]).
278 keyword('max',expr,[b,eventb]).
279 keyword('SIGMA',expr,[b]).
280 keyword('PI',expr,[b]).
281 keyword('STRING',expr,[b,tla]).
282 keyword('card',expr,[b,eventb]).
283 keyword('finite',expr,[eventb]).
284 keyword('@finite',expr,[b]).
285 keyword('dom',expr,[b,eventb]).
286 keyword('ran',expr,[b,eventb]).
287 keyword('id',expr,[b,eventb]).
288 keyword('@partition',expr,[b]).
289 keyword('partition',expr,[eventb]).
290 keyword('prj1',expr,[b,eventb]).
291 keyword('prj2',expr,[b,eventb]).
292 keyword('@prj1',expr,[b]).
293 keyword('@prj2',expr,[b]).
294 keyword('pred',expr,[b,eventb]).
295 keyword('succ',expr,[b,eventb]).
296 keyword('closure',expr,[b]).
297 keyword('closure1',expr,[b]).
298 keyword('iterate',expr,[b]).
299 keyword('fnc',expr,[b]). % also Event-B ?
300 keyword('rel',expr,[b]).
301
302 keyword('seq',expr,[b]).
303 keyword('seq1',expr,[b]).
304 keyword('iseq',expr,[b]).
305 keyword('iseq1',expr,[b]).
306 keyword('perm',expr,[b]).
307 keyword('size',expr,[b]).
308 keyword('rev',expr,[b]).
309 keyword('first',expr,[b]).
310 keyword('last',expr,[b]).
311 keyword('front',expr,[b]).
312 keyword('tail',expr,[b]).
313 keyword('conc',expr,[b]).
314 keyword('struct',expr,[b]).
315 keyword('rec',expr,[b]).
316 keyword('STRING',expr,[b]).
317
318 % TREE keywords
319 keyword('arity',expr,[b]).
320 keyword('bin',expr,[b]).
321 keyword('btree',expr,[b]).
322 keyword('const',expr,[b]).
323 keyword('father',expr,[b]).
324 keyword('infix',expr,[b]).
325 keyword('left',expr,[b]).
326 keyword('mirror',expr,[b]).
327 keyword('prefix',expr,[b]).
328 keyword('postfix',expr,[b]).
329 keyword('rank',expr,[b]).
330 keyword('right',expr,[b]).
331 keyword('sizet',expr,[b]).
332 keyword('son',expr,[b]).
333 keyword('sons',expr,[b]).
334 keyword('subtree',expr,[b]).
335 keyword('top',expr,[b]).
336 keyword('tree',expr,[b]).
337
338
339 % REAL keywords
340 keyword('floor',expr,[b]).
341 keyword('ceiling',expr,[b]).
342 keyword('real',expr,[b]).
343 keyword('REAL',expr,[b]).
344 keyword('FLOAT',expr,[b]).
345
346 % ---
347
348 keyword('btrue',predicate,[b]).
349 keyword('bfalse',predicate,[b]).
350
351 keyword('skip',subst,[b]).
352 keyword('ANY',subst,[b]).
353 keyword('ASSERT',subst,[b]).
354 keyword('BEGIN',subst,[b]).
355 keyword('CASE',subst,[b,tla]).
356 keyword('CHOICE',subst,[b]).
357 keyword('DO',subst,[b]).
358 keyword('EITHER',subst,[b]).
359 keyword('OR',subst,[b]).
360 keyword('OF',subst,[b]).
361 keyword('PRE',subst,[b]).
362 keyword('SELECT',subst,[b]).
363 keyword('WHERE',subst,[b]).
364 keyword('WHILE',subst,[b]).
365 keyword('WITH',subst,[b,tla]).
366
367 % --
368
369 keyword('ABSTRACT_CONSTANTS',section,[b]).
370 keyword('ABSTRACT_VARIABLES',section,[b]).
371 keyword('ASSERTIONS',section,[b]).
372 keyword('CONCRETE_CONSTANTS',section,[b]).
373 keyword('CONCRETE_VARIABLES',section,[b]).
374 keyword('CONSTANTS',section,[b,tla]).
375 keyword('CONSTRAINTS',section,[b]).
376 keyword('DEFINITIONS',section,[b]).
377 keyword('EVENT',section,[b]).
378 keyword('EXTENDS',section,[b,tla]).
379 keyword('FREETYPES',section,[b]).
380 keyword('IMPLEMENTATION',section,[b]).
381 keyword('IMPORTS',section,[b]).
382 keyword('INCLUDES',section,[b]).
383 keyword('INITIALISATION',section,[b]).
384 keyword('INITIALIZATION',section,[b]).
385 keyword('INVARIANT',section,[b]).
386 keyword('LOCAL_OPERATIONS',section,[b]).
387 keyword('MACHINE',section,[b]).
388 keyword('MODEL',section,[b]).
389 keyword('OPERATIONS',section,[b]).
390 keyword('PROMOTES',section,[b]).
391 keyword('PROPERTIES',section,[b]).
392 keyword('REFINEMENT',section,[b]).
393 keyword('REFINES',section,[b]).
394 keyword('SEES',section,[b]).
395 keyword('SETS',section,[b]).
396 keyword('SYSTEM',section,[b]).
397 keyword('USES',section,[b]).
398 keyword('VALUES',section,[b]).
399 keyword('VARIABLES',section,[b,tla]).
400 keyword('VARIANT',section,[b]).
401
402 % rules-dsl sections
403 keyword('ACTIVATION',section,[rules_dsl]).
404 keyword('BODY',section,[rules_dsl]).
405 keyword('CLASSIFICATION',section,[rules_dsl]).
406 keyword('COMPUTATION',section,[rules_dsl]).
407 keyword('COUNTEREXAMPLE',section,[rules_dsl]).
408 keyword('DEPENDS_ON_COMPUTATION',section,[rules_dsl]).
409 keyword('DEPENDS_ON_RULE',section,[rules_dsl]).
410 keyword('DEFINE',section,[rules_dsl]).
411 keyword('DUMMY_VALUE',section,[rules_dsl]).
412 keyword('ERROR_TYPE',section,[rules_dsl]).
413 keyword('ERROR_TYPES',section,[rules_dsl]).
414 keyword('FOR',section,[rules_dsl]).
415 keyword('FUNCTION',section,[rules_dsl]).
416 keyword('ON_SUCCESS',section,[rules_dsl]).
417 keyword('POSTCONDITION',section,[rules_dsl]).
418 keyword('PRECONDITION',section,[rules_dsl]).
419 keyword('REFERENCES',section,[rules_dsl]).
420 keyword('REPLACES',section,[rules_dsl]).
421 keyword('RULE_FAIL',section,[rules_dsl]).
422 keyword('RULE_FORALL',section,[rules_dsl]).
423 keyword('RULE',section,[rules_dsl]).
424 keyword('RULEID',section,[rules_dsl]).
425 keyword('RULES_MACHINE',section,[rules_dsl]).
426 keyword('TAGS',section,[rules_dsl]).
427 keyword('TYPE',section,[rules_dsl]).
428 keyword('UNCHECKED',section,[rules_dsl]).
429 keyword('VALUE',section,[rules_dsl]).
430
431
432 % TODO: check if these below are available within expressions:
433 keyword('DISABLED_RULE',section,[rules_dsl]).
434 keyword('FAILED_RULE',section,[rules_dsl]).
435 keyword('FAILED_RULE_ERROR_TYPE',section,[rules_dsl]).
436 keyword('FAILED_RULE_ALL_ERROR_TYPES',section,[rules_dsl]).
437 keyword('GET_RULE_COUNTEREXAMPLES',section,[rules_dsl]).
438 keyword('NOT_CHECKED_RULE',section,[rules_dsl]).
439 keyword('STRING_FORMAT',section,[rules_dsl]).
440 keyword('SUCCEEDED_RULE',section,[rules_dsl]).
441 keyword('SUCCEEDED_RULE_ERROR_TYPE',section,[rules_dsl]).
442
443
444 keyword('@desc',pragma,[b]).
445 keyword('@file',pragma,[b]).
446 keyword('@generated',pragma,[b]).
447 keyword('@import-package',pragma,[b]).
448 keyword('@label',pragma,[b]).
449 keyword('@package',pragma,[b]).
450 keyword('@symbolic',pragma,[b]).
451
452 % TLA sections
453 keyword('ASSUME',section,[tla]).
454 keyword('ASSUMPTION',section,[tla]).
455 keyword('AXIOM',section,[tla]).
456 keyword('CONSTANT',section,[tla]).
457 keyword('LOCAL',section,[tla]).
458 keyword('INSTANCE',section,[tla]).
459 keyword('MODULE',section,[tla]).
460 keyword('THEOREM',section,[tla]).
461
462 keyword('IF',_,[b,tla]).
463 keyword('THEN',_,[b,tla]).
464 keyword('ELSE',_,[b,tla]).
465 keyword('ELSIF',_,[b]).
466 keyword('LET',_,[b,tla]).
467 keyword('BE',_,[b]).
468 keyword('IN',_,[b,tla]).
469 keyword('END',_,[b,tla]).
470
471 % TLA expression keywords
472 keyword('BOOLEAN',expr,[tla]).
473 keyword('Cardinality',expr,[tla]).
474 keyword('CHOOSE',expr,[tla]).
475 keyword('DOMAIN',expr,[tla]).
476 keyword('ENABLED',expr,[tla]).
477 keyword('EXCEPT',expr,[tla]).
478 keyword('SUBSET',expr,[tla]).
479 keyword('UNCHANGED',expr,[tla]).
480 keyword('UNION',expr,[tla]).
481
482 % Alloy sections
483 keyword('abstract',section,[alloy]).
484 keyword('assert',section,[alloy]).
485 keyword('check',section,[alloy]).
486 keyword('extends',section,[alloy]).
487 keyword('fact',section,[alloy]).
488 keyword('fun',section,[alloy]).
489 keyword('module',section,[alloy]).
490 keyword('open',section,[alloy]).
491 keyword('pred',section,[alloy]).
492 keyword('run',section,[alloy]).
493 keyword('sig',section,[alloy]).
494
495
496 keyword('div',expr,[alloy]).
497 keyword('minus',expr,[alloy]).
498 keyword('else',expr,[alloy]).
499 keyword('iden',expr,[alloy]).
500 keyword('let',expr,[alloy]).
501 keyword('mul',expr,[alloy]).
502 keyword('plus',expr,[alloy]).
503 keyword('rem',expr,[alloy]).
504 keyword('sum',expr,[alloy]).
505 keyword('univ',expr,[alloy]).
506
507 keyword('all',predicate,[alloy]).
508 keyword('disjoint',predicate,[alloy]).
509 keyword('iff',predicate,[alloy]).
510 keyword('implies',predicate,[alloy]).
511 keyword('lone',predicate,[alloy]).
512 keyword('not',predicate,[alloy]).
513 keyword('no',predicate,[alloy]).
514 keyword('none',predicate,[alloy]).
515 keyword('one',predicate,[alloy]).
516 keyword('or',predicate,[alloy]).
517 keyword('some',predicate,[alloy]).
518 keyword('set',expr,[alloy]).
519
520 % SVG
521
522 get_all_svg_classes(SList) :- findall(A,is_svg_shape_class(A),List), sort(List,SList).
523
524 is_svg_shape_class(a).
525 is_svg_shape_class(animate). % can be a child of other elements
526 is_svg_shape_class(animateMotion). % can be a child of other elements
527 is_svg_shape_class(animateTransform). % can be a child of other elements
528 is_svg_shape_class(circle).
529 is_svg_shape_class(clipPath).
530 is_svg_shape_class(defs).
531 is_svg_shape_class(desc).
532 is_svg_shape_class(ellipse).
533 is_svg_shape_class(filter).
534 is_svg_shape_class(foreignObject). % can have HTML as children, body, table, tr, th, td
535 is_svg_shape_class(g). % group
536 is_svg_shape_class(image). % SVG files displayed with <image> cannot be interactive, include dynamic elements with <use>
537 is_svg_shape_class(line).
538 is_svg_shape_class(marker).
539 is_svg_shape_class(mask).
540 is_svg_shape_class(mpath).
541 is_svg_shape_class(path).
542 is_svg_shape_class(pattern).
543 is_svg_shape_class(polygon).
544 is_svg_shape_class(polyline).
545 is_svg_shape_class(rect).
546 is_svg_shape_class(script).
547 is_svg_shape_class(set).
548 is_svg_shape_class(style).
549 is_svg_shape_class(svg).
550 is_svg_shape_class(symbol).
551 is_svg_shape_class(text).
552 is_svg_shape_class(title). % useful when adding as children to other objects
553 is_svg_shape_class(tspan).
554 is_svg_shape_class(use).
555 is_svg_shape_class(view).
556 is_svg_shape_class(viewport).
557 % Note: one can also create <svg>, ... and HTML tags such as with document.createElementNS
558 % Note: script and title are also HTML tags
559
560 get_all_svg_attributes(SList) :- findall(A,is_svg_attribute(A),List), sort(List,SList).
561
562 % virtual attributes processed by VisB
563 is_virtual_svg_attribute(children).
564 is_virtual_svg_attribute(group_id). % also works like parent_id and can be used to attach animate objects
565 is_virtual_svg_attribute(hovers).
566 is_virtual_svg_attribute(svg_class).
567 is_virtual_svg_attribute(text).
568 is_virtual_svg_attribute(title).
569
570 % first list of svg attributes which are not number or color attributes
571 is_svg_attribute('alignment-baseline'). % auto | baseline | before-edge | text-before-edge | middle | central | after-edge | text-after-edge | ideographic | alphabetic | hanging | mathematical | top | center | bottom
572 is_svg_attribute(attributeName). % from animate
573 is_svg_attribute(attributeType). % from animate
574 is_svg_attribute(children). % virtual attribute of VisB
575 is_svg_attribute(class).
576 is_svg_attribute('clip-path').
577 is_svg_attribute('clip-rule').
578 is_svg_attribute('color-rendering').
579 is_svg_attribute(cursor).
580 is_svg_attribute(d). % path
581 is_svg_attribute(display).
582 is_svg_attribute(dur). % from animate
583 is_svg_attribute('dominant-baseline'). % auto | text-bottom | alphabetic | ideographic | middle | central | mathematical | hanging | text-top
584 is_svg_attribute('fill-opacity').
585 is_svg_attribute('fill-rule').
586 is_svg_attribute('filter').
587 is_svg_attribute('flood-opacity').
588 is_svg_attribute('font-family').
589 % font-size is below under number attributes
590 is_svg_attribute('font-style'). % normal | italic | oblique
591 is_svg_attribute('font-variant').
592 is_svg_attribute('font-weight'). % normal | bold | bolder | lighter | <number>
593 is_svg_attribute(from).
594 is_svg_attribute(group_id). % virtual attribute of VisB
595 is_svg_attribute(hovers). % virtual attribute of VisB
596 is_svg_attribute('href'). % use
597 is_svg_attribute(id).
598 is_svg_attribute('lengthAdjust'). % spacing | spacingAndGlyphs for text
599 is_svg_attribute('marker-end').
600 is_svg_attribute('marker-start').
601 is_svg_attribute(mask).
602 % Note: name is a deprecated SVG attribute
603 is_svg_attribute(overflow). % for text, foreigObject, ...
604 is_svg_attribute(path).
605 is_svg_attribute('pointer-events').
606 is_svg_attribute(points). % polyline, polygon
607 is_svg_attribute(preserveAspectRatio).
608 is_svg_attribute(radius).
609 is_svg_attribute(repeatDur).
610 is_svg_attribute(repeatCount). % from animate
611 is_svg_attribute(restart).
612 is_svg_attribute(rotate).
613 is_svg_attribute(scale).
614 is_svg_attribute(seed).
615 is_svg_attribute('shape-rendering').
616 is_svg_attribute(startoffset).
617 is_svg_attribute(stdDeviation).
618 is_svg_attribute(stitchTiles).
619 is_svg_attribute(stroke).
620 is_svg_attribute('stroke-dasharray').
621 is_svg_attribute('stroke-dashoffset').
622 is_svg_attribute('stroke-linecap'). % butt (default), round, square
623 is_svg_attribute('stroke-linejoin').
624 is_svg_attribute('stroke-miterlimit').
625 is_svg_attribute(style).
626 is_svg_attribute(surfaceScale).
627 is_svg_attribute(svg_class). % virtual attribute of VisB
628 is_svg_attribute(systemLanguage).
629 is_svg_attribute(tableValues).
630 is_svg_attribute(text). % specially processed by VisB as well
631 is_svg_attribute('text-anchor'). % start | middle | end
632 is_svg_attribute('text-decoration'). % underline | line-through, ....
633 is_svg_attribute('text-rendering'). % auto | optimizeSpeed | optimizeLegibility | geometricPrecision
634 is_svg_attribute(textLength).
635 is_svg_attribute(title). % virtual attribute of VisB
636 is_svg_attribute(to).
637 is_svg_attribute(transform).
638 is_svg_attribute(type).
639 is_svg_attribute(values). % from animate
640 is_svg_attribute(visibility).
641 is_svg_attribute('vector-effect').
642 is_svg_attribute('word-spacing').
643 is_svg_attribute('xlink:href').
644 is_svg_attribute(X) :- is_svg_number_attribute(X,_).
645 is_svg_attribute(X) :- is_svg_color_attribute(X).
646 % TODO: complete
647
648 is_svg_color_attribute(color). % can be applied to any element; provides currentcolor value
649 is_svg_color_attribute(fill). % can be applied to [circle,ellipse,path,polygon,polyline,rect,text,tref,tspan]).
650 is_svg_color_attribute(stroke). % can also be applied to all shapes we use circle, ...
651 is_svg_color_attribute('flood-color').
652 is_svg_color_attribute('lighting-color').
653 is_svg_color_attribute('stop-color').
654
655 is_svg_number_attribute(cx,[circle, ellipse, radialGradient]).
656 is_svg_number_attribute(cy,[circle, ellipse, radialGradient]).
657 is_svg_number_attribute(dx,_).
658 is_svg_number_attribute(dy,_).
659 is_svg_number_attribute(opacity,_).
660 is_svg_number_attribute(pathLength,_).
661 is_svg_number_attribute(x,[foreignObject,image,rect,svg,text,tspan,use]). % many more: cursor, image, mask, pattern, ...
662 is_svg_number_attribute(y,[foreignObject,image,rect,svg,text,tspan,use]).
663 is_svg_number_attribute(x1,[line,linearGradient]).
664 is_svg_number_attribute(x2,[line,linearGradient]).
665 is_svg_number_attribute(y1,[line,linearGradient]).
666 is_svg_number_attribute(y2,[line,linearGradient]).
667 is_svg_number_attribute('font-size',_).
668 is_svg_number_attribute('stop-opacity',_).
669 is_svg_number_attribute('stroke-opacity',_).
670 is_svg_number_attribute('stroke-width',_).
671 is_svg_number_attribute(height,[foreignObject,image,rect,svg]). % others like mask ,...
672 is_svg_number_attribute(width, [foreignObject,image,rect,svg]).
673 is_svg_number_attribute(r,[circle, radialGradient]).
674 is_svg_number_attribute(rx,[ellipse,rect]).
675 is_svg_number_attribute(ry,[ellipse,rect]).
676 is_svg_number_attribute(tabindex,_).
677 is_svg_number_attribute(z,_).
678
679 is_svg_color_name(aliceblue).
680 is_svg_color_name(antiquewhite).
681 is_svg_color_name(aqua).
682 is_svg_color_name(aquamarine).
683 is_svg_color_name(azure).
684 is_svg_color_name(beige).
685 is_svg_color_name(bisque).
686 is_svg_color_name(black).
687 is_svg_color_name(blanchedalmond).
688 is_svg_color_name(blue).
689 is_svg_color_name(blueviolet).
690 is_svg_color_name(brown).
691 is_svg_color_name(burlywood).
692 is_svg_color_name(cadetblue).
693 is_svg_color_name(chartreuse).
694 is_svg_color_name(chocolate).
695 is_svg_color_name(coral).
696 is_svg_color_name(cornflowerblue).
697 is_svg_color_name(cornsilk).
698 is_svg_color_name(crimson).
699 is_svg_color_name(cyan).
700 is_svg_color_name(darkblue).
701 is_svg_color_name(darkcyan).
702 is_svg_color_name(darkgoldenrod).
703 is_svg_color_name(darkgray).
704 is_svg_color_name(darkgreen).
705 is_svg_color_name(darkgrey).
706 is_svg_color_name(darkkhaki).
707 is_svg_color_name(darkmagenta).
708 is_svg_color_name(darkolivegreen).
709 is_svg_color_name(darkorange).
710 is_svg_color_name(darkorchid).
711 is_svg_color_name(darkred).
712 is_svg_color_name(darksalmon).
713 is_svg_color_name(darkseagreen).
714 is_svg_color_name(darkslateblue).
715 is_svg_color_name(darkslategray).
716 is_svg_color_name(darkslategrey).
717 is_svg_color_name(darkturquoise).
718 is_svg_color_name(darkviolet).
719 is_svg_color_name(deeppink).
720 is_svg_color_name(deepskyblue).
721 is_svg_color_name(dimgray).
722 is_svg_color_name(dimgrey).
723 is_svg_color_name(dodgerblue).
724 is_svg_color_name(firebrick).
725 is_svg_color_name(floralwhite).
726 is_svg_color_name(forestgreen).
727 is_svg_color_name(fuchsia).
728 is_svg_color_name(gainsboro).
729 is_svg_color_name(ghostwhite).
730 is_svg_color_name(gold).
731 is_svg_color_name(goldenrod).
732 is_svg_color_name(gray).
733 is_svg_color_name(green).
734 is_svg_color_name(greenyellow).
735 is_svg_color_name(grey).
736 is_svg_color_name(honeydew).
737 is_svg_color_name(hotpink).
738 is_svg_color_name(indianred).
739 is_svg_color_name(indigo).
740 is_svg_color_name(ivory).
741 is_svg_color_name(khaki).
742 is_svg_color_name(lavender).
743 is_svg_color_name(lavenderblush).
744 is_svg_color_name(lawngreen).
745 is_svg_color_name(lemonchiffon).
746 is_svg_color_name(lightblue).
747 is_svg_color_name(lightcoral).
748 is_svg_color_name(lightcyan).
749 is_svg_color_name(lightgoldenrodyellow).
750 is_svg_color_name(lightgray).
751 is_svg_color_name(lightgreen).
752 is_svg_color_name(lightgrey).
753 is_svg_color_name(lightpink).
754 is_svg_color_name(lightsalmon).
755 is_svg_color_name(lightseagreen).
756 is_svg_color_name(lightskyblue).
757 is_svg_color_name(lightslategray).
758 is_svg_color_name(lightslategrey).
759 is_svg_color_name(lightsteelblue).
760 is_svg_color_name(lightyellow).
761 is_svg_color_name(lime).
762 is_svg_color_name(limegreen).
763 is_svg_color_name(linen).
764 is_svg_color_name(magenta).
765 is_svg_color_name(maroon).
766 is_svg_color_name(mediumaquamarine).
767 is_svg_color_name(mediumblue).
768 is_svg_color_name(mediumorchid).
769 is_svg_color_name(mediumpurple).
770 is_svg_color_name(mediumseagreen).
771 is_svg_color_name(mediumslateblue).
772 is_svg_color_name(mediumspringgreen).
773 is_svg_color_name(mediumturquoise).
774 is_svg_color_name(mediumvioletred).
775 is_svg_color_name(midnightblue).
776 is_svg_color_name(mintcream).
777 is_svg_color_name(mistyrose).
778 is_svg_color_name(moccasin).
779 is_svg_color_name(navajowhite).
780 is_svg_color_name(navy).
781 is_svg_color_name(oldlace).
782 is_svg_color_name(olive).
783 is_svg_color_name(olivedrab).
784 is_svg_color_name(orange).
785 is_svg_color_name(orangered).
786 is_svg_color_name(orchid).
787 is_svg_color_name(palegoldenrod).
788 is_svg_color_name(palegreen).
789 is_svg_color_name(paleturquoise).
790 is_svg_color_name(palevioletred).
791 is_svg_color_name(papayawhip).
792 is_svg_color_name(peachpuff).
793 is_svg_color_name(peru).
794 is_svg_color_name(pink).
795 is_svg_color_name(plum).
796 is_svg_color_name(powderblue).
797 is_svg_color_name(purple).
798 is_svg_color_name(red).
799 is_svg_color_name(rosybrown).
800 is_svg_color_name(royalblue).
801 is_svg_color_name(saddlebrown).
802 is_svg_color_name(salmon).
803 is_svg_color_name(sandybrown).
804 is_svg_color_name(seagreen).
805 is_svg_color_name(seashell).
806 is_svg_color_name(sienna).
807 is_svg_color_name(silver).
808 is_svg_color_name(skyblue).
809 is_svg_color_name(slateblue).
810 is_svg_color_name(slategray).
811 is_svg_color_name(slategrey).
812 is_svg_color_name(snow).
813 is_svg_color_name(springgreen).
814 is_svg_color_name(steelblue).
815 is_svg_color_name(tan).
816 is_svg_color_name(teal).
817 is_svg_color_name(thistle).
818 is_svg_color_name(tomato).
819 is_svg_color_name(turquoise).
820 is_svg_color_name(violet).
821 is_svg_color_name(wheat).
822 is_svg_color_name(white).
823 is_svg_color_name(whitesmoke).
824 is_svg_color_name(yellow).
825 is_svg_color_name(yellowgreen).
826
827 % ----------------------------
828
829 % DOT
830 get_all_dot_attributes(SList) :- findall(A,is_dot_attribute(A),List), sort(List,SList).
831
832 % list of known synonyms of Dot attributes and how to translate them to SVG object attributes
833 dot2svg_synonym(fillcolor,color).
834 dot2svg_synonym(fontname,'font-family').
835 dot2svg_synonym(fontcolor,fill). % one should probably use fill to colour text
836 dot2svg_synonym(fontcolour,fill).
837 dot2svg_synonym('font-color',fill). % not really a dot attribute, but a
838 dot2svg_synonym('font-colour',fill).
839 dot2svg_synonym(visible,visibility). % typical error
840
841 % see https://graphviz.org/docs/nodes/, comments taken from there
842 is_dot_attribute(area).
843 is_dot_attribute(class). % Classnames to attach to the node, edge, graph, or cluster's SVG element. For svg only.
844 is_dot_attribute(color). % Basic drawing color for graphics, not text.
845 is_dot_attribute(colorscheme). % A color scheme namespace: the context for interpreting color names.
846 is_dot_attribute(comment). % Comments are inserted into output.
847 is_dot_attribute(distortion). % Distortion factor for shape=polygon.
848 is_dot_attribute(fillcolor). % Color used to fill the background of a node or cluster.
849 is_dot_attribute(fixedsize).
850 is_dot_attribute(fontcolor). % Color used for text.
851 is_dot_attribute(fontname). % Font used for text.
852 is_dot_attribute(fontsize). % Font size, in points, used for text.
853 is_dot_attribute(gradientangle). % If a gradient fill is being used, this determines the angle of the fill.
854 is_dot_attribute(group). % Name for a group of nodes, for bundling edges avoiding crossings. For dot only.
855 is_dot_attribute(height). % Height of node, in inches.
856 is_dot_attribute(href). % Synonym for URL. For map, postscript, svg only.
857 is_dot_attribute(id). % Identifier for graph objects. For map, postscript, svg only.
858 is_dot_attribute(image).
859 is_dot_attribute(imagepos).
860 is_dot_attribute(imagescale).
861 is_dot_attribute(label). % Text label attached to objects.
862 is_dot_attribute(labelloc). % Vertical placement of labels for nodes, root graphs and clusters.
863 is_dot_attribute(layer). % Specifies layers in which the node, edge or cluster is present.
864 %is_dot_attribute(margin). % For graphs, this sets x and y margins of canvas, in inches.
865 is_dot_attribute(nojustify). % Whether to justify multiline text vs the previous text line (rather than the side of the container).
866 is_dot_attribute(ordering). % default, out, in Constrains the left-to-right ordering of node edges. For dot only.
867 is_dot_attribute(orientation).% node shape rotation angle, or graph orientation.
868 is_dot_attribute(penwidth). % Specifies the width of the pen, in points, used to draw lines and curves.
869 is_dot_attribute(peripheries). % Set number of peripheries used in polygonal shapes and cluster boundaries.
870 is_dot_attribute(pin).
871 is_dot_attribute(pos).
872 is_dot_attribute(rects).
873 is_dot_attribute(regular).
874 is_dot_attribute(root).
875 is_dot_attribute(samplepoints). % Gives the number of points used for a circle/ellipse node.
876 is_dot_attribute(shape). % Sets the shape of a node.
877 is_dot_attribute(shapefile).
878 is_dot_attribute(showboxes). % Print guide boxes for debugging. For dot only.
879 is_dot_attribute(style). % Set style information for components of the graph.
880 is_dot_attribute(skew). % Skew factor for shape=polygon.
881 is_dot_attribute(sides). % Number of sides when shape=polygon.
882 is_dot_attribute(sortv). % Sort order of graph components for ordering packmode packing.
883 is_dot_attribute(target). % If the object has a URL, this attribute determines which window of the browser is used for the URL. For map, svg only.
884 is_dot_attribute(tooltip). % Tooltip (mouse hover text) attached to the node, edge, cluster, or graph
885 is_dot_attribute('URL').
886 is_dot_attribute(vertices).
887 is_dot_attribute(width). % Width of node, in inches.
888 is_dot_attribute(xlabel). % External label for a node or edge.
889 is_dot_attribute(xlp). % Position of an exterior label, in points. For write only.
890 is_dot_attribute(z). % Z-coordinate value for 3D layouts and displays.
891
892 % additional edge attributes from https://graphviz.org/docs/edges/
893 is_dot_attribute(arrowhead). % Style of arrowhead on the head node of an edge.
894 is_dot_attribute(arrowsize). % Multiplicative scale factor for arrowheads.
895 is_dot_attribute(arrowtail). % Style of arrowhead on the tail node of an edge.
896 is_dot_attribute(constraint). % If false, the edge is not used in ranking the nodes. For dot only.
897 is_dot_attribute(decorate). % Whether to connect the edge label to the edge with a line.
898 is_dot_attribute(dir). % Edge type for drawing arrowheads. (forward, back, both, none)
899 is_dot_attribute(headlabel). % Text label to be placed near head of edge.
900 is_dot_attribute(headport). % Indicates where on the head node to attach the head of the edge.
901 is_dot_attribute(labelangle).
902 is_dot_attribute(labeldistance).
903 is_dot_attribute(labelfloat).
904 is_dot_attribute(labelfontcolor). % Color used for headlabel and taillabel.
905 is_dot_attribute(labelfontname). % Font for headlabel and taillabel.
906 is_dot_attribute(labelfontsize). % Font size of headlabel and taillabel.
907 is_dot_attribute(len).
908 is_dot_attribute(lhead). % Logical head of an edge. For dot only.
909 is_dot_attribute(minlen). % Minimum edge length (rank difference between head and tail). For dot only.
910 is_dot_attribute(taillabel). % Text label to be placed near tail of edge.
911 is_dot_attribute(tailport). % Indicates where on the tail node to attach the tail of the edge.
912 is_dot_attribute(weight). % Weight of edge. In dot, the heavier the weight, the shorter, straighter and more vertical the edge is.
913
914 % for graphs:
915 is_dot_attribute(bgcolor).
916 % https://graphviz.org/doc/info/colors.html#brewer
917 % ex: accent8, blue9, brbg11, bugn9, bupu9, dark28, gnbu9, greeens9, greys9, oranges9, set312, set39, spectral11
918 % does not work as graph attribute, needs to be set as default node/edge attribute or added to nodes/edges
919 is_dot_attribute(compound). % If true, allow edges between clusters. For dot only, relevant for lhead/ltail edge attrs
920 is_dot_attribute(concentrate). % If true, use edge concentrators.
921 is_dot_attribute(landscape). % If true, the graph is rendered in landscape mode.
922 is_dot_attribute(layout). % Which layout engine to use. dot, neato, circo, fdp, sfdp, twopi, patchwork, nop, nop2
923 is_dot_attribute(mode). % Technique for optimizing the layout
924 %is_dot_attribute(ordering). % declared for nodes above, Constrains the left-to-right ordering of node edges. For dot only. out, in
925 %is_dot_attribute(orientation). % declared for nodes above, node shape rotation angle, or graph orientation
926 is_dot_attribute(outputorder). % Specify order in which nodes and edges are drawn
927 is_dot_attribute(overlap). % Determines if and how node overlaps should be removed
928 is_dot_attribute(rankdir). % Sets direction of graph layout. For dot only. TB, BT, LR, RL
929 is_dot_attribute(ranksep). % Specifies separation between ranks. For dot, twopi only.
930 is_dot_attribute(ratio). % Sets the aspect ratio (drawing height/drawing width) for the drawing.
931 is_dot_attribute(scale). % Scales layout by the given factor after the initial layout
932 is_dot_attribute(size). % Maximum width and height of drawing, in inches
933 is_dot_attribute(splines).
934
935 is_dot_attribute(directed). % virtual attribute -> influences whether dot_graph_generator writes digraph or graph
936 is_dot_attribute(strict). % virtual attribute -> influences whether dot_graph_generator writes strict digraph/graph
937
938 % -------------
939
940
941 % HTML tags can e.g. appear as children of foreign_objects in SVG
942 is_html_tag(a).
943 is_html_tag(abbr).
944 is_html_tag(acronym).
945 is_html_tag(address).
946 is_html_tag(applet).
947 is_html_tag(area).
948 is_html_tag(article).
949 is_html_tag(aside).
950 is_html_tag(audio).
951 is_html_tag(b). % bold
952 is_html_tag(base).
953 is_html_tag(basefont).
954 is_html_tag(bdi).
955 is_html_tag(bdo).
956 is_html_tag(big).
957 is_html_tag(blockquote).
958 is_html_tag(body).
959 is_html_tag(br).
960 is_html_tag(button). % clickable button
961 is_html_tag(canvas).
962 is_html_tag(caption).
963 is_html_tag(center).
964 is_html_tag(cite).
965 is_html_tag(code).
966 is_html_tag(col).
967 is_html_tag(colgroup).
968 is_html_tag(data).
969 is_html_tag(datalist).
970 is_html_tag(dd).
971 is_html_tag(del). % deleted text
972 is_html_tag(details).
973 is_html_tag(dialog). % dialog or window
974 is_html_tag(div).
975 is_html_tag(dfn).
976 is_html_tag(dl). % description list
977 is_html_tag(dt).
978 is_html_tag(em).
979 is_html_tag(embed).
980 is_html_tag(fieldset).
981 is_html_tag(figcaption).
982 is_html_tag(figure).
983 is_html_tag(font).
984 is_html_tag(footer).
985 is_html_tag(form).
986 is_html_tag(frame).
987 is_html_tag(frameset).
988 is_html_tag(h1).
989 is_html_tag(h2).
990 is_html_tag(h3).
991 is_html_tag(h4).
992 is_html_tag(h5).
993 is_html_tag(h6).
994 is_html_tag(head).
995 is_html_tag(header).
996 is_html_tag(hgroup).
997 is_html_tag(hr). % horizontal rule
998 is_html_tag(i). % italic
999 is_html_tag(html).
1000 is_html_tag(iframe).
1001 is_html_tag(img).
1002 is_html_tag(input). % input field
1003 is_html_tag(ins). % inserted text
1004 is_html_tag(kbd). % keyboard input
1005 is_html_tag(label).
1006 is_html_tag(legend).
1007 is_html_tag(li).
1008 is_html_tag(link).
1009 is_html_tag(main).
1010 is_html_tag(map).
1011 is_html_tag(mark). % highlight text
1012 is_html_tag(meta).
1013 is_html_tag(metre). % shows scalar measurement within a range
1014 is_html_tag(nav).
1015 is_html_tag(noframes).
1016 is_html_tag(noscript).
1017 is_html_tag(object).
1018 is_html_tag(ol). % ordered list
1019 is_html_tag(optgroup).
1020 is_html_tag(option). % option in a select list
1021 is_html_tag(output).
1022 is_html_tag(p).
1023 is_html_tag(param).
1024 is_html_tag(picture).
1025 is_html_tag(pre).
1026 is_html_tag(progress). % shows completion progress of a task
1027 is_html_tag(q).
1028 is_html_tag(rp).
1029 is_html_tag(rt).
1030 is_html_tag(ruby).
1031 is_html_tag(s). % strikethrough
1032 is_html_tag(samp). % sample output
1033 is_html_tag(script).
1034 is_html_tag(section).
1035 is_html_tag(select). % dropdown list
1036 is_html_tag(small).
1037 is_html_tag(source).
1038 is_html_tag(span).
1039 is_html_tag(strike).
1040 is_html_tag(strong).
1041 is_html_tag(style).
1042 is_html_tag(summary).
1043 is_html_tag(sub). % subscript
1044 is_html_tag(sup). % superscript
1045 is_html_tag(svg).
1046 is_html_tag(table).
1047 is_html_tag(tbody).
1048 is_html_tag(td). % table data
1049 is_html_tag(template).
1050 is_html_tag(textarea). % multiline text input
1051 is_html_tag(tfoot).
1052 is_html_tag(th). % table header
1053 is_html_tag(thead).
1054 is_html_tag(time). % shows specific period in time or a range of time
1055 is_html_tag(title).
1056 is_html_tag(tr). % table row
1057 is_html_tag(track).
1058 is_html_tag(tt). % not supported in HTML 5
1059 is_html_tag(u). % underline
1060 is_html_tag(ul). % unordered list
1061 is_html_tag(var). % variables
1062 is_html_tag(video).
1063 is_html_tag(wbr).
1064
1065 % completely incomplete list :
1066 is_html_attribute(accesskey).
1067 is_html_attribute(class).
1068 is_html_attribute(contenteditable).
1069 is_html_attribute(contextmenu).
1070 is_html_attribute(dir).
1071 is_html_attribute(disabled). % for option,...
1072 is_html_attribute(draggable).
1073 is_html_attribute(enterkeyhing).
1074 is_html_attribute(hidden).
1075 is_html_attribute(href).
1076 is_html_attribute(id).
1077 is_html_attribute(inert).
1078 is_html_attribute(inputmode).
1079 is_html_attribute(label). % for option,...
1080 is_html_attribute(lang).
1081 is_html_attribute(media).
1082 is_html_attribute(onchange). % for Event attribute, e.g., for select
1083 is_html_attribute(onerror).
1084 is_html_attribute(onhaschange).
1085 is_html_attribute(onload).
1086 is_html_attribute(onmessage).
1087 is_html_attribute(popover).
1088 is_html_attribute(rel).
1089 is_html_attribute(selected). % for option,...
1090 is_html_attribute(spellcheck).
1091 is_html_attribute(style).
1092 is_html_attribute(tabindex).
1093 is_html_attribute(target). % for a
1094 is_html_attribute(title).
1095 is_html_attribute(translate).
1096 is_html_attribute(type). % for a
1097 is_html_attribute(value). % for option,...
1098
1099 % -------------
1100
1101 % some errors one could make, with a possible corrected id/keyword:
1102
1103 %suggested_alternative_id('RGAUSS','RNORMAL').
1104 %suggested_alternative_id('GAUSS','RNORMAL').
1105
1106 % -------------
1107
1108
1109 % translate_keywords:classical_b_keyword(K), \+ tools_matching:keyword(K,_,_). % Note: items is not a B keyword
1110 % TO DO: complete keywords for Alloy, TLA, Z minor modes; possibly add VisB/SVG and CUSTOM_GRAPH/GraphViz attributes
1111
1112 :- use_module(preferences,[eclipse_preference/2]).
1113 get_possible_preferences(SPrefs) :-
1114 findall(Pref,eclipse_preference(Pref,_),P),
1115 sort(P,SPrefs).
1116
1117 get_possible_preferences_matches_msg(String,FuzzyMatchMsg) :-
1118 get_possible_preferences(Prefs),
1119 if(get_possible_fuzzy_matches_and_completions_msg(String,Prefs,FuzzyMatchMsg),
1120 true,
1121 get_possible_inner_matches_msg(String,Prefs,FuzzyMatchMsg)). % also look for inner matches
1122
1123 :- use_module(specfile,[get_possible_language_specific_top_level_event/3]).
1124 :- use_module(bmachine,[b_is_operation_name/1]).
1125 get_possible_top_level_event_matches_msg(String,FuzzyMatchMsg) :-
1126 findall(Op,get_possible_language_specific_top_level_event(Op,_,_),Ops), sort(Ops,SOps),
1127 if(get_possible_fuzzy_matches_and_completions_msg(String,SOps,FuzzyMatchMsg),
1128 true,
1129 get_possible_inner_matches_msg(String,SOps,FuzzyMatchMsg)). % also look for inner matches
1130
1131
1132 get_possible_fuzzy_matches_and_completions_msg(String,AllIds,FuzzyMatchMsg) :-
1133 (get_possible_fuzzy_matches_msg(String,AllIds,FuzzyMatchMsg) ;
1134 get_possible_completions_msg(String,AllIds,FuzzyMatchMsg)).
1135
1136 get_possible_fuzzy_matches(ID,AllIDs,FuzzyMatches) :- atom(ID),!,
1137 atom_codes(ID,IDCodes),
1138 findall(Target,(member(Target,AllIDs),atom_codes(Target,TargetCodes),
1139 fuzzy_match_codes_lower_case(IDCodes,TargetCodes)),FuzzyMatches).
1140 get_possible_fuzzy_matches(ID,_,_) :-
1141 add_internal_error('Not an atom: ',get_possible_fuzzy_matches(ID,_,_)),fail.
1142
1143 % get possible matches as atom which can be used after phrase: Did you mean:
1144 get_possible_fuzzy_matches_msg(ID,AllIDs,Msg) :-
1145 get_possible_fuzzy_matches(ID,AllIDs,FuzzyMatches),
1146 get_match_msg(FuzzyMatches,Msg).
1147
1148 get_match_msg(FuzzyMatches,Msg) :-
1149 length(FuzzyMatches,Nr), Nr>0,
1150 get_msg(FuzzyMatches,Nr,Msg).
1151
1152 :- use_module(tools_strings,[ajoin/2,ajoin_with_sep/3]).
1153 get_msg([Match],1,Res) :- !, Res=Match.
1154 get_msg(List,Nr,Msg) :- Nr < 6, !,
1155 ajoin_with_sep(List,',',Msg).
1156 get_msg([First|_],Nr,Msg) :- N1 is Nr-1,
1157 ajoin([First,' (',N1,' more matches)'],Msg).
1158
1159
1160
1161 % get possible completions as atom which can be used after phrase: Did you mean:
1162 get_possible_completions_msg(ID,SortedAllIDs,Msg) :-
1163 atom_codes(ID,IDCodes0),
1164 codes_to_lower_case(IDCodes0,IDCodes),
1165 findall(Target,(member(Target,SortedAllIDs),atom_codes(Target,TargetCodes),
1166 codes_to_lower_case(TargetCodes,TC2),
1167 prefix(TC2,IDCodes) % IDCodes is a prefix of the target
1168 ),Completions),
1169 get_match_msg(Completions,Msg).
1170
1171
1172 % get possible interior matches as atom which can be used after phrase: Did you mean:
1173 get_possible_inner_matches_msg(ID,SortedAllIDs,Msg) :-
1174 atom_codes(ID,IDCodes0),
1175 length(IDCodes0,Len), Len>3, % only do this if the string is long enough
1176 codes_to_lower_case(IDCodes0,IDCodes),
1177 findall(Target,(member(Target,SortedAllIDs),atom_codes(Target,TargetCodes),
1178 codes_to_lower_case(TargetCodes,TC2),
1179 % format('Looking for ~s inside ~s or vice-versa~n',[IDCodes,TC2]),
1180 (sublist(IDCodes,TC2,_Before) -> true
1181 ; sublist(TC2,IDCodes,_))
1182 ),Completions),
1183 get_match_msg(Completions,Msg).
1184
1185