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'('dotTupleType'(['intType']))). | |
18 | 'bindval'('MAIN','prefix'('src_span'(10,8,10,9,215,1),['inGuard'(_v,'agent_call'('src_span'(10,12,10,17,219,5),'Inter',['setExp'('rangeEnum'([]))]))],'a','val_of'('MAIN','src_span'(10,25,10,29,232,4)),'src_span'(10,22,10,24,228,20)),'src_span'(10,1,10,29,208,28)). | |
19 | 'comment'('lineComment'('-- EmptySetNotAllowedForInterError'),'src_position'(1,1,0,34)). | |
20 | 'comment'('lineComment'('-- Code coverage.'),'src_position'(3,1,36,17)). | |
21 | 'comment'('lineComment'('-- Modules: csp_sets'),'src_position'(4,1,54,20)). | |
22 | 'comment'('lineComment'('-- Predicates: is_member_inter/2'),'src_position'(5,1,75,32)). | |
23 | 'comment'('lineComment'('-- Clauses: first error clause of the predicate (Empty set not allowed for Inter)'),'src_position'(6,1,108,81)). | |
24 | 'symbol'('a','a','src_span'(8,9,8,10,199,1),'Channel'). | |
25 | 'symbol'('MAIN','MAIN','src_span'(10,1,10,5,208,4),'Ident (Groundrep.)'). | |
26 | 'symbol'('v','v','src_span'(10,10,10,11,217,1),'Ident (Prolog Variable)'). | |
27 | 'symbol'('Inter','Inter','src_span'(10,12,10,17,219,5),'BuiltIn primitive'). |