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'('c','type'('dotTupleType'(['boolType']))). | |
18 | 'channel'('d','type'('dotTupleType'(['boolType']))). | |
19 | 'agent'('Q'('int'(0)),'prefix'('src_span'(5,8,5,14,54,6),[],'dotTuple'(['c','true']),'stop'('src_span'(5,18,5,22,64,4)),'src_span'(5,15,5,17,60,14)),'src_span'(5,8,5,22,54,14)). | |
20 | 'agent'('Q'('int'(1)),'prefix'('src_span'(6,8,6,14,76,6),[],'dotTuple'(['d','true']),'stop'('src_span'(6,18,6,22,86,4)),'src_span'(6,15,6,17,82,14)),'src_span'(6,8,6,22,76,14)). | |
21 | 'bindval'('P','procRepLinkParallel'('linkListComp'(['comprehensionGenerator'(_x,'setExp'('rangeEnum'(['false','true']))),'comprehensionGuard'(_x)],['link'('dotTuple'(['c',_x]),'dotTuple'(['d',_x]))]),['comprehensionGenerator'(_y,'listExp'('rangeEnum'(['int'(0),'int'(1)])))],'agent_call'('src_span'(8,53,8,54,144,1),'Q',[_y]),'src_span'(8,41,8,52,132,11)),'src_span'(8,1,8,57,92,56)). | |
22 | 'assertRef'('False','val_of'('P','src_span'(10,8,10,9,157,1)),'Trace','stop'('src_span'(10,14,10,18,163,4)),'src_span'(10,1,10,18,150,17)). | |
23 | 'assertRef'('False','stop'('src_span'(11,8,11,12,175,4)),'Trace','val_of'('P','src_span'(11,17,11,18,184,1)),'src_span'(11,1,11,18,168,17)). | |
24 | 'bindval'('MAIN','val_of'('P','src_span'(13,8,13,9,194,1)),'src_span'(13,1,13,9,187,8)). | |
25 | 'comment'('lineComment'('-- ReplicatedLinkedParallel'),'src_position'(1,1,0,27)). | |
26 | 'symbol'('c','c','src_span'(3,9,3,10,37,1),'Channel'). | |
27 | 'symbol'('d','d','src_span'(3,11,3,12,39,1),'Channel'). | |
28 | 'symbol'('Q','Q','src_span'(5,1,5,2,47,1),'Funktion or Process'). | |
29 | 'symbol'('P','P','src_span'(8,1,8,2,92,1),'Ident (Groundrep.)'). | |
30 | 'symbol'('x','x','src_span'(8,20,8,21,111,1),'Ident (Prolog Variable)'). | |
31 | 'symbol'('y','y','src_span'(8,41,8,42,132,1),'Ident (Prolog Variable)'). | |
32 | 'symbol'('MAIN','MAIN','src_span'(13,1,13,5,187,4),'Ident (Groundrep.)'). |