def test_url_name_port_exclusion(url):
"""Special case of url name generation that doesn't display ports"""
assume(not url.endswith('/'))
assume(url.count(':') == 0)
server = Server(url, None, 'carl', 'password', 'http')
print(url, server.url_name(), server.__dict__, u'{}://{}'.format('http', url))
assert server.url_name() == u'{}://{}'.format('http', url)
def test_url_name(url, port, protocol):
"""Test to make sure url name generation behaves as expected"""
assume(not url.endswith('/'))
assume(url.count(':') == 0)
server = Server(url, port, 'carl', 'password', protocol)
assert server.url_name() == u'{}://{}:{}'.format(protocol, url, port)
def test_address_parsing():
# Implied protocol, no port
server = Server("code42.com")
assert server.url_name() == "https://code42.com"
# Implied protocol, secure port
server = Server("code42.com:4285")
assert server.url_name() == "https://code42.com:4285"
# Implied protocol, non-secure port
server = Server("code42.com:4280")
assert server.url_name() == "http://code42.com:4280"
# Explicit protocol, no port
server = Server("https://code42.com")
assert server.url_name() == "https://code42.com"
# Explicit protocol, secure port
server = Server("https://code42.com:4285")
assert server.url_name() == "https://code42.com:4285"
# Explicit protocol, non-secure port
server = Server("https://code42.com:4280")
assert server.url_name() == "https://code42.com:4280"
# Explicit protocol, secure port, trailing slash
server = Server("https://code42.com:4280/")
assert server.url_name() == "https://code42.com:4280"
# Explicit protocol, invalid port
server = Server("https://code42.com:428a0")
assert server.url_name() == "https://code42.com"
# Invalid protocol, non-secure port
server = Server("htttps://code42.com:4280")
assert server.url_name() == "htttps://code42.com:4280"
# Implied protocol, secure port argument
server = Server("code42.com", port=4285)
assert server.url_name() == "https://code42.com:4285"
# Implied protocol, non-secure port argument
server = Server("code42.com", port=4280)
assert server.url_name() == "http://code42.com:4280"
# Explicit protocol, secure port argument
server = Server("https://code42.com", port=4285)
assert server.url_name() == "https://code42.com:4285"
# Explicit protocol, non-secure port argument
server = Server("https://code42.com", port=4280)
assert server.url_name() == "https://code42.com:4280"
# Explicit protocol, port, override port argument
server = Server("https://code42.com:4285", port=4280)
assert server.url_name() == "https://code42.com:4280"
# Explicit protocol, port, override port argument
server = Server("http://code42.com:4280", port=4285)
assert server.url_name() == "http://code42.com:4285"
# Protocol, port, override protocol argument
server = Server("http://code42.com:4280", protocol="https")
assert server.url_name() == "https://code42.com:4280"
# Protocol, port, override protocol argument, override port argument
server = Server("http://code42.com:4280", protocol="https", port=4285)
assert server.url_name() == "https://code42.com:4285"
