1 | | % (c) 2009 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 | | :- module(fuzzfile, [load_fuzzfile/1, reset_fuzzfile/0, get_z_definitions/1]). |
6 | | |
7 | | :- dynamic current_fuzzfile/2. |
8 | | |
9 | | :- use_module(library(lists)). |
10 | | |
11 | | :- use_module(probsrc(tools)). |
12 | | :- use_module(probsrc(error_manager)). |
13 | | |
14 | | :- use_module(probsrc(module_information)). |
15 | | :- module_info(group,proz). |
16 | | :- module_info(description,'This module includes a parser for files generated by the fuzz type checker for Z specifications.'). |
17 | | |
18 | | :- set_prolog_flag(double_quotes, codes). |
19 | | |
20 | | reset_fuzzfile :- retractall(current_fuzzfile(_,_)). |
21 | | |
22 | | get_z_definitions(Defs) :- |
23 | | current_fuzzfile(_,Defs). |
24 | | |
25 | | load_fuzzfile(File) :- |
26 | | reset_fuzzfile, |
27 | | |
28 | | (readfile(File,Content) -> true; |
29 | | add_error(fuzzfile,'Error while reading file', File),fail), |
30 | | |
31 | | (zparser(Defs,Content,[]) -> true; |
32 | | add_error(fuzzfile,'Error while parsing fuzz file', File), fail), |
33 | | |
34 | | assertz(current_fuzzfile(File,Defs)). |
35 | | |
36 | | |
37 | | %******************************************************************************* |
38 | | % read file content |
39 | | readfile(Filename,Content) :- |
40 | | open(Filename,read,Stream), |
41 | | readbytes(Stream,Content), |
42 | | close(Stream). |
43 | | readbytes(Stream,Res) :- |
44 | | get_code(Stream,C), |
45 | | (C= -1 -> Res=[] ; Res=[C|Rest],readbytes(Stream,Rest)). |
46 | | |
47 | | |
48 | | %******************************************************************************* |
49 | | % Parser |
50 | | zparser(Items) --> wss, zparser2(Items). |
51 | | zparser2([I|Rest]) --> zitem(I), !, zparser(Rest). |
52 | | zparser2([]) --> []. |
53 | | |
54 | ? | wss --> whitespace, !, wss. |
55 | | wss --> "". |
56 | | |
57 | | zitem(Item) --> "(", !, zitem2(Item). |
58 | | zitem(String) --> identifier(String). |
59 | | |
60 | | zitem2([]) --> ")",!. |
61 | ? | zitem2(Item) --> itemname(IName), wss, zitem3(IName,Item), wss, ")",!. |
62 | | |
63 | | zitem3('LIST',List) --> !,zparser(List). |
64 | | zitem3('NAME',name(Name,Deco)) --> !, identifier(Name), wss, string(Deco). |
65 | | zitem3('REF',ref(Name,Params)) --> !, |
66 | ? | parsenumber(_), wss, zitem(Name), wss, zitem(Params). |
67 | | zitem3('SREF',sref(Name,Deco,Params,Renamings)) --> !, |
68 | ? | parsenumber(_), wss, identifier(Name), wss, string(Deco), |
69 | | wss, zitem(Params), wss, zitem(Renamings). |
70 | | zitem3('NUMBER',number(N)) --> !, |
71 | ? | parsenumber(_), wss, [34], parsenumber(N), [34]. |
72 | ? | zitem3(IName,Item) --> parsenumber(_), zparser(Items), |
73 | | {to_lower(IName,LIName), Item =.. [LIName | Items]}. |
74 | | |
75 | ? | parsenumber(Number) --> digit(D), parsenumber2(Rest), {number_codes(Number,[D|Rest])}. |
76 | ? | parsenumber2([D|Rest]) --> digit(D),!,parsenumber2(Rest). |
77 | | parsenumber2([]) --> []. |
78 | | |
79 | ? | itemname(N) --> letter(L), itemname2(Rest), {atom_codes(N,[L|Rest])}. |
80 | ? | itemname2([L|Rest]) --> alphanum(L), !, itemname2(Rest). |
81 | | itemname2([]) --> []. |
82 | | |
83 | | string(Atom) --> [34], stringcontent(String), [34], {atom_codes(Atom,String)}. |
84 | | |
85 | | stringcontent([C|Rest]) --> [C], {C \= 34}, !, stringcontent(Rest). |
86 | | stringcontent([]) --> []. |
87 | | |
88 | | identifier(Id) --> [34], idcontent(String), {atom_codes(Id,String)}. |
89 | | |
90 | | idcontent(String) --> [C], idcontent2(C, String). |
91 | | idcontent2(34, []) --> !. % closing quotation mark |
92 | | idcontent2(92, [D|String]) --> % backslash |
93 | | [C],{deescape(C,D)},!,idcontent(String). |
94 | | idcontent2(C, [C|String]) --> idcontent(String). |
95 | | |
96 | | deescape(95,95). % underscore |
97 | | |
98 | | :- dynamic letter/3, digit/3, alphanum/3, whitespace/2, to_lower_char/2. |
99 | | precompiled_rule(Rule) :- |
100 | ? | member(L,"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ"), |
101 | ? | member(Rule,[letter(L,[L|R],R),alphanum(L,[L|T],T)]). |
102 | | precompiled_rule(Rule) :- |
103 | ? | member(D,"0123456789"), |
104 | ? | member(Rule,[digit(D,[D|R],R),alphanum(D,[D|T],T)]). |
105 | | precompiled_rule(whitespace([W|T],T)) :- |
106 | ? | member(W," \t\n\r"). |
107 | | precompiled_rule(to_lower_char(Upper,Lower)) :- |
108 | ? | nth0(N,"ABCDEFGHIJKLMNOPQRSTUVWXYZ",Upper), |
109 | | nth0(N,"abcdefghijklmnopqrstuvwxyz",Lower). |
110 | | store_rules :- |
111 | ? | precompiled_rule(R), |
112 | | assertz(R), |
113 | | fail. |
114 | | store_rules. |
115 | | :- store_rules. |
116 | | |
117 | | to_lower(Nr,R) :- number(Nr),!,R=Nr. |
118 | | to_lower(UItem,LItem) :- atom_codes(UItem,Up),to_lower2(Up,Low),atom_codes(LItem,Low). |
119 | | to_lower2([],[]). |
120 | | to_lower2([Up|URest],[Low|LRest]) :- |
121 | | (to_lower_char(Up,Low) -> true ; Up = Low), |
122 | | to_lower2(URest,LRest). |