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'('Even','type'('dotUnitType')). | |
18 | 'channel'('Inc','type'('dotUnitType')). | |
19 | 'channel'('Odd','type'('dotUnitType')). | |
20 | 'channel'('Reset','type'('dotUnitType')). | |
21 | 'channel'('reset','type'('dotUnitType')). | |
22 | 'channel'('count','type'('dotTupleType'(['setExp'('rangeClosed'('int'(0),'int'(99)))]))). | |
23 | 'bindval'('MAIN','[]'('prefix'('src_span'(6,8,6,12,83,4),[],'Even','prefix'('src_span'(6,16,6,19,91,3),[],'Inc','val_of'('MAIN','src_span'(6,23,6,27,98,4)),'src_span'(6,20,6,22,94,11)),'src_span'(6,13,6,15,87,19)),'prefix'('src_span'(6,31,6,34,106,3),[],'Odd','prefix'('src_span'(6,38,6,41,113,3),[],'Inc','prefix'('src_span'(6,45,6,48,120,3),[],'Inc','prefix'('src_span'(6,52,6,55,127,3),[],'Inc','val_of'('MAIN2','src_span'(6,59,6,64,134,5)),'src_span'(6,56,6,58,130,12)),'src_span'(6,49,6,51,123,19)),'src_span'(6,42,6,44,116,26)),'src_span'(6,35,6,37,109,33)),'src_span_operator'('no_loc_info_available','src_span'(6,28,6,30,103,2))),'src_span'(6,1,6,64,76,63)). | |
24 | 'bindval'('MAIN2','[]'('prefix'('src_span'(7,9,7,13,148,4),[],'Even','prefix'('src_span'(7,17,7,20,156,3),[],'Inc','val_of'('MAIN2','src_span'(7,24,7,29,163,5)),'src_span'(7,21,7,23,159,12)),'src_span'(7,14,7,16,152,20)),'prefix'('src_span'(7,33,7,36,172,3),[],'Odd','prefix'('src_span'(7,40,7,45,179,5),['in'(_x)],'count','prefix'('src_span'(7,51,7,56,190,5),[],'Reset','val_of'('MAIN','src_span'(7,60,7,64,199,4)),'src_span'(7,57,7,59,195,13)),'src_span'(7,48,7,50,186,19)),'src_span'(7,37,7,39,175,31)),'src_span_operator'('no_loc_info_available','src_span'(7,30,7,32,169,2))),'src_span'(7,1,7,64,140,63)). | |
25 | 'bindval'('HIDE_CSPB','closure'(['Inc','Reset']),'src_span'(11,1,11,29,326,28)). | |
26 | 'bindval'('Spec','prefix'('src_span'(14,8,14,12,364,4),[],'Even','prefix'('src_span'(14,16,14,19,372,3),[],'Odd','prefix'('src_span'(14,23,14,27,379,4),[],'Even','prefix'('src_span'(14,31,14,34,387,3),[],'Odd','prefix'('src_span'(14,38,14,45,394,7),[],'dotTuple'(['count','int'(5)]),'val_of'('Spec','src_span'(14,49,14,53,405,4)),'src_span'(14,46,14,48,401,15)),'src_span'(14,35,14,37,390,22)),'src_span'(14,28,14,30,383,30)),'src_span'(14,20,14,22,375,37)),'src_span'(14,13,14,15,368,45)),'src_span'(14,1,14,53,357,52)). | |
27 | 'assertModelCheckExt'('False','val_of'('MAIN','src_span'(16,8,16,12,418,4)),'DeadlockFree','F'). | |
28 | 'assertModelCheckExt'('False','val_of'('MAIN','src_span'(17,8,17,12,453,4)),'LivelockFree','F'). | |
29 | 'assertModelCheckExt'('False','val_of'('Spec','src_span'(18,8,18,12,488,4)),'LivelockFree','F'). | |
30 | 'assertRef'('False','val_of'('MAIN','src_span'(19,8,19,12,523,4)),'Failure','val_of'('Spec','src_span'(19,17,19,21,532,4)),'src_span'(19,1,19,21,516,20)). | |
31 | 'assertRef'('False','val_of'('Spec','src_span'(20,8,20,12,544,4)),'Failure','val_of'('MAIN','src_span'(20,17,20,21,553,4)),'src_span'(20,1,20,21,537,20)). | |
32 | 'comment'('lineComment'('-- Counter.csp'),'src_position'(1,1,0,14)). | |
33 | 'comment'('lineComment'('-- HIDE_CSPB is a special keyword to instruct ProB to hide those events for MAIN in CSP||B mode'),'src_position'(9,1,205,95)). | |
34 | 'comment'('lineComment'('-- HIDE_CSPB = {| Inc |}'),'src_position'(10,1,301,24)). | |
35 | 'symbol'('Even','Even','src_span'(3,9,3,13,24,4),'Channel'). | |
36 | 'symbol'('Inc','Inc','src_span'(3,15,3,18,30,3),'Channel'). | |
37 | 'symbol'('Odd','Odd','src_span'(3,20,3,23,35,3),'Channel'). | |
38 | 'symbol'('Reset','Reset','src_span'(3,25,3,30,40,5),'Channel'). | |
39 | 'symbol'('reset','reset','src_span'(3,32,3,37,47,5),'Channel'). | |
40 | 'symbol'('count','count','src_span'(4,9,4,14,61,5),'Channel'). | |
41 | 'symbol'('MAIN','MAIN','src_span'(6,1,6,5,76,4),'Ident (Groundrep.)'). | |
42 | 'symbol'('MAIN2','MAIN2','src_span'(7,1,7,6,140,5),'Ident (Groundrep.)'). | |
43 | 'symbol'('x','x','src_span'(7,46,7,47,185,1),'Ident (Prolog Variable)'). | |
44 | 'symbol'('HIDE_CSPB','HIDE_CSPB','src_span'(11,1,11,10,326,9),'Ident (Groundrep.)'). | |
45 | 'symbol'('Spec','Spec','src_span'(14,1,14,5,357,4),'Ident (Groundrep.)'). |