Searched refs:active_digraph (Results 1 – 7 of 7) sorted by relevance
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/src/ |
| H A D | dialyzer_callgraph.erl | 94 active_digraph :: active_digraph()
115 -type active_digraph() :: {'d', digraph:graph()} type
248 get_depends_on(SCC, #callgraph{active_digraph = {'e', Out, _In, Maps}}) ->
250 get_depends_on(SCC, #callgraph{active_digraph = {'d', DG}}) ->
330 {Postorder, CG#callgraph{active_digraph = ActiveDG}}.
334 reset_from_funs(Funs, #callgraph{digraph = DG, active_digraph = ADG} = CG) ->
339 {Postorder, CG#callgraph{active_digraph = NewActiveDG}}.
345 active_digraph = ADG} = CG) ->
350 {PO, CG#callgraph{active_digraph = Active}}.
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/src/ |
| H A D | dialyzer_callgraph.erl | 94 active_digraph :: active_digraph()
115 -type active_digraph() :: {'d', digraph:graph()} type
248 get_depends_on(SCC, #callgraph{active_digraph = {'e', Out, _In, Maps}}) ->
250 get_depends_on(SCC, #callgraph{active_digraph = {'d', DG}}) ->
330 {Postorder, CG#callgraph{active_digraph = ActiveDG}}.
334 reset_from_funs(Funs, #callgraph{digraph = DG, active_digraph = ADG} = CG) ->
339 {Postorder, CG#callgraph{active_digraph = NewActiveDG}}.
345 active_digraph = ADG} = CG) ->
350 {PO, CG#callgraph{active_digraph = Active}}.
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/src/ |
| H A D | dialyzer_callgraph.erl | 94 active_digraph :: active_digraph()
115 -type active_digraph() :: {'d', digraph:graph()} type
248 get_depends_on(SCC, #callgraph{active_digraph = {'e', Out, _In, Maps}}) ->
250 get_depends_on(SCC, #callgraph{active_digraph = {'d', DG}}) ->
330 {Postorder, CG#callgraph{active_digraph = ActiveDG}}.
334 reset_from_funs(Funs, #callgraph{digraph = DG, active_digraph = ADG} = CG) ->
339 {Postorder, CG#callgraph{active_digraph = NewActiveDG}}.
345 active_digraph = ADG} = CG) ->
350 {PO, CG#callgraph{active_digraph = Active}}.
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/src/ |
| H A D | dialyzer_callgraph.erl | 94 active_digraph :: active_digraph()
115 -type active_digraph() :: {'d', digraph:graph()} type
248 get_depends_on(SCC, #callgraph{active_digraph = {'e', Out, _In, Maps}}) ->
250 get_depends_on(SCC, #callgraph{active_digraph = {'d', DG}}) ->
330 {Postorder, CG#callgraph{active_digraph = ActiveDG}}.
334 reset_from_funs(Funs, #callgraph{digraph = DG, active_digraph = ADG} = CG) ->
339 {Postorder, CG#callgraph{active_digraph = NewActiveDG}}.
345 active_digraph = ADG} = CG) ->
350 {PO, CG#callgraph{active_digraph = Active}}.
|
| /dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/src/ |
| H A D | dialyzer_callgraph.erl | 94 active_digraph :: active_digraph()
115 -type active_digraph() :: {'d', digraph:graph()} type
248 get_depends_on(SCC, #callgraph{active_digraph = {'e', Out, _In, Maps}}) ->
250 get_depends_on(SCC, #callgraph{active_digraph = {'d', DG}}) ->
330 {Postorder, CG#callgraph{active_digraph = ActiveDG}}.
334 reset_from_funs(Funs, #callgraph{digraph = DG, active_digraph = ADG} = CG) ->
339 {Postorder, CG#callgraph{active_digraph = NewActiveDG}}.
345 active_digraph = ADG} = CG) ->
350 {PO, CG#callgraph{active_digraph = Active}}.
|
| /dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/src/ |
| H A D | dialyzer_callgraph.erl | 94 active_digraph :: active_digraph()
115 -type active_digraph() :: {'d', digraph:graph()} type
248 get_depends_on(SCC, #callgraph{active_digraph = {'e', Out, _In, Maps}}) ->
250 get_depends_on(SCC, #callgraph{active_digraph = {'d', DG}}) ->
330 {Postorder, CG#callgraph{active_digraph = ActiveDG}}.
334 reset_from_funs(Funs, #callgraph{digraph = DG, active_digraph = ADG} = CG) ->
339 {Postorder, CG#callgraph{active_digraph = NewActiveDG}}.
345 active_digraph = ADG} = CG) ->
350 {PO, CG#callgraph{active_digraph = Active}}.
|
| /dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/src/ |
| H A D | dialyzer_callgraph.erl | 94 active_digraph :: active_digraph()
115 -type active_digraph() :: {'d', digraph:graph()} type
248 get_depends_on(SCC, #callgraph{active_digraph = {'e', Out, _In, Maps}}) ->
250 get_depends_on(SCC, #callgraph{active_digraph = {'d', DG}}) ->
330 {Postorder, CG#callgraph{active_digraph = ActiveDG}}.
334 reset_from_funs(Funs, #callgraph{digraph = DG, active_digraph = ADG} = CG) ->
339 {Postorder, CG#callgraph{active_digraph = NewActiveDG}}.
345 active_digraph = ADG} = CG) ->
350 {PO, CG#callgraph{active_digraph = Active}}.
|