addr-spec = local-part "@" domain
(value)
| 1675 | return domain, value |
| 1676 | |
| 1677 | def get_addr_spec(value): |
| 1678 | """ addr-spec = local-part "@" domain |
| 1679 | |
| 1680 | """ |
| 1681 | addr_spec = AddrSpec() |
| 1682 | token, value = get_local_part(value) |
| 1683 | addr_spec.append(token) |
| 1684 | if not value or value[0] != '@': |
| 1685 | addr_spec.defects.append(errors.InvalidHeaderDefect( |
| 1686 | "addr-spec local part with no domain")) |
| 1687 | return addr_spec, value |
| 1688 | addr_spec.append(ValueTerminal('@', 'address-at-symbol')) |
| 1689 | token, value = get_domain(value[1:]) |
| 1690 | addr_spec.append(token) |
| 1691 | return addr_spec, value |
| 1692 | |
| 1693 | def get_obs_route(value): |
| 1694 | """ obs-route = obs-domain-list ":" |
no test coverage detected
searching dependent graphs…