|
@@ -1,8 +1,4 @@
|
|
|
import modelverse_kernel.primitives as primitive_functions
|
|
|
-import modelverse_kernel.compiled as compiled_functions
|
|
|
-from collections import defaultdict
|
|
|
-import sys
|
|
|
-import time
|
|
|
|
|
|
class ModelverseKernel(object):
|
|
|
def __init__(self, root):
|
|
@@ -377,7 +373,6 @@ class ModelverseKernel(object):
|
|
|
pass
|
|
|
elif (True and Rules_N1_1 is not None and Rules_N1_2 is not None and Rules_N1_3 is not None and isinstance(Rules_N1_3_V , dict) and Rules_N1_3_V['value'] == 'access' and Rules_N1_4 is not None and Rules_N1_4_V == 'eval'):
|
|
|
# Execute rule Rules/Access_Eval_N1
|
|
|
- print('Rules/Access_Eval_N1')
|
|
|
Rules_N1_1, = yield [('RD', [Rules_N1_0, taskname])]
|
|
|
Rules_N1_2, = yield [('RD', [Rules_N1_1, 'frame'])]
|
|
|
Rules_N1_3, = yield [('RD', [Rules_N1_2, 'IP'])]
|
|
@@ -393,7 +388,6 @@ class ModelverseKernel(object):
|
|
|
Rules___18, = yield [('CD', [Rules_N1_2, 'returnvalue', Rules_N1_6])]
|
|
|
elif (True and Rules_N2_1 is not None and Rules_N2_2 is not None and Rules_N2_3 is not None and Rules_N2_3_V == 'init' and Rules_N2_5 is not None and isinstance(Rules_N2_5_V , dict) and Rules_N2_5_V['value'] == 'access'):
|
|
|
# Execute rule Rules/Access_Init_N2
|
|
|
- print('Rules/Access_Init_N2')
|
|
|
Rules_N2_1, = yield [('RD', [Rules_N2_0, taskname])]
|
|
|
Rules_N2_2, = yield [('RD', [Rules_N2_1, 'frame'])]
|
|
|
Rules_N2_3, = yield [('RD', [Rules_N2_2, 'phase'])]
|
|
@@ -413,7 +407,6 @@ class ModelverseKernel(object):
|
|
|
Rules___51, = yield [('CD', [Rules_N2_6, 'inst', Rules_N2_5])]
|
|
|
elif (True and Rules_N3_1 is not None and Rules_N3_2 is not None and Rules_N3_3 is not None and isinstance(Rules_N3_3_V , dict) and Rules_N3_3_V['value'] == 'assign' and Rules_N3_4 is not None and Rules_N3_4_V == 'assign'):
|
|
|
# Execute rule Rules/Assign_Assign_N3
|
|
|
- print('Rules/Assign_Assign_N3')
|
|
|
Rules_N3_1, = yield [('RD', [Rules_N3_0, taskname])]
|
|
|
Rules_N3_2, = yield [('RD', [Rules_N3_1, 'frame'])]
|
|
|
Rules_N3_3, = yield [('RD', [Rules_N3_2, 'IP'])]
|
|
@@ -432,7 +425,6 @@ class ModelverseKernel(object):
|
|
|
Rules___78, = yield [('CD', [Rules_N3_7, 'value', Rules_N3_6])]
|
|
|
elif (True and Rules_N4_1 is not None and Rules_N4_2 is not None and Rules_N4_3 is not None and Rules_N4_3_V == 'init' and Rules_N4_6 is not None and isinstance(Rules_N4_6_V , dict) and Rules_N4_6_V['value'] == 'assign'):
|
|
|
# Execute rule Rules/Assign_Init_N4
|
|
|
- print('Rules/Assign_Init_N4')
|
|
|
Rules_N4_1, = yield [('RD', [Rules_N4_0, taskname])]
|
|
|
Rules_N4_2, = yield [('RD', [Rules_N4_1, 'frame'])]
|
|
|
Rules_N4_3, = yield [('RD', [Rules_N4_2, 'phase'])]
|
|
@@ -452,7 +444,6 @@ class ModelverseKernel(object):
|
|
|
Rules___109, = yield [('CD', [Rules_N4_5, 'phase', Rules_N4_7])]
|
|
|
elif (True and Rules_N5_1 is not None and Rules_N5_2 is not None and Rules_N5_3 is not None and Rules_N5_3_V == 'value' and Rules_N5_4 is not None and isinstance(Rules_N5_4_V , dict) and Rules_N5_4_V['value'] == 'assign'):
|
|
|
# Execute rule Rules/Assign_Value_N5
|
|
|
- print('Rules/Assign_Value_N5')
|
|
|
Rules_N5_1, = yield [('RD', [Rules_N5_0, taskname])]
|
|
|
Rules_N5_2, = yield [('RD', [Rules_N5_1, 'frame'])]
|
|
|
Rules_N5_3, = yield [('RD', [Rules_N5_2, 'phase'])]
|
|
@@ -478,7 +469,6 @@ class ModelverseKernel(object):
|
|
|
Rules___148, = yield [('CD', [Rules_N5_9, 'phase', Rules_N5_10])]
|
|
|
elif (True and Rules_N6_1 is not None and Rules_N6_2 is not None and Rules_N6_3 is not None and Rules_N6_3_V == 'init' and Rules_N6_5 is not None and isinstance(Rules_N6_5_V , dict) and Rules_N6_5_V['value'] == 'break'):
|
|
|
# Execute rule Rules/Break_N6
|
|
|
- print('Rules/Break_N6')
|
|
|
Rules_N6_1, = yield [('RD', [Rules_N6_0, taskname])]
|
|
|
Rules_N6_2, = yield [('RD', [Rules_N6_1, 'frame'])]
|
|
|
Rules_N6_3, = yield [('RD', [Rules_N6_2, 'phase'])]
|
|
@@ -506,7 +496,6 @@ class ModelverseKernel(object):
|
|
|
Rules___187, = yield [('CD', [Rules_N6_8, 'phase', Rules_N6_11])]
|
|
|
elif (True and Rules_N7_1 is not None and Rules_N7_3 is not None and Rules_N7_6 is not None and isinstance(Rules_N7_6_V , dict) and Rules_N7_6_V['value'] == 'call' and Rules_N7_10 is not None and Rules_N7_10_V == 'call' and Rules_N7_11 is None ):
|
|
|
# Execute rule Rules/Call_Call_None_N7
|
|
|
- print('Rules/Call_Call_None_N7')
|
|
|
Rules_N7_1, = yield [('RD', [Rules_N7_0, taskname])]
|
|
|
Rules_N7_3, = yield [('RD', [Rules_N7_1, 'frame'])]
|
|
|
Rules_N7_3_DEL, = yield [('RDE', [Rules_N7_1, 'frame'])]
|
|
@@ -535,7 +524,6 @@ class ModelverseKernel(object):
|
|
|
Rules___229, = yield [('CD', [Rules_N7_3, 'phase', Rules_N7_9])]
|
|
|
elif (True and Rules_N8_1 is not None and Rules_N8_3 is not None and Rules_N8_4 is not None and isinstance(Rules_N8_4_V , dict) and Rules_N8_4_V['value'] == 'call' and Rules_N8_5 is not None and Rules_N8_14 is not None and Rules_N8_14_V == 'call'):
|
|
|
# Execute rule Rules/Call_Call_Params_N8
|
|
|
- print('Rules/Call_Call_Params_N8')
|
|
|
Rules_N8_1, = yield [('RD', [Rules_N8_0, taskname])]
|
|
|
Rules_N8_3, = yield [('RD', [Rules_N8_1, 'frame'])]
|
|
|
Rules_N8_3_DEL, = yield [('RDE', [Rules_N8_1, 'frame'])]
|
|
@@ -580,7 +568,6 @@ class ModelverseKernel(object):
|
|
|
Rules___286, = yield [('CE', [Rules_N8_16, Rules_N8_9])]
|
|
|
elif (True and Rules_N9_1 is not None and Rules_N9_2 is not None and Rules_N9_14 is not None and isinstance(Rules_N9_14_V , dict) and Rules_N9_14_V['value'] == 'call' and Rules_N9_15 is not None and Rules_N9_16 is not None ):
|
|
|
# Execute rule Rules/Call_Params_First_Multi_N9
|
|
|
- print('Rules/Call_Params_First_Multi_N9')
|
|
|
Rules_N9_1, = yield [('RD', [Rules_N9_0, taskname])]
|
|
|
Rules_N9_2, = yield [('RD', [Rules_N9_1, 'frame'])]
|
|
|
Rules_N9_13, = yield [('RD', [Rules_N9_2, 'evalstack'])]
|
|
@@ -620,7 +607,6 @@ class ModelverseKernel(object):
|
|
|
Rules___346, = yield [('CD', [Rules_N9_13, 'phase', Rules_N9_16])]
|
|
|
elif (True and Rules_N10_1 is not None and Rules_N10_2 is not None and Rules_N10_14 is not None and isinstance(Rules_N10_14_V , dict) and Rules_N10_14_V['value'] == 'call' and Rules_N10_15 is not None ):
|
|
|
# Execute rule Rules/Call_Params_First_Single_N10
|
|
|
- print('Rules/Call_Params_First_Single_N10')
|
|
|
Rules_N10_1, = yield [('RD', [Rules_N10_0, taskname])]
|
|
|
Rules_N10_2, = yield [('RD', [Rules_N10_1, 'frame'])]
|
|
|
Rules_N10_10, = yield [('RD', [Rules_N10_2, 'returnvalue'])]
|
|
@@ -661,7 +647,6 @@ class ModelverseKernel(object):
|
|
|
Rules___418, = yield [('CD', [Rules_N10_17, 'prev', Rules_N10_12])]
|
|
|
elif (True and Rules_N11_1 is not None and Rules_N11_2 is not None and Rules_N11_14 is not None and Rules_N11_16 is not None and isinstance(Rules_N11_16_V , dict) and Rules_N11_16_V['value'] == 'call'):
|
|
|
# Execute rule Rules/Call_Params_Last_N11
|
|
|
- print('Rules/Call_Params_Last_N11')
|
|
|
Rules_N11_1, = yield [('RD', [Rules_N11_0, taskname])]
|
|
|
Rules_N11_2, = yield [('RD', [Rules_N11_1, 'frame'])]
|
|
|
Rules_N11_16, = yield [('RD', [Rules_N11_2, 'IP'])]
|
|
@@ -723,7 +708,6 @@ class ModelverseKernel(object):
|
|
|
Rules___489, = yield [('CE', [Rules_N11_8, Rules_N11_7])]
|
|
|
elif (True and Rules_N12_1 is not None and Rules_N12_2 is not None and Rules_N12_11 is not None and Rules_N12_18 is not None and Rules_N12_19 is not None and isinstance(Rules_N12_19_V , dict) and Rules_N12_19_V['value'] == 'call'):
|
|
|
# Execute rule Rules/Call_Params_Next_N12
|
|
|
- print('Rules/Call_Params_Next_N12')
|
|
|
Rules_N12_1, = yield [('RD', [Rules_N12_0, taskname])]
|
|
|
Rules_N12_2, = yield [('RD', [Rules_N12_1, 'frame'])]
|
|
|
Rules_N12_10, = yield [('RD', [Rules_N12_2, 'returnvalue'])]
|
|
@@ -784,7 +768,6 @@ class ModelverseKernel(object):
|
|
|
Rules___560, = yield [('CE', [Rules_N12_8, Rules_N12_7])]
|
|
|
elif (True and Rules_N13_1 is not None and Rules_N13_2 is not None and Rules_N13_3 is not None and Rules_N13_3_V == 'init' and Rules_N13_6 is not None and isinstance(Rules_N13_6_V , dict) and Rules_N13_6_V['value'] == 'call' and Rules_N13_9 is None ):
|
|
|
# Execute rule Rules/Call_Resolve_No_Params_N13
|
|
|
- print('Rules/Call_Resolve_No_Params_N13')
|
|
|
Rules_N13_1, = yield [('RD', [Rules_N13_0, taskname])]
|
|
|
Rules_N13_2, = yield [('RD', [Rules_N13_1, 'frame'])]
|
|
|
Rules_N13_6, = yield [('RD', [Rules_N13_2, 'IP'])]
|
|
@@ -805,7 +788,6 @@ class ModelverseKernel(object):
|
|
|
Rules___590, = yield [('CD', [Rules_N13_5, 'phase', Rules_N13_7])]
|
|
|
elif (True and Rules_N14_1 is not None and Rules_N14_2 is not None and Rules_N14_5 is not None and isinstance(Rules_N14_5_V , dict) and Rules_N14_5_V['value'] == 'call' and Rules_N14_7 is not None and Rules_N14_7_V == 'init' and Rules_N14_8 is not None ):
|
|
|
# Execute rule Rules/Call_Resolve_Params_N14
|
|
|
- print('Rules/Call_Resolve_Params_N14')
|
|
|
Rules_N14_1, = yield [('RD', [Rules_N14_0, taskname])]
|
|
|
Rules_N14_2, = yield [('RD', [Rules_N14_1, 'frame'])]
|
|
|
Rules_N14_3, = yield [('RD', [Rules_N14_2, 'evalstack'])]
|
|
@@ -825,7 +807,6 @@ class ModelverseKernel(object):
|
|
|
Rules___623, = yield [('CD', [Rules_N14_4, 'prev', Rules_N14_3])]
|
|
|
elif (True and Rules_N15_1 is not None and Rules_N15_2 is not None and Rules_N15_4 is not None and Rules_N15_4_V == 'init' and Rules_N15_6 is not None and isinstance(Rules_N15_6_V , dict) and Rules_N15_6_V['value'] == 'constant'):
|
|
|
# Execute rule Rules/Const_N15
|
|
|
- print('Rules/Const_N15')
|
|
|
Rules_N15_1, = yield [('RD', [Rules_N15_0, taskname])]
|
|
|
Rules_N15_2, = yield [('RD', [Rules_N15_1, 'frame'])]
|
|
|
Rules_N15_3, = yield [('RD', [Rules_N15_2, 'returnvalue'])]
|
|
@@ -841,7 +822,6 @@ class ModelverseKernel(object):
|
|
|
Rules___647, = yield [('CD', [Rules_N15_2, 'phase', Rules_N15_5])]
|
|
|
elif (True and Rules_N16_1 is not None and Rules_N16_2 is not None and Rules_N16_3 is not None and Rules_N16_3_V == 'init' and Rules_N16_4 is not None and isinstance(Rules_N16_4_V , dict) and Rules_N16_4_V['value'] == 'continue'):
|
|
|
# Execute rule Rules/Continue_N16
|
|
|
- print('Rules/Continue_N16')
|
|
|
Rules_N16_1, = yield [('RD', [Rules_N16_0, taskname])]
|
|
|
Rules_N16_2, = yield [('RD', [Rules_N16_1, 'frame'])]
|
|
|
Rules_N16_3, = yield [('RD', [Rules_N16_2, 'phase'])]
|
|
@@ -867,7 +847,6 @@ class ModelverseKernel(object):
|
|
|
Rules___684, = yield [('CD', [Rules_N16_8, 'prev', Rules_N16_7])]
|
|
|
elif (True and Rules_N17_1 is not None and Rules_N17_2 is not None and Rules_N17_3 is not None and Rules_N17_3_V == 'init' and Rules_N17_5 is not None and isinstance(Rules_N17_5_V , dict) and Rules_N17_5_V['value'] == 'declare'):
|
|
|
# Execute rule Rules/Declare_Init_N17
|
|
|
- print('Rules/Declare_Init_N17')
|
|
|
Rules_N17_1, = yield [('RD', [Rules_N17_0, taskname])]
|
|
|
Rules_N17_2, = yield [('RD', [Rules_N17_1, 'frame'])]
|
|
|
Rules_N17_3, = yield [('RD', [Rules_N17_2, 'phase'])]
|
|
@@ -883,7 +862,6 @@ class ModelverseKernel(object):
|
|
|
Rules___710, = yield [('CE', [Rules_N17_9, Rules_N17_7])]
|
|
|
elif (True and Rules_N18_1 is not None and Rules_N18_2 is not None and Rules_N18_4 is not None and Rules_N18_4_V == 'init' and Rules_N18_6 is not None and isinstance(Rules_N18_6_V , dict) and Rules_N18_6_V['value'] == 'global'):
|
|
|
# Execute rule Rules/Global_Init_N18
|
|
|
- print('Rules/Global_Init_N18')
|
|
|
Rules_N18_1, = yield [('RD', [Rules_N18_0, taskname])]
|
|
|
Rules_N18_2, = yield [('RD', [Rules_N18_1, 'frame'])]
|
|
|
Rules_N18_3, = yield [('RD', [Rules_N18_1, 'globals'])]
|
|
@@ -899,7 +877,6 @@ class ModelverseKernel(object):
|
|
|
Rules___736, = yield [('CE', [Rules_N18_9, Rules_N18_7])]
|
|
|
elif (True and Rules_N19_1 is not None and Rules_N19_2 is not None and Rules_N19_3 is not None and Rules_N19_3_V == 'init' and Rules_N19_6 is not None and isinstance(Rules_N19_6_V , dict) and Rules_N19_6_V['value'] == 'if'):
|
|
|
# Execute rule Rules/If_Cond_N19
|
|
|
- print('Rules/If_Cond_N19')
|
|
|
Rules_N19_1, = yield [('RD', [Rules_N19_0, taskname])]
|
|
|
Rules_N19_2, = yield [('RD', [Rules_N19_1, 'frame'])]
|
|
|
Rules_N19_3, = yield [('RD', [Rules_N19_2, 'phase'])]
|
|
@@ -919,7 +896,6 @@ class ModelverseKernel(object):
|
|
|
Rules___765, = yield [('CD', [Rules_N19_5, 'phase', Rules_N19_7])]
|
|
|
elif (True and Rules_N20_1 is not None and Rules_N20_2 is not None and Rules_N20_3 is not None and Rules_N20_3_V == 'cond' and Rules_N20_4 is not None and isinstance(Rules_N20_4_V , dict) and Rules_N20_4_V['value'] == 'if' and Rules_N20_6 is not None and Rules_N20_6_V == False and Rules_N20_8 is not None ):
|
|
|
# Execute rule Rules/If_False_Else_N20
|
|
|
- print('Rules/If_False_Else_N20')
|
|
|
Rules_N20_1, = yield [('RD', [Rules_N20_0, taskname])]
|
|
|
Rules_N20_2, = yield [('RD', [Rules_N20_1, 'frame'])]
|
|
|
Rules_N20_3, = yield [('RD', [Rules_N20_2, 'phase'])]
|
|
@@ -944,7 +920,6 @@ class ModelverseKernel(object):
|
|
|
Rules___804, = yield [('CD', [Rules_N20_9, 'phase', Rules_N20_10])]
|
|
|
elif (True and Rules_N21_1 is not None and Rules_N21_2 is not None and Rules_N21_3 is not None and Rules_N21_3_V == 'cond' and Rules_N21_5 is not None and isinstance(Rules_N21_5_V , dict) and Rules_N21_5_V['value'] == 'if' and Rules_N21_6 is not None and Rules_N21_6_V == False and Rules_N21_7 is None ):
|
|
|
# Execute rule Rules/If_False_None_N21
|
|
|
- print('Rules/If_False_None_N21')
|
|
|
Rules_N21_1, = yield [('RD', [Rules_N21_0, taskname])]
|
|
|
Rules_N21_2, = yield [('RD', [Rules_N21_1, 'frame'])]
|
|
|
Rules_N21_5, = yield [('RD', [Rules_N21_2, 'IP'])]
|
|
@@ -957,7 +932,6 @@ class ModelverseKernel(object):
|
|
|
Rules___824, = yield [('CD', [Rules_N21_2, 'phase', Rules_N21_4])]
|
|
|
elif (True and Rules_N22_1 is not None and Rules_N22_2 is not None and Rules_N22_3 is not None and Rules_N22_3_V == 'cond' and Rules_N22_6 is not None and Rules_N22_6_V == True and Rules_N22_9 is not None and isinstance(Rules_N22_9_V , dict) and Rules_N22_9_V['value'] == 'if'):
|
|
|
# Execute rule Rules/If_True_N22
|
|
|
- print('Rules/If_True_N22')
|
|
|
Rules_N22_1, = yield [('RD', [Rules_N22_0, taskname])]
|
|
|
Rules_N22_2, = yield [('RD', [Rules_N22_1, 'frame'])]
|
|
|
Rules_N22_3, = yield [('RD', [Rules_N22_2, 'phase'])]
|
|
@@ -982,7 +956,6 @@ class ModelverseKernel(object):
|
|
|
Rules___861, = yield [('CD', [Rules_N22_7, 'phase', Rules_N22_10])]
|
|
|
elif (True and Rules_N23_1 is not None and Rules_N23_2 is not None and Rules_N23_5 is not None and isinstance(Rules_N23_5_V , dict) and Rules_N23_5_V['value'] == 'input' and Rules_N23_6 is not None and Rules_N23_6_V == 'init' and Rules_N23_7 is not None and Rules_N23_8 is not None ):
|
|
|
# Execute rule Rules/Input_N23
|
|
|
- print('Rules/Input_N23')
|
|
|
Rules_N23_1, = yield [('RD', [Rules_N23_0, taskname])]
|
|
|
Rules_N23_2, = yield [('RD', [Rules_N23_1, 'frame'])]
|
|
|
Rules_N23_8, = yield [('RD', [Rules_N23_1, 'input'])]
|
|
@@ -1007,7 +980,6 @@ class ModelverseKernel(object):
|
|
|
Rules___895, = yield [('CD', [Rules_N23_1, 'input', Rules_N23_9])]
|
|
|
elif (True and Rules_N24_1 is not None and Rules_N24_2 is not None and Rules_N24_3 is not None and Rules_N24_3_V == 'finish' and Rules_N24_5 is not None and Rules_N24_6 is not None ):
|
|
|
# Execute rule Rules/Next_Next_N24
|
|
|
- print('Rules/Next_Next_N24')
|
|
|
Rules_N24_1, = yield [('RD', [Rules_N24_0, taskname])]
|
|
|
Rules_N24_2, = yield [('RD', [Rules_N24_1, 'frame'])]
|
|
|
Rules_N24_3, = yield [('RD', [Rules_N24_2, 'phase'])]
|
|
@@ -1022,7 +994,6 @@ class ModelverseKernel(object):
|
|
|
Rules___914, = yield [('CD', [Rules_N24_2, 'IP', Rules_N24_6])]
|
|
|
elif (True and Rules_N25_1 is not None and Rules_N25_2 is not None and Rules_N25_3 is not None and Rules_N25_3_V == 'finish' and Rules_N25_4 is not None and Rules_N25_9 is None ):
|
|
|
# Execute rule Rules/Next_NoNext_N25
|
|
|
- print('Rules/Next_NoNext_N25')
|
|
|
Rules_N25_1, = yield [('RD', [Rules_N25_0, taskname])]
|
|
|
Rules_N25_2, = yield [('RD', [Rules_N25_1, 'frame'])]
|
|
|
Rules_N25_3, = yield [('RD', [Rules_N25_2, 'phase'])]
|
|
@@ -1049,7 +1020,6 @@ class ModelverseKernel(object):
|
|
|
Rules___942, = yield [('CD', [Rules_N25_2, 'phase', Rules_N25_8])]
|
|
|
elif (True and Rules_N26_1 is not None and Rules_N26_2 is not None and Rules_N26_3 is not None and Rules_N26_3_V == 'init' and Rules_N26_4 is not None and isinstance(Rules_N26_4_V , dict) and Rules_N26_4_V['value'] == 'output'):
|
|
|
# Execute rule Rules/Output_Init_N26
|
|
|
- print('Rules/Output_Init_N26')
|
|
|
Rules_N26_1, = yield [('RD', [Rules_N26_0, taskname])]
|
|
|
Rules_N26_2, = yield [('RD', [Rules_N26_1, 'frame'])]
|
|
|
Rules_N26_3, = yield [('RD', [Rules_N26_2, 'phase'])]
|
|
@@ -1069,7 +1039,6 @@ class ModelverseKernel(object):
|
|
|
Rules___979, = yield [('CD', [Rules_N26_6, 'phase', Rules_N26_8])]
|
|
|
elif (True and Rules_N27_1 is not None and Rules_N27_2 is not None and Rules_N27_4 is not None and isinstance(Rules_N27_4_V , dict) and Rules_N27_4_V['value'] == 'output' and Rules_N27_5 is not None and Rules_N27_5_V == 'output'):
|
|
|
# Execute rule Rules/Output_Output_N27
|
|
|
- print('Rules/Output_Output_N27')
|
|
|
Rules_N27_1, = yield [('RD', [Rules_N27_0, taskname])]
|
|
|
Rules_N27_2, = yield [('RD', [Rules_N27_1, 'frame'])]
|
|
|
Rules_N27_3, = yield [('RD', [Rules_N27_1, 'last_output'])]
|
|
@@ -1088,7 +1057,6 @@ class ModelverseKernel(object):
|
|
|
Rules___1008, = yield [('CD', [Rules_N27_1, 'last_output', Rules_N27_8])]
|
|
|
elif (True and Rules_N28_1 is not None and Rules_N28_3 is not None and Rules_N28_5 is not None and Rules_N28_7 is not None and isinstance(Rules_N28_7_V , dict) and Rules_N28_7_V['value'] == 'resolve' and Rules_N28_8 is not None and Rules_N28_8_V == 'init' and Rules_N28_10 is not None and Rules_N28_11 is None ):
|
|
|
# Execute rule Rules/Resolve_NoAttrGlobal_N28
|
|
|
- print('Rules/Resolve_NoAttrGlobal_N28')
|
|
|
Rules_N28_1, = yield [('RD', [Rules_N28_0, taskname])]
|
|
|
Rules_N28_2, = yield [('RD', [Rules_N28_1, 'globals'])]
|
|
|
Rules_N28_3, = yield [('RD', [Rules_N28_1, 'frame'])]
|
|
@@ -1109,7 +1077,6 @@ class ModelverseKernel(object):
|
|
|
Rules___1040, = yield [('CD', [Rules_N28_3, 'returnvalue', Rules_N28_9])]
|
|
|
elif (True and Rules_N29_1 is not None and Rules_N29_2 is not None and Rules_N29_3 is not None and isinstance(Rules_N29_3_V , dict) and Rules_N29_3_V['value'] == 'resolve' and Rules_N29_4 is not None and Rules_N29_4_V == 'init' and Rules_N29_6 is not None and Rules_N29_7 is not None and Rules_N29_9 is not None ):
|
|
|
# Execute rule Rules/Resolve_NoAttr_N29
|
|
|
- print('Rules/Resolve_NoAttr_N29')
|
|
|
Rules_N29_1, = yield [('RD', [Rules_N29_0, taskname])]
|
|
|
Rules_N29_2, = yield [('RD', [Rules_N29_1, 'frame'])]
|
|
|
Rules_N29_3, = yield [('RD', [Rules_N29_2, 'IP'])]
|
|
@@ -1127,7 +1094,6 @@ class ModelverseKernel(object):
|
|
|
Rules___1071, = yield [('CD', [Rules_N29_2, 'returnvalue', Rules_N29_7])]
|
|
|
elif (True and Rules_N30_1 is not None and Rules_N30_2 is not None and Rules_N30_4 is not None and Rules_N30_4_V == 'eval' and Rules_N30_5 is not None and isinstance(Rules_N30_5_V , dict) and Rules_N30_5_V['value'] == 'return'):
|
|
|
# Execute rule Rules/Return_Eval_N30
|
|
|
- print('Rules/Return_Eval_N30')
|
|
|
Rules_N30_1, = yield [('RD', [Rules_N30_0, taskname])]
|
|
|
Rules_N30_2, = yield [('RD', [Rules_N30_1, 'frame'])]
|
|
|
Rules_N30_2_DEL, = yield [('RDE', [Rules_N30_1, 'frame'])]
|
|
@@ -1151,7 +1117,6 @@ class ModelverseKernel(object):
|
|
|
Rules___1102, = yield [('CD', [Rules_N30_3, 'returnvalue', Rules_N30_6])]
|
|
|
elif (True and Rules_N31_1 is not None and Rules_N31_2 is not None and Rules_N31_4 is not None and Rules_N31_4_V == 'init' and Rules_N31_5 is not None and isinstance(Rules_N31_5_V , dict) and Rules_N31_5_V['value'] == 'return' and Rules_N31_6 is None ):
|
|
|
# Execute rule Rules/Return_NoValue_N31
|
|
|
- print('Rules/Return_NoValue_N31')
|
|
|
Rules_N31_1, = yield [('RD', [Rules_N31_0, taskname])]
|
|
|
Rules_N31_2, = yield [('RD', [Rules_N31_1, 'frame'])]
|
|
|
Rules_N31_2_DEL, = yield [('RDE', [Rules_N31_1, 'frame'])]
|
|
@@ -1169,7 +1134,6 @@ class ModelverseKernel(object):
|
|
|
Rules___1117, = yield [('CD', [Rules_N31_1, 'frame', Rules_N31_3])]
|
|
|
elif (True and Rules_N32_1 is not None and Rules_N32_2 is not None and Rules_N32_3 is not None and Rules_N32_3_V == 'init' and Rules_N32_5 is not None and isinstance(Rules_N32_5_V , dict) and Rules_N32_5_V['value'] == 'return' and Rules_N32_7 is not None ):
|
|
|
# Execute rule Rules/Return_Value_N32
|
|
|
- print('Rules/Return_Value_N32')
|
|
|
Rules_N32_1, = yield [('RD', [Rules_N32_0, taskname])]
|
|
|
Rules_N32_2, = yield [('RD', [Rules_N32_1, 'frame'])]
|
|
|
Rules_N32_3, = yield [('RD', [Rules_N32_2, 'phase'])]
|
|
@@ -1189,7 +1153,6 @@ class ModelverseKernel(object):
|
|
|
Rules___1154, = yield [('CD', [Rules_N32_6, 'phase', Rules_N32_8])]
|
|
|
elif (True and Rules_N33_1 is not None and Rules_N33_2 is not None and Rules_N33_3 is not None and Rules_N33_3_V == 'init' and Rules_N33_5 is not None and isinstance(Rules_N33_5_V , dict) and Rules_N33_5_V['value'] == 'while'):
|
|
|
# Execute rule Rules/While_Cond_N33
|
|
|
- print('Rules/While_Cond_N33')
|
|
|
Rules_N33_1, = yield [('RD', [Rules_N33_0, taskname])]
|
|
|
Rules_N33_2, = yield [('RD', [Rules_N33_1, 'frame'])]
|
|
|
Rules_N33_3, = yield [('RD', [Rules_N33_2, 'phase'])]
|
|
@@ -1209,7 +1172,6 @@ class ModelverseKernel(object):
|
|
|
Rules___1185, = yield [('CD', [Rules_N33_6, 'phase', Rules_N33_8])]
|
|
|
elif (True and Rules_N34_1 is not None and Rules_N34_2 is not None and Rules_N34_3 is not None and Rules_N34_3_V == 'cond' and Rules_N34_5 is not None and isinstance(Rules_N34_5_V , dict) and Rules_N34_5_V['value'] == 'while' and Rules_N34_6 is not None and Rules_N34_6_V == False):
|
|
|
# Execute rule Rules/While_False_N34
|
|
|
- print('Rules/While_False_N34')
|
|
|
Rules_N34_1, = yield [('RD', [Rules_N34_0, taskname])]
|
|
|
Rules_N34_2, = yield [('RD', [Rules_N34_1, 'frame'])]
|
|
|
Rules_N34_3, = yield [('RD', [Rules_N34_2, 'phase'])]
|
|
@@ -1221,7 +1183,6 @@ class ModelverseKernel(object):
|
|
|
Rules___1202, = yield [('CD', [Rules_N34_2, 'phase', Rules_N34_4])]
|
|
|
elif (True and Rules_N35_1 is not None and Rules_N35_2 is not None and Rules_N35_3 is not None and Rules_N35_3_V == 'cond' and Rules_N35_5 is not None and isinstance(Rules_N35_5_V , dict) and Rules_N35_5_V['value'] == 'while' and Rules_N35_7 is not None and Rules_N35_7_V == True):
|
|
|
# Execute rule Rules/While_True_N35
|
|
|
- print('Rules/While_True_N35')
|
|
|
Rules_N35_1, = yield [('RD', [Rules_N35_0, taskname])]
|
|
|
Rules_N35_2, = yield [('RD', [Rules_N35_1, 'frame'])]
|
|
|
Rules_N35_3, = yield [('RD', [Rules_N35_2, 'phase'])]
|
|
@@ -1256,7 +1217,6 @@ class ModelverseKernel(object):
|
|
|
task_phase, = yield [('RV', [task_phase])]
|
|
|
if (task_IP is not None and task_IP in self.primitives and task_phase == 'init'):
|
|
|
# Execute a primitive!
|
|
|
- print('Executing primitive: ' + str(self.primitives[task_IP]))
|
|
|
symbols, = yield [('RD', [task_frame, 'symbols'])]
|
|
|
all_links, = yield [('RO', [symbols])]
|
|
|
containers = yield [('RE', [v]) for v in all_links]
|
|
@@ -1298,4 +1258,4 @@ class ModelverseKernel(object):
|
|
|
else:
|
|
|
# no rules were applicable, so idle for some time
|
|
|
pass #TODO
|
|
|
- print('no applicable rule...')
|
|
|
+ raise primitive_functions.SleepKernel(1.0, True)
|