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 | 'bindval'('S','setExp'('rangeEnum'([_x]),['comprehensionGenerator'(_x,'setExp'('rangeClosed'('int'(0),'int'(1000)))),'comprehensionGenerator'(_y,'setExp'('rangeClosed'('int'(-999),'int'(5)))),'comprehensionGuard'('=='('+'(_x,_y),'int'(1000)))]),'src_span'(4,1,4,53,101,52)). | |
18 | 'channel'('c','type'('dotTupleType'(['setExp'('rangeClosed'('int'(995),'int'(1000)))]))). | |
19 | 'bindval'('TEST','repChoice'(['comprehensionGenerator'(_i,'val_of'('S','src_span'(7,13,7,14,191,1)))],'prefix'('src_span'(7,17,7,20,195,3),[],'dotTuple'(['c',_i]),'stop'('src_span'(7,24,7,28,202,4)),'src_span'(7,21,7,23,198,11)),'src_span'(7,11,7,16,189,5)),'src_span'(7,1,7,28,179,27)). | |
20 | 'bindval'('MAIN','prefix'('src_span'(9,8,9,9,215,1),['in'(_x2)],'c','stop'('src_span'(9,15,9,19,222,4)),'src_span'(9,12,9,14,218,10)),'src_span'(9,1,9,19,208,18)). | |
21 | 'assertRef'('False','val_of'('MAIN','src_span'(11,8,11,12,235,4)),'FailureDivergence','val_of'('TEST','src_span'(11,18,11,22,245,4)),'src_span'(11,1,11,22,228,21)). | |
22 | 'assertRef'('False','val_of'('TEST','src_span'(12,8,12,12,257,4)),'FailureDivergence','val_of'('MAIN','src_span'(12,18,12,22,267,4)),'src_span'(12,1,12,22,250,21)). | |
23 | 'comment'('lineComment'('-- SetComprehension'),'src_position'(1,1,0,19)). | |
24 | 'comment'('blockComment'('{- The analog code segment in Prolog: X in 0..1000, Y in -999..5, X+Y #= 1000-}'),'src_position'(3,1,21,79)). | |
25 | 'symbol'('S','S','src_span'(4,1,4,2,101,1),'Ident (Groundrep.)'). | |
26 | 'symbol'('x','x','src_span'(4,10,4,11,110,1),'Ident (Prolog Variable)'). | |
27 | 'symbol'('y','y','src_span'(4,26,4,27,126,1),'Ident (Prolog Variable)'). | |
28 | 'symbol'('c','c','src_span'(5,9,5,10,162,1),'Channel'). | |
29 | 'symbol'('TEST','TEST','src_span'(7,1,7,5,179,4),'Ident (Groundrep.)'). | |
30 | 'symbol'('i','i','src_span'(7,11,7,12,189,1),'Ident (Prolog Variable)'). | |
31 | 'symbol'('MAIN','MAIN','src_span'(9,1,9,5,208,4),'Ident (Groundrep.)'). | |
32 | 'symbol'('x2','x','src_span'(9,10,9,11,217,1),'Ident (Prolog Variable)'). |