Last Msg First Msg
























method com.dmdirc.addons.ui_swing.UIUtilities__static_ init
postBUTTON_SIZE == &new Dimension(UIUtilities__ static_init#1)
postnew Dimension(UIUtilities__static_init#1) num objects == 1










method void com.dmdirc.addons.ui_swing.UIUtilities()










method void addUndoManager(JTextComponent)
precomponent != null
presumptionjavax.swing.text.JTextComponent:getActionMap(... )@79 != null
presumptionjavax.swing.text.JTextComponent:getActionMap(... )@85 != null
presumptionjavax.swing.text.JTextComponent:getDocument(... )@75 != null
presumptionjavax.swing.text.JTextComponent:getInputMap(... )@82 != null
presumptionjavax.swing.text.JTextComponent:getInputMap(... )@88 != null
unanalyzedcall on javax.swing.AbstractAction










method void initUISettings()
presumption(int) (net.miginfocom.layout.UnitValue:getValue(... )@130) in {-231..232-1}
presumptionnet.miginfocom.layout.PlatformDefaults:getPanelInse ts(...)@130 != null
unanalyzedcall on javax.swing.UIManager:getLookAndFeel
unanalyzedcall on java.lang.Object:getClass
unanalyzedcall on java.lang.Class:getName
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.lang.System:getProperty









  method not available - call not analyzedInfocall on UnitValue net.miginfocom.layout. PlatformDefaults:getPanelInsets(int)
  method not available - call not analyzedInfocall on float net.miginfocom.layout. UnitValue:getValue()










  method not available - call not analyzedInfocall on void net.miginfocom.layout.PlatformDefaults :setDefaultRowAlignmentBaseline(bool)











method String getLookAndFeel(String)
presumptionarr$.length@150 <= 232-1
presumptionarr$[i$]@150 != null
presumptionjavax.swing.UIManager:getInstalledLookAndFeels(... )@150 != null
presumptionjavax.swing.UIManager_LookAndFeelInfo:getName(... )@151 != null
postjava.lang.StringBuilder:toString(...)._tainted == 0
postinit'ed(return_value)
test_vectordisplayName: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:equals(...)@143: {0}, {1}
test_vectorjava.lang.String:equals(...)@151: {0}, {1}
test_vectorjava.lang.String:isEmpty(...)@143: {1}, {0}
test_vectorjava.lang.StringBuilder:length(...)@157: {-231..-1, 1..232-1}, {0}










method void invokeAndWait(Runnable)
pre(soft) runnable != null
presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)
test_vectorjavax.swing.SwingUtilities:isEventDispatchThread(.. .)@170: {0}, {1}









  method not available - call not analyzedInfocall on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)











method Object invokeAndWait(ReturnableThread)
prereturnable != null
presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)
postinit'ed(return_value)
test_vectorjavax.swing.SwingUtilities:isEventDispatchThread(.. .)@191: {0}, {1}









  method not available - call not analyzedInfocall on void com.dmdirc.util.ReturnableThread:run()










  method not available - call not analyzedInfocall on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)










  method not available - call not analyzedInfocall on Object com.dmdirc.util.ReturnableThread:get Object()











method void invokeLater(Runnable)
pre(soft) runnable != null
test_vectorjavax.swing.SwingUtilities:isEventDispatchThread(.. .)@212: {0}, {1}










method bool isWindowsUI()
presumptionjava.lang.Object:getClass(...)@225 != null
presumptionjavax.swing.UIManager:getLookAndFeel(...)@225 != null
postinit'ed(return_value)









Prev Msg Next Msg
  unused assignment
Low Prob.
Unused assignment into windows
Prev Msg Next Msg










Prev Msg Next Msg
  unused assignment
Low Prob.
Unused assignment into classic
Prev Msg Next Msg











method bool getTabbedPaneOpaque()
presumptionjava.lang.Object:getClass(...)@241 != null
presumptionjavax.swing.UIManager:getLookAndFeel(...)@241 != null
postinit'ed(return_value)
unanalyzedcall on java.lang.System:getProperty
unanalyzedcall on javax.swing.UIManager:getLookAndFeel
unanalyzedcall on java.lang.Object:getClass
unanalyzedcall on java.lang.Class:getName
unanalyzedcall on java.lang.String:equals









Prev Msg Next Msg
  unused assignment
Low Prob.
Unused assignment into windows
Prev Msg Next Msg










Prev Msg Next Msg
  unused assignment
Low Prob.
Unused assignment into nimbus
Prev Msg Next Msg











method int getCtrlDownMask()
postreturn_value == One-of{256, 128}
postreturn_value in {128, 256}
unanalyzedcall on java.lang.System:getProperty
unanalyzedcall on javax.swing.UIManager:getLookAndFeel
unanalyzedcall on java.lang.Object:getClass
unanalyzedcall on java.lang.Class:getName
unanalyzedcall on java.lang.String:equals










method int getCtrlMask()
postreturn_value == One-of{4, 2}
postreturn_value in {2, 4}
unanalyzedcall on java.lang.System:getProperty
unanalyzedcall on javax.swing.UIManager:getLookAndFeel
unanalyzedcall on java.lang.Object:getClass
unanalyzedcall on java.lang.Class:getName
unanalyzedcall on java.lang.String:equals










method bool isCtrlDown(KeyEvent)
pree != null
postinit'ed(return_value)
unanalyzedcall on java.lang.System:getProperty
unanalyzedcall on javax.swing.UIManager:getLookAndFeel
unanalyzedcall on java.lang.Object:getClass
unanalyzedcall on java.lang.Class:getName
unanalyzedcall on java.lang.String:equals










method String clipStringifNeeded(JComponent, String, int)
pre(soft) component != null
postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
postreturn_value == One-of{&amp;"", &amp;java.lang. StringBuilder:toString(...), string}
postreturn_value != null
unanalyzedcall on java.lang.String:equals
unanalyzedcall on javax.swing.JComponent:getFont
unanalyzedcall on javax.swing.JComponent:getFontMetrics
unanalyzedcall on javax.swing.SwingUtilities:computeStringWid th
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:charAt
unanalyzedcall on java.awt.FontMetrics:charWidth
unanalyzedcall on java.lang.String:substring
test_vectorstring: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:equals(...)@292: {0}, {1}










method String clipString(JComponent, String, int)
pre(soft) component != null
presumptionjavax.swing.JComponent:getFontMetrics(...)@316 != null
postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
postreturn_value in Addr_Set{&amp;"",&amp;java.lang. StringBuilder:toString(...)}
test_vectorstring: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:equals(...)@313: {0}, {1}









Prev Msg Next Msg
  unused assignment
Low Prob.
Unused assignment into clipString
Prev Msg Next Msg