1 -module(hope_dictionary_SUITE).
18 , t_dictionary_specs/1
23 -define(DICT_MODULE , dict_module).
24 -define(DICT_MODULE_KV_LIST , hope_kv_list).
27 %% ============================================================================
28 %% Common Test callbacks
29 %% ============================================================================
32 [{group, ?DICT_MODULE_KV_LIST}].
42 % TODO: Find-out why t_dictionary_specs failes with latest proper HEAD:
44 % Testing hope_kv_list:to_kv_list/1
45 % Error: The typeserver encountered an error: {unbound_var,'K'}.
46 % *** CT Error Notification 2015-09-26 13:46:38.684 ***
47 % hope_dictionary_SUITE:t_dictionary_specs failed on line 111
48 % Reason: {badmatch,[{hope_kv_list,of_kv_list,1}]}
54 Properties = [parallel],
55 [{?DICT_MODULE_KV_LIST, Properties, Tests}].
57 init_per_group(DictModule, Cfg) ->
58 hope_kv_list:set(Cfg, ?DICT_MODULE, DictModule).
60 end_per_group(_DictModule, _Cfg) ->
64 %% =============================================================================
66 %% =============================================================================
69 {some, DictModule} = hope_kv_list:get(Cfg, ?DICT_MODULE),
74 D = DictModule:set(DictModule:empty(), K1, V1),
75 {some, V1} = DictModule:get(D, K1),
76 V1 = DictModule:get(D, K1, V2),
77 none = DictModule:get(D, K2),
78 V2 = DictModule:get(D, K2, V2),
79 default = DictModule:get(D, K1, default, fun (X) -> X =:= foo end),
80 V1 = DictModule:get(D, K1, default, fun (X) -> X =:= V1 end).
83 {some, DictModule} = hope_kv_list:get(Cfg, ?DICT_MODULE),
86 ListInitial = DictModule:empty(),
87 ListResulting = DictModule:set(ListInitial, Key, ValExpected),
88 {some, ValResulting} = DictModule:get(ListResulting, Key),
89 ValResulting = ValExpected.
91 t_set_existing(Cfg) ->
92 {some, DictModule} = hope_kv_list:get(Cfg, ?DICT_MODULE),
96 ListInitial = [{donald, duck}, {Key, ValInitial}],
97 ListResulting = DictModule:set(ListInitial, Key, ValExpected),
98 {some, ValResulting} = DictModule:get(ListResulting, Key),
99 ValResulting = ValExpected.
102 {some, DictModule} = hope_kv_list:get(Cfg, ?DICT_MODULE),
103 KVList = [{a, 1}, {b, 2}, {c, 3}],
104 Dict1 = DictModule:of_kv_list(KVList),
105 {{some, 1} , Dict2} = DictModule:pop(Dict1, a),
106 {none , Dict3} = DictModule:pop(Dict2, a),
107 {{some, 2} , Dict4} = DictModule:pop(Dict3, b),
108 {none , Dict5} = DictModule:pop(Dict4, b),
109 {{some, 3} , Dict6} = DictModule:pop(Dict5, c),
110 {none , Dict7} = DictModule:pop(Dict6, c),
111 [] = DictModule:to_kv_list(Dict7).
114 {some, DictModule} = hope_kv_list:get(Cfg, ?DICT_MODULE),
115 KVList = [{a, 1}, {a, 5}, {b, 3}, {c, 4}, {c, 4}],
116 Dict = DictModule:of_kv_list(KVList),
117 17 = DictModule:fold(Dict, fun (_K, V, Acc) -> V + Acc end, 0).
119 t_dictionary_specs(Cfg) ->
120 {some, DictModule} = hope_kv_list:get(Cfg, ?DICT_MODULE),
121 [] = proper:check_specs(DictModule).
124 {some, DictModule} = hope_kv_list:get(Cfg, ?DICT_MODULE),
125 D = DictModule:of_kv_list([{a, 1}, {b, 2}, {c, 3}]),
126 true = DictModule:has_key(D, a),
127 true = DictModule:has_key(D, b),
128 true = DictModule:has_key(D, c),
129 false = DictModule:has_key(D, d),
130 false = DictModule:has_key(D, e),
131 false = DictModule:has_key(D, f).