Messages

Last Msg First Msg

method

com.dmdirc.addons.ui_swing.textpane.IRCDocument__ static_init

method	void com.dmdirc.addons.ui_swing.textpane. IRCDocument(ConfigManager)
post	this.cachedLines == &new RollingList(IRCDocumen t#3)
post	this.cachedStrings == &new RollingList(IRCDocum ent#4)
post	this.config == config
post	init'ed(this.config)
post	this.lines == &new ArrayList(IRCDocument#1)
post	this.listeners == &new EventListenerList(IRCDoc ument#2)
post	new ArrayList(IRCDocument#1) num objects == 1
post	new EventListenerList(IRCDocument#2) num objects == 1
post	new RollingList(IRCDocument#3) num objects == 1
post	new RollingList(IRCDocument#4) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.util.RollingList(int)

method	int getNumLines()
pre	this.lines != null
post	init'ed(return_value)

method	Line getLine(int)
pre	this.lines != null
post	init'ed(return_value)

method	void addText(String[])
pre	init'ed(this.config)
pre	this.lines != null
pre	this.listeners != null
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.event.EventListenerList:getList enerList
unanalyzed	call on javax.swing.JScrollBar:getValue
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPaneCanvas:repaint
unanalyzed	call on setScrollBarMax
unanalyzed	call on getNumLines
unanalyzed	call on javax.swing.JScrollBar:setValue
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:isVisible
unanalyzed	call on javax.swing.JScrollBar:setMaximum
unanalyzed	call on javax.swing.JScrollBar:getValueIsAdjusting
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on lineAdded

method	void addText(List)
pre	text != null
pre	this.lines != null
pre	this.listeners != null
pre	(soft) init'ed(this.config)
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.event.EventListenerList:getList enerList
unanalyzed	call on javax.swing.JScrollBar:getValue
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPaneCanvas:repaint
unanalyzed	call on setScrollBarMax
unanalyzed	call on getNumLines
unanalyzed	call on javax.swing.JScrollBar:setValue
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:isVisible
unanalyzed	call on javax.swing.JScrollBar:setMaximum
unanalyzed	call on javax.swing.JScrollBar:getValueIsAdjusting
unanalyzed	call on linesAdded
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on java.awt.Font:getSize
test_vector	java.util.Iterator:hasNext(...)@112: {0}, {1}

method	void trim(int)
pre	this.lines != null
pre	this.listeners != null
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.event.EventListenerList:getList enerList
unanalyzed	call on javax.swing.JScrollBar:getValue
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPaneCanvas:repaint
unanalyzed	call on getNumLines
unanalyzed	call on javax.swing.JScrollBar:setValue
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:isVisible
unanalyzed	call on javax.swing.JScrollBar:setMaximum
unanalyzed	call on javax.swing.JScrollBar:getValueIsAdjusting
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on trimmed

method	void clear()
pre	this.lines != null
pre	this.listeners != null
unanalyzed	call on javax.swing.event.EventListenerList:getList enerList
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on cleared

method	void addIRCDocumentListener(IRCDocumentListener)
pre	(soft) this.listeners != null
test_vector	listener: Inverse{null}, Addr_Set{null}

method	void removeIRCDocumentListener(IRCDocumentListener )
pre	this.listeners != null

method	void fireLineAdded(int)
pre	this.listeners != null
pre	(soft) this.lines != null
presumption	javax.swing.event.EventListenerList:getListenerList (...)@170 != null
presumption	listenerList.length@170 in {0, 2..2³²-1}
presumption	listenerList[(i + 1)].canvas.textPane@170 != null
presumption	listenerList[(i + 1)].canvas@170 != null
presumption	listenerList[(i + 1)].document.lines@170 != null
presumption	listenerList[(i + 1)].document@170 != null
presumption	listenerList[(i + 1)].scrollBar@170 != null
presumption	listenerList[i + 1]@170 != null
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JScrollBar:getValue
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPaneCanvas:repaint
unanalyzed	call on setScrollBarMax
unanalyzed	call on getNumLines
unanalyzed	call on javax.swing.JScrollBar:setValue
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:isVisible
unanalyzed	call on javax.swing.JScrollBar:setMaximum
unanalyzed	call on javax.swing.JScrollBar:getValueIsAdjusting

Prev Msg Next Msg

overflow

click for all messages in this file Low Prob.

check that i in {-2_147_483_650..2³²-3}

Prev Msg Next Msg

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that (i + 1) < listenerList.length

Prev Msg Next Msg

method	void fireLinesAdded(int, int)
pre	this.listeners != null
pre	(soft) this.lines != null
presumption	javax.swing.event.EventListenerList:getListenerList (...)@186 != null
presumption	listenerList.length@186 in {0, 2..2³²-1}
presumption	listenerList[(i + 1)].canvas.textPane@186 != null
presumption	listenerList[(i + 1)].canvas@186 != null
presumption	listenerList[(i + 1)].document.lines@186 != null
presumption	listenerList[(i + 1)].document@186 != null
presumption	listenerList[(i + 1)].scrollBar@186 != null
presumption	listenerList[i + 1]@186 != null
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JScrollBar:getValue
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPaneCanvas:repaint
unanalyzed	call on setScrollBarMax
unanalyzed	call on getNumLines
unanalyzed	call on javax.swing.JScrollBar:setValue
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:isVisible
unanalyzed	call on javax.swing.JScrollBar:setMaximum
unanalyzed	call on javax.swing.JScrollBar:getValueIsAdjusting

Prev Msg Next Msg

overflow

click for all messages in this file Low Prob.

check that i in {-2_147_483_650..2³²-3}

Prev Msg Next Msg

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that (i + 1) < listenerList.length

Prev Msg Next Msg

method	void fireTrimmed()
pre	this.listeners != null
pre	(soft) this.lines != null
presumption	javax.swing.event.EventListenerList:getListenerList (...)@200 != null
presumption	listenerList.length@200 in {0, 2..2³²-1}
presumption	listenerList[(i + 1)].canvas.textPane@200 != null
presumption	listenerList[(i + 1)].canvas@200 != null
presumption	listenerList[(i + 1)].document.lines@200 != null
presumption	listenerList[(i + 1)].document@200 != null
presumption	listenerList[(i + 1)].scrollBar@200 != null
presumption	listenerList[i + 1]@200 != null
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JScrollBar:getValue
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPaneCanvas:repaint
unanalyzed	call on getNumLines
unanalyzed	call on javax.swing.JScrollBar:setValue
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:isVisible
unanalyzed	call on javax.swing.JScrollBar:setMaximum
unanalyzed	call on javax.swing.JScrollBar:getValueIsAdjusting
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater

Prev Msg Next Msg

overflow

click for all messages in this file Low Prob.

check that i in {-2_147_483_650..2³²-3}

Prev Msg Next Msg

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that (i + 1) < listenerList.length

Prev Msg Next Msg

method	void fireCleared()
pre	this.listeners != null
presumption	javax.swing.event.EventListenerList:getListenerList (...)@212 != null
presumption	listenerList.length@212 in {0, 2..2³²-1}
presumption	listenerList[(i + 1)].canvas@212 != null
presumption	listenerList[i + 1]@212 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater

Prev Msg Next Msg

overflow

click for all messages in this file Low Prob.

check that i in {-2_147_483_650..2³²-3}

Prev Msg Next Msg

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that (i + 1) < listenerList.length

Prev Msg Next Msg

method	void fireRepaintNeeded()
pre	this.listeners != null
presumption	javax.swing.event.EventListenerList:getListenerList (...)@224 != null
presumption	listenerList.length@224 in {0, 2..2³²-1}
presumption	listenerList[(i + 1)].canvas@224 != null
presumption	listenerList[i + 1]@224 != null
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPaneCanvas:repaint

Prev Msg Next Msg

overflow

click for all messages in this file Low Prob.

check that i in {-2_147_483_650..2³²-3}

Prev Msg Next Msg

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that (i + 1) < listenerList.length

Prev Msg Next Msg

method	AttributedCharacterIterator getStyledLine(Line)
pre	this.cachedLines != null
pre	(soft) line != null
pre	(soft) line.config != null
pre	(soft) line.config.sources != null
pre	(soft) this.cachedStrings != null
presumption	com.dmdirc.util.RollingList:getList(...)@243 != null
post	possibly_updated(line.lineHeight)
post	init'ed(return_value)
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on com.dmdirc.ui.messages.Styliser:getStyledSt ring
unanalyzed	call on javax.swing.text.StyledDocument:getParagrap hElement
unanalyzed	call on javax.swing.text.Element:getDocument
unanalyzed	call on javax.swing.text.Document:getLength
unanalyzed	call on javax.swing.text.Document:getText
unanalyzed	call on java.text.AttributedString
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.text.BadLocationException:getMe ssage
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on hasOption
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.awt.Font:getName
unanalyzed	call on java.text.AttributedString:getIterator
unanalyzed	call on java.text.AttributedCharacterIterator:getEn dIndex
unanalyzed	call on java.awt.Font
unanalyzed	call on java.text.AttributedString:addAttribute
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on javax.swing.text.Element:getElementCount
unanalyzed	call on javax.swing.text.Element:getElement
unanalyzed	call on javax.swing.text.Element:getAttributes
unanalyzed	call on javax.swing.text.AttributeSet:getAttributeN ames
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on javax.swing.text.AttributeSet:getAttribute
unanalyzed	call on javax.swing.text.Element:getStartOffset
unanalyzed	call on javax.swing.text.Element:getEndOffset
test_vector	com.dmdirc.util.RollingList:contains(...)@242: {0}, {1}

method not available - call not analyzed Info call on bool com.dmdirc.util.RollingList:contains(O bject)

method not available - call not analyzed Info call on List com.dmdirc.util.RollingList:getList()

method not available - call not analyzed Info call on Object com.dmdirc.util.RollingList:get(int)

method not available - call not analyzed Info call on bool com.dmdirc.util.RollingList:add(Object )

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that styledLine != null

Prev Msg Next Msg

method	AttributedCharacterIterator getStyledLine(int)
pre	this.cachedLines != null
pre	this.lines != null
pre	(soft) this.cachedStrings != null
presumption	getLine(...).config != null
presumption	getLine(...).config.sources != null
presumption	java.util.List:get(...)@89 != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:get
unanalyzed	call on javax.swing.UIManager:getFont
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on com.dmdirc.util.RollingList:contains
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on com.dmdirc.util.RollingList:get
unanalyzed	call on com.dmdirc.ui.messages.Styliser:getStyledSt ring
unanalyzed	call on javax.swing.text.StyledDocument:getParagrap hElement
unanalyzed	call on javax.swing.text.Element:getDocument
unanalyzed	call on javax.swing.text.Document:getLength
unanalyzed	call on javax.swing.text.Document:getText
unanalyzed	call on java.text.AttributedString
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on javax.swing.text.BadLocationException:getMe ssage
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on hasOption
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.awt.Font:getName
unanalyzed	call on java.text.AttributedString:getIterator
unanalyzed	call on java.text.AttributedCharacterIterator:getEn dIndex
unanalyzed	call on java.awt.Font
unanalyzed	call on java.text.AttributedString:addAttribute
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on javax.swing.text.Element:getElementCount
unanalyzed	call on javax.swing.text.Element:getElement
unanalyzed	call on javax.swing.text.Element:getAttributes
unanalyzed	call on javax.swing.text.AttributeSet:getAttributeN ames
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on javax.swing.text.AttributeSet:getAttribute
unanalyzed	call on javax.swing.text.Element:getStartOffset
unanalyzed	call on javax.swing.text.Element:getEndOffset
unanalyzed	call on com.dmdirc.util.RollingList:add

method	int getLineHeight(Line)
pre	line != null
pre	init'ed(line.lineHeight)
post	return_value == line.lineHeight
post	init'ed(return_value)

method	int getLineHeight(int)
pre	this.lines != null
presumption	java.util.List:get(...)@89 != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:get

method	void configChanged(String, String)
pre	this.cachedLines != null
pre	this.cachedStrings != null
pre	this.listeners != null
unanalyzed	call on javax.swing.event.EventListenerList:getList enerList
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPaneCanvas:repaint
unanalyzed	call on repaintNeeded

method not available - call not analyzed Info call on void com.dmdirc.util.RollingList:clear()