aboutsummaryrefslogtreecommitdiffstats
path: root/lib/runtime_tools/src
diff options
context:
space:
mode:
authorMagnus Lång <[email protected]>2016-02-27 19:23:48 +0100
committerHans Bolinder <[email protected]>2016-04-28 16:16:09 +0200
commita13d4a750dfdf9a2a96d1e7ec0054644187afa59 (patch)
tree741bd9b4f465db35672cec3b6e7a2a3f08dc2c17 /lib/runtime_tools/src
parentc4a51d9087bdac955e9be94cb0819a01c9e91844 (diff)
downloadotp-a13d4a750dfdf9a2a96d1e7ec0054644187afa59.tar.gz
otp-a13d4a750dfdf9a2a96d1e7ec0054644187afa59.tar.bz2
otp-a13d4a750dfdf9a2a96d1e7ec0054644187afa59.zip
Enhance map specs in erts, stdlib, runtime_tools
Using the new type syntax, we can specify which keys are required, and which are optional in a way Dialyzer could use.
Diffstat (limited to 'lib/runtime_tools/src')
-rw-r--r--lib/runtime_tools/src/msacc.erl18
1 files changed, 9 insertions, 9 deletions
diff --git a/lib/runtime_tools/src/msacc.erl b/lib/runtime_tools/src/msacc.erl
index 612effa5aa..4db5dbec91 100644
--- a/lib/runtime_tools/src/msacc.erl
+++ b/lib/runtime_tools/src/msacc.erl
@@ -32,18 +32,18 @@
-type msacc_data() :: [msacc_data_thread()].
--type msacc_data_thread() :: #{ '$type' => msacc_data,
- type => msacc_type(), id => msacc_id(),
- counters => msacc_data_counters() }.
+-type msacc_data_thread() :: #{ '$type' := msacc_data,
+ type := msacc_type(), id := msacc_id(),
+ counters := msacc_data_counters() }.
-type msacc_data_counters() :: #{ msacc_state() => non_neg_integer()}.
-type msacc_stats() :: [msacc_stats_thread()].
--type msacc_stats_thread() :: #{ '$type' => msacc_stats,
- type => msacc_type(), id => msacc_id(),
- system => float(),
- counters => msacc_stats_counters()}.
--type msacc_stats_counters() :: #{ msacc_state() => #{ thread => float(),
- system => float()}}.
+-type msacc_stats_thread() :: #{ '$type' := msacc_stats,
+ type := msacc_type(), id := msacc_id(),
+ system := float(),
+ counters := msacc_stats_counters()}.
+-type msacc_stats_counters() :: #{ msacc_state() => #{ thread := float(),
+ system := float()}}.
-type msacc_type() :: scheduler | aux | async.