/lib/dialyzer/test/map_SUITE_data/src/contract_violation.erl

https://github.com/cmullaparthi/otp · Erlang · 29 lines · 21 code · 7 blank · 1 comment · 0 complexity · f3d16ce55e3610b76b10a358879fbb92 MD5 · raw file 

    

  1. -module(contract_violation).
    2. 

  2. 

  3. -export([entry/1, beam_disasm_lines/2]).
    4. 

  4. 

  5. %%-----------------------------------------------------------------------
    6. 

  6. 

  7. -type lines() :: #{non_neg_integer() => {string(), non_neg_integer()}}.
    8. 

  8. 

  9. entry(Bin) ->
    10. 

  10.     I = 42,
    11. 

  11.     case beam_disasm_lines(Bin, ':-)') of
    12. 

  12. 	#{I := Loc} -> {good, Loc};
    13. 

  13. 	_ -> bad
    14. 

  14.     end.
    15. 

  15. 

  16. -spec beam_disasm_lines(binary() | none, module()) -> lines().
    17. 

  17. 

  18. beam_disasm_lines(none, _) -> #{};
    19. 

  19. beam_disasm_lines(<<NumLines:32, LineBin:NumLines/binary, FileBin/binary>>,
    20. 

  20. 		  _Module) ->
    21. 

  21.     Lines = binary_to_term(LineBin),
    22. 

  22.     Files = binary_to_term(FileBin),
    23. 

  23.     lines_collect_items(Lines, Files, #{}).
    24. 

  24. 

  25. lines_collect_items([], _, Acc) -> Acc;
    26. 

  26. lines_collect_items([{FileNo, LineNo}|Rest], Files, Acc) ->
    27. 

  27.     #{FileNo := File} = Files,
    28. 

  28.     lines_collect_items(
    29. 

  29.       Rest, Files, Acc#{map_size(Acc)+1 => {location, File, LineNo}}).
    30.