method

com.dmdirc.parser.irc.ServerInfo__static_init

method	void com.dmdirc.parser.irc.ServerInfo()
post	this.host == &"irc.quakenet.org"
post	this.isSSL == 0
post	this.useSocksProxy == 0
post	this.password == &""
post	this.proxyPass == &""
post	this.proxyUser == &""
post	this.port == 6_667
post	this.proxyHost == &"127.0.0.1"
post	this.proxyPort == 1_080

method	void com.dmdirc.parser.irc.ServerInfo(String, int, String)
post	this.host == serverHost
post	init'ed(this.host)
post	this.isSSL == 0
post	this.useSocksProxy == 0
post	this.password == serverPass
post	init'ed(this.password)
post	this.port == serverPort
post	init'ed(this.port)
post	this.proxyHost == &"127.0.0.1"
post	this.proxyPass == &""
post	this.proxyUser == &""
post	this.proxyPort == 1_080

method	void setHost(String)
post	this.host == newValue
post	init'ed(this.host)

method	String getHost()
pre	init'ed(this.host)
post	return_value == this.host
post	init'ed(return_value)

method	void setPort(int)
post	this.port == newValue
post	init'ed(this.port)

method	int getPort()
pre	init'ed(this.port)
post	return_value == this.port
post	init'ed(return_value)

method	void setPassword(String)
post	this.password == newValue
post	init'ed(this.password)

method	String getPassword()
pre	init'ed(this.password)
post	return_value == this.password
post	init'ed(return_value)

method	void setSSL(bool)
post	this.isSSL == newValue
post	init'ed(this.isSSL)

method	bool getSSL()
pre	init'ed(this.isSSL)
post	return_value == this.isSSL
post	init'ed(return_value)

method	void setUseSocks(bool)
post	this.useSocksProxy == newValue
post	init'ed(this.useSocksProxy)

method	bool getUseSocks()
pre	init'ed(this.useSocksProxy)
post	return_value == this.useSocksProxy
post	init'ed(return_value)

method	void setProxyHost(String)
post	this.proxyHost == newValue
post	init'ed(this.proxyHost)

method	String getProxyHost()
pre	init'ed(this.proxyHost)
post	return_value == this.proxyHost
post	init'ed(return_value)

method	void setProxyPort(int)
post	this.proxyPort == newValue
post	init'ed(this.proxyPort)

method	int getProxyPort()
pre	init'ed(this.proxyPort)
post	return_value == this.proxyPort
post	init'ed(return_value)

method	void setProxyUser(String)
post	this.proxyUser == newValue
post	init'ed(this.proxyUser)

method	String getProxyUser()
pre	init'ed(this.proxyUser)
post	return_value == this.proxyUser
post	init'ed(return_value)

method	void setProxyPass(String)
post	this.proxyPass == newValue
post	init'ed(this.proxyPass)

method	String getProxyPass()
pre	init'ed(this.proxyPass)
post	return_value == this.proxyPass
post	init'ed(return_value)