| 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'('N','int'(6),'src_span'(2,1,2,4,14,3)). | |
| 18 | 'bindval'('PHILNAMES','setExp'('rangeClosed'('int'(0),'-'('val_of'('N','src_span'(3,17,3,18,34,1)),'int'(1)))),'src_span'(3,1,3,21,18,20)). | |
| 19 | 'bindval'('FORKNAMES','setExp'('rangeClosed'('int'(0),'-'('val_of'('N','src_span'(4,17,4,18,55,1)),'int'(1)))),'src_span'(4,1,4,21,39,20)). | |
| 20 | 'channel'('put','type'('dotTupleType'(['val_of'('PHILNAMES','src_span'(6,19,6,28,79,9)),'val_of'('FORKNAMES','src_span'(6,29,6,38,89,9))]))). | |
| 21 | 'channel'('get','type'('dotTupleType'(['val_of'('PHILNAMES','src_span'(6,19,6,28,79,9)),'val_of'('FORKNAMES','src_span'(6,29,6,38,89,9))]))). | |
| 22 | 'channel'('eat','type'('dotTupleType'(['val_of'('PHILNAMES','src_span'(7,14,7,23,112,9))]))). | |
| 23 | 'agent'('Phil'(_i),'prefix'('src_span'(9,11,9,18,133,7),[],'dotTuple'(['get',_i,_i]),'prefix'('src_span'(9,22,9,35,144,13),[],'dotTuple'(['get',_i,'%'('+'(_i,'int'(1)),'val_of'('N','src_span'(9,34,9,35,156,1)))]),'prefix'('src_span'(9,39,9,44,161,5),[],'dotTuple'(['eat',_i]),'prefix'('src_span'(9,48,9,61,170,13),[],'dotTuple'(['put',_i,'%'('+'(_i,'int'(1)),'val_of'('N','src_span'(9,60,9,61,182,1)))]),'prefix'('src_span'(9,65,9,72,187,7),[],'dotTuple'(['put',_i,_i]),'agent_call'('src_span'(9,76,9,80,198,4),'Phil',[_i]),'src_span'(9,73,9,75,194,18)),'src_span'(9,62,9,64,183,35)),'src_span'(9,45,9,47,166,44)),'src_span'(9,36,9,38,157,61)),'src_span'(9,19,9,21,140,72)),'src_span'(9,11,9,83,133,72)). | |
| 24 | 'agent'('Fork'(_x),'[]'('prefix'('src_span'(10,11,10,18,216,7),[],'dotTuple'(['get',_x,_x]),'prefix'('src_span'(10,22,10,29,227,7),[],'dotTuple'(['put',_x,_x]),'agent_call'('src_span'(10,33,10,37,238,4),'Fork',[_x]),'src_span'(10,30,10,32,234,18)),'src_span'(10,19,10,21,223,29)),'prefix'('src_span'(10,44,10,59,249,15),[],'dotTuple'(['get','%'('-'('+'(_x,'val_of'('N','src_span'(10,51,10,52,256,1))),'int'(1)),'val_of'('N','src_span'(10,56,10,57,261,1))),_x]),'prefix'('src_span'(10,63,10,78,268,15),[],'dotTuple'(['put','%'('-'('+'(_x,'val_of'('N','src_span'(10,70,10,71,275,1))),'int'(1)),'val_of'('N','src_span'(10,75,10,76,280,1))),_x]),'agent_call'('src_span'(10,82,10,86,287,4),'Fork',[_x]),'src_span'(10,79,10,81,283,26)),'src_span'(10,60,10,62,264,45)),'src_span_operator'('no_loc_info_available','src_span'(10,41,10,43,246,2))),'no_loc_info_available'). | |
| 25 | 'bindval'('Phil0','prefix'('src_span'(11,9,11,16,303,7),[],'dotTuple'(['get','int'(0),'int'(1)]),'prefix'('src_span'(11,20,11,27,314,7),[],'dotTuple'(['get','int'(0),'int'(0)]),'prefix'('src_span'(11,31,11,36,325,5),[],'dotTuple'(['eat','int'(0)]),'prefix'('src_span'(11,40,11,47,334,7),[],'dotTuple'(['put','int'(0),'int'(1)]),'prefix'('src_span'(11,51,11,58,345,7),[],'dotTuple'(['put','int'(0),'int'(0)]),'val_of'('Phil0','src_span'(11,62,11,67,356,5)),'src_span'(11,59,11,61,352,16)),'src_span'(11,48,11,50,341,27)),'src_span'(11,37,11,39,330,36)),'src_span'(11,28,11,30,321,47)),'src_span'(11,17,11,19,310,58)),'src_span'(11,1,11,67,295,66)). | |
| 26 | 'bindval'('PHILS','repInterleave'(['comprehensionGenerator'(_i2,'val_of'('PHILNAMES','src_span'(14,16,14,25,442,9)))],'ifte'('=='(_i2,'int'(0)),'val_of'('Phil0','src_span'(14,41,14,46,467,5)),'agent_call'('src_span'(14,52,14,56,478,4),'Phil',[_i2]),'no_loc_info_available','no_loc_info_available','src_span'(14,47,14,51,472,18)),'src_span'(14,13,14,27,439,14)),'src_span'(14,1,14,59,427,58)). | |
| 27 | 'bindval'('FORKS','repInterleave'(['comprehensionGenerator'(_i3,'val_of'('FORKNAMES','src_span'(16,16,16,25,502,9)))],'agent_call'('src_span'(16,28,16,32,514,4),'Fork',[_i3]),'src_span'(16,13,16,27,499,14)),'src_span'(16,1,16,35,487,34)). | |
| 28 | 'bindval'('College','sharing'('closure'(['get','put']),'val_of'('PHILS','src_span'(18,11,18,16,533,5)),'val_of'('FORKS','src_span'(18,34,18,39,556,5)),'src_span'(18,17,18,33,539,16)),'src_span'(18,1,18,39,523,38)). | |
| 29 | 'bindval'('MAIN','val_of'('College','src_span'(19,8,19,15,569,7)),'src_span'(19,1,19,15,562,14)). | |
| 30 | 'assertLtl'('False','val_of'('College','src_span'(21,8,21,15,585,7)),'SEF => GF [eat.0]','src_span'(21,1,21,43,578,42)). | |
| 31 | 'bindval'('PHILS1','repInterleave'(['comprehensionGenerator'(_i4,'val_of'('PHILNAMES','src_span'(26,17,26,26,703,9)))],'agent_call'('src_span'(26,29,26,33,715,4),'Phil',[_i4]),'src_span'(26,14,26,28,700,14)),'src_span'(26,1,26,36,687,35)). | |
| 32 | 'bindval'('College1','sharing'('closure'(['get','put']),'val_of'('PHILS1','src_span'(28,12,28,18,735,6)),'val_of'('FORKS','src_span'(28,36,28,41,759,5)),'src_span'(28,19,28,35,742,16)),'src_span'(28,1,28,41,724,40)). | |
| 33 | 'comment'('lineComment'('-- dphil_ltl6'),'src_position'(1,1,0,13)). | |
| 34 | 'comment'('lineComment'('--College = Phil0|| Fork(0)||(||x:{1..N-1}@(Phil(x)||Fork(x))) '),'src_position'(12,1,362,63)). | |
| 35 | 'comment'('lineComment'('-- assert College |= LTL: "WEF => G F [eat.0]"'),'src_position'(22,1,621,46)). | |
| 36 | 'comment'('lineComment'('-- with deadlock'),'src_position'(24,1,669,16)). | |
| 37 | 'symbol'('N','N','src_span'(2,1,2,2,14,1),'Ident (Groundrep.)'). | |
| 38 | 'symbol'('PHILNAMES','PHILNAMES','src_span'(3,1,3,10,18,9),'Ident (Groundrep.)'). | |
| 39 | 'symbol'('FORKNAMES','FORKNAMES','src_span'(4,1,4,10,39,9),'Ident (Groundrep.)'). | |
| 40 | 'symbol'('put','put','src_span'(6,9,6,12,69,3),'Channel'). | |
| 41 | 'symbol'('get','get','src_span'(6,14,6,17,74,3),'Channel'). | |
| 42 | 'symbol'('eat','eat','src_span'(7,9,7,12,107,3),'Channel'). | |
| 43 | 'symbol'('Phil','Phil','src_span'(9,1,9,5,123,4),'Funktion or Process'). | |
| 44 | 'symbol'('i','i','src_span'(9,6,9,7,128,1),'Ident (Prolog Variable)'). | |
| 45 | 'symbol'('Fork','Fork','src_span'(10,1,10,5,206,4),'Funktion or Process'). | |
| 46 | 'symbol'('x','x','src_span'(10,6,10,7,211,1),'Ident (Prolog Variable)'). | |
| 47 | 'symbol'('Phil0','Phil0','src_span'(11,1,11,6,295,5),'Ident (Groundrep.)'). | |
| 48 | 'symbol'('PHILS','PHILS','src_span'(14,1,14,6,427,5),'Ident (Groundrep.)'). | |
| 49 | 'symbol'('i2','i','src_span'(14,13,14,14,439,1),'Ident (Prolog Variable)'). | |
| 50 | 'symbol'('FORKS','FORKS','src_span'(16,1,16,6,487,5),'Ident (Groundrep.)'). | |
| 51 | 'symbol'('i3','i','src_span'(16,13,16,14,499,1),'Ident (Prolog Variable)'). | |
| 52 | 'symbol'('College','College','src_span'(18,1,18,8,523,7),'Ident (Groundrep.)'). | |
| 53 | 'symbol'('MAIN','MAIN','src_span'(19,1,19,5,562,4),'Ident (Groundrep.)'). | |
| 54 | 'symbol'('PHILS1','PHILS1','src_span'(26,1,26,7,687,6),'Ident (Groundrep.)'). | |
| 55 | 'symbol'('i4','i','src_span'(26,14,26,15,700,1),'Ident (Prolog Variable)'). | |
| 56 | 'symbol'('College1','College1','src_span'(28,1,28,9,724,8),'Ident (Groundrep.)'). |