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'('in','type'('dotUnitType')). | |
18 | 'channel'('out','type'('dotUnitType')). | |
19 | 'bindval'('A','prefix'('src_span'(3,5,3,7,20,2),[],'in','prefix'('src_span'(3,11,3,14,26,3),[],'out','val_of'('A','src_span'(3,18,3,19,33,1)),'src_span'(3,15,3,17,29,8)),'src_span'(3,8,3,10,22,14)),'src_span'(3,1,3,19,16,18)). | |
20 | 'bindval'('B','prefix'('src_span'(5,5,5,7,40,2),[],'in','prefix'('src_span'(5,11,5,14,46,3),[],'out','prefix'('src_span'(5,18,5,20,53,2),[],'in','prefix'('src_span'(5,24,5,27,59,3),[],'out','val_of'('B','src_span'(5,31,5,32,66,1)),'src_span'(5,28,5,30,62,8)),'src_span'(5,21,5,23,55,14)),'src_span'(5,15,5,17,49,21)),'src_span'(5,8,5,10,42,27)),'src_span'(5,1,5,32,36,31)). | |
21 | 'bindval'('C','prefix'('src_span'(7,5,7,7,73,2),[],'in','prefix'('src_span'(7,11,7,14,79,3),[],'out','[]'('val_of'('C','src_span'(7,19,7,20,87,1)),'prefix'('src_span'(7,24,7,26,92,2),[],'in','prefix'('src_span'(7,30,7,33,98,3),[],'out','val_of'('C','src_span'(7,37,7,38,105,1)),'src_span'(7,34,7,36,101,8)),'src_span'(7,27,7,29,94,14)),'src_span_operator'('no_loc_info_available','src_span'(7,21,7,23,89,2))),'src_span'(7,15,7,17,82,28)),'src_span'(7,8,7,10,75,34)),'src_span'(7,1,7,39,69,38)). | |
22 | 'bindval'('D','prefix'('src_span'(9,5,9,7,113,2),[],'in','prefix'('src_span'(9,11,9,14,119,3),[],'out','prefix'('src_span'(9,18,9,20,126,2),[],'in','prefix'('src_span'(9,24,9,27,132,3),[],'out','stop'('src_span'(9,31,9,35,139,4)),'src_span'(9,28,9,30,135,11)),'src_span'(9,21,9,23,128,17)),'src_span'(9,15,9,17,122,24)),'src_span'(9,8,9,10,115,30)),'src_span'(9,1,9,35,109,34)). | |
23 | 'bindval'('E','prefix'('src_span'(11,5,11,7,149,2),[],'in','prefix'('src_span'(11,11,11,14,155,3),[],'out','prefix'('src_span'(11,18,11,20,162,2),[],'in','prefix'('src_span'(11,24,11,27,168,3),[],'out','prefix'('src_span'(11,31,11,33,175,2),[],'in','val_of'('A','src_span'(11,37,11,38,181,1)),'src_span'(11,34,11,36,177,7)),'src_span'(11,28,11,30,171,14)),'src_span'(11,21,11,23,164,20)),'src_span'(11,15,11,17,158,27)),'src_span'(11,8,11,10,151,33)),'src_span'(11,1,11,38,145,37)). | |
24 | 'symbol'('in','in','src_span'(1,9,1,11,8,2),'Channel'). | |
25 | 'symbol'('out','out','src_span'(1,12,1,15,11,3),'Channel'). | |
26 | 'symbol'('A','A','src_span'(3,1,3,2,16,1),'Ident (Groundrep.)'). | |
27 | 'symbol'('B','B','src_span'(5,1,5,2,36,1),'Ident (Groundrep.)'). | |
28 | 'symbol'('C','C','src_span'(7,1,7,2,69,1),'Ident (Groundrep.)'). | |
29 | 'symbol'('D','D','src_span'(9,1,9,2,109,1),'Ident (Groundrep.)'). | |
30 | 'symbol'('E','E','src_span'(11,1,11,2,145,1),'Ident (Groundrep.)'). |