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'('ID',['constructor'('a'),'constructor'('b'),'constructor'('c')]). | |
18 | 'bindval'('Nrs','setExp'('rangeEnum'(['int'(0),'int'(1),'int'(3)])),'src_span'(4,1,4,14,42,13)). | |
19 | 'bindval'('BB','setExp'('rangeEnum'(['true','false'])),'src_span'(10,1,10,18,114,17)). | |
20 | 'channel'('SetMode','type'('dotTupleType'(['ID']))). | |
21 | 'channel'('Final','type'('dotUnitType')). | |
22 | 'channel'('DLK','type'('dotUnitType')). | |
23 | 'channel'('initial','type'('dotUnitType')). | |
24 | 'channel'('IsInitial','type'('dotTupleType'(['val_of'('BB','src_span'(15,21,15,23,214,2))]))). | |
25 | 'channel'('Count','type'('dotTupleType'(['val_of'('Nrs','src_span'(16,17,16,20,233,3))]))). | |
26 | 'channel'('Contains_mode','type'('dotTupleType'(['agent_call'('src_span'(17,24,17,27,260,3),'Set',['ID']),'boolType']))). | |
27 | 'channel'('ID_Sequence','type'('dotTupleType'(['val_of'('Seqs','src_span'(18,22,18,26,294,4))]))). | |
28 | 'bindval'('Seqs','setExp'('rangeEnum'(['listExp'('rangeEnum'(['a','b','c'])),'listExp'('rangeEnum'(['c','b','a']))])),'src_span'(20,1,20,25,317,24)). | |
29 | 'channel'('PairCheck','type'('dotTupleType'(['val_of'('Pairs','src_span'(21,20,21,25,361,5))]))). | |
30 | 'bindval'('Pairs','setExp'('rangeEnum'(['tupleExp'(['a','true']),'tupleExp'(['a','false']),'tupleExp'(['b','true']),'tupleExp'(['b','false']),'tupleExp'(['c','true']),'tupleExp'(['c','false'])])),'src_span'(22,1,22,69,367,68)). | |
31 | 'channel'('PairCheck2','type'('dotTupleType'(['typeTuple'(['ID','boolType'])]))). | |
32 | 'bindval'('MAIN','val_of'('RUN','src_span'(25,8,25,11,474,3)),'src_span'(25,1,25,11,467,10)). | |
33 | 'bindval'('RUN','[]'('[]'('[]'('[]'('[]'('prefix'('src_span'(26,7,26,12,484,5),[],'Final','prefix'('src_span'(26,16,26,19,493,3),[],'DLK','stop'('src_span'(26,23,26,27,500,4)),'src_span'(26,20,26,22,496,11)),'src_span'(26,13,26,15,489,20)),'prefix'('src_span'(27,7,27,14,514,7),['in'(_x)],'SetMode','val_of'('RUN','src_span'(27,20,27,23,527,3)),'src_span'(27,17,27,19,523,9)),'src_span_operator'('no_loc_info_available','src_span'(26,28,26,30,505,2))),'prefix'('src_span'(28,7,28,16,540,9),['out'('true')],'IsInitial','prefix'('src_span'(28,25,28,32,558,7),[],'initial','val_of'('RUN','src_span'(28,36,28,39,569,3)),'src_span'(28,33,28,35,565,14)),'src_span'(28,22,28,24,554,23)),'src_span_operator'('no_loc_info_available','src_span'(27,24,27,26,531,2))),'prefix'('src_span'(29,7,29,20,582,13),['out'('setExp'('rangeEnum'(['b','c']))),'out'('true')],'Contains_mode','val_of'('RUN','src_span'(29,35,29,38,610,3)),'src_span'(29,32,29,34,606,12)),'src_span_operator'('no_loc_info_available','src_span'(28,40,28,42,573,2))),'prefix'('src_span'(30,7,30,18,623,11),['in'(_l)],'ID_Sequence','val_of'('RUN','src_span'(30,24,30,27,640,3)),'src_span'(30,21,30,23,636,9)),'src_span_operator'('no_loc_info_available','src_span'(29,39,29,41,614,2))),'prefix'('src_span'(31,7,31,16,653,9),['in'(_x2)],'PairCheck','val_of'('RUN','src_span'(31,22,31,25,668,3)),'src_span'(31,19,31,21,664,9)),'src_span_operator'('no_loc_info_available','src_span'(30,28,30,30,644,2))),'src_span'(26,1,31,25,478,193)). | |
34 | 'comment'('lineComment'('-- StringMachine'),'src_position'(1,1,0,16)). | |
35 | 'comment'('lineComment'('-- Nrs = {0..}'),'src_position'(5,1,56,14)). | |
36 | 'comment'('lineComment'('-- Nrs = {0..3}'),'src_position'(6,1,71,15)). | |
37 | 'comment'('lineComment'('-- Nrs = Int'),'src_position'(7,1,87,12)). | |
38 | 'comment'('lineComment'('-- BB = Bool'),'src_position'(9,1,101,12)). | |
39 | 'comment'('lineComment'('-- BB = {1}'),'src_position'(11,1,132,11)). | |
40 | 'comment'('lineComment'('--Seqs = Seq(ID)'),'src_position'(19,1,300,16)). | |
41 | 'symbol'('ID','ID','src_span'(2,10,2,12,26,2),'Datatype'). | |
42 | 'symbol'('a','a','src_span'(2,15,2,16,31,1),'Constructor of Datatype'). | |
43 | 'symbol'('b','b','src_span'(2,19,2,20,35,1),'Constructor of Datatype'). | |
44 | 'symbol'('c','c','src_span'(2,23,2,24,39,1),'Constructor of Datatype'). | |
45 | 'symbol'('Nrs','Nrs','src_span'(4,1,4,4,42,3),'Ident (Groundrep.)'). | |
46 | 'symbol'('BB','BB','src_span'(10,1,10,3,114,2),'Ident (Groundrep.)'). | |
47 | 'symbol'('SetMode','SetMode','src_span'(13,9,13,16,153,7),'Channel'). | |
48 | 'symbol'('Final','Final','src_span'(14,9,14,14,174,5),'Channel'). | |
49 | 'symbol'('DLK','DLK','src_span'(14,16,14,19,181,3),'Channel'). | |
50 | 'symbol'('initial','initial','src_span'(14,21,14,28,186,7),'Channel'). | |
51 | 'symbol'('IsInitial','IsInitial','src_span'(15,9,15,18,202,9),'Channel'). | |
52 | 'symbol'('Count','Count','src_span'(16,9,16,14,225,5),'Channel'). | |
53 | 'symbol'('Contains_mode','Contains_mode','src_span'(17,9,17,22,245,13),'Channel'). | |
54 | 'symbol'('Set','Set','src_span'(17,24,17,27,260,3),'BuiltIn primitive'). | |
55 | 'symbol'('ID_Sequence','ID_Sequence','src_span'(18,9,18,20,281,11),'Channel'). | |
56 | 'symbol'('Seqs','Seqs','src_span'(20,1,20,5,317,4),'Ident (Groundrep.)'). | |
57 | 'symbol'('PairCheck','PairCheck','src_span'(21,9,21,18,350,9),'Channel'). | |
58 | 'symbol'('Pairs','Pairs','src_span'(22,1,22,6,367,5),'Ident (Groundrep.)'). | |
59 | 'symbol'('PairCheck2','PairCheck2','src_span'(23,9,23,19,444,10),'Channel'). | |
60 | 'symbol'('MAIN','MAIN','src_span'(25,1,25,5,467,4),'Ident (Groundrep.)'). | |
61 | 'symbol'('RUN','RUN','src_span'(26,1,26,4,478,3),'Ident (Groundrep.)'). | |
62 | 'symbol'('x','x','src_span'(27,15,27,16,522,1),'Ident (Prolog Variable)'). | |
63 | 'symbol'('l','l','src_span'(30,19,30,20,635,1),'Ident (Prolog Variable)'). | |
64 | 'symbol'('x2','x','src_span'(31,17,31,18,663,1),'Ident (Prolog Variable)'). |