diff options
| author | Stavros Aronis <[email protected]> | 2012-02-17 17:18:47 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:17 +0200 |
| commit | b8e96486af6b63c20cefd8af788a8e275a9d8e53 (patch) | |
| tree | 2b907fa52ca8af07d399521129e22ec6077f2d43 /lib/dialyzer/src/dialyzer_dataflow.erl | |
| parent | 7640a30bbd0a45ccea356bd9f9393c445471cbc4 (diff) | |
| download | otp-b8e96486af6b63c20cefd8af788a8e275a9d8e53.tar.gz otp-b8e96486af6b63c20cefd8af788a8e275a9d8e53.tar.bz2 otp-b8e96486af6b63c20cefd8af788a8e275a9d8e53.zip | |
Separate race related fields of callgraph
Diffstat (limited to 'lib/dialyzer/src/dialyzer_dataflow.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index f554143bb6..69575ad63a 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -32,6 +32,7 @@ %% Data structure interfaces. -export([state__add_warning/2, state__cleanup/1, + state__duplicate/1, dispose_state/1, state__get_callgraph/1, state__get_races/1, state__get_records/1, state__put_callgraph/2, state__put_races/2, state__records_only/1]). @@ -3249,6 +3250,16 @@ state__cleanup(#state{callgraph = Callgraph, races = dialyzer_races:cleanup(Races), records = Records}. +-spec state__duplicate(state()) -> state(). + +state__duplicate(#state{callgraph = Callgraph} = State) -> + State#state{callgraph = dialyzer_callgraph:duplicate(Callgraph)}. + +-spec dispose_state(state()) -> ok. + +dispose_state(#state{callgraph = Callgraph}) -> + dialyzer_callgraph:dispose_race_server(Callgraph). + -spec state__get_callgraph(state()) -> dialyzer_callgraph:callgraph(). state__get_callgraph(#state{callgraph = Callgraph}) -> |