IRCDocument.java

IRCDocument.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void addIRCDocumentListener(IRCDocumentListener)

Kind	Annotation Text
pre	(soft) this.listeners != null
test_vector	listener: Inverse{null}, Addr_Set{null}

void addText(List)

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

void addText(String[])

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

void clear()

Kind	Annotation Text
pre	this.lines != null
pre	this.listeners != null
unanalyzed	call on cleared
unanalyzed	call on com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on javax.swing.event.EventListenerList:getList enerList

void com.dmdirc.addons.ui_swing.textpane.IRCDocument(ConfigManager)

Kind	Annotation Text
post	init'ed(this.config)
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
post	this.cachedLines == &new RollingList(IRCDocumen t#3)
post	this.cachedStrings == &new RollingList(IRCDocum ent#4)
post	this.config == config
post	this.lines == &new ArrayList(IRCDocument#1)
post	this.listeners == &new EventListenerList(IRCDoc ument#2)

com.dmdirc.addons.ui_swing.textpane.IRCDocument__static_init

Kind	Annotation Text

void configChanged(String, String)

Kind	Annotation Text
pre	this.cachedLines != null
pre	this.cachedStrings != null
pre	this.listeners != null
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPaneCanvas:repaint
unanalyzed	call on javax.swing.event.EventListenerList:getList enerList
unanalyzed	call on repaintNeeded

void fireCleared()

Kind	Annotation Text
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

void fireLineAdded(int)

Kind	Annotation Text
pre	(soft) this.lines != null
pre	this.listeners != 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 com.dmdirc.addons.ui_swing.textpane. TextPane:isVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPaneCanvas:repaint
unanalyzed	call on getNumLines
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JScrollBar:getValue
unanalyzed	call on javax.swing.JScrollBar:getValueIsAdjusting
unanalyzed	call on javax.swing.JScrollBar:setMaximum
unanalyzed	call on javax.swing.JScrollBar:setValue
unanalyzed	call on setScrollBarMax

void fireLinesAdded(int, int)

Kind	Annotation Text
pre	(soft) this.lines != null
pre	this.listeners != 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 com.dmdirc.addons.ui_swing.textpane. TextPane:isVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPaneCanvas:repaint
unanalyzed	call on getNumLines
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JScrollBar:getValue
unanalyzed	call on javax.swing.JScrollBar:getValueIsAdjusting
unanalyzed	call on javax.swing.JScrollBar:setMaximum
unanalyzed	call on javax.swing.JScrollBar:setValue
unanalyzed	call on setScrollBarMax

void fireRepaintNeeded()

Kind	Annotation Text
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

void fireTrimmed()

Kind	Annotation Text
pre	(soft) this.lines != null
pre	this.listeners != 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 com.dmdirc.addons.ui_swing.UIUtilities:invo keLater
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPane:isVisible
unanalyzed	call on com.dmdirc.addons.ui_swing.textpane. TextPaneCanvas:repaint
unanalyzed	call on getNumLines
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JScrollBar:getValue
unanalyzed	call on javax.swing.JScrollBar:getValueIsAdjusting
unanalyzed	call on javax.swing.JScrollBar:setMaximum
unanalyzed	call on javax.swing.JScrollBar:setValue

Line getLine(int)

Kind	Annotation Text
pre	this.lines != null
post	init'ed(return_value)

int getLineHeight(int)

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

int getLineHeight(Line)

Kind	Annotation Text
pre	init'ed(line.lineHeight)
pre	line != null
post	init'ed(return_value)
post	return_value == line.lineHeight

int getNumLines()

Kind	Annotation Text
pre	this.lines != null
post	init'ed(return_value)

AttributedCharacterIterator getStyledLine(int)

Kind	Annotation Text
pre	(soft) this.cachedStrings != null
pre	this.cachedLines != null
pre	this.lines != 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 com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.messages.Styliser:getStyledSt ring
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on com.dmdirc.util.RollingList:contains
unanalyzed	call on com.dmdirc.util.RollingList:get
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on getOption
unanalyzed	call on hasOption
unanalyzed	call on java.awt.Font
unanalyzed	call on java.awt.Font:getFamily
unanalyzed	call on java.awt.Font:getName
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.text.AttributedCharacterIterator:getEn dIndex
unanalyzed	call on java.text.AttributedString
unanalyzed	call on java.text.AttributedString:addAttribute
unanalyzed	call on java.text.AttributedString:getIterator
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:indexOf
unanalyzed	call on java.util.List:iterator
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.AttributeSet:getAttribute
unanalyzed	call on javax.swing.text.AttributeSet:getAttributeN ames
unanalyzed	call on javax.swing.text.BadLocationException:getMe ssage
unanalyzed	call on javax.swing.text.Document:getLength
unanalyzed	call on javax.swing.text.Document:getText
unanalyzed	call on javax.swing.text.Element:getAttributes
unanalyzed	call on javax.swing.text.Element:getDocument
unanalyzed	call on javax.swing.text.Element:getElement
unanalyzed	call on javax.swing.text.Element:getElementCount
unanalyzed	call on javax.swing.text.Element:getEndOffset
unanalyzed	call on javax.swing.text.Element:getStartOffset
unanalyzed	call on javax.swing.text.StyledDocument:getParagrap hElement

AttributedCharacterIterator getStyledLine(Line)

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

void removeIRCDocumentListener(IRCDocumentListener)

Kind	Annotation Text
pre	this.listeners != null

void trim(int)

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