-
Notifications
You must be signed in to change notification settings - Fork 9
/
callgraph.dot
106 lines (105 loc) · 7.75 KB
/
callgraph.dot
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
digraph test{
overlap=scalexy;
"[./synchronous_fsm]build_state_reducer" -> "[./helpers]keys"
"[./synchronous_fsm]build_state_reducer" -> "[./helpers]get_fn_name"
"[./synchronous_fsm]build_state_reducer" -> "[./synchronous_fsm]build_state_reducer"
"[./synchronous_fsm]build_nested_state_structure" -> "[./synchronous_fsm]State"
"[./synchronous_fsm]build_nested_state_structure" -> "[./synchronous_fsm]State"
"[./synchronous_fsm]build_nested_state_structure" -> "[./synchronous_fsm]build_state_reducer"
"[./synchronous_fsm]build_state_reducer" -> "[./helpers]keys"
"[./synchronous_fsm]build_state_reducer" -> "[./synchronous_fsm]build_state_reducer"
"[./synchronous_fsm]build_state_enum" -> "[./synchronous_fsm]build_state_reducer"
"[./synchronous_fsm]create_state_machine" -> "[./synchronous_fsm]build_event_enum"
"[./synchronous_fsm]create_state_machine" -> "[./synchronous_fsm]build_nested_state_structure"
"[./synchronous_fsm]create_state_machine" -> "[./helpers]computeHistoryMaps"
"[./synchronous_fsm]create_state_machine" -> "[./synchronous_fsm]_defineProperty"
"[./synchronous_fsm]create_state_machine" -> "[./synchronous_fsm]_defineProperty"
"[./synchronous_fsm]create_state_machine" -> "[./synchronous_fsm]leave_state"
"[./synchronous_fsm]create_state_machine" -> "[./synchronous_fsm]enter_next_state"
"[./synchronous_fsm]send_event" -> "[./helpers]keys"
"[./synchronous_fsm]send_event" -> "[./synchronous_fsm]process_event"
"[./synchronous_fsm]process_event" -> "[./helpers]arrayizeOutput"
"[./synchronous_fsm]process_event" -> "[./synchronous_fsm]send_event"
"[./synchronous_fsm]process_event" -> "[./synchronous_fsm]_defineProperty"
"[./synchronous_fsm]leave_state" -> "[./synchronous_fsm]updateHistory"
"[./synchronous_fsm]leave_state" -> "[./helpers]wrap"
"[./synchronous_fsm]start" -> "[./synchronous_fsm]send_event"
"[./synchronous_fsm]start" -> "[./synchronous_fsm]_defineProperty"
"[./synchronous_fsm]makeStreamingStateMachine" -> "[./synchronous_fsm]create_state_machine"
"[./synchronous_fsm]makeStreamingStateMachine" -> "[./synchronous_fsm]_defineProperty"
"[./synchronous_fsm]makeStreamingStateMachine" -> "[./helpers]keys"
"[./synchronous_fsm]makeStreamingStateMachine" -> "[./synchronous_fsm]_defineProperty"
"[./synchronous_fsm]decorateWithEntryActions" -> "[./helpers]getFsmStateList"
"[./synchronous_fsm]decorateWithEntryActions" -> "[./synchronous_fsm]decorateWithExitAction"
"[./synchronous_fsm]traceFSM" -> "[./helpers]mapOverTransitionsActions"
"[./synchronous_fsm]makeHistoryStates" -> "[./helpers]getFsmStateList"
"[./synchronous_fsm]makeHistoryStates" -> "[./synchronous_fsm]_defineProperty"
"[./synchronous_fsm]makeHistoryStates" -> "[./synchronous_fsm]_defineProperty"
"[./synchronous_fsm]makeHistoryStates" -> "[./synchronous_fsm]_defineProperty"
"[./synchronous_fsm]makeHistoryStates" -> "[./synchronous_fsm]_defineProperty"
"[./converter]generateStatePlantUmlHeader" -> "[./helpers]getDisplayName"
"[./converter]toPlantUml" -> "[./helpers]times"
"[./converter]toPlantUml" -> "[./converter]stateToPlantUML"
"[./converter]toPlantUml" -> "[./converter]_defineProperty"
"[./converter]stateToPlantUML" -> "[./converter]generateStatePlantUmlHeader"
"[./converter]stateToPlantUML" -> "[./converter]format_history_states"
"[./converter]stateToPlantUML" -> "[./converter]format_entry_transitions"
"[./converter]stateToPlantUML" -> "[./converter]translate_transitions"
"[./converter]format_history_states" -> "[./helpers]get_all_transitions"
"[./converter]format_history_states" -> "[./helpers]is_history_transition"
"[./converter]format_history_states" -> "[./helpers]is_to_history_control_state_of"
"[./converter]format_history_states" -> "[./helpers]format_history_transition_state_name"
"[./converter]format_history_states" -> "[./converter]generateStatePlantUmlHeader"
"[./converter]translate_transitions" -> "[./converter]format_history_transitions"
"[./converter]translate_transitions" -> "[./converter]format_standard_transitions"
"[./converter]format_standard_transitions" -> "[./helpers]get_all_transitions"
"[./converter]format_standard_transitions" -> "[./helpers]is_from_control_state"
"[./converter]format_standard_transitions" -> "[./helpers]is_entry_transition"
"[./converter]format_standard_transitions" -> "[./helpers]is_history_transition"
"[./converter]format_standard_transitions" -> "[./helpers]format_transition_label"
"[./converter]format_entry_transitions" -> "[./helpers]get_all_transitions"
"[./converter]format_entry_transitions" -> "[./helpers]is_entry_transition"
"[./converter]format_entry_transitions" -> "[./helpers]is_from_control_state"
"[./converter]format_entry_transitions" -> "[./helpers]format_transition_label"
"[./converter]format_history_transitions" -> "[./helpers]get_all_transitions"
"[./converter]format_history_transitions" -> "[./helpers]is_from_control_state"
"[./converter]format_history_transitions" -> "[./helpers]is_history_transition"
"[./converter]format_history_transitions" -> "[./helpers]format_history_transition_state_name"
"[./converter]format_history_transitions" -> "[./helpers]format_transition_label"
"[./converter]toDagreVisualizerFormat" -> "[./helpers]times"
"[./converter]toDagreVisualizerFormat" -> "[./converter]_defineProperty"
"[./helpers]assertContract" -> "[./helpers]isBoolean"
"[./helpers]isArrayUpdateOperations" -> "[./helpers]isEmptyArray"
"[./helpers]isArrayUpdateOperations" -> "[./helpers]isArrayOf"
"[./helpers]is_to_history_control_state_of" -> "[./helpers]is_history_control_state_of"
"[./helpers]defaultMerge" -> "[./helpers]_toConsumableArray"
"[./helpers]mergeActionFactories" -> "[./helpers]_toConsumableArray"
"[./helpers]computeHistoryMaps" -> "[./helpers]_defineProperty"
"[./helpers]computeHistoryMaps" -> "[./helpers]_defineProperty"
"[./helpers]mapOverTransitionsActions" -> "[./helpers]reduceTransitions"
"[./helpers]mapOverTransitionsActions" -> "[./helpers]formatActionName"
"[./test_generator]generateTestSequences" -> "[./synchronous_fsm]traceFSM"
"[./test_generator]generateTestSequences" -> "[./test_generator]getGeneratorMapFromGeneratorMachine"
"[./test_generator]generateTestSequences" -> "[./test_generator]convertFSMtoGraph"
"[./test_generator]generateTestSequences" -> "[./synchronous_fsm]create_state_machine"
"[./test_generator]generateTestSequences" -> "[./helpers]lastOf"
"[./test_generator]generateTestSequences" -> "[./test_generator]getGeneratorMappedTransitionFromEdge"
"[./test_generator]generateTestSequences" -> "[./test_generator]computeNewPathTraversalState"
"[./test_generator]computeNewPathTraversalState" -> "[./helpers]isInitState"
"[./test_generator]computeNewPathTraversalState" -> "[./helpers]isInitEvent"
"[./test_generator]computeNewPathTraversalState" -> "[./helpers]isInitState"
"[./test_generator]computeNewPathTraversalState" -> "[./helpers]isInitEvent"
"[./test_generator]computeNewPathTraversalState" -> "[./test_generator]computeGeneratedInfoBaseCase"
"[./test_generator]computeNewPathTraversalState" -> "[./helpers]isInitState"
"[./test_generator]computeNewPathTraversalState" -> "[./helpers]isInitEvent"
"[./test_generator]computeNewPathTraversalState" -> "[./test_generator]computeGeneratedInfoDoNothingCase"
"[./test_generator]computeNewPathTraversalState" -> "[./helpers]isInitState"
"[./test_generator]computeNewPathTraversalState" -> "[./helpers]isInitEvent"
"[./test_generator]computeNewPathTraversalState" -> "[./helpers]isEventless"
"[./test_generator]computeNewPathTraversalState" -> "[./test_generator]computeGeneratedInfoDoNothingCase"
"[./test_generator]computeNewPathTraversalState" -> "[./test_generator]computeGeneratedInfoBaseCase"
"[./test_generator]computeGeneratedInfoBaseCase" -> "[./test_generator]_defineProperty"
"[./test_generator]getGeneratorMapFromGeneratorMachine" -> "[./helpers]reduceTransitions"
"[./test_generator]convertFSMtoGraph" -> "[./helpers]getFsmStateList"
"[./test_generator]convertFSMtoGraph" -> "[./helpers]reduceTransitions"
}