-
Notifications
You must be signed in to change notification settings - Fork 0
/
cond1--Gromet-FN-auto.json
150 lines (148 loc) · 10.3 KB
/
cond1--Gromet-FN-auto.json
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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
{
"schema": "FN",
"schema_version": "0.1.6",
"name": "cond1",
"modules": [
{
"schema": "FN",
"schema_version": "0.1.6",
"name": "cond1",
"fn": {
"b": [{"function_type":"MODULE","name":"module","metadata":3}],
"bf": [
{"function_type":"EXPRESSION","body":1,"metadata":5}
],
"pof": [{"id":1,"name":"x","box":1}],
"bc": [{"condition":2,"body_if":3,"body_else":5,"metadata":6}],
"pic": [{"id":1,"box":1}],
"poc": [{"id":1,"name":"x","box":1}],
"wfc": [{"src":1,"tgt":1}]
},
"fn_array": [
{
"b": [{"function_type":"EXPRESSION"}],
"opo": [{"id":1,"box":1}],
"bf": [{"function_type":"LITERAL","value":{"value_type":"Integer","value":2},"metadata":4}],
"pof": [{"id":1,"box":1}],
"wfopo": [{"src":1,"tgt":1}]
},
{
"b": [{"function_type":"PREDICATE", "metadata": 9}],
"opi": [{"id":1,"name":"x","box":1}],
"opo": [{"id":1,"name":"x","box":1},{"id":2,"box":1}],"wopio": [{"src":1,"tgt":1}],
"bf": [{"function_type":"LITERAL","value":{"value_type":"Integer","value":5},"metadata":7},{"function_type":"LANGUAGE_PRIMITIVE","name":"ast.Lt","metadata":8}],
"pif": [{"id":1,"box":2},{"id":2,"box":2}],
"pof": [{"id":1,"box":1},{"id":1,"box":2}],
"wfopi": [{"src":1,"tgt":1}],
"wff": [{"src":2,"tgt":1}],
"wfopo": [{"src":2,"tgt":2}]
},
{
"b": [{"function_type":"FUNCTION", "metadata": 10}],
"opi": [{"id":1,"box":1}],
"opo": [{"id":1,"name":"x","box":1}],
"bf": [{"function_type":"EXPRESSION","body":4,"metadata":13}],
"pif": [{"id":1,"box":1}],
"pof": [{"id":1,"name":"x","box":1}],
"wfopi": [{"src":1,"tgt":1}],
"wfopo": [{"src":1,"tgt":1}]
},
{
"b": [{"function_type":"EXPRESSION"}],
"opi": [{"id":1,"box":1}],
"opo": [{"id":1,"box":1}],
"bf": [{"function_type":"LITERAL","value":{"value_type":"Integer","value":1},"metadata":11},{"function_type":"LANGUAGE_PRIMITIVE","name":"ast.Add","metadata":12}],
"pif": [{"id":1,"box":2},{"id":2,"box":2}],
"pof": [{"id":1,"box":1},{"id":1,"box":2}],
"wfopi": [{"src":1,"tgt":1}],
"wff": [{"src":2,"tgt":1}],
"wfopo": [{"src":1,"tgt":2}]
},
{
"b": [{"function_type":"FUNCTION", "metadata": 14}],
"opi": [{"id":1,"box":1}],
"opo": [{"id":1,"name":"x","box":1}],
"bf": [{"function_type":"EXPRESSION","body":6,"metadata":17}],
"pif": [{"id":1,"box":1}],
"pof": [{"id":1,"name":"x","box":1}],
"wfopi": [{"src":1,"tgt":1}],
"wfopo": [{"src":1,"tgt":1}]
},
{
"b": [{"function_type":"EXPRESSION"}],
"opi": [{"id":1,"box":1}],
"opo": [{"id":1,"box":1}],
"bf": [{"function_type":"LITERAL","value":{"value_type":"Integer","value":3},"metadata":15},{"function_type":"LANGUAGE_PRIMITIVE","name":"ast.Sub","metadata":16}],
"pif": [{"id":1,"box":2},{"id":2,"box":2}],
"pof": [{"id":1,"box":1},{"id":1,"box":2}],
"wfopi": [{"src":1,"tgt":1}],
"wff": [{"src":2,"tgt":1}],
"wfopo": [{"src":1,"tgt":2}]
}
],
"metadata_collection": [
[
],
[
{"metadata_type":"source_code_collection","name":"","global_reference_id":"","files":[{"uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","name":"cond1.py","path":""}],"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.879775"}},
{"metadata_type":"gromet_creation","gromet_version":"0.1.6","provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.879796"}}
],
[
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":1,"line_end":6,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.879813"}}
],
[
{"metadata_type":"source_code_data_type","source_language":"Python","source_language_version":"3.8","data_type":"<class 'int'>","provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.879893"}},
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":1,"line_end":1,"col_begin":4,"col_end":5,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.879885"}}
],
[
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":1,"line_end":1,"col_begin":0,"col_end":5,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.879857"}}
],
[
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":3,"line_end":6,"col_begin":0,"col_end":13,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.879979"}}
],
[
{"metadata_type":"source_code_data_type","source_language":"Python","source_language_version":"3.8","data_type":"<class 'int'>","provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.880049"}},
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":3,"line_end":3,"col_begin":7,"col_end":8,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.880042"}}
],
[
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":3,"line_end":3,"col_begin":3,"col_end":8,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.880071"}}
],
[
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":3,"line_end":3,"col_begin":3,"col_end":8,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.880117"}}
],
[
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":4,"line_end":4,"col_begin":4,"col_end":13,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.880147"}}
],
[
{"metadata_type":"source_code_data_type","source_language":"Python","source_language_version":"3.8","data_type":"<class 'int'>","provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.880256"}},
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":4,"line_end":4,"col_begin":12,"col_end":13,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.880249"}}
],
[
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":4,"line_end":4,"col_begin":8,"col_end":13,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.880277"}}
],
[
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":4,"line_end":4,"col_begin":4,"col_end":13,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.880218"}}
],
[
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":6,"line_end":6,"col_begin":4,"col_end":13,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.880381"}}
],
[
{"metadata_type":"source_code_data_type","source_language":"Python","source_language_version":"3.8","data_type":"<class 'int'>","provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.880465"}},
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":6,"line_end":6,"col_begin":12,"col_end":13,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.880458"}}
],
[
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":6,"line_end":6,"col_begin":8,"col_end":13,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.880484"}}
],
[
{"metadata_type":"source_code_reference","code_file_reference_uid":"7cc91397-3cb6-2286-24e4-d49d8999ec6d","line_begin":6,"line_end":6,"col_begin":4,"col_end":13,"provenance":{"method":"skema_code2fn_program_analysis","timestamp":"2023-04-12 14:05:37.880428"}}
]
],
"metadata": 2
}
],
"module_index": [
"..cond1"
],
"executables": [
]
}