ServerInfo.java

ServerInfo.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.parser.irc.ServerInfo()

Kind	Annotation Text
post	this.host == &"irc.quakenet.org"
post	this.isSSL == 0
post	this.password == &""
post	this.port == 6_667
post	this.proxyHost == &"127.0.0.1"
post	this.proxyPass == &""
post	this.proxyPort == 1_080
post	this.proxyUser == &""
post	this.useSocksProxy == 0

void com.dmdirc.parser.irc.ServerInfo(String, int, String)

Kind	Annotation Text
post	init'ed(this.host)
post	init'ed(this.password)
post	init'ed(this.port)
post	this.host == serverHost
post	this.isSSL == 0
post	this.password == serverPass
post	this.port == serverPort
post	this.proxyHost == &"127.0.0.1"
post	this.proxyPass == &""
post	this.proxyPort == 1_080
post	this.proxyUser == &""
post	this.useSocksProxy == 0

com.dmdirc.parser.irc.ServerInfo__static_init

Kind	Annotation Text

String getHost()

Kind	Annotation Text
pre	init'ed(this.host)
post	init'ed(return_value)
post	return_value == this.host

String getPassword()

Kind	Annotation Text
pre	init'ed(this.password)
post	init'ed(return_value)
post	return_value == this.password

int getPort()

Kind	Annotation Text
pre	init'ed(this.port)
post	init'ed(return_value)
post	return_value == this.port

String getProxyHost()

Kind	Annotation Text
pre	init'ed(this.proxyHost)
post	init'ed(return_value)
post	return_value == this.proxyHost

String getProxyPass()

Kind	Annotation Text
pre	init'ed(this.proxyPass)
post	init'ed(return_value)
post	return_value == this.proxyPass

int getProxyPort()

Kind	Annotation Text
pre	init'ed(this.proxyPort)
post	init'ed(return_value)
post	return_value == this.proxyPort

String getProxyUser()

Kind	Annotation Text
pre	init'ed(this.proxyUser)
post	init'ed(return_value)
post	return_value == this.proxyUser

bool getSSL()

Kind	Annotation Text
pre	init'ed(this.isSSL)
post	init'ed(return_value)
post	return_value == this.isSSL

bool getUseSocks()

Kind	Annotation Text
pre	init'ed(this.useSocksProxy)
post	init'ed(return_value)
post	return_value == this.useSocksProxy

void setHost(String)

Kind	Annotation Text
post	init'ed(this.host)
post	this.host == newValue

void setPassword(String)

Kind	Annotation Text
post	init'ed(this.password)
post	this.password == newValue

void setPort(int)

Kind	Annotation Text
post	init'ed(this.port)
post	this.port == newValue

void setProxyHost(String)

Kind	Annotation Text
post	init'ed(this.proxyHost)
post	this.proxyHost == newValue

void setProxyPass(String)

Kind	Annotation Text
post	init'ed(this.proxyPass)
post	this.proxyPass == newValue

void setProxyPort(int)

Kind	Annotation Text
post	init'ed(this.proxyPort)
post	this.proxyPort == newValue

void setProxyUser(String)

Kind	Annotation Text
post	init'ed(this.proxyUser)
post	this.proxyUser == newValue

void setSSL(bool)

Kind	Annotation Text
post	init'ed(this.isSSL)
post	this.isSSL == newValue

void setUseSocks(bool)

Kind	Annotation Text
post	init'ed(this.useSocksProxy)
post	this.useSocksProxy == newValue