-
Notifications
You must be signed in to change notification settings - Fork 1
/
semantic.cache
68 lines (68 loc) · 60.6 KB
/
semantic.cache
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
;; Object semantic.cache
;; SEMANTICDB Tags save file
(semanticdb-project-database "semantic.cache"
:file "semantic.cache"
:tables (list
(semanticdb-table "GoodPlan.java"
:file "GoodPlan.java"
:pointmax 26868
:major-mode 'java-mode
:tokens '(("java.io.*" include nil nil nil [228 245]) ("java.util.*" include nil nil nil [246 265]) ("GoodPlan" type "class" (("randomQuery" variable "int" nil ((typemodifiers "final" "public" "static")) nil ((reparse-symbol . class_body_declarations)) [356 397]) ("chainQuery" variable "int" nil ((typemodifiers "final" "public" "static")) nil ((reparse-symbol . class_body_declarations)) [400 441]) ("starQuery" variable "int" nil ((typemodifiers "final" "public" "static")) nil ((reparse-symbol . class_body_declarations)) [444 485]) ("chainQueryFix" variable "int" nil ((typemodifiers "final" "public" "static")) nil ((reparse-symbol . class_body_declarations)) [488 532]) ("ccQuery" variable "int" nil ((typemodifiers "final" "public" "static")) nil ((reparse-symbol . class_body_declarations)) [535 574]) ("simQueryType" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [690 731]) ("debug" variable "boolean" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [805 847]) ("viewNum" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [965 1003]) ("relationNum" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [1021 1059]) ("viewSubgoalNum" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [1081 1119]) ("relAttrNum" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [1151 1186]) ("querySubgoalNum" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [1209 1244]) ("dropHeadArgNum" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [1277 1315]) ("queryArgDomSize" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [1347 1385]) ("simQueryNum" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [1422 1460]) ("simQueryStep" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [1479 1517]) ("validQueryNum" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [1547 1585]) ("groupedViewNum" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [1622 1663]) ("oldGroupedViewNum" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [1701 1742]) ("repetitionNum" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [1760 1801]) ("totalNumVTs" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [1925 1967]) ("totalGroupedNumVTs" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [1994 2036]) ("totalNumMR" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [2060 2102]) ("totalNumGMR" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [2105 2147]) ("totalSizeGMR" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [2150 2192]) ("totalTimeMR" variable "long" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [2195 2237]) ("totalTimeFirstGMR" variable "long" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [2240 2282]) ("totalTimeAllGMR" variable "long" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [2285 2327]) ("random" variable "Random" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [2400 2448]) ("testMiniCon" variable "boolean" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [2451 2493]) ("isView" variable "boolean" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [2502 2531]) ("main" function "void" (("args" variable "String[]" nil nil nil ((reparse-symbol . formal_parameter_list)) [2563 2576])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [2539 2734]) ("main2" function "void" (("args" variable "String[]" nil nil nil ((reparse-symbol . formal_parameter_list)) [2767 2780])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [2742 4242]) ("simulation" function "void" nil ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [4307 4552]) ("doOneTestYoli" function "void" (("tipo" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [4585 4596])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [4559 5533]) ("doOneTestYoli2" function "void" (("type" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [5567 5579]) ("queryFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [5580 5597]) ("viewFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [5598 5613])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [5540 5809]) ("doOneTest" function "void" nil ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [5815 6928]) ("groupViews" function "Vector" (("views" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [7022 7034])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [6997 7603]) ("genPlan" function "void" (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [7629 7641]) ("views" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [7642 7654])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [7609 9003]) ("genPlan2" function "void" (("type" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [9030 9042]) ("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [9043 9055]) ("views" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [9056 9068])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [9009 9599]) ("collectStat" function "void" nil ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [9604 10691]) ("showStat" function "void" nil ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [10695 12977]) ("unitTest" function "void" nil ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [12983 13050]) ("test1" function "void" nil ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [13236 15426]) ("test2" function "void" nil ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [15627 19865]) ("test3" function "void" nil ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [20046 23346]) ("readViews" function "Vector" (("filename" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [23377 23392])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [23353 23842]) ("printViews" function "void" (("views" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [23872 23885]) ("filename" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [23886 23901])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [23849 24750]) ("showSetting" function "void" (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [24778 24795]) ("views" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [24796 24808])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [24754 25953]) ("genRelations" function "Vector" nil ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [25989 26172]) ("genViews" function "Vector" (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [26228 26245]) ("viewType" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [26246 26258])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [26205 26438]) ("genViewsCC" function "Vector" (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [26501 26518]) ("viewType" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [26519 26531])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [26476 26700]) ("genQuery" function "Query" (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [26760 26777]) ("queryType" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [26778 26791])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [26738 26865])) nil nil nil nil [268 26867]))
:unmatched-syntax '((close-paren 25319 . 25320) (close-paren 25244 . 25245) (open-paren 25212 . 25213) (close-paren 24984 . 24985) (open-paren 24953 . 24954) (close-paren 24711 . 24712) (open-paren 24680 . 24681) (close-paren 24469 . 24470) (open-paren 24468 . 24469) (close-paren 23261 . 23262) (open-paren 23230 . 23231) (close-paren 22354 . 22355) (open-paren 22324 . 22325) (close-paren 19013 . 19014) (open-paren 19012 . 19013) (close-paren 14594 . 14595) (open-paren 14593 . 14594) (close-paren 12203 . 12204) (open-paren 12202 . 12203) (close-paren 11953 . 11954) (open-paren 11952 . 11953) (close-paren 9665 . 9666) (open-paren 9664 . 9665) (close-paren 8577 . 8578) (open-paren 8576 . 8577) (close-paren 7119 . 7120) (open-paren 7093 . 7094) (close-paren 6501 . 6502) (open-paren 6488 . 6489) (close-paren 5304 . 5305) (open-paren 5303 . 5304) (close-paren 4340 . 4341) (open-paren 4328 . 4329) (close-paren 4074 . 4075) (open-paren 4073 . 4074) (close-paren 2535 . 2536) (open-paren 2521 . 2522) (open-paren 282 . 283))
)
(semanticdb-table "Query.java"
:file "Query.java"
:pointmax 24493
:major-mode 'java-mode
:tokens '(("java.util.*" include nil nil nil [129 148]) ("java.io.*" include nil nil nil [149 166]) ("Query" type "class" (("renameCounter" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [184 220]) ("name" variable "String" nil nil nil ((reparse-symbol . class_body_declarations)) [224 244]) ("head" variable "Subgoal" nil nil nil ((reparse-symbol . class_body_declarations)) [261 281]) ("body" variable "Vector" nil nil nil ((reparse-symbol . class_body_declarations)) [314 334]) ("queryType" variable "int" nil nil nil ((reparse-symbol . class_body_declarations)) [358 399]) ("count" variable "int" nil nil nil ((reparse-symbol . class_body_declarations)) [403 421]) ("Query" function nil (("name" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [525 537]) ("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [538 555]) ("queryType" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [556 570]) ("bodySubgoalNum" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [571 589])) nil nil ((reparse-symbol . class_body_declarations)) [519 752]) ("Query" function nil (("name" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [791 803]) ("head" variable "Subgoal" nil nil nil ((reparse-symbol . formal_parameter_list)) [804 817]) ("body" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [818 829])) nil nil ((reparse-symbol . class_body_declarations)) [785 902]) ("genBody" function "void" (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [968 985]) ("queryType" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [986 1000]) ("bodySubgoalNum" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [1001 1019])) nil nil ((reparse-symbol . class_body_declarations)) [955 1663]) ("genBodyCC" function "void" (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [1683 1700]) ("bodySubgoalNum" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [1701 1719])) nil nil ((reparse-symbol . class_body_declarations)) [1668 2415]) ("genBodyRandom" function "void" (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [2487 2504]) ("bodySubgoalNum" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [2505 2523])) nil nil ((reparse-symbol . class_body_declarations)) [2468 3328]) ("getBodyArgs" function "Vector" nil nil nil ((reparse-symbol . class_body_declarations)) [3332 3817]) ("genBodyChain" function "void" (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [3919 3936]) ("bodySubgoalNum" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [3937 3955])) nil nil ((reparse-symbol . class_body_declarations)) [3901 4775]) ("genBodyChainFix" function "void" (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [4875 4892]) ("bodySubgoalNum" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [4893 4911])) nil nil ((reparse-symbol . class_body_declarations)) [4854 5749]) ("genBodyStar" function "void" (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [5830 5847]) ("bodySubgoalNum" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [5848 5866])) nil nil ((reparse-symbol . class_body_declarations)) [5813 7528]) ("genHead" function "void" (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [7582 7599]) ("queryType" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [7600 7614]) ("bodySubgoalNum" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [7615 7633])) nil nil ((reparse-symbol . class_body_declarations)) [7569 8135]) ("genHeadCC" function "void" (("bodySubgoalNum" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [8154 8172])) nil nil ((reparse-symbol . class_body_declarations)) [8139 8492]) ("genHeadRandom" function "void" (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [8559 8575])) nil nil ((reparse-symbol . class_body_declarations)) [8540 9022]) ("genHeadChain" function "void" (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [9087 9103])) nil nil ((reparse-symbol . class_body_declarations)) [9069 9924]) ("genHeadStar" function "void" (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [9987 10003])) nil nil ((reparse-symbol . class_body_declarations)) [9970 10787]) ("dropJoined" function "Vector" (("headArgs" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [10812 10827])) nil nil ((reparse-symbol . class_body_declarations)) [10794 11231]) ("getDistVars" function "Vector" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [11302 11362]) ("getSubgoalNum" function "int" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [11366 11422]) ("isDistVar" function "boolean" (("arg" variable "Argument" nil nil nil ((reparse-symbol . formal_parameter_list)) [11517 11529])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [11492 11657]) ("containsArg" function "boolean" (("arg" variable "Argument" nil nil nil ((reparse-symbol . formal_parameter_list)) [11752 11764])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [11725 11811]) ("getHeadHomos" function "Vector" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [11895 12237]) ("getName" function "String" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [12241 12287]) ("getHead" function "Subgoal" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [12291 12338]) ("getBody" function "Vector" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [12342 12388]) ("getSubgoal" function "Subgoal" (("index" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [12472 12481])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [12446 12532]) ("equals" function "boolean" (("tmpQuery" variable "Object" nil nil nil ((reparse-symbol . formal_parameter_list)) [12697 12712])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [12675 12806]) ("hashCode" function "int" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [12810 12867]) ("toString" function "String" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [12873 13438]) ("rename" function "Query" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [13549 14116]) ("getUsefulArgs" function "Vector" (("index" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [14214 14223])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [14186 14674]) ("getNextRandom" function "int" (("random" variable "Random" nil nil nil ((reparse-symbol . formal_parameter_list)) [14696 14710]) ("times" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [14711 14720])) nil nil ((reparse-symbol . class_body_declarations)) [14678 14833]) ("setCount" function "void" (("count" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [14858 14867])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [14837 14898]) ("getCount" function "int" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [14902 14947]) ("inreaseCount" function "void" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [14951 14997]) ("contained" function "boolean" (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [15059 15070])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [15034 15988]) ("testMapping" function "boolean" (("srcSubgoalSeq" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [16122 16143]) ("dstSubgoalSeq" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [16144 16165]) ("cm" variable "Mapping" nil nil nil ((reparse-symbol . formal_parameter_list)) [16175 16185])) nil nil ((reparse-symbol . class_body_declarations)) [16102 16696]) ("equivalent" function "boolean" (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [16760 16771])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [16734 16837]) ("clone" function "Object" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [16842 16926]) ("minimize" function "Query" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [16947 17339]) ("main" function "void" (("args" variable "String[]" nil nil nil ((reparse-symbol . formal_parameter_list)) [17396 17409])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [17372 17558]) ("test1" function "void" nil ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [17561 18585]) ("test2" function "void" (("repeticiones" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [18612 18629]) ("m" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [18630 18636]) ("n" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [18637 18643]) ("tipo" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [18644 18656]) ("queryFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [18657 18674]) ("viewFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [18675 18690])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [18594 20287]) ("genExp" function "void" (("m" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [20314 20320]) ("n" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [20321 20327]) ("queryFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [20328 20345]) ("viewFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [20346 20362]) ("queryType" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [20363 20377]) ("viewType" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [20378 20390])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [20295 20996]) ("genExpTipo1" function "void" (("m" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [21027 21033]) ("n" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [21034 21040]) ("queryFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [21041 21058]) ("viewFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [21059 21074])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [21003 21331]) ("genExpTipo2" function "void" (("m" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [21362 21368]) ("n" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [21369 21375]) ("queryFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [21376 21393]) ("viewFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [21394 21409])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [21338 21667]) ("genExpTipo3" function "void" (("m" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [21698 21704]) ("n" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [21705 21711]) ("queryFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [21712 21729]) ("viewFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [21730 21745])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [21674 21994]) ("genExpTipo4" function "void" (("m" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [22026 22032]) ("n" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [22033 22039]) ("queryFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [22040 22057]) ("viewFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [22058 22073])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [22002 22349]) ("genExpTipo5" function "void" (("m" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [22379 22385]) ("n" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [22386 22392]) ("queryFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [22393 22410]) ("viewFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [22411 22426])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [22355 22702]) ("genExpTipo6" function "void" (("m" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [22732 22738]) ("n" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [22739 22745]) ("queryFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [22746 22763]) ("viewFile" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [22764 22779])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [22708 23059]) ("printViews" function "void" (("views" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [23088 23101]) ("filename" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [23102 23117])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [23065 23966]) ("printQuery" function "void" (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [23996 24008]) ("filename" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [24009 24024])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [23973 24489])) nil nil nil nil [168 24492]))
:unmatched-syntax '((close-paren 24339 . 24340) (close-paren 23872 . 23873) (open-paren 23843 . 23844) (close-paren 22965 . 22966) (open-paren 22935 . 22936) (close-paren 22627 . 22628) (open-paren 22579 . 22580) (close-paren 22274 . 22275) (open-paren 22226 . 22227) (close-paren 21921 . 21922) (open-paren 21873 . 21874) (close-paren 21593 . 21594) (open-paren 21545 . 21546) (close-paren 21257 . 21258) (open-paren 21209 . 21210) (close-paren 20922 . 20923) (open-paren 20874 . 20875) (close-paren 20238 . 20239) (open-paren 20161 . 20162) (close-paren 18538 . 18539) (open-paren 18459 . 18460) (close-paren 17427 . 17428) (open-paren 17426 . 17427) (close-paren 17257 . 17258) (open-paren 17243 . 17244) (close-paren 16817 . 16818) (open-paren 16816 . 16817) (close-paren 16710 . 16711) (open-paren 16709 . 16710) (close-paren 16619 . 16620) (open-paren 16607 . 16608) (close-paren 16033 . 16034) (open-paren 15969 . 15970) (close-paren 14918 . 14919) (open-paren 14906 . 14907) (close-paren 14824 . 14825) (open-paren 14823 . 14824) (close-paren 14770 . 14771) (open-paren 14769 . 14770) (close-paren 14715 . 14716) (open-paren 14705 . 14706) (close-paren 14568 . 14569) (open-paren 14543 . 14544) (close-paren 14071 . 14072) (open-paren 14061 . 14062) (close-paren 13417 . 13418) (open-paren 13416 . 13417) (close-paren 12744 . 12745) (open-paren 12743 . 12744) (close-paren 12678 . 12679) (open-paren 12677 . 12678) (close-paren 12560 . 12561) (open-paren 12544 . 12545) (close-paren 12329 . 12330) (open-paren 12319 . 12320) (close-paren 12212 . 12213) (open-paren 12211 . 12212) (close-paren 12162 . 12163) (open-paren 12161 . 12162) (close-paren 12111 . 12112) (open-paren 12110 . 12111) (close-paren 11770 . 11771) (open-paren 11769 . 11770) (close-paren 11612 . 11613) (open-paren 11599 . 11600) (close-paren 11377 . 11378) (open-paren 11364 . 11365) (close-paren 11239 . 11240) (open-paren 11238 . 11239) (close-paren 11176 . 11177) (open-paren 11175 . 11176) (close-paren 10675 . 10676) (open-paren 10659 . 10660) (close-paren 9851 . 9852) (open-paren 9834 . 9835) (close-paren 8951 . 8952) (open-paren 8934 . 8935) (close-paren 8423 . 8424) (open-paren 8406 . 8407) (close-paren 8020 . 8021) (open-paren 8001 . 8002) (close-paren 7481 . 7482) (open-paren 7429 . 7430) (close-paren 5714 . 5715) (open-paren 5677 . 5678) (close-paren 4759 . 4760) (open-paren 4722 . 4723) (close-paren 3803 . 3804) (open-paren 3766 . 3767) (close-paren 3199 . 3200) (open-paren 3198 . 3199) (close-paren 2523 . 2524) (open-paren 2486 . 2487) (close-paren 1719 . 1720) (open-paren 1682 . 1683) (close-paren 1019 . 1020) (open-paren 967 . 968) (close-paren 829 . 830) (open-paren 790 . 791) (close-paren 589 . 590) (open-paren 524 . 525) (open-paren 180 . 181))
)
(semanticdb-table "MiniCon.java"
:file "MiniCon.java"
:pointmax 21067
:major-mode 'java-mode
:tokens '(("java.util.*" include nil nil nil [144 163]) ("MiniCon" type "class" (("timeFormMCD" variable "double" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [185 218]) ("timeCombineMCD" variable "double" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [222 258]) ("numMCDs" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [262 288]) ("numRews" variable "int" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [292 318]) ("prof" variable "Prof" nil ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [323 347]) ("genPlan" function "HashSet" (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [450 462]) ("views" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [463 475])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [427 1046]) ("genPlan2" function "HashSet" (("type" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [1147 1159]) ("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [1160 1172]) ("views" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [1173 1185])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [1123 1879]) ("formMCDs" function "HashSet" (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [1954 1966]) ("views" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [1967 1979])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [1930 2228]) ("formMCDs" function "HashSet" (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [2302 2314]) ("view" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [2315 2325])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [2278 3572]) ("unifiable" function "PhiHH" (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [3788 3800]) ("querySubgoalIndex" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [3801 3823]) ("view" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [3829 3840]) ("viewSubgoalIndex" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [3841 3861])) ((typemodifiers "private" "static")) nil ((reparse-symbol . class_body_declarations)) [3757 4738]) ("extend" function "HashSet" (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [5604 5616]) ("querySubgoalSubset" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [5617 5644]) ("view" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [5649 5659])) ((typemodifiers "private" "static")) nil ((reparse-symbol . class_body_declarations)) [5574 7113]) ("containsQuerySubgoalSubset" function "boolean" (("mcds" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [7304 7317]) ("querySubgoals" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [7329 7350])) ((typemodifiers "private" "static")) nil ((reparse-symbol . class_body_declarations)) [7254 7816]) ("containsViewSubgoalSubset" function "boolean" (("mcds" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [8006 8019]) ("viewSubgoals" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [8030 8050])) ((typemodifiers "private" "static")) nil ((reparse-symbol . class_body_declarations)) [7957 8524]) ("formOneMCD" function "MCD" (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [8748 8762]) ("querySubgoalSeq" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [8768 8792]) ("view" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [8797 8810]) ("viewSubgoalSubset" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [8817 8842])) ((typemodifiers "private" "static")) nil ((reparse-symbol . class_body_declarations)) [8718 9970]) ("buildMCD" function "MCD" (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [10002 10016]) ("querySubgoalSeq" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [10027 10051]) ("view" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [10061 10074]) ("viewSubgoalSeq" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [10086 10108])) ((typemodifiers "private" "static")) nil ((reparse-symbol . class_body_declarations)) [9974 12038]) ("satisfyProperty" function "boolean" (("phi" variable "Mapping" nil nil nil ((reparse-symbol . formal_parameter_list)) [12142 12154]) ("hh" variable "Mapping" nil nil nil ((reparse-symbol . formal_parameter_list)) [12155 12166]) ("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [12173 12185]) ("querySubgoalSubset" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [12193 12220]) ("view" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [12228 12238])) ((typemodifiers "private" "static")) nil ((reparse-symbol . class_body_declarations)) [12103 13793]) ("combineMCDs" function "HashSet" (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [15015 15027]) ("mcds" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [15028 15040])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [14988 15858]) ("computeEC" function "Mapping" (("mcdSubset" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [15990 16007])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [15965 16631]) ("computeECPsi" function "void" (("ec" variable "Mapping" nil nil nil ((reparse-symbol . formal_parameter_list)) [16767 16778]) ("mcd" variable "MCD" nil nil nil ((reparse-symbol . formal_parameter_list)) [16779 16786])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [16742 18296]) ("buildRewriting" function "Rewriting" (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [18400 18412]) ("oneMCDSubset" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [18413 18434]) ("ec" variable "Mapping" nil nil nil ((reparse-symbol . formal_parameter_list)) [18442 18452])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [18368 19105]) ("createRewriting" function "Rewriting" (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [19181 19193]) ("oneMCDSubset" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [19194 19215]) ("ec" variable "Mapping" nil nil nil ((reparse-symbol . formal_parameter_list)) [19224 19234])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [19148 19891]) ("containsMCDSubset" function "boolean" (("rewritings" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [20054 20073]) ("oneMCDSubset" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [20083 20103])) ((typemodifiers "private" "static")) nil ((reparse-symbol . class_body_declarations)) [20013 20365]) ("minimizeRews" function "void" nil ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [20398 20430]) ("Prof" type "class" (("me" variable "String" nil nil nil ((reparse-symbol . class_body_declarations)) [20477 20487]) ("starttime" variable "long" nil nil nil nil [20492 20507]) ("startcputime" variable "long" nil nil nil nil [20508 20521]) ("stoptime" variable "long" nil nil nil nil [20526 20540]) ("stopcputime" variable "long" nil nil nil nil [20541 20553]) ("stoptime2" variable "long" nil nil nil nil [20558 20573]) ("stopcputime2" variable "long" nil nil nil nil [20574 20587]) ("Prof" function nil (("name" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [20598 20609])) nil nil ((reparse-symbol . class_body_declarations)) [20593 20635]) ("start" function "void" nil nil nil ((reparse-symbol . class_body_declarations)) [20640 20744]) ("stop" function "void" nil nil nil ((reparse-symbol . class_body_declarations)) [20749 20849]) ("stop2" function "void" nil nil nil ((reparse-symbol . class_body_declarations)) [20855 20958]) ("print" function "void" nil nil nil ((reparse-symbol . class_body_declarations)) [20960 21056])) ("JCProf") ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [20438 21061])) nil nil nil nil [165 21066]))
:unmatched-syntax '((close-paren 20146 . 20147) (close-paren 20141 . 20142) (close-paren 20045 . 20046) (open-paren 20044 . 20045) (close-paren 19938 . 19939) (open-paren 19937 . 19938) (close-paren 19830 . 19831) (open-paren 19829 . 19830) (close-paren 19788 . 19789) (open-paren 19776 . 19777) (open-paren 19650 . 19651) (close-paren 19602 . 19603) (open-paren 19601 . 19602) (close-paren 19282 . 19283) (open-paren 19232 . 19233) (close-paren 18413 . 18414) (open-paren 18359 . 18360) (close-paren 17631 . 17632) (open-paren 17578 . 17579) (close-paren 15965 . 15966) (open-paren 15945 . 15946) (close-paren 15186 . 15187) (open-paren 15168 . 15169) (close-paren 14219 . 14220) (open-paren 14193 . 14194) (close-paren 11417 . 11418) (open-paren 11320 . 11321) (close-paren 9288 . 9289) (open-paren 9181 . 9182) (close-paren 8022 . 8023) (open-paren 7927 . 7928) (close-paren 7230 . 7231) (open-paren 7185 . 7186) (close-paren 6530 . 6531) (open-paren 6483 . 6484) (close-paren 4839 . 4840) (open-paren 4783 . 4784) (close-paren 3041 . 3042) (open-paren 2967 . 2968) (close-paren 1505 . 1506) (open-paren 1481 . 1482) (close-paren 1159 . 1160) (open-paren 1133 . 1134) (close-paren 475 . 476) (open-paren 449 . 450) (open-paren 179 . 180))
)
(semanticdb-table "Subgoal.java"
:file "Subgoal.java"
:pointmax 3252
:major-mode 'jde-mode
:tokens '(("java.util.*" include nil nil nil [104 123]) ("Subgoal" type "class" (("name" variable "String" nil nil nil ((reparse-symbol . class_body_declarations)) [143 162]) ("args" variable "Vector" nil nil nil ((reparse-symbol . class_body_declarations)) [182 201]) ("Subgoal" function nil (("name" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [237 249]) ("args" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [250 261])) nil nil ((reparse-symbol . class_body_declarations)) [229 312]) ("Subgoal" function nil (("relations" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [324 341]) ("relIndex" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [342 355]) ("argDom" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [356 369])) nil nil ((reparse-symbol . class_body_declarations)) [316 794]) ("isSameName" function "boolean" (("subgoal" variable "Subgoal" nil nil nil ((reparse-symbol . formal_parameter_list)) [883 898])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [857 968]) ("rename" function "Subgoal" (("newId" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [1205 1215]) ("argMap" variable "Map" nil nil nil ((reparse-symbol . formal_parameter_list)) [1216 1226])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1183 1584]) ("getArgs" function "Vector" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1590 1636]) ("getName" function "String" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1640 1686]) ("size" function "int" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1690 1737]) ("contains" function "boolean" (("arg" variable "Argument" nil nil nil ((reparse-symbol . formal_parameter_list)) [1765 1777])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1741 1815]) ("unifiable" function "boolean" (("subgoal" variable "Subgoal" nil nil nil ((reparse-symbol . formal_parameter_list)) [1971 1987]) ("cm" variable "Mapping" nil nil nil ((reparse-symbol . formal_parameter_list)) [1988 1999]) ("checkName" variable "boolean" nil nil nil ((reparse-symbol . formal_parameter_list)) [2000 2017])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1946 2927]) ("toString" function "String" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [2931 3249])) nil nil nil nil [125 3251]))
:unmatched-syntax '((close-paren 3250 . 3251) (close-paren 2954 . 2955) (open-paren 2953 . 2954) (close-paren 2017 . 2018) (open-paren 1970 . 1971) (close-paren 1777 . 1778) (open-paren 1764 . 1765) (close-paren 1706 . 1707) (open-paren 1705 . 1706) (close-paren 1662 . 1663) (open-paren 1661 . 1662) (close-paren 1612 . 1613) (open-paren 1611 . 1612) (close-paren 1226 . 1227) (open-paren 1204 . 1205) (close-paren 898 . 899) (open-paren 882 . 883) (close-paren 369 . 370) (open-paren 323 . 324) (close-paren 261 . 262) (open-paren 236 . 237) (open-paren 139 . 140))
)
(semanticdb-table "Argument.java"
:file "Argument.java"
:pointmax 3290
:major-mode 'java-mode
:tokens '(("java.util.*" include nil nil nil [106 125]) ("Argument" type "class" (("VAR" variable "int" nil ((typemodifiers "final" "public" "static")) nil ((reparse-symbol . class_body_declarations)) [147 181]) ("CONST" variable "int" nil ((typemodifiers "final" "public" "static")) nil ((reparse-symbol . class_body_declarations)) [184 218]) ("type" variable "int" nil nil nil ((reparse-symbol . class_body_declarations)) [224 236]) ("name" variable "String" nil nil nil ((reparse-symbol . class_body_declarations)) [256 268]) ("Argument" function nil (("name" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [283 294])) nil nil ((reparse-symbol . class_body_declarations)) [274 570]) ("unifiable" function "boolean" (("arg" variable "Argument" nil nil nil ((reparse-symbol . formal_parameter_list)) [845 858]) ("phi" variable "Mapping" nil nil nil ((reparse-symbol . formal_parameter_list)) [859 871]) ("hh" variable "Mapping" nil nil nil ((reparse-symbol . formal_parameter_list)) [872 883]) ("distVars" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [890 905])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [820 2030]) ("rename" function "Argument" (("newId" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [2123 2133]) ("argMap" variable "Map" nil nil nil ((reparse-symbol . formal_parameter_list)) [2134 2144])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [2100 2293]) ("getName" function "String" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [2297 2343]) ("getType" function "int" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [2347 2390]) ("isConst" function "boolean" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [2394 2450]) ("equals" function "boolean" (("argument" variable "Object" nil nil nil ((reparse-symbol . formal_parameter_list)) [2846 2861])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [2824 3008]) ("hashCode" function "int" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [3159 3231]) ("toString" function "String" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [3235 3287])) nil nil nil nil [127 3289]))
:unmatched-syntax '((close-paren 3288 . 3289) (close-paren 3258 . 3259) (open-paren 3257 . 3258) (close-paren 3179 . 3180) (open-paren 3178 . 3179) (close-paren 2861 . 2862) (open-paren 2845 . 2846) (close-paren 2417 . 2418) (open-paren 2416 . 2417) (close-paren 2366 . 2367) (open-paren 2365 . 2366) (close-paren 2319 . 2320) (open-paren 2318 . 2319) (close-paren 2144 . 2145) (open-paren 2122 . 2123) (close-paren 905 . 906) (open-paren 844 . 845) (close-paren 294 . 295) (open-paren 282 . 283) (open-paren 142 . 143))
)
(semanticdb-table "UserLib.java"
:file "UserLib.java"
:pointmax 15034
:major-mode 'java-mode
:tokens '(("java.util.*" include nil nil nil [104 123]) ("UserLib" type "class" (("myerror" function "void" (("str" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [171 181])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [144 237]) ("myprintln" function "void" (("str" variable "String" nil nil nil ((reparse-symbol . formal_parameter_list)) [270 280])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [241 352]) ("getChar" function "String" (("index" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [455 464])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [426 2158]) ("genAllMappings" function "Vector" (("srcArgs" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [2545 2560]) ("dstArgs" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [2561 2575])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [2509 2740]) ("buildHeadHomos" function "void" (("headHomos" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [2825 2842]) ("srcArgs" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [2853 2868]) ("dstArgs" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [2869 2884]) ("partialMap" variable "Map" nil nil nil ((reparse-symbol . formal_parameter_list)) [2894 2909]) ("srcArgIndex" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [2910 2925])) ((typemodifiers "private" "static")) nil ((reparse-symbol . class_body_declarations)) [2790 3687]) ("genPartitionEquMappings" function "Vector" (("args" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [3875 3886])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [3830 4941]) ("genPartitions" function "Set" (("v" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [5053 5061])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [5021 5184]) ("buildPartitions" function "void" (("partitions" variable "Set" nil nil nil ((reparse-symbol . formal_parameter_list)) [5270 5285]) ("v" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [5286 5295]) ("index" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [5296 5305])) ((typemodifiers "private" "static")) nil ((reparse-symbol . class_body_declarations)) [5234 7458]) ("genSubsets" function "HashSet" (("h" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [7572 7581])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [7539 7766]) ("genSubsets" function "HashSet" (("v" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [7878 7886])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [7845 8052]) ("buildSubsets" function "void" (("subsets" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [8132 8148]) ("v" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [8149 8158]) ("index" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [8159 8168])) ((typemodifiers "private" "static")) nil ((reparse-symbol . class_body_declarations)) [8099 9314]) ("getAllSeqs" function "Vector" (("v" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [9487 9496]) ("length" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [9497 9507])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [9455 9582]) ("getAllSeqs" function "Vector" (("objectSet" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [9755 9773]) ("length" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [9774 9784])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [9723 9996]) ("buildAllSeq" function "void" (("objectSet" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [10083 10101]) ("length" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [10102 10113]) ("oneSeq" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [10121 10135]) ("allSeqs" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [10136 10150])) ((typemodifiers "private" "static")) nil ((reparse-symbol . class_body_declarations)) [10051 11298]) ("genPermutations" function "HashSet" (("v" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [11452 11460])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [11414 11532]) ("genPermutations" function "HashSet" (("objectSet" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [11683 11700])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [11645 11896]) ("buildPermutations" function "void" (("objectSet" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [11940 11958]) ("onePermutation" variable "Vector" nil nil nil ((reparse-symbol . formal_parameter_list)) [11965 11988]) ("allPermutations" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [11995 12018])) ((typemodifiers "private" "static")) nil ((reparse-symbol . class_body_declarations)) [11902 12633]) ("genSubsets" function "HashSet" (("objectSet" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [12743 12761]) ("k" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [12762 12767])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [12710 12888]) ("buildSubsets" function "HashSet" (("objectSet" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [12955 12973]) ("k" variable "int" nil nil nil ((reparse-symbol . formal_parameter_list)) [12974 12979])) ((typemodifiers "static")) nil ((reparse-symbol . class_body_declarations)) [12927 14018]) ("disjoint" function "boolean" (("set1" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [14102 14115]) ("set2" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [14116 14128])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [14071 14239]) ("main" function "void" (("args" variable "String[]" nil nil nil ((reparse-symbol . formal_parameter_list)) [14295 14308])) ((typemodifiers "public" "static")) nil ((reparse-symbol . class_body_declarations)) [14271 15030])) nil nil nil nil [125 15033]))
:unmatched-syntax '((close-paren 15032 . 15033) (close-paren 14308 . 14309) (open-paren 14294 . 14295) (close-paren 14128 . 14129) (open-paren 14101 . 14102) (close-paren 12979 . 12980) (open-paren 12954 . 12955) (close-paren 12767 . 12768) (open-paren 12742 . 12743) (close-paren 12018 . 12019) (open-paren 11939 . 11940) (close-paren 11700 . 11701) (open-paren 11682 . 11683) (close-paren 11460 . 11461) (open-paren 11451 . 11452) (close-paren 10150 . 10151) (open-paren 10082 . 10083) (close-paren 9784 . 9785) (open-paren 9754 . 9755) (close-paren 9507 . 9508) (open-paren 9486 . 9487) (close-paren 8168 . 8169) (open-paren 8131 . 8132) (close-paren 7886 . 7887) (open-paren 7877 . 7878) (close-paren 7581 . 7582) (open-paren 7571 . 7572) (close-paren 5305 . 5306) (open-paren 5269 . 5270) (close-paren 5061 . 5062) (open-paren 5052 . 5053) (close-paren 3886 . 3887) (open-paren 3874 . 3875) (close-paren 2925 . 2926) (open-paren 2824 . 2825) (close-paren 2575 . 2576) (open-paren 2544 . 2545) (close-paren 464 . 465) (open-paren 454 . 455) (close-paren 280 . 281) (open-paren 269 . 270) (close-paren 181 . 182) (open-paren 170 . 171) (open-paren 139 . 140))
)
(semanticdb-table "Parser.cup"
:file "Parser.cup"
:pointmax 2258
:major-mode 'java-mode
:tokens '(("java_cup.runtime.*" include nil nil nil [1 27]) ("java.util.*" include nil nil nil [28 47]) ("java.lang.*" include nil nil nil [48 68]) ("java.io.*" include nil nil nil [69 86]) (";" nil [110 111]) (";" nil [650 651]) (";" nil [702 703]) (";" nil [750 751]) (";" nil [786 787]) (";" nil [811 812]) (";" nil [831 832]) (";" nil [879 880]) (";" nil [902 903]) (";" nil [927 928]) (";" nil [955 956]) (";" nil [980 981]) (";" nil [1300 1301]) (";" nil [1381 1382]) (";" nil [1709 1710]) (";" nil [1801 1802]) (";" nil [2110 2111]) (";" nil [2256 2257]))
:unmatched-syntax '((semantic-list 2209 . 2239) (symbol 2206 . 2207) (punctuation 2205 . 2206) (symbol 2201 . 2205) (punctuation 2197 . 2198) (semantic-list 2150 . 2180) (symbol 2146 . 2147) (punctuation 2145 . 2146) (symbol 2142 . 2145) (punctuation 2120 . 2121) (punctuation 2119 . 2120) (punctuation 2118 . 2119) (symbol 2113 . 2117) (semantic-list 2044 . 2101) (symbol 2015 . 2016) (punctuation 2014 . 2015) (symbol 2010 . 2014) (symbol 2005 . 2009) (symbol 2003 . 2004) (punctuation 2002 . 2003) (symbol 1998 . 2002) (punctuation 1996 . 1997) (semantic-list 1873 . 1983) (symbol 1833 . 1834) (punctuation 1832 . 1833) (symbol 1828 . 1832) (punctuation 1812 . 1813) (punctuation 1811 . 1812) (punctuation 1810 . 1811) (symbol 1805 . 1809) (semantic-list 1752 . 1784) (symbol 1741 . 1747) (symbol 1739 . 1740) (punctuation 1738 . 1739) (symbol 1734 . 1738) (symbol 1727 . 1733) (symbol 1725 . 1726) (punctuation 1724 . 1725) (symbol 1720 . 1724) (punctuation 1718 . 1719) (punctuation 1717 . 1718) (punctuation 1716 . 1717) (symbol 1713 . 1715) (semantic-list 1643 . 1700) (symbol 1602 . 1603) (punctuation 1601 . 1602) (symbol 1599 . 1601) (symbol 1594 . 1598) (symbol 1592 . 1593) (punctuation 1591 . 1592) (symbol 1585 . 1591) (punctuation 1583 . 1584) (semantic-list 1460 . 1570) (symbol 1420 . 1421) (punctuation 1419 . 1420) (symbol 1417 . 1419) (punctuation 1401 . 1402) (punctuation 1400 . 1401) (punctuation 1399 . 1400) (symbol 1392 . 1398) (semantic-list 1328 . 1372) (symbol 1326 . 1327) (punctuation 1325 . 1326) (symbol 1319 . 1325) (symbol 1315 . 1318) (symbol 1313 . 1314) (punctuation 1312 . 1313) (symbol 1310 . 1312) (punctuation 1308 . 1309) (punctuation 1307 . 1308) (punctuation 1306 . 1307) (symbol 1303 . 1305) (semantic-list 1234 . 1291) (symbol 1196 . 1197) (punctuation 1195 . 1196) (symbol 1193 . 1195) (symbol 1191 . 1192) (punctuation 1190 . 1191) (symbol 1179 . 1190) (punctuation 1177 . 1178) (semantic-list 1054 . 1164) (symbol 1014 . 1015) (punctuation 1013 . 1014) (symbol 1011 . 1013) (punctuation 996 . 997) (punctuation 995 . 996) (punctuation 994 . 995) (symbol 983 . 994) (symbol 969 . 980) (symbol 964 . 968) (symbol 958 . 963) (symbol 951 . 955) (symbol 942 . 950) (symbol 933 . 941) (symbol 929 . 932) (symbol 925 . 927) (symbol 917 . 924) (symbol 908 . 916) (symbol 904 . 907) (symbol 900 . 902) (symbol 894 . 899) (symbol 885 . 893) (symbol 881 . 884) (symbol 875 . 879) (punctuation 873 . 874) (symbol 867 . 873) (punctuation 865 . 866) (symbol 854 . 865) (symbol 847 . 853) (symbol 838 . 846) (symbol 834 . 837) (symbol 827 . 831) (punctuation 825 . 826) (symbol 822 . 825) (symbol 813 . 821) (symbol 805 . 811) (punctuation 803 . 804) (symbol 797 . 803) (symbol 788 . 796) (symbol 782 . 786) (punctuation 780 . 781) (symbol 776 . 780) (punctuation 774 . 775) (symbol 771 . 774) (symbol 764 . 770) (symbol 755 . 763) (semantic-list 715 . 750) (symbol 710 . 714) (symbol 705 . 709) (semantic-list 665 . 702) (symbol 659 . 663) (symbol 654 . 658) (semantic-list 127 . 650) (symbol 122 . 126) (symbol 115 . 121) (semantic-list 101 . 110) (symbol 95 . 99) (symbol 88 . 94))
)
(semanticdb-table "MCD.java"
:file "MCD.java"
:pointmax 2439
:major-mode 'java-mode
:tokens '(("java.util.*" include nil nil nil [91 110]) ("MCD" type "class" (("query" variable "Query" nil nil nil ((reparse-symbol . class_body_declarations)) [126 156]) ("mappedQuerySubgoals" variable "HashSet" nil nil nil ((reparse-symbol . class_body_declarations)) [159 195]) ("view" variable "Query" nil nil nil ((reparse-symbol . class_body_declarations)) [198 228]) ("viewSubgoals" variable "HashSet" nil nil nil ((reparse-symbol . class_body_declarations)) [275 305]) ("phi" variable "Mapping" nil nil nil ((reparse-symbol . class_body_declarations)) [308 338]) ("hh" variable "Mapping" nil nil nil ((reparse-symbol . class_body_declarations)) [380 410]) ("psi" variable "Mapping" nil nil nil ((reparse-symbol . class_body_declarations)) [449 479]) ("MCD" function nil (("query" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [500 512]) ("mappedQuerySubgoals" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [513 541]) ("view" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [549 560]) ("viewSubgoals" variable "HashSet" nil nil nil ((reparse-symbol . formal_parameter_list)) [562 583]) ("phi" variable "Mapping" nil nil nil ((reparse-symbol . formal_parameter_list)) [591 603]) ("hh" variable "Mapping" nil nil nil ((reparse-symbol . formal_parameter_list)) [604 614])) nil nil ((reparse-symbol . class_body_declarations)) [496 834]) ("equals" function "boolean" (("tmpmcd" variable "Object" nil nil nil ((reparse-symbol . formal_parameter_list)) [1024 1037])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1002 1307]) ("hashCode" function "int" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1311 1408]) ("getQuery" function "Query" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1626 1673]) ("getView" function "Query" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1677 1722]) ("getPhi" function "Mapping" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1846 1891]) ("getHH" function "Mapping" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1895 1938]) ("getPsi" function "Mapping" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1942 1987]) ("getMappedQuerySubgoals" function "HashSet" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1991 2068]) ("getViewSubgoals" function "HashSet" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [2072 2135]) ("setPsi" function "void" (("psi" variable "Mapping" nil nil nil ((reparse-symbol . formal_parameter_list)) [2158 2169])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [2139 2196]) ("toString" function "String" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [2200 2436])) nil nil nil nil [112 2438]))
)
(semanticdb-table "Mapping.java"
:file "Mapping.java"
:pointmax 6583
:major-mode 'java-mode
:tokens '(("java.util.*" include nil nil nil [196 215]) ("Mapping" type "class" (("map" variable "Map" nil nil nil ((reparse-symbol . class_body_declarations)) [235 253]) ("Mapping" function nil nil nil nil ((reparse-symbol . class_body_declarations)) [279 319]) ("Mapping" function nil (("map" variable "Map" nil nil nil ((reparse-symbol . formal_parameter_list)) [331 338])) nil nil ((reparse-symbol . class_body_declarations)) [323 365]) ("getMap" function "Map" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [369 410]) ("clone" function "Object" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [452 857]) ("getSrcArgs" function "Vector" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [915 1249]) ("getDstArgs" function "Vector" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1304 1640]) ("put" function "void" (("srcArg" variable "Argument" nil nil nil ((reparse-symbol . formal_parameter_list)) [1708 1724]) ("dstArg" variable "Argument" nil nil nil ((reparse-symbol . formal_parameter_list)) [1725 1740])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [1692 1874]) ("applyTryIdentity" function "Argument" (("srcArg" variable "Argument" nil nil nil ((reparse-symbol . formal_parameter_list)) [2997 3012])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [2964 3123]) ("apply" function "Argument" (("srcArg" variable "Argument" nil nil nil ((reparse-symbol . formal_parameter_list)) [3223 3238])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [3201 3308]) ("apply" function "Subgoal" (("srcSubgoal" variable "Subgoal" nil nil nil ((reparse-symbol . formal_parameter_list)) [3404 3422])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [3383 3844]) ("apply" function "Query" (("srcQuery" variable "Query" nil nil nil ((reparse-symbol . formal_parameter_list)) [3933 3947])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [3914 4958]) ("rename" function "Mapping" (("renameMap" variable "Map" nil nil nil ((reparse-symbol . formal_parameter_list)) [5050 5063])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [5028 5750]) ("getTail" function "Argument" (("headArg" variable "Argument" nil nil nil ((reparse-symbol . formal_parameter_list)) [5888 5904])) ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [5864 6045]) ("toString" function "String" nil ((typemodifiers "public")) nil ((reparse-symbol . class_body_declarations)) [6084 6580])) nil nil nil nil [217 6582]))
)
)
)