ErrorFixedStatus.java

ErrorFixedStatus.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.logger.ErrorFixedStatus(String, int, String)

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

com.dmdirc.logger.ErrorFixedStatus__static_init

Kind	Annotation Text
post	$VALUES == &new ErrorFixedStatus[](ErrorFixedSt atus__static_init#8)
post	$VALUES.length == 7
post	$VALUES[0] == &new ErrorFixedStatus(ErrorFixedS tatus__static_init#1)
post	$VALUES[1] == &new ErrorFixedStatus(ErrorFixedS tatus__static_init#2)
post	$VALUES[2] == &new ErrorFixedStatus(ErrorFixedS tatus__static_init#3)
post	$VALUES[3] == &new ErrorFixedStatus(ErrorFixedS tatus__static_init#4)
post	$VALUES[4] == &new ErrorFixedStatus(ErrorFixedS tatus__static_init#5)
post	$VALUES[5] == &new ErrorFixedStatus(ErrorFixedS tatus__static_init#6)
post	$VALUES[6] == &new ErrorFixedStatus(ErrorFixedS tatus__static_init#7)
post	FIXED == &new ErrorFixedStatus(ErrorFixedStatus __static_init#3)
post	FIXED.value == &"Fixed"
post	INVALID == &new ErrorFixedStatus(ErrorFixedStat us__static_init#4)
post	INVALID.value == &"Invalid bug"
post	KNOWN == &new ErrorFixedStatus(ErrorFixedStatus __static_init#2)
post	KNOWN.value == &"Known bug"
post	NEW == &new ErrorFixedStatus(ErrorFixedStatus__ static_init#1)
post	NEW.value == &"New bug"
post	TOOOLD == &new ErrorFixedStatus(ErrorFixedStatu s__static_init#6)
post	TOOOLD.value == &"Client too old - please update"
post	UNKNOWN == &new ErrorFixedStatus(ErrorFixedStat us__static_init#7)
post	UNKNOWN.value == &"Unknown status"
post	UNREPORTED == &new ErrorFixedStatus(ErrorFixedS tatus__static_init#5)
post	UNREPORTED.value == &"Unreported"
post	new ErrorFixedStatus(ErrorFixedStatus__static_ init#1) num objects == 1
post	new ErrorFixedStatus(ErrorFixedStatus__static_ init#2) num objects == 1
post	new ErrorFixedStatus(ErrorFixedStatus__static_ init#3) num objects == 1
post	new ErrorFixedStatus(ErrorFixedStatus__static_ init#4) num objects == 1
post	new ErrorFixedStatus(ErrorFixedStatus__static_ init#5) num objects == 1
post	new ErrorFixedStatus(ErrorFixedStatus__static_ init#6) num objects == 1
post	new ErrorFixedStatus(ErrorFixedStatus__static_ init#7) num objects == 1
post	new ErrorFixedStatus[](ErrorFixedStatus__static_ init#8) num objects == 1
unanalyzed	call on java.lang.Enum

String toString()

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

ErrorFixedStatus valueOf(String)

Kind	Annotation Text
post	init'ed(return_value)

ErrorFixedStatus[] values()

Kind	Annotation Text
pre	(soft) init'ed($VALUES[...])
post	new ErrorFixedStatus[](values#1) num objects == 1
post	return_value == &new ErrorFixedStatus[](values# 1)
post	return_value.length == 7
post	return_value[...] == One-of{$VALUES[...], undefined}