Styliser.java

Styliser.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

bool access$002(bool)

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == x0
post	styleLinks == return_value

void addStyledString(StyledDocument, String[])

Kind	Annotation Text
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
pre	(soft) init'ed(styleLinks)
pre	(soft) strings[...] != null
pre	(soft) styledDoc != null
pre	strings != null
pre	strings.length <= 2³²-1
presumption	chars.length@153 <= 2³²-1
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ STRING_STYLED)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	javax.swing.text.StyledDocument:getLength(...)@187 - javax.swing.text.StyledDocument:getLength(... )@162 in {-2³¹..2³²-1}
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toUpperCase
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Locale:getDefault
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.text.SimpleAttributeSet:addAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:contain sAttribute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:getAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:isDefin ed
unanalyzed	call on javax.swing.text.SimpleAttributeSet:removeA ttribute

int checkChar(int, int)

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == One-of{i, pos}
test_vector	i: {-1}, {-2³¹..-2, 0..2³²-2}
test_vector	pos - i: {-6_442_450_943..0}, {1..2³²}

void com.dmdirc.ui.messages.Styliser$1()

Kind	Annotation Text

com.dmdirc.ui.messages.Styliser$1__static_init

Kind	Annotation Text

void com.dmdirc.ui.messages.Styliser()

Kind	Annotation Text

com.dmdirc.ui.messages.Styliser__static_init

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@127 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@131 != null
post	INTERNAL_CHARS == &java.lang.StringBuilder:toSt ring(...)
post	init'ed(styleLinks)
post	java.lang.StringBuilder:toString(...)._tainted == 0

void configChanged(String, String)

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@135 != null
post	init'ed(com/dmdirc/ui/messages/Styliser. styleLinks)

String doLinks(String)

Kind	Annotation Text
pre	string != null
post	return_value != null
test_vector	java.lang.String:equals(...)@226: {1}, {0}
test_vector	java.lang.String:matches(...)@222: {0}, {1}

String doSmilies(String)

Kind	Annotation Text
pre	string != null
post	return_value != null

StyledDocument getStyledString(String[])

Kind	Annotation Text
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
pre	(soft) init'ed(styleLinks)
pre	(soft) strings[...] != null
pre	strings != null
pre	strings.length <= 2³²-1
post	new DefaultStyledDocument(getStyledString#1) num objects == 1
post	return_value == &new DefaultStyledDocument(getS tyledString#1)
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:toUpperCase
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Locale:getDefault
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on javax.swing.text.BadLocationException:getMe ssage
unanalyzed	call on javax.swing.text.SimpleAttributeSet
unanalyzed	call on javax.swing.text.SimpleAttributeSet:addAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:contain sAttribute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:getAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:isDefin ed
unanalyzed	call on javax.swing.text.SimpleAttributeSet:removeA ttribute
unanalyzed	call on javax.swing.text.StyledDocument:getLength
unanalyzed	call on javax.swing.text.StyledDocument:insertStrin g

bool hasHexString(String, int)

Kind	Annotation Text
pre	input != null
post	init'ed(return_value)

bool isHex(char)

Kind	Annotation Text
post	init'ed(return_value)

bool isInt(char)

Kind	Annotation Text
post	init'ed(return_value)

int readControlChars(String, SimpleAttributeSet, bool)

Kind	Annotation Text
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
pre	(soft) init'ed(styleLinks)
pre	attribs != null
pre	string != null
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Bold)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.FontFamily)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Italic)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Underline)
post	return_value in {0..7, 14}
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toUpperCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Locale:getDefault
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.text.SimpleAttributeSet:addAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:contain sAttribute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:getAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:isDefin ed
unanalyzed	call on javax.swing.text.SimpleAttributeSet:removeA ttribute
test_vector	isStart: {0}, {1}
test_vector	java.lang.String:charAt(...)@329: {0,1, 3..2¹⁶-1}, {2}
test_vector	java.lang.String:charAt(...)@338: {0..30, 32..2¹⁶-1}, {31}
test_vector	java.lang.String:charAt(...)@347: {0..28, 30..2¹⁶-1}, {29}
test_vector	java.lang.String:charAt(...)@356: {0..4, 6..2¹⁶-1}, {5}
test_vector	java.lang.String:charAt(...)@371: {0..5, 7..2¹⁶-1}, {6}
test_vector	java.lang.String:charAt(...)@383: {0..15, 17..2¹⁶-1}, {16}
test_vector	java.lang.String:charAt(...)@395: {0..16, 18..2¹⁶-1}, {17}
test_vector	java.lang.String:charAt(...)@409: {0..14, 16..2¹⁶-1}, {15}
test_vector	java.lang.String:charAt(...)@418: {0..2, 4..2¹⁶-1}, {3}
test_vector	java.lang.String:charAt(...)@421: {0..47, 58..2¹⁶-1}, {48..57}
test_vector	java.lang.String:charAt(...)@424: {0..47, 58..2¹⁶-1}, {48..57}
test_vector	java.lang.String:charAt(...)@438: {0..43, 45..2¹⁶-1}, {44}
test_vector	java.lang.String:charAt(...)@438: {0..47, 58..2¹⁶-1}, {48..57}
test_vector	java.lang.String:charAt(...)@443: {0..47, 58..2¹⁶-1}, {48..57}
test_vector	java.lang.String:charAt(...)@463: {0..3, 5..2¹⁶-1}, {4}
test_vector	java.lang.String:charAt(...)@476: {0..43, 45..2¹⁶-1}, {44}
test_vector	java.lang.String:charAt(...)@496: {0..17, 19..2¹⁶-1}, {18}
test_vector	java.lang.String:charAt(...)@502: {0..6, 8..2¹⁶-1}, {7}
test_vector	java.lang.String:length(...)@421: {0,1}, {2..2³²-1}
test_vector	java.lang.String:length(...)@424: {0..2}, {3..2³²-1}
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@326: {1}, {0}
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@397: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:getAttribute(.. .)@361: Inverse{null}, Addr_Set{null}
test_vector	javax.swing.text.SimpleAttributeSet:getAttribute(.. .)@372: Inverse{null}, Addr_Set{null}
test_vector	javax.swing.text.SimpleAttributeSet:getAttribute(.. .)@384: Inverse{null}, Addr_Set{null}
test_vector	javax.swing.text.SimpleAttributeSet:getAttribute(.. .)@503: Inverse{null}, Addr_Set{null}

String readUntilControl(String)

Kind	Annotation Text
pre	input != null
post	init'ed(java.lang.String:substring(...)._tainted)
post	java.lang.String:substring(...)._tainted == input._tainted
post	return_value == &java.lang.String:substring(... )

void resetAttributes(SimpleAttributeSet)

Kind	Annotation Text
pre	attribs != null
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Bold)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.FontFamily)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Italic)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Underline)
unanalyzed	call on javax.swing.text.SimpleAttributeSet:addAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:getAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:isDefin ed
unanalyzed	call on javax.swing.text.SimpleAttributeSet:removeA ttribute
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@619: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@622: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@625: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@628: {0}, {1}

void resetColour(SimpleAttributeSet)

Kind	Annotation Text
pre	attribs != null
presumption	init'ed(javax.swing.text.StyleConstants. Background)
presumption	init'ed(javax.swing.text.StyleConstants. Foreground)
test_vector	javax.swing.text.SimpleAttributeSet:isDefined(... )@641: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:isDefined(... )@644: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:isDefined(... )@648: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:isDefined(... )@651: {0}, {1}

void setBackground(SimpleAttributeSet, String)

Kind	Annotation Text
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
pre	attribs != null
presumption	init'ed(javax.swing.text.StyleConstants. Background)
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
test_vector	javax.swing.text.SimpleAttributeSet:isDefined(... )@679: {0}, {1}

void setDefaultBackground(SimpleAttributeSet, String)

Kind	Annotation Text
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
pre	attribs != null
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put

void setDefaultForeground(SimpleAttributeSet, String)

Kind	Annotation Text
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
pre	attribs != null
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put

void setForeground(SimpleAttributeSet, String)

Kind	Annotation Text
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
pre	attribs != null
presumption	init'ed(javax.swing.text.StyleConstants. Foreground)
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
test_vector	javax.swing.text.SimpleAttributeSet:isDefined(... )@665: {0}, {1}

String stipControlCodes(String)

Kind	Annotation Text
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS != null
pre	(soft) com/dmdirc/ui/messages/ColourManager.IRC_ COLOURS.length >= 1
pre	(soft) init'ed(com/dmdirc/ui/messages/ColourManager .IRC_COLOURS[...])
pre	(soft) init'ed(styleLinks)
pre	input != null
post	init'ed(java.lang.String:concat(...)._tainted)
post	return_value in Addr_Set{&"",&java.lang. String:concat(...)}
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:toUpperCase
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Locale:getDefault
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on javax.swing.text.SimpleAttributeSet:addAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:contain sAttribute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:getAttr ibute
unanalyzed	call on javax.swing.text.SimpleAttributeSet:isDefin ed
unanalyzed	call on javax.swing.text.SimpleAttributeSet:removeA ttribute

void toggleAttribute(SimpleAttributeSet, Object)

Kind	Annotation Text
pre	attribs != null
presumption	init'ed(java.lang.Boolean.TRUE)
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@607: {0}, {1}

void toggleLink(SimpleAttributeSet)

Kind	Annotation Text
pre	(soft) attribs != null
pre	init'ed(styleLinks)
presumption	init'ed(java.awt.Color.BLUE)
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Foreground)
presumption	init'ed(javax.swing.text.StyleConstants$FontConstan ts.Underline)
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@565: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:containsAttribu te(...)@583: {0}, {1}
test_vector	javax.swing.text.SimpleAttributeSet:getAttribute(.. .)@562: Inverse{null}, Addr_Set{null}
test_vector	javax.swing.text.SimpleAttributeSet:getAttribute(.. .)@571: Addr_Set{null}, Inverse{null}
test_vector	javax.swing.text.SimpleAttributeSet:getAttribute(.. .)@590: Addr_Set{null}, Inverse{null}
test_vector	styleLinks: {0}, {1}