tools_matching

code_to_lower_case(Char,LC_Char) :- Char >= 65, Char =< 90,!, LC_Char is Char+32.

code_to_lower_case(Char,LC_Char) :- Char >= 8320, Char =< 8329,!, LC_Char is Char-8272. % Unicode Subscripts

code_to_lower_case(8242,R) :- !, R=8242. % Unicode Prime

code_to_lower_case(8216,R) :- !, R=8242.

code_to_lower_case(8217,R) :- !, R=8242.

code_to_lower_case(Char,R) :- Char >= 192, Char =< 197,!, R=97. % upper-case a

code_to_lower_case(Char,R) :- Char >= 224, Char =< 229,!, R=97. % lower-case a

code_to_lower_case(Char,R) :- Char >= 200, Char =< 203,!, R=101. % upper-case e

code_to_lower_case(Char,R) :- Char >= 232, Char =< 235,!, R=101. % lower-case e

code_to_lower_case(Char,R) :- Char >= 204, Char =< 207,!, R=105. % upper-case i

code_to_lower_case(Char,R) :- Char >= 236, Char =< 239,!, R=105. % lower-case i

code_to_lower_case(Char,R) :- Char >= 210, Char =< 214,!, R=111. % upper-case o

code_to_lower_case(Char,R) :- Char >= 242, Char =< 246,!, R=111. % lower-case o

code_to_lower_case(Char,R) :- Char >= 217, Char =< 220,!, R=117. % upper-case u

code_to_lower_case(Char,R) :- Char >= 249, Char =< 252,!, R=117. % lower-case u

code_to_lower_case(253,R) :- !, R=121. % ý -> y

code_to_lower_case(209,R) :- !, R=110. % Ñ -> n

code_to_lower_case(241,R) :- !, R=110. % ñ -> n

code_to_lower_case(231,R) :- !, R=99. % ç -> c

code_to_lower_case(223,R) :- !, R=115. % ß -> s

code_to_lower_case(C,C).

codes_to_lower_case(Codes,LC) :- maplist(code_to_lower_case,Codes,LC).

csp_keyword(and).

csp_keyword(card).

csp_keyword(channel).

csp_keyword(datatype).

csp_keyword(diff).

csp_keyword(elem).

csp_keyword(empty).

csp_keyword(false).

csp_keyword(head).

csp_keyword(inter).

csp_keyword(length).

csp_keyword(let).

csp_keyword(member).

csp_keyword(mod).

csp_keyword(nametype).

csp_keyword(not).

csp_keyword(null).

csp_keyword(or).

csp_keyword(set).

csp_keyword(subtype).

csp_keyword(tail).

csp_keyword(true).

csp_keyword(union).

csp_keyword(within).

csp_keyword('CHAOS').

csp_keyword('Inter').

csp_keyword('Seq').

csp_keyword('Set').

csp_keyword('SKIP').

csp_keyword('STOP').

csp_keyword('Union').

dot2svg_synonym(fillcolor,color).

dot2svg_synonym(fontname,'font-family').

dot2svg_synonym(fontcolor,fill). % one should probably use fill to colour text

dot2svg_synonym(fontcolour,fill).

dot2svg_synonym('font-color',fill). % not really a dot attribute, but a

dot2svg_synonym('font-colour',fill).

dot2svg_synonym(visible,visibility). % typical error

fuzzy_match_codes([],[]).

fuzzy_match_codes([H|T1],[H|T2]) :- !,fuzzy_match_codes(T1,T2).

fuzzy_match_codes([_|T],[_|T]) :- !. % one character rewritten

fuzzy_match_codes([H1|T1],L2) :- possible_skip_char(H1),!, % underscore _
    fuzzy_match_codes(T1,L2).

fuzzy_match_codes(L1,[H2|T2]) :- possible_skip_char(H2),!,
    fuzzy_match_codes(L1,T2).

fuzzy_match_codes([_|T],T) :- !. % one character too much

fuzzy_match_codes(T,[_|T]) :- !. % one character too few

fuzzy_match_codes([H1,H2|T],[H2,H1|T]) :- !. % swapping of two characters

fuzzy_match_codes_lower_case(Codes1,Codes2) :-
    codes_to_lower_case(Codes1,LCodes1),
    codes_to_lower_case(Codes2,LCodes2),
    fuzzy_match_codes(LCodes1,LCodes2).

get_all_dot_attributes(SList) :- findall(A,is_dot_attribute(A),List), sort(List,SList).

get_all_svg_attributes(SList) :- findall(A,is_svg_attribute(A),List), sort(List,SList).

get_current_expr_keywords(List) :-
    get_current_keywords([expr,external_funs,pragma,predicate],List).

get_current_keywords(List) :-
    get_current_keywords([expr,external_funs,pragma,predicate,prob_definitions,section,subst],List).

get_current_keywords(Types,List) :- b_or_z_mode,!,
    (animation_minor_mode(Minor)
    -> (classical_b_mode
    % e.g., for rules_dsl allow both B and rules_dsl keywords at the moment, TODO: remove sections
    % TODO: we should also ensure this is active for VisB expressions or when the REPL is classical B mode
    -> get_keywords(Minor,Types,List1),
    get_keywords(b,Types,List2),
    append(List1,List2,List)
    ; get_keywords(Minor,Types,List))
    ; get_keywords(b,Types,List)).

get_current_keywords(_,List) :- csp_mode,!,
    findall(Def,csp_keyword(Def),List).

get_current_keywords(_,List) :- xtl_mode,!,
    findall(Def,xtl_keyword(Def),List).

get_current_keywords(_,[]).

get_keywords(Mode,Types,List) :-
    (Mode=b,select(prob_definitions,Types,Types1)
    -> findall(Def,prob_special_def(Def),Ids1)
    ; Ids1=[], Types1=Types
    ),
    (Mode=b,select(external_funs,Types1,Types2)
    -> findall(Def,prob_external_fun(Def),Ids2,Ids1)
    ; Ids2=Ids1, Types2=Types1
    ),
    findall(ID,(keyword(ID,Type,Modes), member(Mode,Modes), member(Type,Types2)),Ids,Ids2),
    sort(Ids,List).

get_match_msg(FuzzyMatches,Msg) :-
    length(FuzzyMatches,Nr), Nr>0,
    get_msg(FuzzyMatches,Nr,Msg).

get_msg([Match],1,Res) :- !, Res=Match.

get_msg(List,Nr,Msg) :- Nr < 6, !,
    ajoin_with_sep(List,',',Msg).

get_msg([First|_],Nr,Msg) :- N1 is Nr-1,
    ajoin([First,' (',N1,' more matches)'],Msg).

get_possible_completions_msg(ID,SortedAllIDs,Msg) :-
    atom_codes(ID,IDCodes0),
    codes_to_lower_case(IDCodes0,IDCodes),
    findall(Target,(member(Target,SortedAllIDs),atom_codes(Target,TargetCodes),
    codes_to_lower_case(TargetCodes,TC2),
    prefix(TC2,IDCodes) % IDCodes is a prefix of the target
    ),Completions),
    get_match_msg(Completions,Msg).

get_possible_fuzzy_matches(ID,AllIDs,FuzzyMatches) :-
    atom_codes(ID,IDCodes),
    findall(Target,(member(Target,AllIDs),atom_codes(Target,TargetCodes),
    fuzzy_match_codes_lower_case(IDCodes,TargetCodes)),FuzzyMatches).

get_possible_fuzzy_matches_and_completions_msg(String,AllIds,FuzzyMatchMsg) :-
    (get_possible_fuzzy_matches_msg(String,AllIds,FuzzyMatchMsg) ;
    get_possible_completions_msg(String,AllIds,FuzzyMatchMsg)).

get_possible_fuzzy_matches_msg(ID,AllIDs,Msg) :-
    get_possible_fuzzy_matches(ID,AllIDs,FuzzyMatches),
    get_match_msg(FuzzyMatches,Msg).

get_possible_inner_matches_msg(ID,SortedAllIDs,Msg) :-
    atom_codes(ID,IDCodes0),
    length(IDCodes0,Len), Len>3, % only do this if the string is long enough
    codes_to_lower_case(IDCodes0,IDCodes),
    findall(Target,(member(Target,SortedAllIDs),atom_codes(Target,TargetCodes),
    codes_to_lower_case(TargetCodes,TC2),
    % format('Looking for ~s inside ~s or vice-versa~n',[IDCodes,TC2]),
    (sublist(IDCodes,TC2,_Before) -> true
    ; sublist(TC2,IDCodes,_))
    ),Completions),
    get_match_msg(Completions,Msg).

get_possible_preferences(SPrefs) :-
    findall(Pref,eclipse_preference(Pref,_),P),
    sort(P,SPrefs).

get_possible_preferences_matches_msg(String,FuzzyMatchMsg) :-
    get_possible_preferences(Prefs),
    if(get_possible_fuzzy_matches_and_completions_msg(String,Prefs,FuzzyMatchMsg),
    true,
    get_possible_inner_matches_msg(String,Prefs,FuzzyMatchMsg)). % also look for inner matches

get_possible_top_level_event_matches_msg(String,FuzzyMatchMsg) :-
    findall(Op,get_possible_language_specific_top_level_event(Op,_,_),Ops), sort(Ops,SOps),
    if(get_possible_fuzzy_matches_and_completions_msg(String,SOps,FuzzyMatchMsg),
    true,
    get_possible_inner_matches_msg(String,SOps,FuzzyMatchMsg)). % also look for inner matches

is_b_keyword(ID,Type) :- keyword(ID,Type,L), member(b,L).

is_dot_attribute(area).

is_dot_attribute(class). % Classnames to attach to the node, edge, graph, or cluster's SVG element. For svg only.

is_dot_attribute(color). % Basic drawing color for graphics, not text.

is_dot_attribute(colorscheme). % A color scheme namespace: the context for interpreting color names.

is_dot_attribute(comment). % Comments are inserted into output.

is_dot_attribute(distortion). % Distortion factor for shape=polygon.

is_dot_attribute(fillcolor). % Color used to fill the background of a node or cluster.

is_dot_attribute(fixedsize).

is_dot_attribute(fontcolor). % Color used for text.

is_dot_attribute(fontname). % Font used for text.

is_dot_attribute(fontsize). % Font size, in points, used for text.

is_dot_attribute(gradientangle). % If a gradient fill is being used, this determines the angle of the fill.

is_dot_attribute(group). % Name for a group of nodes, for bundling edges avoiding crossings. For dot only.

is_dot_attribute(height). % Height of node, in inches.

is_dot_attribute(href). % Synonym for URL. For map, postscript, svg only.

is_dot_attribute(id). % Identifier for graph objects. For map, postscript, svg only.

is_dot_attribute(image).

is_dot_attribute(imagepos).

is_dot_attribute(imagescale).

is_dot_attribute(label). % Text label attached to objects.

is_dot_attribute(labelloc). % Vertical placement of labels for nodes, root graphs and clusters.

is_dot_attribute(layer). % Specifies layers in which the node, edge or cluster is present.

is_dot_attribute(nojustify). % Whether to justify multiline text vs the previous text line (rather than the side of the container).

is_dot_attribute(ordering). % default, out, in Constrains the left-to-right ordering of node edges. For dot only.

is_dot_attribute(orientation).% node shape rotation angle, or graph orientation.

is_dot_attribute(penwidth). % Specifies the width of the pen, in points, used to draw lines and curves.

is_dot_attribute(peripheries). % Set number of peripheries used in polygonal shapes and cluster boundaries.

is_dot_attribute(pin).

is_dot_attribute(pos).

is_dot_attribute(rects).

is_dot_attribute(regular).

is_dot_attribute(root).

is_dot_attribute(samplepoints). % Gives the number of points used for a circle/ellipse node.

is_dot_attribute(shape). % Sets the shape of a node.

is_dot_attribute(shapefile).

is_dot_attribute(showboxes). % Print guide boxes for debugging. For dot only.

is_dot_attribute(style). % Set style information for components of the graph.

is_dot_attribute(skew). % Skew factor for shape=polygon.

is_dot_attribute(sides). % Number of sides when shape=polygon.

is_dot_attribute(sortv). % Sort order of graph components for ordering packmode packing.

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.

is_dot_attribute(tooltip). % Tooltip (mouse hover text) attached to the node, edge, cluster, or graph

is_dot_attribute('URL').

is_dot_attribute(vertices).

is_dot_attribute(width). % Width of node, in inches.

is_dot_attribute(xlabel). % External label for a node or edge.

is_dot_attribute(xlp). % Position of an exterior label, in points. For write only.

is_dot_attribute(z). % Z-coordinate value for 3D layouts and displays.

is_dot_attribute(arrowhead). % Style of arrowhead on the head node of an edge.

is_dot_attribute(arrowsize). % Multiplicative scale factor for arrowheads.

is_dot_attribute(arrowtail). % Style of arrowhead on the tail node of an edge.

is_dot_attribute(constraint). % If false, the edge is not used in ranking the nodes. For dot only.

is_dot_attribute(decorate). % Whether to connect the edge label to the edge with a line.

is_dot_attribute(dir). % Edge type for drawing arrowheads. (forward, back, both, none)

is_dot_attribute(headlabel). % Text label to be placed near head of edge.

is_dot_attribute(headport). % Indicates where on the head node to attach the head of the edge.

is_dot_attribute(labelangle).

is_dot_attribute(labeldistance).

is_dot_attribute(labelfloat).

is_dot_attribute(labelfontcolor). % Color used for headlabel and taillabel.

is_dot_attribute(labelfontname). % Font for headlabel and taillabel.

is_dot_attribute(labelfontsize). % Font size of headlabel and taillabel.

is_dot_attribute(len).

is_dot_attribute(lhead). % Logical head of an edge. For dot only.

is_dot_attribute(minlen). % Minimum edge length (rank difference between head and tail). For dot only.

is_dot_attribute(taillabel). % Text label to be placed near tail of edge.

is_dot_attribute(tailport). % Indicates where on the tail node to attach the tail of the edge.

is_dot_attribute(weight). % Weight of edge. In dot, the heavier the weight, the shorter, straighter and more vertical the edge is.

is_dot_attribute(bgcolor).

is_dot_attribute(compound). % If true, allow edges between clusters. For dot only, relevant for lhead/ltail edge attrs

is_dot_attribute(concentrate). % If true, use edge concentrators.

is_dot_attribute(landscape). % If true, the graph is rendered in landscape mode.

is_dot_attribute(layout). % Which layout engine to use. dot, neato, circo, fdp, sfdp, twopi, patchwork, nop, nop2

is_dot_attribute(mode). % Technique for optimizing the layout

is_dot_attribute(outputorder). % Specify order in which nodes and edges are drawn

is_dot_attribute(overlap). % Determines if and how node overlaps should be removed

is_dot_attribute(rankdir). % Sets direction of graph layout. For dot only. TB, BT, LR, RL

is_dot_attribute(ranksep). % Specifies separation between ranks. For dot, twopi only.

is_dot_attribute(ratio). % Sets the aspect ratio (drawing height/drawing width) for the drawing.

is_dot_attribute(scale). % Scales layout by the given factor after the initial layout

is_dot_attribute(size). % Maximum width and height of drawing, in inches

is_dot_attribute(splines).

is_dot_attribute(directed). % virtual attribute -> influences whether dot_graph_generator writes digraph or graph

is_dot_attribute(strict). % virtual attribute -> influences whether dot_graph_generator writes strict digraph/graph

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

is_svg_attribute(children). % virtual attribute of VisB

is_svg_attribute(class).

is_svg_attribute('clip-path').

is_svg_attribute('clip-rule').

is_svg_attribute('color-rendering').

is_svg_attribute(cursor).

is_svg_attribute(display).

is_svg_attribute('dominant-baseline'). % auto | text-bottom | alphabetic | ideographic | middle | central | mathematical | hanging | text-top

is_svg_attribute('fill-opacity').

is_svg_attribute('fill-rule').

is_svg_attribute('flood-opacity').

is_svg_attribute('font-family').

is_svg_attribute('font-style'). % normal | italic | oblique

is_svg_attribute('font-variant').

is_svg_attribute('font-weight'). % normal | bold | bolder | lighter |

is_svg_attribute(from).

is_svg_attribute(group_id). % virtual attribute of VisB

is_svg_attribute(hovers). % virtual attribute of VisB

is_svg_attribute('href'). % use

is_svg_attribute(id).

is_svg_attribute('marker-end').

is_svg_attribute('marker-start').

is_svg_attribute(mask).

is_svg_attribute(path).

is_svg_attribute('pointer-events').

is_svg_attribute(points). % polyline, polygon

is_svg_attribute(radius).

is_svg_attribute(repeatDur).

is_svg_attribute(restart).

is_svg_attribute(rotate).

is_svg_attribute(scale).

is_svg_attribute(seed).

is_svg_attribute('shape-rendering').

is_svg_attribute(startoffset).

is_svg_attribute(stdDeviation).

is_svg_attribute(stitchTiles).

is_svg_attribute(stroke).

is_svg_attribute('stroke-dasharray').

is_svg_attribute('stroke-dashoffset').

is_svg_attribute('stroke-linecap'). % butt (default), round, square

is_svg_attribute('stroke-linejoin').

is_svg_attribute('stroke-miterlimit').

is_svg_attribute(style).

is_svg_attribute(surfaceScale).

is_svg_attribute(svg_class). % virtual attribute of VisB

is_svg_attribute(systemLanguage).

is_svg_attribute(tableValues).

is_svg_attribute(text).

is_svg_attribute('text-anchor'). % start | middle | end

is_svg_attribute('text-decoration'). % underline | line-through, ....

is_svg_attribute('text-rendering'). % auto | optimizeSpeed | optimizeLegibility | geometricPrecision

is_svg_attribute(textLength).

is_svg_attribute(title). % virtual attribute of VisB

is_svg_attribute(to).

is_svg_attribute(transform).

is_svg_attribute(type).

is_svg_attribute(visibility).

is_svg_attribute('vector-effect').

is_svg_attribute('word-spacing').

is_svg_attribute('xlink:href').

is_svg_attribute(X) :- is_svg_number_attribute(X,_).

is_svg_attribute(X) :- is_svg_color_attribute(X).

is_svg_color_attribute(color). % can be applied to any element; provides currentcolor value

is_svg_color_attribute(fill). % can be applied to [circle,ellipse,path,polygon,polyline,rect,text,tref,tspan]).

is_svg_color_attribute(stroke). % can also be applied to all shapes we use circle, ...

is_svg_color_attribute('flood-color').

is_svg_color_attribute('lighting-color').

is_svg_color_attribute('stop-color').

is_svg_color_name(aliceblue).

is_svg_color_name(antiquewhite).

is_svg_color_name(aqua).

is_svg_color_name(aquamarine).

is_svg_color_name(azure).

is_svg_color_name(beige).

is_svg_color_name(bisque).

is_svg_color_name(black).

is_svg_color_name(blanchedalmond).

is_svg_color_name(blue).

is_svg_color_name(blueviolet).

is_svg_color_name(brown).

is_svg_color_name(burlywood).

is_svg_color_name(cadetblue).

is_svg_color_name(chartreuse).

is_svg_color_name(chocolate).

is_svg_color_name(coral).

is_svg_color_name(cornflowerblue).

is_svg_color_name(cornsilk).

is_svg_color_name(crimson).

is_svg_color_name(cyan).

is_svg_color_name(darkblue).

is_svg_color_name(darkcyan).

is_svg_color_name(darkgoldenrod).

is_svg_color_name(darkgray).

is_svg_color_name(darkgreen).

is_svg_color_name(darkgrey).

is_svg_color_name(darkkhaki).

is_svg_color_name(darkmagenta).

is_svg_color_name(darkolivegreen).

is_svg_color_name(darkorange).

is_svg_color_name(darkorchid).

is_svg_color_name(darkred).

is_svg_color_name(darksalmon).

is_svg_color_name(darkseagreen).

is_svg_color_name(darkslateblue).

is_svg_color_name(darkslategray).

is_svg_color_name(darkslategrey).

is_svg_color_name(darkturquoise).

is_svg_color_name(darkviolet).

is_svg_color_name(deeppink).

is_svg_color_name(deepskyblue).

is_svg_color_name(dimgray).

is_svg_color_name(dimgrey).

is_svg_color_name(dodgerblue).

is_svg_color_name(firebrick).

is_svg_color_name(floralwhite).

is_svg_color_name(forestgreen).

is_svg_color_name(fuchsia).

is_svg_color_name(gainsboro).

is_svg_color_name(ghostwhite).

is_svg_color_name(gold).

is_svg_color_name(goldenrod).

is_svg_color_name(gray).

is_svg_color_name(green).

is_svg_color_name(greenyellow).

is_svg_color_name(grey).

is_svg_color_name(honeydew).

is_svg_color_name(hotpink).

is_svg_color_name(indianred).

is_svg_color_name(indigo).

is_svg_color_name(ivory).

is_svg_color_name(khaki).

is_svg_color_name(lavender).

is_svg_color_name(lavenderblush).

is_svg_color_name(lawngreen).

is_svg_color_name(lemonchiffon).

is_svg_color_name(lightblue).

is_svg_color_name(lightcoral).

is_svg_color_name(lightcyan).

is_svg_color_name(lightgoldenrodyellow).

is_svg_color_name(lightgray).

is_svg_color_name(lightgreen).

is_svg_color_name(lightgrey).

is_svg_color_name(lightpink).

is_svg_color_name(lightsalmon).

is_svg_color_name(lightseagreen).

is_svg_color_name(lightskyblue).

is_svg_color_name(lightslategray).

is_svg_color_name(lightslategrey).

is_svg_color_name(lightsteelblue).

is_svg_color_name(lightyellow).

is_svg_color_name(lime).

is_svg_color_name(limegreen).

is_svg_color_name(linen).

is_svg_color_name(magenta).

is_svg_color_name(maroon).

is_svg_color_name(mediumaquamarine).

is_svg_color_name(mediumblue).

is_svg_color_name(mediumorchid).

is_svg_color_name(mediumpurple).

is_svg_color_name(mediumseagreen).

is_svg_color_name(mediumslateblue).

is_svg_color_name(mediumspringgreen).

is_svg_color_name(mediumturquoise).

is_svg_color_name(mediumvioletred).

is_svg_color_name(midnightblue).

is_svg_color_name(mintcream).

is_svg_color_name(mistyrose).

is_svg_color_name(moccasin).

is_svg_color_name(navajowhite).

is_svg_color_name(navy).

is_svg_color_name(oldlace).

is_svg_color_name(olive).

is_svg_color_name(olivedrab).

is_svg_color_name(orange).

is_svg_color_name(orangered).

is_svg_color_name(orchid).

is_svg_color_name(palegoldenrod).

is_svg_color_name(palegreen).

is_svg_color_name(paleturquoise).

is_svg_color_name(palevioletred).

is_svg_color_name(papayawhip).

is_svg_color_name(peachpuff).

is_svg_color_name(peru).

is_svg_color_name(pink).

is_svg_color_name(plum).

is_svg_color_name(powderblue).

is_svg_color_name(purple).

is_svg_color_name(red).

is_svg_color_name(rosybrown).

is_svg_color_name(royalblue).

is_svg_color_name(saddlebrown).

is_svg_color_name(salmon).

is_svg_color_name(sandybrown).

is_svg_color_name(seagreen).

is_svg_color_name(seashell).

is_svg_color_name(sienna).

is_svg_color_name(silver).

is_svg_color_name(skyblue).

is_svg_color_name(slateblue).

is_svg_color_name(slategray).

is_svg_color_name(slategrey).

is_svg_color_name(snow).

is_svg_color_name(springgreen).

is_svg_color_name(steelblue).

is_svg_color_name(tan).

is_svg_color_name(teal).

is_svg_color_name(thistle).

is_svg_color_name(tomato).

is_svg_color_name(turquoise).

is_svg_color_name(violet).

is_svg_color_name(wheat).

is_svg_color_name(white).

is_svg_color_name(whitesmoke).

is_svg_color_name(yellow).

is_svg_color_name(yellowgreen).

is_svg_number_attribute(cx,[circle, ellipse, radialGradient]).

is_svg_number_attribute(cy,[circle, ellipse, radialGradient]).

is_svg_number_attribute(dx,_).

is_svg_number_attribute(dy,_).

is_svg_number_attribute(opacity,_).

is_svg_number_attribute(pathLength,_).

is_svg_number_attribute(x,[foreignObject,image,rect,svg,text,tspan,use]). % many more: cursor, image, mask, pattern, ...

is_svg_number_attribute(y,[foreignObject,image,rect,svg,text,tspan,use]).

is_svg_number_attribute(x1,[line,linearGradient]).

is_svg_number_attribute(x2,[line,linearGradient]).

is_svg_number_attribute(y1,[line,linearGradient]).

is_svg_number_attribute(y2,[line,linearGradient]).

is_svg_number_attribute('font-size',_).

is_svg_number_attribute('stop-opacity',_).

is_svg_number_attribute('stroke-opacity',_).

is_svg_number_attribute('stroke-width',_).

is_svg_number_attribute(height,[foreignObject,image,rect,svg]). % others like mask ,...

is_svg_number_attribute(width, [foreignObject,image,rect,svg]).

is_svg_number_attribute(r,[circle, radialGradient]).

is_svg_number_attribute(rx,[ellipse,rect]).

is_svg_number_attribute(ry,[ellipse,rect]).

is_svg_number_attribute(tabindex,_).

is_svg_number_attribute(z,_).

keyword(not,predicate,[b,eventb]).

keyword(or,predicate,[b,eventb]).

keyword('true',expr,[eventb]). % truth in Rodin parser

keyword('false',expr,[eventb]). % falsity in Rodin parser

keyword('TRUE',expr,[b,eventb,tla]).

keyword('FALSE',expr,[b,eventb,tla]).

keyword('BOOL',expr,[b,eventb]).

keyword('bool',expr,[b,eventb]).

keyword('POW',expr,[b,eventb]).

keyword('POW1',expr,[b,eventb]).

keyword('FIN',expr,[b]). % not available in Event-B

keyword('FIN1',expr,[b]). % ditto

keyword('union',expr,[b,eventb]).

keyword('inter',expr,[b,eventb]).

keyword('UNION',expr,[b,eventb]).

keyword('INTER',expr,[b,eventb]).

keyword('INTEGER',expr,[b]).

keyword('NATURAL',expr,[b]).

keyword('NATURAL1',expr,[b]).

keyword('INT',expr,[b,eventb]).

keyword('NAT',expr,[b,eventb]).

keyword('NAT1',expr,[b,eventb]).

keyword('MININT',expr,[b]).

keyword('MAXINT',expr,[b]).

keyword('min',expr,[b,eventb]).

keyword('max',expr,[b,eventb]).

keyword('SIGMA',expr,[b]).

keyword('PI',expr,[b]).

keyword('STRING',expr,[b,tla]).

keyword('card',expr,[b,eventb]).

keyword('finite',expr,[eventb]).

keyword('@finite',expr,[b]).

keyword('dom',expr,[b,eventb]).

keyword('ran',expr,[b,eventb]).

keyword('id',expr,[b,eventb]).

keyword('@partition',expr,[b]).

keyword('partition',expr,[eventb]).

keyword('prj1',expr,[b,eventb]).

keyword('prj2',expr,[b,eventb]).

keyword('@prj1',expr,[b]).

keyword('@prj2',expr,[b]).

keyword('pred',expr,[b,eventb]).

keyword('succ',expr,[b,eventb]).

keyword('closure',expr,[b]).

keyword('closure1',expr,[b]).

keyword('iterate',expr,[b]).

keyword('fnc',expr,[b]). % also Event-B ?

keyword('rel',expr,[b]).

keyword('seq',expr,[b]).

keyword('seq1',expr,[b]).

keyword('iseq',expr,[b]).

keyword('iseq1',expr,[b]).

keyword('perm',expr,[b]).

keyword('size',expr,[b]).

keyword('rev',expr,[b]).

keyword('first',expr,[b]).

keyword('last',expr,[b]).

keyword('front',expr,[b]).

keyword('tail',expr,[b]).

keyword('conc',expr,[b]).

keyword('struct',expr,[b]).

keyword('rec',expr,[b]).

keyword('STRING',expr,[b]).

keyword('arity',expr,[b]).

keyword('bin',expr,[b]).

keyword('btree',expr,[b]).

keyword('const',expr,[b]).

keyword('father',expr,[b]).

keyword('infix',expr,[b]).

keyword('left',expr,[b]).

keyword('mirror',expr,[b]).

keyword('prefix',expr,[b]).

keyword('postfix',expr,[b]).

keyword('rank',expr,[b]).

keyword('right',expr,[b]).

keyword('sizet',expr,[b]).

keyword('son',expr,[b]).

keyword('sons',expr,[b]).

keyword('subtree',expr,[b]).

keyword('top',expr,[b]).

keyword('tree',expr,[b]).

keyword('floor',expr,[b]).

keyword('ceiling',expr,[b]).

keyword('real',expr,[b]).

keyword('REAL',expr,[b]).

keyword('FLOAT',expr,[b]).

keyword('btrue',predicate,[b]).

keyword('bfalse',predicate,[b]).

keyword('skip',subst,[b]).

keyword('ANY',subst,[b]).

keyword('ASSERT',subst,[b]).

keyword('BEGIN',subst,[b]).

keyword('CASE',subst,[b,tla]).

keyword('CHOICE',subst,[b]).

keyword('DO',subst,[b]).

keyword('EITHER',subst,[b]).

keyword('OR',subst,[b]).

keyword('OF',subst,[b]).

keyword('PRE',subst,[b]).

keyword('SELECT',subst,[b]).

keyword('WHERE',subst,[b]).

keyword('WHILE',subst,[b]).

keyword('WITH',subst,[b,tla]).

keyword('ABSTRACT_CONSTANTS',section,[b]).

keyword('ABSTRACT_VARIABLES',section,[b]).

keyword('ASSERTIONS',section,[b]).

keyword('CONCRETE_CONSTANTS',section,[b]).

keyword('CONCRETE_VARIABLES',section,[b]).

keyword('CONSTANTS',section,[b,tla]).

keyword('CONSTRAINTS',section,[b]).

keyword('DEFINITIONS',section,[b]).

keyword('EVENT',section,[b]).

keyword('EXTENDS',section,[b,tla]).

keyword('IMPLEMENTATION',section,[b]).

keyword('IMPORTS',section,[b]).

keyword('INCLUDES',section,[b]).

keyword('INITIALISATION',section,[b]).

keyword('INITIALIZATION',section,[b]).

keyword('INVARIANT',section,[b]).

keyword('LOCAL_OPERATIONS',section,[b]).

keyword('MACHINE',section,[b]).

keyword('MODEL',section,[b]).

keyword('OPERATIONS',section,[b]).

keyword('PROMOTES',section,[b]).

keyword('PROPERTIES',section,[b]).

keyword('REFINEMENT',section,[b]).

keyword('REFINES',section,[b]).

keyword('SEES',section,[b]).

keyword('SYSTEM',section,[b]).

keyword('USES',section,[b]).

keyword('VALUES',section,[b]).

keyword('VARIABLES',section,[b,tla]).

keyword('VARIANT',section,[b]).

keyword('ACTIVATION',section,[rules_dsl]).

keyword('BODY',section,[rules_dsl]).

keyword('CLASSIFICATION',section,[rules_dsl]).

keyword('COMPUTATION',section,[rules_dsl]).

keyword('COUNTEREXAMPLE',section,[rules_dsl]).

keyword('DEPENDS_ON_COMPUTATION',section,[rules_dsl]).

keyword('DEPENDS_ON_RULE',section,[rules_dsl]).

keyword('DEFINE',section,[rules_dsl]).

keyword('DUMMY_VALUE',section,[rules_dsl]).

keyword('ERROR_TYPE',section,[rules_dsl]).

keyword('ERROR_TYPES',section,[rules_dsl]).

keyword('FOR',section,[rules_dsl]).

keyword('FUNCTION',section,[rules_dsl]).

keyword('ON_SUCCESS',section,[rules_dsl]).

keyword('POSTCONDITION',section,[rules_dsl]).

keyword('PRECONDITION',section,[rules_dsl]).

keyword('REFERENCES',section,[rules_dsl]).

keyword('REPLACES',section,[rules_dsl]).

keyword('RULE_FAIL',section,[rules_dsl]).

keyword('RULE_FORALL',section,[rules_dsl]).

keyword('RULE',section,[rules_dsl]).

keyword('RULEID',section,[rules_dsl]).

keyword('RULES_MACHINE',section,[rules_dsl]).

keyword('TAGS',section,[rules_dsl]).

keyword('TYPE',section,[rules_dsl]).

keyword('VALUE',section,[rules_dsl]).

keyword('DISABLED_RULE',section,[rules_dsl]).

keyword('FAILED_RULE',section,[rules_dsl]).

keyword('FAILED_RULE_ERROR_TYPE',section,[rules_dsl]).

keyword('FAILED_RULE_ALL_ERROR_TYPES',section,[rules_dsl]).

keyword('GET_RULE_COUNTEREXAMPLES',section,[rules_dsl]).

keyword('NOT_CHECKED_RULE',section,[rules_dsl]).

keyword('STRING_FORMAT',section,[rules_dsl]).

keyword('SUCCEEDED_RULE',section,[rules_dsl]).

keyword('SUCCEEDED_RULE_ERROR_TYPE',section,[rules_dsl]).

keyword('@desc',pragma,[b]).

keyword('@file',pragma,[b]).

keyword('@generated',pragma,[b]).

keyword('@import-package',pragma,[b]).

keyword('@label',pragma,[b]).

keyword('@package',pragma,[b]).

keyword('@symbolic',pragma,[b]).

keyword('ASSUME',section,[tla]).

keyword('ASSUMPTION',section,[tla]).

keyword('AXIOM',section,[tla]).

keyword('CONSTANT',section,[tla]).

keyword('LOCAL',section,[tla]).

keyword('INSTANCE',section,[b,tla]).

keyword('MODULE',section,[tla]).

keyword('THEOREM',section,[tla]).

keyword('IF',_,[b,tla]).

keyword('THEN',_,[b,tla]).

keyword('ELSE',_,[b,tla]).

keyword('ELSIF',_,[b]).

keyword('LET',_,[b,tla]).

keyword('BE',_,[b]).

keyword('IN',_,[b,tla]).

keyword('END',_,[b,tla]).

keyword('BOOLEAN',expr,[tla]).

keyword('Cardinality',expr,[tla]).

keyword('CHOOSE',expr,[tla]).

keyword('DOMAIN',expr,[tla]).

keyword('ENABLED',expr,[tla]).

keyword('EXCEPT',expr,[tla]).

keyword('SUBSET',expr,[tla]).

keyword('UNCHANGED',expr,[tla]).

keyword('UNION',expr,[tla]).

keyword('abstract',section,[alloy]).

keyword('assert',section,[alloy]).

keyword('check',section,[alloy]).

keyword('extends',section,[alloy]).

keyword('fact',section,[alloy]).

keyword('fun',section,[alloy]).

keyword('module',section,[alloy]).

keyword('open',section,[alloy]).

keyword('pred',section,[alloy]).

keyword('run',section,[alloy]).

keyword('sig',section,[alloy]).

keyword('div',expr,[alloy]).

keyword('minus',expr,[alloy]).

keyword('else',expr,[alloy]).

keyword('iden',expr,[alloy]).

keyword('let',expr,[alloy]).

keyword('mul',expr,[alloy]).

keyword('plus',expr,[alloy]).

keyword('rem',expr,[alloy]).

keyword('sum',expr,[alloy]).

keyword('univ',expr,[alloy]).

keyword('all',predicate,[alloy]).

keyword('disjoint',predicate,[alloy]).

keyword('iff',predicate,[alloy]).

keyword('implies',predicate,[alloy]).

keyword('lone',predicate,[alloy]).

keyword('not',predicate,[alloy]).

keyword('no',predicate,[alloy]).

keyword('none',predicate,[alloy]).

keyword('one',predicate,[alloy]).

keyword('or',predicate,[alloy]).

keyword('some',predicate,[alloy]).

keyword('set',expr,[alloy]).

op_prefix('MAX_OPERATIONS_').

op_prefix('OPERATION_REUSE_OFF_').

op_prefix('SEQUENCE_CHART_').

operation_pref_keyword(OpPrefAtom) :-
    b_top_level_operation(Top),
    op_prefix(Prefix),
    atom_concat(Prefix,Top,OpPrefAtom).

possible_skip_char(95). % _

prob_external_fun(Fun) :- external_function_library(Fun,File),
    member(File,['LibraryStrings.def']). % ideally we want to only show the included libraries

prob_special_def(Def) :- special_definitions(Def,_).

prob_special_def(Def) :- set_pref_keyword(Def,_).

prob_special_def(Def) :- operation_pref_keyword(Def).

set_pref_keyword(SetPrefAtom,Pref) :-
    get_possible_preferences(Prefs),
    member(Pref,Prefs),
    atom_concat('SET_PREF_',Pref,SetPrefAtom).

special_definitions('ASSERT_CTL',model_check).

special_definitions('ASSERT_LTL',model_check).

special_definitions('GOAL',model_check).

special_definitions('HEURISTIC_FUNCTION',model_check).

special_definitions('SCOPE',model_check).

special_definitions('CUSTOM_GRAPH',dot).

special_definitions('CUSTOM_GRAPH_EDGES',dot).

special_definitions('CUSTOM_GRAPH_NODES',dot).

special_definitions('VISB_JSON_FILE',visb).

special_definitions('VISB_SVG_BOX',visb).

special_definitions('VISB_SVG_CONTENTS',visb).

special_definitions('VISB_SVG_EVENTS',visb).

special_definitions('VISB_SVG_FILE',visb).

special_definitions('VISB_SVG_HOVERS',visb).

special_definitions('VISB_SVG_OBJECTS',visb).

special_definitions('VISB_SVG_UPDATES',visb).

special_definitions('ANIMATION_CLICK',tkanim).

special_definitions('ANIMATION_EXPRESSION',tkanim).

special_definitions('ANIMATION_FUNCTION',tkanim).

special_definitions('ANIMATION_FUNCTION_DEFAULT',tkanim).

special_definitions('ANIMATION_IMG',tkanim).

special_definitions('ANIMATION_RIGHT_CLICK',tkanim).

special_definitions('ANIMATION_STR',tkanim).

special_definitions('ANIMATION_STR_JUSTIFY_LEFT',tkanim).

special_definitions('ANIMATION_STR_JUSTIFY_RIGHT',tkanim).

special_definitions('GAME_MCTS_RUNS',mcts).

special_definitions('GAME_MCTS_TIMEOUT',mcts).

special_definitions('GAME_MCTS_CACHE_LAST_TREE',mcts).

special_definitions('GAME_OVER',mcts).

special_definitions('GAME_PLAYER',mcts).

special_definitions('GAME_VALUE',mcts).

special_definitions('PROB_REQUIRED_VERSION',general).

xtl_keyword(prop).

xtl_keyword(start).

xtl_keyword(trans).

xtl_keyword(animation_image).

xtl_keyword(animation_image_click_transition).

xtl_keyword(animation_image_right_click_transition).

xtl_keyword(animation_function_result).

xtl_keyword(heuristic_function_active).

xtl_keyword(heuristic_function_result).

xtl_keyword(prob_game_info).

xtl_keyword(prob_pragma_string).