| 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 | 'channel'('a','type'('dotUnitType')). | |
| 18 | 'channel'('b','type'('dotUnitType')). | |
| 19 | 'bindval'('C','builtin_call'('CHAOS'('src_span'(4,5,4,17,50,12),'setExp'('rangeEnum'(['a','b'])))),'src_span'(4,1,4,17,46,16)). | |
| 20 | 'bindval'('S','stop'('src_span'(6,5,6,9,68,4)),'src_span'(6,1,6,9,64,8)). | |
| 21 | 'bindval'('P','|~|'('prefix'('src_span'(8,6,8,7,79,1),[],'a','val_of'('S','src_span'(8,11,8,12,84,1)),'src_span'(8,8,8,10,80,6)),'prefix'('src_span'(8,17,8,18,90,1),[],'b','val_of'('S','src_span'(8,22,8,23,95,1)),'src_span'(8,19,8,21,91,6)),'src_span_operator'('no_loc_info_available','src_span'(8,13,8,16,86,3))),'src_span'(8,1,8,24,74,23)). | |
| 22 | 'bindval'('Q','[>'('prefix'('src_span'(10,5,10,6,103,1),[],'a','val_of'('S','src_span'(10,10,10,11,108,1)),'src_span'(10,7,10,9,104,6)),'prefix'('src_span'(10,15,10,16,113,1),[],'b','val_of'('S','src_span'(10,20,10,21,118,1)),'src_span'(10,17,10,19,114,6)),'src_span_operator'('no_loc_info_available','src_span'(10,12,10,14,110,2))),'src_span'(10,1,10,21,99,20)). | |
| 23 | 'bindval'('R','[]'('prefix'('src_span'(12,5,12,6,125,1),[],'a','val_of'('S','src_span'(12,10,12,11,130,1)),'src_span'(12,7,12,9,126,6)),'prefix'('src_span'(12,15,12,16,135,1),[],'b','val_of'('S','src_span'(12,20,12,21,140,1)),'src_span'(12,17,12,19,136,6)),'src_span_operator'('no_loc_info_available','src_span'(12,12,12,14,132,2))),'src_span'(12,1,12,21,121,20)). | |
| 24 | 'assertRef'('True','val_of'('Q','src_span'(14,12,14,13,154,1)),'RefusalTesting','val_of'('P','src_span'(14,18,14,19,160,1)),'src_span'(14,1,14,19,143,18)). | |
| 25 | 'assertRef'('False','val_of'('P','src_span'(15,8,15,9,169,1)),'RefusalTesting','val_of'('Q','src_span'(15,14,15,15,175,1)),'src_span'(15,1,15,15,162,14)). | |
| 26 | 'assertRef'('True','val_of'('R','src_span'(17,12,17,13,189,1)),'RefusalTesting','val_of'('P','src_span'(17,18,17,19,195,1)),'src_span'(17,1,17,19,178,18)). | |
| 27 | 'assertRef'('False','val_of'('P','src_span'(18,8,18,9,204,1)),'RefusalTesting','val_of'('R','src_span'(18,14,18,15,210,1)),'src_span'(18,1,18,15,197,14)). | |
| 28 | 'assertRef'('True','val_of'('Q','src_span'(20,12,20,13,224,1)),'RefusalTesting','val_of'('R','src_span'(20,18,20,19,230,1)),'src_span'(20,1,20,19,213,18)). | |
| 29 | 'assertRef'('True','val_of'('R','src_span'(21,12,21,13,243,1)),'RefusalTesting','val_of'('Q','src_span'(21,18,21,19,249,1)),'src_span'(21,1,21,19,232,18)). | |
| 30 | 'assertRef'('False','val_of'('P','src_span'(23,8,23,9,259,1)),'RefusalTesting','val_of'('R','src_span'(23,14,23,15,265,1)),'src_span'(23,1,23,15,252,14)). | |
| 31 | 'assertRef'('True','val_of'('R','src_span'(24,12,24,13,278,1)),'RefusalTesting','val_of'('P','src_span'(24,18,24,19,284,1)),'src_span'(24,1,24,19,267,18)). | |
| 32 | 'bindval'('PP','|~|'('prefix'('src_span'(26,7,26,8,293,1),[],'a','val_of'('C','src_span'(26,12,26,13,298,1)),'src_span'(26,9,26,11,294,6)),'prefix'('src_span'(26,18,26,19,304,1),[],'b','val_of'('C','src_span'(26,23,26,24,309,1)),'src_span'(26,20,26,22,305,6)),'src_span_operator'('no_loc_info_available','src_span'(26,14,26,17,300,3))),'src_span'(26,1,26,25,287,24)). | |
| 33 | 'bindval'('QQ','[>'('prefix'('src_span'(28,6,28,7,318,1),[],'a','val_of'('C','src_span'(28,11,28,12,323,1)),'src_span'(28,8,28,10,319,6)),'prefix'('src_span'(28,16,28,17,328,1),[],'b','val_of'('C','src_span'(28,21,28,22,333,1)),'src_span'(28,18,28,20,329,6)),'src_span_operator'('no_loc_info_available','src_span'(28,13,28,15,325,2))),'src_span'(28,1,28,22,313,21)). | |
| 34 | 'bindval'('RR','[]'('prefix'('src_span'(30,6,30,7,341,1),[],'a','val_of'('C','src_span'(30,11,30,12,346,1)),'src_span'(30,8,30,10,342,6)),'prefix'('src_span'(30,16,30,17,351,1),[],'b','val_of'('C','src_span'(30,21,30,22,356,1)),'src_span'(30,18,30,20,352,6)),'src_span_operator'('no_loc_info_available','src_span'(30,13,30,15,348,2))),'src_span'(30,1,30,22,336,21)). | |
| 35 | 'assertRef'('True','val_of'('QQ','src_span'(32,12,32,14,370,2)),'RefusalTesting','val_of'('PP','src_span'(32,19,32,21,377,2)),'src_span'(32,1,32,21,359,20)). | |
| 36 | 'assertRef'('False','val_of'('PP','src_span'(33,8,33,10,387,2)),'RefusalTesting','val_of'('QQ','src_span'(33,15,33,17,394,2)),'src_span'(33,1,33,17,380,16)). | |
| 37 | 'assertRef'('True','val_of'('RR','src_span'(35,12,35,14,409,2)),'RefusalTesting','val_of'('PP','src_span'(35,19,35,21,416,2)),'src_span'(35,1,35,21,398,20)). | |
| 38 | 'assertRef'('False','val_of'('PP','src_span'(36,8,36,10,426,2)),'RefusalTesting','val_of'('RR','src_span'(36,15,36,17,433,2)),'src_span'(36,1,36,17,419,16)). | |
| 39 | 'assertRef'('True','val_of'('QQ','src_span'(38,12,38,14,448,2)),'RefusalTesting','val_of'('RR','src_span'(38,19,38,21,455,2)),'src_span'(38,1,38,21,437,20)). | |
| 40 | 'assertRef'('True','val_of'('RR','src_span'(39,12,39,14,469,2)),'RefusalTesting','val_of'('QQ','src_span'(39,19,39,21,476,2)),'src_span'(39,1,39,21,458,20)). | |
| 41 | 'assertRef'('False','val_of'('PP','src_span'(41,8,41,10,487,2)),'RefusalTesting','val_of'('RR','src_span'(41,15,41,17,494,2)),'src_span'(41,1,41,17,480,16)). | |
| 42 | 'assertRef'('True','val_of'('RR','src_span'(42,12,42,14,508,2)),'RefusalTesting','val_of'('PP','src_span'(42,19,42,21,515,2)),'src_span'(42,1,42,21,497,20)). | |
| 43 | 'channel'('c','type'('dotUnitType')). | |
| 44 | 'channel'('d','type'('dotUnitType')). | |
| 45 | 'channel'('e','type'('dotUnitType')). | |
| 46 | 'channel'('f','type'('dotUnitType')). | |
| 47 | 'channel'('g','type'('dotUnitType')). | |
| 48 | 'bindval'('Proc1','[]'('prefix'('src_span'(47,10,47,11,593,1),[],'f','[]'('prefix'('src_span'(47,16,47,17,599,1),[],'a','stop'('src_span'(47,21,47,25,604,4)),'src_span'(47,18,47,20,600,9)),'prefix'('src_span'(47,29,47,30,612,1),[],'b','prefix'('src_span'(47,34,47,35,617,1),[],'d','stop'('src_span'(47,39,47,43,622,4)),'src_span'(47,36,47,38,618,9)),'src_span'(47,31,47,33,613,14)),'src_span_operator'('no_loc_info_available','src_span'(47,26,47,28,609,2))),'src_span'(47,12,47,14,594,34)),'prefix'('src_span'(47,50,47,51,633,1),[],'g','[]'('prefix'('src_span'(47,56,47,57,639,1),[],'e','stop'('src_span'(47,61,47,65,644,4)),'src_span'(47,58,47,60,640,9)),'prefix'('src_span'(47,69,47,70,652,1),[],'b','prefix'('src_span'(47,74,47,75,657,1),[],'c','stop'('src_span'(47,79,47,83,662,4)),'src_span'(47,76,47,78,658,9)),'src_span'(47,71,47,73,653,14)),'src_span_operator'('no_loc_info_available','src_span'(47,66,47,68,649,2))),'src_span'(47,52,47,54,634,34)),'src_span_operator'('no_loc_info_available','src_span'(47,46,47,48,629,2))),'src_span'(47,1,47,85,584,84)). | |
| 49 | 'bindval'('P1','\x5c\'('val_of'('Proc1','src_span'(48,6,48,11,674,5)),'setExp'('rangeEnum'(['f','g'])),'src_span_operator'('no_loc_info_available','src_span'(48,11,48,12,679,1))),'src_span'(48,1,48,17,669,16)). | |
| 50 | 'bindval'('Proc2','[]'('prefix'('src_span'(50,10,50,11,696,1),[],'f','[]'('prefix'('src_span'(50,16,50,17,702,1),[],'a','stop'('src_span'(50,21,50,25,707,4)),'src_span'(50,18,50,20,703,9)),'prefix'('src_span'(50,29,50,30,715,1),[],'b','prefix'('src_span'(50,34,50,35,720,1),[],'c','stop'('src_span'(50,39,50,43,725,4)),'src_span'(50,36,50,38,721,9)),'src_span'(50,31,50,33,716,14)),'src_span_operator'('no_loc_info_available','src_span'(50,26,50,28,712,2))),'src_span'(50,12,50,14,697,34)),'prefix'('src_span'(50,50,50,51,736,1),[],'g','[]'('prefix'('src_span'(50,56,50,57,742,1),[],'e','stop'('src_span'(50,61,50,65,747,4)),'src_span'(50,58,50,60,743,9)),'prefix'('src_span'(50,69,50,70,755,1),[],'b','prefix'('src_span'(50,74,50,75,760,1),[],'d','stop'('src_span'(50,79,50,83,765,4)),'src_span'(50,76,50,78,761,9)),'src_span'(50,71,50,73,756,14)),'src_span_operator'('no_loc_info_available','src_span'(50,66,50,68,752,2))),'src_span'(50,52,50,54,737,34)),'src_span_operator'('no_loc_info_available','src_span'(50,46,50,48,732,2))),'src_span'(50,1,50,85,687,84)). | |
| 51 | 'bindval'('P2','\x5c\'('val_of'('Proc2','src_span'(51,6,51,11,778,5)),'setExp'('rangeEnum'(['f','g'])),'src_span_operator'('no_loc_info_available','src_span'(51,11,51,12,783,1))),'src_span'(51,1,51,17,773,16)). | |
| 52 | 'assertRef'('False','val_of'('P1','src_span'(55,8,55,10,811,2)),'Failure','val_of'('P2','src_span'(55,15,55,17,818,2)),'src_span'(55,1,55,17,804,16)). | |
| 53 | 'assertRef'('False','val_of'('P2','src_span'(56,8,56,10,828,2)),'Failure','val_of'('P1','src_span'(56,15,56,17,835,2)),'src_span'(56,1,56,17,821,16)). | |
| 54 | 'assertRef'('True','val_of'('P1','src_span'(58,12,58,14,850,2)),'RefusalTesting','val_of'('P2','src_span'(58,19,58,21,857,2)),'src_span'(58,1,58,21,839,20)). | |
| 55 | 'assertRef'('True','val_of'('P2','src_span'(59,12,59,14,871,2)),'RefusalTesting','val_of'('P1','src_span'(59,19,59,21,878,2)),'src_span'(59,1,59,21,860,20)). | |
| 56 | 'bindval'('P3','[]'('prefix'('src_span'(61,7,61,8,888,1),[],'f','[]'('prefix'('src_span'(61,13,61,14,894,1),[],'a','stop'('src_span'(61,18,61,22,899,4)),'src_span'(61,15,61,17,895,9)),'prefix'('src_span'(61,26,61,27,907,1),[],'f','[]'('prefix'('src_span'(61,33,61,34,914,1),[],'a','stop'('src_span'(61,38,61,42,919,4)),'src_span'(61,35,61,37,915,9)),'prefix'('src_span'(61,48,61,49,929,1),[],'b','stop'('src_span'(61,52,61,56,933,4)),'src_span'(61,50,61,51,930,8)),'src_span_operator'('no_loc_info_available','src_span'(61,44,61,46,925,2))),'src_span'(61,28,61,30,908,31)),'src_span_operator'('no_loc_info_available','src_span'(61,23,61,25,904,2))),'src_span'(61,9,61,11,889,52)),'prefix'('src_span'(61,66,61,67,947,1),[],'f','[]'('prefix'('src_span'(61,72,61,73,953,1),[],'f','prefix'('src_span'(61,77,61,78,958,1),[],'a','stop'('src_span'(61,82,61,86,963,4)),'src_span'(61,79,61,81,959,9)),'src_span'(61,74,61,76,954,14)),'prefix'('src_span'(61,90,61,91,971,1),[],'b','stop'('src_span'(61,95,61,99,976,4)),'src_span'(61,92,61,94,972,9)),'src_span_operator'('no_loc_info_available','src_span'(61,87,61,89,968,2))),'src_span'(61,68,61,70,948,34)),'src_span_operator'('no_loc_info_available','src_span'(61,62,61,64,943,2))),'src_span'(61,1,61,101,882,100)). | |
| 57 | 'bindval'('P5','[]'('prefix'('src_span'(63,7,63,8,990,1),[],'f','[]'('prefix'('src_span'(63,13,63,14,996,1),[],'a','stop'('src_span'(63,18,63,22,1001,4)),'src_span'(63,15,63,17,997,9)),'prefix'('src_span'(63,26,63,27,1009,1),[],'f','[]'('prefix'('src_span'(63,33,63,34,1016,1),[],'a','stop'('src_span'(63,38,63,42,1021,4)),'src_span'(63,35,63,37,1017,9)),'prefix'('src_span'(63,48,63,49,1031,1),[],'a','stop'('src_span'(63,52,63,56,1035,4)),'src_span'(63,50,63,51,1032,8)),'src_span_operator'('no_loc_info_available','src_span'(63,44,63,46,1027,2))),'src_span'(63,28,63,30,1010,31)),'src_span_operator'('no_loc_info_available','src_span'(63,23,63,25,1006,2))),'src_span'(63,9,63,11,991,52)),'prefix'('src_span'(63,66,63,67,1049,1),[],'f','[]'('prefix'('src_span'(63,72,63,73,1055,1),[],'f','prefix'('src_span'(63,77,63,78,1060,1),[],'a','stop'('src_span'(63,82,63,86,1065,4)),'src_span'(63,79,63,81,1061,9)),'src_span'(63,74,63,76,1056,14)),'prefix'('src_span'(63,90,63,91,1073,1),[],'a','stop'('src_span'(63,95,63,99,1078,4)),'src_span'(63,92,63,94,1074,9)),'src_span_operator'('no_loc_info_available','src_span'(63,87,63,89,1070,2))),'src_span'(63,68,63,70,1050,34)),'src_span_operator'('no_loc_info_available','src_span'(63,62,63,64,1045,2))),'src_span'(63,1,63,101,984,100)). | |
| 58 | 'bindval'('P4','\x5c\'('val_of'('P3','src_span'(65,6,65,8,1091,2)),'setExp'('rangeEnum'(['f'])),'src_span_operator'('no_loc_info_available','src_span'(65,9,65,10,1094,1))),'src_span'(65,1,65,13,1086,12)). | |
| 59 | 'bindval'('MAIN','\x5c\'('val_of'('P5','src_span'(67,8,67,10,1107,2)),'setExp'('rangeEnum'(['f'])),'src_span_operator'('no_loc_info_available','src_span'(67,10,67,11,1109,1))),'src_span'(67,1,67,14,1100,13)). | |
| 60 | 'pragma'('\xa\\xa\\x9\ASSERT_LTL_1 == "Av(a)";\xa\ ASSERT_LTL_2 == "Av(a) U deadlock"\xa\\xa\'). | |
| 61 | 'comment'('lineComment'('-- RefusalBasedRefinement_simple'),'src_position'(1,1,0,32)). | |
| 62 | 'comment'('lineComment'('-- Example from William\x27\s presentation slides'),'src_position'(43,1,518,45)). | |
| 63 | 'comment'('lineComment'('--MAIN = P1'),'src_position'(53,1,791,11)). | |
| 64 | 'comment'('pragmaComment'('{-#\xa\\xa\\x9\ASSERT_LTL_1 == "Av(a)";\xa\ ASSERT_LTL_2 == "Av(a) U deadlock"\xa\\xa\#-}'),'src_position'(69,1,1115,78)). | |
| 65 | 'symbol'('a','a','src_span'(3,9,3,10,42,1),'Channel'). | |
| 66 | 'symbol'('b','b','src_span'(3,11,3,12,44,1),'Channel'). | |
| 67 | 'symbol'('C','C','src_span'(4,1,4,2,46,1),'Ident (Groundrep.)'). | |
| 68 | 'symbol'('S','S','src_span'(6,1,6,2,64,1),'Ident (Groundrep.)'). | |
| 69 | 'symbol'('P','P','src_span'(8,1,8,2,74,1),'Ident (Groundrep.)'). | |
| 70 | 'symbol'('Q','Q','src_span'(10,1,10,2,99,1),'Ident (Groundrep.)'). | |
| 71 | 'symbol'('R','R','src_span'(12,1,12,2,121,1),'Ident (Groundrep.)'). | |
| 72 | 'symbol'('PP','PP','src_span'(26,1,26,3,287,2),'Ident (Groundrep.)'). | |
| 73 | 'symbol'('QQ','QQ','src_span'(28,1,28,3,313,2),'Ident (Groundrep.)'). | |
| 74 | 'symbol'('RR','RR','src_span'(30,1,30,3,336,2),'Ident (Groundrep.)'). | |
| 75 | 'symbol'('c','c','src_span'(45,9,45,10,573,1),'Channel'). | |
| 76 | 'symbol'('d','d','src_span'(45,11,45,12,575,1),'Channel'). | |
| 77 | 'symbol'('e','e','src_span'(45,13,45,14,577,1),'Channel'). | |
| 78 | 'symbol'('f','f','src_span'(45,15,45,16,579,1),'Channel'). | |
| 79 | 'symbol'('g','g','src_span'(45,17,45,18,581,1),'Channel'). | |
| 80 | 'symbol'('Proc1','Proc1','src_span'(47,1,47,6,584,5),'Ident (Groundrep.)'). | |
| 81 | 'symbol'('P1','P1','src_span'(48,1,48,3,669,2),'Ident (Groundrep.)'). | |
| 82 | 'symbol'('Proc2','Proc2','src_span'(50,1,50,6,687,5),'Ident (Groundrep.)'). | |
| 83 | 'symbol'('P2','P2','src_span'(51,1,51,3,773,2),'Ident (Groundrep.)'). | |
| 84 | 'symbol'('P3','P3','src_span'(61,1,61,3,882,2),'Ident (Groundrep.)'). | |
| 85 | 'symbol'('P5','P5','src_span'(63,1,63,3,984,2),'Ident (Groundrep.)'). | |
| 86 | 'symbol'('P4','P4','src_span'(65,1,65,3,1086,2),'Ident (Groundrep.)'). | |
| 87 | 'symbol'('MAIN','MAIN','src_span'(67,1,67,5,1100,4),'Ident (Groundrep.)'). |