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 | 'channel'('d','type'('dotUnitType')). | |
20 | 'channel'('c','type'('dotTupleType'(['setExp'('rangeClosed'('int'(1),'int'(10)))]))). | |
21 | 'bindval'('MAIN','prefix'('src_span'(6,8,6,9,57,1),[],'d','sharing'('setExp'('rangeEnum'(['b'])),'val_of'('P','src_span'(6,14,6,15,63,1)),'val_of'('Q','src_span'(6,24,6,25,73,1)),'src_span'(6,16,6,23,65,7)),'src_span'(6,10,6,12,58,18)),'src_span'(6,1,6,26,50,25)). | |
22 | 'bindval'('P','prefix'('src_span'(8,5,8,8,81,3),[],'dotTuple'(['c','int'(1)]),'prefix'('src_span'(8,12,8,15,88,3),[],'dotTuple'(['c','int'(2)]),'prefix'('src_span'(8,19,8,20,95,1),[],'b','val_of'('P','src_span'(8,24,8,25,100,1)),'src_span'(8,21,8,23,96,6)),'src_span'(8,16,8,18,91,13)),'src_span'(8,9,8,11,84,20)),'src_span'(8,1,8,25,77,24)). | |
23 | 'bindval'('Q','prefix'('src_span'(10,5,10,6,107,1),[],'a','prefix'('src_span'(10,10,10,11,112,1),[],'b','prefix'('src_span'(10,15,10,18,117,3),[],'dotTuple'(['c','int'(4)]),'val_of'('Q','src_span'(10,22,10,23,124,1)),'src_span'(10,19,10,21,120,8)),'src_span'(10,12,10,14,113,13)),'src_span'(10,7,10,9,108,18)),'src_span'(10,1,10,23,103,22)). | |
24 | 'comment'('lineComment'('-- verysimple'),'src_position'(1,1,0,13)). | |
25 | 'symbol'('a','a','src_span'(3,9,3,10,23,1),'Channel'). | |
26 | 'symbol'('b','b','src_span'(3,11,3,12,25,1),'Channel'). | |
27 | 'symbol'('d','d','src_span'(3,13,3,14,27,1),'Channel'). | |
28 | 'symbol'('c','c','src_span'(4,9,4,10,37,1),'Channel'). | |
29 | 'symbol'('MAIN','MAIN','src_span'(6,1,6,5,50,4),'Ident (Groundrep.)'). | |
30 | 'symbol'('P','P','src_span'(8,1,8,2,77,1),'Ident (Groundrep.)'). | |
31 | 'symbol'('Q','Q','src_span'(10,1,10,2,103,1),'Ident (Groundrep.)'). |