| 563 | } |
| 564 | |
| 565 | json etf_parser::decode_export() { |
| 566 | json exp; |
| 567 | exp["mod"] = inner_parse(); |
| 568 | exp["fun"] = inner_parse(); |
| 569 | exp["arity"] = inner_parse(); |
| 570 | return exp; |
| 571 | } |
| 572 | |
| 573 | json etf_parser::inner_parse() { |
| 574 | /* Decode one value into json from ETF */ |
nothing calls this directly
no outgoing calls
no test coverage detected