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'('D1',['constructor'('b1'),'constructor'('c1')]). | |
18 | 'dataTypeDef'('D2',['constructorC'('cons1','dotTupleType'(['setExp'('rangeEnum'(['int'(1),'int'(2),'int'(3)]))])),'constructor'('c2'),'constructorC'('cons2','dotTupleType'(['D3']))]). | |
19 | 'dataTypeDef'('D3',['constructorC'('cons3','dotTupleType'(['setExp'('rangeEnum'(['int'(1),'int'(2),'int'(3)]))])),'constructor'('b3'),'constructor'('c3')]). | |
20 | 'nameType'('D','type'('dotTupleType'(['D1','D2']))). | |
21 | 'channel'('a','type'('dotTupleType'(['D','setExp'('rangeClosed'('int'(1),'int'(10))),'setExp'('rangeClosed'('int'(1),'int'(10)))]))). | |
22 | 'channel'('ch','type'('dotTupleType'(['D1','D2','D3']))). | |
23 | 'channel'('ch3','type'('dotTupleType'(['D2']))). | |
24 | 'bindval'('MAIN','prefix'('src_span'(17,8,17,12,225,4),['inGuard'(_x,'setExp'('rangeEnum'(['dotTuple'(['c2',_n,_m])]),['comprehensionGenerator'(_n,'setExp'('rangeClosed'('int'(1),'int'(3)))),'comprehensionGenerator'(_m,'setExp'('rangeClosed'('int'(4),'int'(6))))]))],'dotTuple'(['a','b1']),'prefix'('src_span'(17,54,17,60,271,6),[],'dotTuple'(['a','c1',_x]),'prefix'('src_span'(18,2,18,4,283,2),['in'(_x2),'out'('c2'),'in'('dotpat'(['cons3',_y]))],'ch','prefix'('src_span'(18,23,18,34,304,11),[],'dotTuple'(['ch3','cons1',_y]),'val_of'('MAIN','src_span'(18,39,18,43,320,4)),'src_span'(18,35,18,38,315,20)),'src_span'(18,20,18,22,300,34)),'src_span'(17,61,18,1,277,53)),'src_span'(17,51,17,53,267,95)),'src_span'(17,1,18,43,218,106)). | |
25 | 'comment'('lineComment'('-- ComplexDataTypes'),'src_position'(1,1,0,19)). | |
26 | 'symbol'('D1','D1','src_span'(3,10,3,12,30,2),'Datatype'). | |
27 | 'symbol'('b1','b1','src_span'(3,15,3,17,35,2),'Constructor of Datatype'). | |
28 | 'symbol'('c1','c1','src_span'(3,20,3,22,40,2),'Constructor of Datatype'). | |
29 | 'symbol'('D2','D2','src_span'(5,10,5,12,53,2),'Datatype'). | |
30 | 'symbol'('cons1','cons1','src_span'(5,15,5,20,58,5),'Constructor of Datatype'). | |
31 | 'symbol'('c2','c2','src_span'(5,31,5,33,74,2),'Constructor of Datatype'). | |
32 | 'symbol'('cons2','cons2','src_span'(5,36,5,41,79,5),'Constructor of Datatype'). | |
33 | 'symbol'('D3','D3','src_span'(7,10,7,12,98,2),'Datatype'). | |
34 | 'symbol'('cons3','cons3','src_span'(7,15,7,20,103,5),'Constructor of Datatype'). | |
35 | 'symbol'('b3','b3','src_span'(7,31,7,33,119,2),'Constructor of Datatype'). | |
36 | 'symbol'('c3','c3','src_span'(7,36,7,38,124,2),'Constructor of Datatype'). | |
37 | 'symbol'('D','D','src_span'(9,10,9,11,137,1),'Nametype'). | |
38 | 'symbol'('a','a','src_span'(11,9,11,10,156,1),'Channel'). | |
39 | 'symbol'('ch','ch','src_span'(13,9,13,11,187,2),'Channel'). | |
40 | 'symbol'('ch3','ch3','src_span'(15,9,15,12,209,3),'Channel'). | |
41 | 'symbol'('MAIN','MAIN','src_span'(17,1,17,5,218,4),'Ident (Groundrep.)'). | |
42 | 'symbol'('x','x','src_span'(17,13,17,14,230,1),'Ident (Prolog Variable)'). | |
43 | 'symbol'('n','n','src_span'(17,25,17,26,242,1),'Ident (Prolog Variable)'). | |
44 | 'symbol'('m','m','src_span'(17,38,17,39,255,1),'Ident (Prolog Variable)'). | |
45 | 'symbol'('x2','x','src_span'(18,5,18,6,286,1),'Ident (Prolog Variable)'). | |
46 | 'symbol'('cons3','cons3','src_span'(7,15,7,20,103,5),'Constructor of Datatype'). | |
47 | 'symbol'('y','y','src_span'(18,17,18,18,298,1),'Ident (Prolog Variable)'). |