addr-spec = local-part "@" domain
(value)
| 1658 | return domain, value |
| 1659 | |
| 1660 | def get_addr_spec(value): |
| 1661 | """ addr-spec = local-part "@" domain |
| 1662 | |
| 1663 | """ |
| 1664 | addr_spec = AddrSpec() |
| 1665 | token, value = get_local_part(value) |
| 1666 | addr_spec.append(token) |
| 1667 | if not value or value[0] != '@': |
| 1668 | addr_spec.defects.append(errors.InvalidHeaderDefect( |
| 1669 | "addr-spec local part with no domain")) |
| 1670 | return addr_spec, value |
| 1671 | addr_spec.append(ValueTerminal('@', 'address-at-symbol')) |
| 1672 | token, value = get_domain(value[1:]) |
| 1673 | addr_spec.append(token) |
| 1674 | return addr_spec, value |
| 1675 | |
| 1676 | def get_obs_route(value): |
| 1677 | """ obs-route = obs-domain-list ":" |
no test coverage detected