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 | 'dataTypeDef'('Objects',['constructor'('fox'),'constructor'('chicken'),'constructor'('grain'),'constructor'('farmer')]). | |
18 | 'channel'('transport_to_right_side','type'('dotTupleType'(['agent_call'('src_span'(5,59,5,63,145,4),'diff',['Objects','setExp'('rangeEnum'(['farmer']))])]))). | |
19 | 'channel'('transport_to_left_side','type'('dotTupleType'(['agent_call'('src_span'(5,59,5,63,145,4),'diff',['Objects','setExp'('rangeEnum'(['farmer']))])]))). | |
20 | 'channel'('go_alone_to_right_side','type'('dotTupleType'(['Objects']))). | |
21 | 'channel'('go_alone_to_left_side','type'('dotTupleType'(['Objects']))). | |
22 | 'channel'('win','type'('dotUnitType')). | |
23 | 'channel'('lose','type'('dotUnitType')). | |
24 | 'bindval'('Left_Side','setExp'('rangeEnum'(['fox','chicken','grain','farmer'])),'src_span'(9,1,9,42,250,41)). | |
25 | 'bindval'('Right_Side','setExp'('rangeEnum'([])),'src_span'(10,1,10,16,292,15)). | |
26 | 'bindval'('Lose_Sets','setExp'('rangeEnum'(['setExp'('rangeEnum'(['fox','chicken'])),'setExp'('rangeEnum'(['chicken','grain'])),'setExp'('rangeEnum'(['fox','chicken','grain']))])),'src_span'(11,1,11,67,308,66)). | |
27 | 'bindval'('Win_Set','setExp'('rangeEnum'(['fox','chicken','grain'])),'src_span'(12,1,12,30,375,29)). | |
28 | 'bindval'('Start','agent_call'('src_span'(14,9,14,27,414,18),'From_Left_To_Right',['val_of'('Left_Side','src_span'(14,28,14,37,433,9)),'val_of'('Right_Side','src_span'(14,38,14,48,443,10))]),'src_span'(14,1,14,49,406,48)). | |
29 | 'agent'('From_Left_To_Right'(_X,_Y),'ifte'('agent_call'('src_span'(16,30,16,36,485,6),'member',[_Y,'val_of'('Lose_Sets','src_span'(16,39,16,48,494,9))]),'prefix'('src_span'(16,55,16,59,510,4),[],'lose','stop'('src_span'(16,63,16,67,518,4)),'src_span'(16,60,16,62,514,12)),'[]'('prefix'('src_span'(17,25,17,48,548,23),['inGuard'(_x,'agent_call'('src_span'(17,51,17,55,574,4),'diff',[_X,'setExp'('rangeEnum'(['farmer']))]))],'transport_to_right_side','prefix'('src_span'(18,10,18,33,604,23),['out'(_x)],'transport_to_right_side','agent_call'('src_span'(18,39,18,57,633,18),'From_Right_To_Left',['agent_call'('src_span'(18,58,18,63,652,5),'union',[_Y,'setExp'('rangeEnum'([_x]))]),'agent_call'('src_span'(18,71,18,75,665,4),'diff',[_X,'setExp'('rangeEnum'(['farmer',_x]))])]),'src_span'(18,36,18,38,629,57)),'src_span'(17,68,18,9,590,113)),'prefix'('src_span'(19,13,19,42,698,29),[],'dotTuple'(['go_alone_to_right_side','farmer']),'agent_call'('src_span'(19,46,19,64,731,18),'From_Left_To_Right',[_Y,'agent_call'('src_span'(19,67,19,71,752,4),'diff',[_X,'setExp'('rangeEnum'(['farmer']))])]),'src_span'(19,43,19,45,727,71)),'src_span_operator'('no_loc_info_available','src_span'(19,9,19,11,694,2))),'src_span'(16,27,16,49,482,22),'src_span'(16,50,16,54,504,37),'no_loc_info_available'),'src_span'(16,27,19,85,482,288)). | |
30 | 'agent'('From_Right_To_Left'(_Y2,_X2),'ifte'('agent_call'('src_span'(21,30,21,36,801,6),'member',[_X2,'val_of'('Lose_Sets','src_span'(21,39,21,48,810,9))]),'prefix'('src_span'(21,55,21,59,826,4),[],'lose','stop'('src_span'(21,63,21,67,834,4)),'src_span'(21,60,21,62,830,12)),'ifte'('=='(_Y2,'val_of'('Win_Set','src_span'(22,17,22,24,860,7))),'prefix'('src_span'(22,30,22,33,873,3),[],'win','stop'('src_span'(22,37,22,41,880,4)),'src_span'(22,34,22,36,876,11)),'[]'('prefix'('src_span'(23,6,23,28,896,22),['inGuard'(_x2,_Y2)],'transport_to_left_side','prefix'('src_span'(23,36,23,58,926,22),['out'(_x2)],'transport_to_left_side','agent_call'('src_span'(24,11,24,29,965,18),'From_Left_To_Right',['agent_call'('src_span'(24,30,24,35,984,5),'union',[_X2,'setExp'('rangeEnum'([_x2]))]),'agent_call'('src_span'(24,43,24,47,997,4),'diff',[_Y2,'setExp'('rangeEnum'([_x2]))])]),'src_span'(23,61,24,10,950,61)),'src_span'(23,33,23,35,922,91)),'prefix'('src_span'(25,20,25,48,1034,28),[],'dotTuple'(['go_alone_to_left_side','farmer']),'agent_call'('src_span'(25,52,25,70,1066,18),'From_Left_To_Right',[_X2,_Y2]),'src_span'(25,49,25,51,1062,55)),'src_span_operator'('no_loc_info_available','src_span'(24,57,24,59,1011,2))),'no_loc_info_available','no_loc_info_available','no_loc_info_available'),'src_span'(21,27,21,49,798,22),'src_span'(21,50,21,54,820,37),'src_span'(21,68,22,8,838,264)),'src_span'(21,27,25,76,798,292)). | |
31 | 'assertModelCheckExt'('True','val_of'('Start','src_span'(27,12,27,17,1103,5)),'DeadlockFree','F'). | |
32 | 'assertModelCheckExt'('False','val_of'('Start','src_span'(28,8,28,13,1137,5)),'Deterministic','F'). | |
33 | 'bindval'('LeftCoast','setExp'('rangeEnum'(['fox','chicken','grain','farmer'])),'src_span'(30,1,30,42,1165,41)). | |
34 | 'bindval'('RighCoast','setExp'('rangeEnum'([])),'src_span'(31,1,31,15,1207,14)). | |
35 | 'comment'('lineComment'('-- Farmer'),'src_position'(1,1,0,9)). | |
36 | 'comment'('lineComment'('-- Autor: Ivaylo Dobrikov'),'src_position'(2,1,10,25)). | |
37 | 'symbol'('Objects','Objects','src_span'(4,10,4,17,46,7),'Datatype'). | |
38 | 'symbol'('fox','fox','src_span'(4,20,4,23,56,3),'Constructor of Datatype'). | |
39 | 'symbol'('chicken','chicken','src_span'(4,26,4,33,62,7),'Constructor of Datatype'). | |
40 | 'symbol'('grain','grain','src_span'(4,36,4,41,72,5),'Constructor of Datatype'). | |
41 | 'symbol'('farmer','farmer','src_span'(4,44,4,50,80,6),'Constructor of Datatype'). | |
42 | 'symbol'('transport_to_right_side','transport_to_right_side','src_span'(5,9,5,32,95,23),'Channel'). | |
43 | 'symbol'('transport_to_left_side','transport_to_left_side','src_span'(5,34,5,56,120,22),'Channel'). | |
44 | 'symbol'('diff','diff','src_span'(5,59,5,63,145,4),'BuiltIn primitive'). | |
45 | 'symbol'('go_alone_to_right_side','go_alone_to_right_side','src_span'(6,9,6,31,176,22),'Channel'). | |
46 | 'symbol'('go_alone_to_left_side','go_alone_to_left_side','src_span'(6,32,6,53,199,21),'Channel'). | |
47 | 'symbol'('win','win','src_span'(7,9,7,12,239,3),'Channel'). | |
48 | 'symbol'('lose','lose','src_span'(7,14,7,18,244,4),'Channel'). | |
49 | 'symbol'('Left_Side','Left_Side','src_span'(9,1,9,10,250,9),'Ident (Groundrep.)'). | |
50 | 'symbol'('Right_Side','Right_Side','src_span'(10,1,10,11,292,10),'Ident (Groundrep.)'). | |
51 | 'symbol'('Lose_Sets','Lose_Sets','src_span'(11,1,11,10,308,9),'Ident (Groundrep.)'). | |
52 | 'symbol'('Win_Set','Win_Set','src_span'(12,1,12,8,375,7),'Ident (Groundrep.)'). | |
53 | 'symbol'('Start','Start','src_span'(14,1,14,6,406,5),'Ident (Groundrep.)'). | |
54 | 'symbol'('From_Left_To_Right','From_Left_To_Right','src_span'(16,1,16,19,456,18),'Funktion or Process'). | |
55 | 'symbol'('X','X','src_span'(16,20,16,21,475,1),'Ident (Prolog Variable)'). | |
56 | 'symbol'('Y','Y','src_span'(16,22,16,23,477,1),'Ident (Prolog Variable)'). | |
57 | 'symbol'('member','member','src_span'(16,30,16,36,485,6),'BuiltIn primitive'). | |
58 | 'symbol'('x','x','src_span'(17,49,17,50,572,1),'Ident (Prolog Variable)'). | |
59 | 'symbol'('union','union','src_span'(18,58,18,63,652,5),'BuiltIn primitive'). | |
60 | 'symbol'('From_Right_To_Left','From_Right_To_Left','src_span'(21,1,21,19,772,18),'Funktion or Process'). | |
61 | 'symbol'('Y2','Y','src_span'(21,20,21,21,791,1),'Ident (Prolog Variable)'). | |
62 | 'symbol'('X2','X','src_span'(21,22,21,23,793,1),'Ident (Prolog Variable)'). | |
63 | 'symbol'('member','member','src_span'(21,30,21,36,801,6),'BuiltIn primitive'). | |
64 | 'symbol'('x2','x','src_span'(23,29,23,30,919,1),'Ident (Prolog Variable)'). | |
65 | 'symbol'('union','union','src_span'(24,30,24,35,984,5),'BuiltIn primitive'). | |
66 | 'symbol'('LeftCoast','LeftCoast','src_span'(30,1,30,10,1165,9),'Ident (Groundrep.)'). | |
67 | 'symbol'('RighCoast','RighCoast','src_span'(31,1,31,10,1207,9),'Ident (Groundrep.)'). |