TimeActionMetaType.java

TimeActionMetaType.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.addons.time.TimeActionMetaType$1(String, int)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.addons.time.TimeActionMetaType$1__static_init

Kind	Annotation Text

void com.dmdirc.addons.time.TimeActionMetaType(String, int)

Kind	Annotation Text

void com.dmdirc.addons.time.TimeActionMetaType(String, int, TimeActionMetaType$1)

Kind	Annotation Text
unanalyzed	call on java.lang.Enum

com.dmdirc.addons.time.TimeActionMetaType__static_init

Kind	Annotation Text
post	$VALUES == &new TimeActionMetaType[](TimeAction MetaType__static_init#2)
post	$VALUES.length == 1
post	$VALUES[0] == &new TimeActionMetaType$1(TimeAct ionMetaType__static_init#1)
post	TIME_TIME == &new TimeActionMetaType$1(TimeActi onMetaType__static_init#1)
post	new TimeActionMetaType$1(TimeActionMetaType__ static_init#1) num objects == 1
post	new TimeActionMetaType[](TimeActionMetaType__ static_init#2) num objects == 1
unanalyzed	call on com.dmdirc.addons.time.TimeActionMetaType
unanalyzed	call on java.lang.Enum

String[] getArgNames()

Kind	Annotation Text
post	new String[](getArgNames#1) num objects == 1
post	return_value == &new String[](getArgNames#1)
post	return_value.length == 1
post	return_value[0] == &"Date"

Class[] getArgTypes()

Kind	Annotation Text
post	new Class[](getArgTypes#1) num objects == 1
post	return_value == &new Class[](getArgTypes#1)
post	return_value.length == 1

Kind	Annotation Text
post	return_value == 1

String getGroup()

Kind	Annotation Text
post	return_value == &"Time Events"

TimeActionMetaType valueOf(String)

Kind	Annotation Text
post	init'ed(return_value)

TimeActionMetaType[] values()

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