TabCompletionType.java

TabCompletionType.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.input.TabCompletionType(String, int)

Kind	Annotation Text

com.dmdirc.ui.input.TabCompletionType__static_init

Kind	Annotation Text
post	$VALUES == &new TabCompletionType[](TabCompleti onType__static_init#7)
post	$VALUES.length == 6
post	$VALUES[0] == &new TabCompletionType(TabComplet ionType__static_init#1)
post	$VALUES[1] == &new TabCompletionType(TabComplet ionType__static_init#2)
post	$VALUES[2] == &new TabCompletionType(TabComplet ionType__static_init#3)
post	$VALUES[3] == &new TabCompletionType(TabComplet ionType__static_init#4)
post	$VALUES[4] == &new TabCompletionType(TabComplet ionType__static_init#5)
post	$VALUES[5] == &new TabCompletionType(TabComplet ionType__static_init#6)
post	ADDITIONAL == &new TabCompletionType(TabComplet ionType__static_init#5)
post	CHANNEL == &new TabCompletionType(TabCompletion Type__static_init#2)
post	CHANNEL_NICK == &new TabCompletionType(TabCompl etionType__static_init#4)
post	COMMAND == &new TabCompletionType(TabCompletion Type__static_init#1)
post	OTHER == &new TabCompletionType(TabCompletionTy pe__static_init#6)
post	QUERY_NICK == &new TabCompletionType(TabComplet ionType__static_init#3)
post	new TabCompletionType(TabCompletionType__static_ init#1) num objects == 1
post	new TabCompletionType(TabCompletionType__static_ init#2) num objects == 1
post	new TabCompletionType(TabCompletionType__static_ init#3) num objects == 1
post	new TabCompletionType(TabCompletionType__static_ init#4) num objects == 1
post	new TabCompletionType(TabCompletionType__static_ init#5) num objects == 1
post	new TabCompletionType(TabCompletionType__static_ init#6) num objects == 1
post	new TabCompletionType[](TabCompletionType__static_ init#7) num objects == 1
unanalyzed	call on java.lang.Enum

TabCompletionType valueOf(String)

Kind	Annotation Text
post	init'ed(return_value)

TabCompletionType[] values()

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