1 | :- dynamic parserVersionNum/1, parserVersionStr/1, parseResult/5. | |
2 | :- dynamic module/4. | |
3 | 'parserVersionStr'('0.6.2.1'). | |
4 | 'parseResult'('ok','',0,0,0). | |
5 | :- dynamic channel/2, bindval/3, agent/3. | |
6 | :- dynamic agent_curry/3, symbol/4. | |
7 | :- dynamic dataTypeDef/2, subTypeDef/2, nameType/2. | |
8 | :- dynamic cspTransparent/1. | |
9 | :- dynamic cspPrint/1. | |
10 | :- dynamic pragma/1. | |
11 | :- dynamic comment/2. | |
12 | :- dynamic assertBool/1, assertRef/5, assertTauPrio/6. | |
13 | :- dynamic assertModelCheckExt/4, assertModelCheck/3. | |
14 | :- dynamic assertLtl/4, assertCtl/4. | |
15 | 'parserVersionNum'([0,11,1,1]). | |
16 | 'parserVersionStr'('CSPM-Frontent-0.11.1.1'). | |
17 | 'bindval'('MAXINT','int'(3),'src_span'(1,1,1,11,0,10)). | |
18 | 'bindval'('MAXINS','int'(3),'src_span'(3,1,3,11,32,10)). | |
19 | 'bindval'('maxbuff','int'(2),'src_span'(4,1,4,12,43,11)). | |
20 | 'bindval'('Nat','setExp'('rangeClosed'('int'(0),'val_of'('MAXINT','src_span'(5,11,5,17,65,6)))),'src_span'(5,1,5,18,55,17)). | |
21 | 'agent'('cross'(_X,_Y),'setExp'('rangeEnum'(['tupleExp'([_x,_y])]),['comprehensionGenerator'(_x,_X),'comprehensionGenerator'(_y,_Y)]),'src_span'(8,15,8,39,109,24)). | |
22 | 'agent'('rel'(_X2,_Y2),'agent_call'('src_span'(11,13,11,16,184,3),'Set',['agent_call'('src_span'(11,17,11,22,188,5),'cross',[_X2,_Y2])]),'src_span'(11,13,11,29,184,16)). | |
23 | 'agent'('pfun'(_X3,_Y3),'setExp'('rangeEnum'([_s]),['comprehensionGenerator'(_s,'agent_call'('src_span'(14,23,14,26,301,3),'rel',[_X3,_Y3])),'comprehensionGuard'('agent_call'('src_span'(14,33,14,38,311,5),'empty',['setExp'('rangeEnum'([_x1]),['comprehensionGenerator'('tuplePat'([_x1,_y1]),_s),'comprehensionGenerator'('tuplePat'([_x2,_y2]),_s),'comprehensionGuard'('bool_and'('=='(_x1,_x2),'!='(_y1,_y2)))])]))]),'src_span'(14,14,14,93,292,79)). | |
24 | 'agent'('squash'(_s2),'let'(['agent'('pick'('singleSetPat'([_x3])),_x3,'src_span'(33,14,33,15,873,1)),'agent'('below'(_b),'agent_call'('src_span'(35,13,35,17,935,4),'card',['setExp'('rangeEnum'([_x4]),['comprehensionGenerator'('tuplePat'([_x4,_y3]),_s2),'comprehensionGuard'('<='(_x4,_b))])]),'src_span'(35,13,35,43,935,30)),'bindval'('pairs','setExp'('rangeEnum'(['tupleExp'([_y4,'agent_call'('src_span'(37,19,37,24,1031,5),'below',[_x5])])]),['comprehensionGenerator'('tuplePat'([_x5,_y4]),_s2)]),'src_span'(37,2,37,41,1014,39)),'agent'('select'(_i),'agent_call'('src_span'(39,13,39,17,1136,4),'pick',['setExp'('rangeEnum'([_y5]),['comprehensionGenerator'('tuplePat'([_y5,_n]),'val_of'('pairs','src_span'(39,31,39,36,1154,5))),'comprehensionGuard'('=='(_i,_n))])]),'src_span'(39,13,39,45,1136,32))],'listExp'('rangeEnum'(['agent_call'('src_span'(40,12,40,18,1180,6),'select',[_i2])]),['comprehensionGenerator'(_i2,'listExp'('rangeClosed'('int'(1),'agent_call'('src_span'(40,33,40,37,1201,4),'card',[_s2]))))])),'src_span'(32,3,40,43,856,355)). | |
25 | 'agent'('fseq'(_s3),'setExp'('rangeEnum'(['agent_call'('src_span'(42,12,42,18,1224,6),'squash',[_s4])]),['comprehensionGenerator'(_s4,'agent_call'('src_span'(42,29,42,33,1241,4),'pfun',['setExp'('rangeClosed'('int'(1),'val_of'('MAXINS','src_span'(42,38,42,44,1250,6)))),_s3]))]),'src_span'(42,11,42,51,1223,40)). | |
26 | 'channel'('input','type'('dotTupleType'(['val_of'('Nat','src_span'(44,24,44,27,1288,3))]))). | |
27 | 'channel'('output','type'('dotTupleType'(['val_of'('Nat','src_span'(44,24,44,27,1288,3))]))). | |
28 | 'channel'('Buffer_Init','type'('dotUnitType')). | |
29 | 'channel'('Buffer_Op_size','type'('dotTupleType'(['setExp'('rangeClosed'('int'(0),'val_of'('maxbuff','src_span'(46,31,46,38,1342,7))))]))). | |
30 | 'channel'('Buffer_Op_buff','type'('dotTupleType'(['agent_call'('src_span'(47,25,47,29,1375,4),'fseq',['val_of'('Nat','src_span'(47,30,47,33,1380,3))])]))). | |
31 | 'channel'('Buffer_InputCmd','type'('dotTupleType'(['val_of'('Nat','src_span'(48,26,48,29,1410,3))]))). | |
32 | 'channel'('Buffer_InputCmd_f','type'('dotTupleType'(['val_of'('Nat','src_span'(49,28,49,31,1441,3))]))). | |
33 | 'channel'('Buffer_OutputCmd','type'('dotUnitType')). | |
34 | 'channel'('Buffer_OutputCmd_f','type'('dotUnitType')). | |
35 | 'channel'('div','type'('dotUnitType')). | |
36 | 'bindval'('DIV','prefix'('src_span'(54,7,54,10,1516,3),[],'div','stop'('src_span'(54,14,54,18,1523,4)),'src_span'(54,11,54,13,1519,11)),'src_span'(54,1,54,18,1510,17)). | |
37 | 'bindval'('HIDE_CSPB','closure'(['Buffer_Init','Buffer_Op_size','Buffer_Op_buff','Buffer_InputCmd','Buffer_InputCmd_f','Buffer_OutputCmd','Buffer_OutputCmd_f']),'src_span'(56,1,56,132,1529,131)). | |
38 | 'bindval'('Buffer',';'('prefix'('src_span'(58,10,58,21,1671,11),[],'Buffer_Init','skip'('src_span'(58,25,58,29,1686,4)),'src_span'(58,22,58,24,1682,19)),'let'(['bindval'('X4',';'('prefix'('src_span'(59,18,59,32,1710,14),['in'(_size)],'Buffer_Op_size','prefix'('src_span'(59,41,59,55,1733,14),['in'(_buff)],'Buffer_Op_buff','[]'('&'('<'(_size,'val_of'('maxbuff','src_span'(60,29,60,36,1786,7))),'prefix'('src_span'(60,40,60,45,1797,5),['in'(_x6)],'input','[]'('prefix'('src_span'(60,52,60,67,1809,15),['out'(_x6)],'Buffer_InputCmd','skip'('src_span'(60,73,60,77,1830,4)),'src_span'(60,70,60,72,1826,10)),'prefix'('src_span'(60,81,60,98,1838,17),['out'(_x6)],'Buffer_InputCmd_f','val_of'('DIV','src_span'(60,104,60,107,1861,3)),'src_span'(60,101,60,103,1857,9)),'src_span_operator'('no_loc_info_available','src_span'(60,78,60,80,1835,2))),'src_span'(60,48,60,50,1804,63))),'&'('>'(_size,'int'(0)),'prefix'('src_span'(62,34,62,40,1922,6),['out'('agent_call'('src_span'(62,42,62,46,1930,4),'head',[_buff]))],'output','[]'('prefix'('src_span'(62,58,62,74,1946,16),[],'Buffer_OutputCmd','skip'('src_span'(62,78,62,82,1966,4)),'src_span'(62,75,62,77,1962,24)),'prefix'('src_span'(62,86,62,104,1974,18),[],'Buffer_OutputCmd_f','val_of'('DIV','src_span'(62,108,62,111,1996,3)),'src_span'(62,105,62,107,1992,25)),'src_span_operator'('no_loc_info_available','src_span'(62,83,62,85,1971,2))),'src_span'(62,54,62,56,1941,72))),'src_span_operator'('no_loc_info_available','src_span'(61,21,61,23,1886,2))),'src_span'(59,61,59,63,1752,271)),'src_span'(59,38,59,40,1729,294)),'val_of'('X4','src_span'(63,22,63,23,2022,1)),'src_span_operator'('no_loc_info_available','src_span'(63,20,63,21,2020,1))),'src_span'(59,13,63,23,1705,318))],'val_of'('X4','src_span'(64,16,64,17,2040,1))),'src_span_operator'('no_loc_info_available','src_span'(58,30,58,31,1691,1))),'src_span'(58,1,64,17,1662,379)). | |
39 | 'bindval'('MAIN','val_of'('Buffer','src_span'(66,8,66,14,2050,6)),'src_span'(66,1,66,14,2043,13)). | |
40 | 'comment'('lineComment'('-- Maximum Instances'),'src_position'(2,1,11,20)). | |
41 | 'comment'('lineComment'('-- Cartesian Product'),'src_position'(7,1,74,20)). | |
42 | 'comment'('lineComment'('--rel(X, Y) = { (x,y) | x<-X, y<-Y }'),'src_position'(10,1,135,36)). | |
43 | 'comment'('lineComment'('-- partial function: not every element in X has the corresponding value in Y'),'src_position'(13,1,202,76)). | |
44 | 'comment'('lineComment'('-- -- get a sequence with all same element but its size is specified'),'src_position'(16,1,373,68)). | |
45 | 'comment'('lineComment'('-- nseq({x}, 0) = <>'),'src_position'(17,1,442,20)). | |
46 | 'comment'('lineComment'('-- nseq({x}, 1) = <x>'),'src_position'(18,1,463,21)). | |
47 | 'comment'('lineComment'('-- nseq({x}, n) = <x> ^ nseq({x}, n-1)'),'src_position'(19,1,485,38)). | |
48 | 'comment'('lineComment'('-- '),'src_position'(20,1,524,3)). | |
49 | 'comment'('lineComment'('-- -- get a set of sequence which only includes x'),'src_position'(21,1,528,49)). | |
50 | 'comment'('lineComment'('-- sseq({x}, 0) = {<>}'),'src_position'(22,1,578,22)). | |
51 | 'comment'('lineComment'('-- sseq({x}, 1) = {<>,<x>}'),'src_position'(23,1,601,26)). | |
52 | 'comment'('lineComment'('-- sseq({x}, n) = union(sseq({x}, n-1), {nseq({x}, n)})'),'src_position'(24,1,628,55)). | |
53 | 'comment'('lineComment'('-- '),'src_position'(25,1,684,3)). | |
54 | 'comment'('lineComment'('-- fseq({}) = {<>}'),'src_position'(26,1,688,18)). | |
55 | 'comment'('lineComment'('-- fseq({x}) = sseq({x}, 4) '),'src_position'(27,1,707,28)). | |
56 | 'comment'('lineComment'('-- -- fseq({x}) = { s1^<x> | s1 <- fseq({x}), member(set(s1), {x}) and #s1 < 4}'),'src_position'(28,1,736,79)). | |
57 | 'comment'('lineComment'('-- fseq(s) = {<x>^_ | }'),'src_position'(29,1,816,23)). | |
58 | 'comment'('lineComment'('-- how many items which 1st item x are below b'),'src_position'(34,2,876,46)). | |
59 | 'comment'('lineComment'('-- get all pairs, such as {(a,1),(b,3),(c,2)}'),'src_position'(36,2,967,45)). | |
60 | 'comment'('lineComment'('-- return the y value of a x below which there are i number of items'),'src_position'(38,2,1055,68)). | |
61 | 'symbol'('MAXINT','MAXINT','src_span'(1,1,1,7,0,6),'Ident (Groundrep.)'). | |
62 | 'symbol'('MAXINS','MAXINS','src_span'(3,1,3,7,32,6),'Ident (Groundrep.)'). | |
63 | 'symbol'('maxbuff','maxbuff','src_span'(4,1,4,8,43,7),'Ident (Groundrep.)'). | |
64 | 'symbol'('Nat','Nat','src_span'(5,1,5,4,55,3),'Ident (Groundrep.)'). | |
65 | 'symbol'('cross','cross','src_span'(8,1,8,6,95,5),'Funktion or Process'). | |
66 | 'symbol'('X','X','src_span'(8,7,8,8,101,1),'Ident (Prolog Variable)'). | |
67 | 'symbol'('Y','Y','src_span'(8,10,8,11,104,1),'Ident (Prolog Variable)'). | |
68 | 'symbol'('x','x','src_span'(8,24,8,25,118,1),'Ident (Prolog Variable)'). | |
69 | 'symbol'('y','y','src_span'(8,32,8,33,126,1),'Ident (Prolog Variable)'). | |
70 | 'symbol'('rel','rel','src_span'(11,1,11,4,172,3),'Funktion or Process'). | |
71 | 'symbol'('X2','X','src_span'(11,5,11,6,176,1),'Ident (Prolog Variable)'). | |
72 | 'symbol'('Y2','Y','src_span'(11,8,11,9,179,1),'Ident (Prolog Variable)'). | |
73 | 'symbol'('Set','Set','src_span'(11,13,11,16,184,3),'BuiltIn primitive'). | |
74 | 'symbol'('pfun','pfun','src_span'(14,1,14,5,279,4),'Funktion or Process'). | |
75 | 'symbol'('X3','X','src_span'(14,6,14,7,284,1),'Ident (Prolog Variable)'). | |
76 | 'symbol'('Y3','Y','src_span'(14,9,14,10,287,1),'Ident (Prolog Variable)'). | |
77 | 'symbol'('s','s','src_span'(14,20,14,21,298,1),'Ident (Prolog Variable)'). | |
78 | 'symbol'('empty','empty','src_span'(14,33,14,38,311,5),'BuiltIn primitive'). | |
79 | 'symbol'('x1','x1','src_span'(14,46,14,48,324,2),'Ident (Prolog Variable)'). | |
80 | 'symbol'('y1','y1','src_span'(14,49,14,51,327,2),'Ident (Prolog Variable)'). | |
81 | 'symbol'('x2','x2','src_span'(14,58,14,60,336,2),'Ident (Prolog Variable)'). | |
82 | 'symbol'('y2','y2','src_span'(14,61,14,63,339,2),'Ident (Prolog Variable)'). | |
83 | 'symbol'('squash','squash','src_span'(31,1,31,7,841,6),'Funktion or Process'). | |
84 | 'symbol'('s2','s','src_span'(31,8,31,9,848,1),'Ident (Prolog Variable)'). | |
85 | 'symbol'('pick','pick','src_span'(33,2,33,6,861,4),'Funktion or Process'). | |
86 | 'symbol'('x3','x','src_span'(33,8,33,9,867,1),'Ident (Prolog Variable)'). | |
87 | 'symbol'('below','below','src_span'(35,2,35,7,924,5),'Funktion or Process'). | |
88 | 'symbol'('b','b','src_span'(35,8,35,9,930,1),'Ident (Prolog Variable)'). | |
89 | 'symbol'('card','card','src_span'(35,13,35,17,935,4),'BuiltIn primitive'). | |
90 | 'symbol'('x4','x','src_span'(35,25,35,26,947,1),'Ident (Prolog Variable)'). | |
91 | 'symbol'('y3','y','src_span'(35,27,35,28,949,1),'Ident (Prolog Variable)'). | |
92 | 'symbol'('pairs','pairs','src_span'(37,2,37,7,1014,5),'Ident (Groundrep.)'). | |
93 | 'symbol'('x5','x','src_span'(37,32,37,33,1044,1),'Ident (Prolog Variable)'). | |
94 | 'symbol'('y4','y','src_span'(37,34,37,35,1046,1),'Ident (Prolog Variable)'). | |
95 | 'symbol'('select','select','src_span'(39,2,39,8,1125,6),'Funktion or Process'). | |
96 | 'symbol'('i','i','src_span'(39,9,39,10,1132,1),'Ident (Prolog Variable)'). | |
97 | 'symbol'('y5','y','src_span'(39,25,39,26,1148,1),'Ident (Prolog Variable)'). | |
98 | 'symbol'('n','n','src_span'(39,27,39,28,1150,1),'Ident (Prolog Variable)'). | |
99 | 'symbol'('i2','i','src_span'(40,24,40,25,1192,1),'Ident (Prolog Variable)'). | |
100 | 'symbol'('card','card','src_span'(40,33,40,37,1201,4),'BuiltIn primitive'). | |
101 | 'symbol'('fseq','fseq','src_span'(42,1,42,5,1213,4),'Funktion or Process'). | |
102 | 'symbol'('s3','s','src_span'(42,6,42,7,1218,1),'Ident (Prolog Variable)'). | |
103 | 'symbol'('s4','s','src_span'(42,24,42,25,1236,1),'Ident (Prolog Variable)'). | |
104 | 'symbol'('input','input','src_span'(44,9,44,14,1273,5),'Channel'). | |
105 | 'symbol'('output','output','src_span'(44,16,44,22,1280,6),'Channel'). | |
106 | 'symbol'('Buffer_Init','Buffer_Init','src_span'(45,9,45,20,1300,11),'Channel'). | |
107 | 'symbol'('Buffer_Op_size','Buffer_Op_size','src_span'(46,9,46,23,1320,14),'Channel'). | |
108 | 'symbol'('Buffer_Op_buff','Buffer_Op_buff','src_span'(47,9,47,23,1359,14),'Channel'). | |
109 | 'symbol'('Buffer_InputCmd','Buffer_InputCmd','src_span'(48,9,48,24,1393,15),'Channel'). | |
110 | 'symbol'('Buffer_InputCmd_f','Buffer_InputCmd_f','src_span'(49,9,49,26,1422,17),'Channel'). | |
111 | 'symbol'('Buffer_OutputCmd','Buffer_OutputCmd','src_span'(50,9,50,25,1453,16),'Channel'). | |
112 | 'symbol'('Buffer_OutputCmd_f','Buffer_OutputCmd_f','src_span'(51,9,51,27,1478,18),'Channel'). | |
113 | 'symbol'('div','div','src_span'(52,9,52,12,1505,3),'Channel'). | |
114 | 'symbol'('DIV','DIV','src_span'(54,1,54,4,1510,3),'Ident (Groundrep.)'). | |
115 | 'symbol'('HIDE_CSPB','HIDE_CSPB','src_span'(56,1,56,10,1529,9),'Ident (Groundrep.)'). | |
116 | 'symbol'('Buffer','Buffer','src_span'(58,1,58,7,1662,6),'Ident (Groundrep.)'). | |
117 | 'symbol'('X4','X','src_span'(59,13,59,14,1705,1),'Ident (Groundrep.)'). | |
118 | 'symbol'('size','size','src_span'(59,33,59,37,1725,4),'Ident (Prolog Variable)'). | |
119 | 'symbol'('buff','buff','src_span'(59,56,59,60,1748,4),'Ident (Prolog Variable)'). | |
120 | 'symbol'('x6','x','src_span'(60,46,60,47,1803,1),'Ident (Prolog Variable)'). | |
121 | 'symbol'('head','head','src_span'(62,42,62,46,1930,4),'BuiltIn primitive'). | |
122 | 'symbol'('MAIN','MAIN','src_span'(66,1,66,5,2043,4),'Ident (Groundrep.)'). |