SearchBar.java

SearchBar.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.ui.interfaces.SearchBar$Direction(String, int)

Kind	Annotation Text

com.dmdirc.ui.interfaces.SearchBar$Direction__static_init

Kind	Annotation Text
post	$VALUES == &new SearchBar$Direction[](SearchBar $Direction__static_init#3)
post	$VALUES.length == 2
post	$VALUES[0] == &new SearchBar$Direction(SearchBa r$Direction__static_init#1)
post	$VALUES[1] == &new SearchBar$Direction(SearchBa r$Direction__static_init#2)
post	DOWN == &new SearchBar$Direction(SearchBar$Dire ction__static_init#2)
post	UP == &new SearchBar$Direction(SearchBar$Direct ion__static_init#1)
post	new SearchBar$Direction(SearchBar$Direction__ static_init#1) num objects == 1
post	new SearchBar$Direction(SearchBar$Direction__ static_init#2) num objects == 1
post	new SearchBar$Direction[](SearchBar$Direction__ static_init#3) num objects == 1
unanalyzed	call on java.lang.Enum

com.dmdirc.ui.interfaces.SearchBar__static_init

Kind	Annotation Text

SearchBar$Direction valueOf(String)

Kind	Annotation Text
post	init'ed(return_value)

SearchBar$Direction[] values()

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