AddonInfo.java

AddonInfo.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.addonbrowser.AddonInfo$AddonType(String, int)

Kind	Annotation Text

com.dmdirc.addons.addonbrowser.AddonInfo$AddonType__static_init

Kind	Annotation Text
post	$VALUES == &new AddonInfo$AddonType[](AddonInfo $AddonType__static_init#4)
post	$VALUES.length == 3
post	$VALUES[0] == &new AddonInfo$AddonType(AddonInf o$AddonType__static_init#1)
post	$VALUES[1] == &new AddonInfo$AddonType(AddonInf o$AddonType__static_init#2)
post	$VALUES[2] == &new AddonInfo$AddonType(AddonInf o$AddonType__static_init#3)
post	TYPE_ACTION_PACK == &new AddonInfo$AddonType(Ad donInfo$AddonType__static_init#3)
post	TYPE_PLUGIN == &new AddonInfo$AddonType(AddonIn fo$AddonType__static_init#1)
post	TYPE_THEME == &new AddonInfo$AddonType(AddonInf o$AddonType__static_init#2)
post	new AddonInfo$AddonType(AddonInfo$AddonType__ static_init#1) num objects == 1
post	new AddonInfo$AddonType(AddonInfo$AddonType__ static_init#2) num objects == 1
post	new AddonInfo$AddonType(AddonInfo$AddonType__ static_init#3) num objects == 1
post	new AddonInfo$AddonType[](AddonInfo$AddonType__ static_init#4) num objects == 1
unanalyzed	call on java.lang.Enum

void com.dmdirc.addons.addonbrowser.AddonInfo(Map)

Kind	Annotation Text
pre	entry != null
presumption	java.util.Map:get(...)@79 != null
presumption	java.util.Map:get(...)@85 != null
presumption	java.util.Map:get(...)@87 != null
presumption	javax.swing.ImageIcon:getImage(...)@90 != null
post	init'ed(this.author)
post	init'ed(this.date)
post	init'ed(this.description)
post	init'ed(this.id)
post	init'ed(this.rating)
post	init'ed(this.stableDownload)
post	init'ed(this.title)
post	init'ed(this.unstableDownload)
post	init'ed(this.verified)
post	new ImageIcon(AddonInfo#1) num objects <= 1
post	new ImageIcon(AddonInfo#3) num objects <= 1
post	this.screenshot in Addr_Set{&new ImageIcon(AddonInfo#3),&new ImageIcon(AddonInf o#1)}
post	this.type == One-of{&com.dmdirc.addons. addonbrowser.AddonInfo$AddonType__static_init.new AddonInfo$AddonType(AddonInfo$AddonType__static_ init#1), &com.dmdirc.addons.addonbrowser. AddonInfo$AddonType__static_init.new AddonInfo$AddonType(Addo...
post	this.type in Addr_Set{&com.dmdirc.addons. addonbrowser.AddonInfo$AddonType__static_init.new AddonInfo$AddonType(AddonInfo$AddonType__static_ init#3),&com.dmdirc.addons.addonbrowser. AddonInfo$AddonType__static_init.new AddonInfo$AddonType(Add...
test_vector	java.lang.String:equals(...)@87: {0}, {1}

com.dmdirc.addons.addonbrowser.AddonInfo__static_init

Kind	Annotation Text

String getAuthor()

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

int getDate()

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

String getDescription()

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

int getId()

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

int getRating()

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

ImageIcon getScreenshot()

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

String getStableDownload()

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

String getTitle()

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

AddonInfo$AddonType getType()

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

String getUnstableDownload()

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

bool isDownloadable()

Kind	Annotation Text
post	return_value == 0

bool isInstalled()

Kind	Annotation Text
presumption	com.dmdirc.updater.UpdateChecker:getComponents(... )@143 != null
presumption	com.dmdirc.updater.UpdateComponent:getName(... )@144 != null
presumption	java.util.Iterator:next(...)@143 != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@144: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@143: {0}, {1}

bool isVerified()

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

bool matches(String)

Kind	Annotation Text
pre	(soft) this.description != null
pre	text != null
pre	this.title != null
post	init'ed(return_value)

String toString()

Kind	Annotation Text
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)

AddonInfo$AddonType valueOf(String)

Kind	Annotation Text
post	init'ed(return_value)

AddonInfo$AddonType[] values()

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