UIUtilities.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addUndoManager(JTextComponent)

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

  • String clipString(JComponent, String, int)

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

  • String clipStringifNeeded(JComponent, String, int)

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

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

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.UIUtilities__static_init

    • Kind Annotation Text
    postBUTTON_SIZE == &new Dimension(UIUtilities__ static_init#1)
    postnew Dimension(UIUtilities__static_init#1) num objects == 1

  • int getCtrlDownMask()

    • Kind Annotation Text
    postreturn_value == One-of{256, 128}
    postreturn_value in {128, 256}
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel

  • int getCtrlMask()

    • Kind Annotation Text
    postreturn_value == One-of{4, 2}
    postreturn_value in {2, 4}
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel

  • String getLookAndFeel(String)

    • Kind Annotation Text
    presumptionarr$.length@150 <= 232-1
    presumptionarr$[i$]@150 != null
    presumptionjavax.swing.UIManager:getInstalledLookAndFeels(... )@150 != null
    presumptionjavax.swing.UIManager_LookAndFeelInfo:getName(... )@151 != null
    postinit'ed(return_value)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    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}

  • bool getTabbedPaneOpaque()

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

  • void initUISettings()

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

  • Object invokeAndWait(ReturnableThread)

    • Kind Annotation Text
    prereturnable != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)
    postinit'ed(return_value)
    test_vectorjavax.swing.SwingUtilities:isEventDispatchThread(.. .)@191: {0}, {1}

  • void invokeAndWait(Runnable)

    • Kind Annotation Text
    pre(soft) runnable != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)
    test_vectorjavax.swing.SwingUtilities:isEventDispatchThread(.. .)@170: {0}, {1}

  • void invokeLater(Runnable)

    • Kind Annotation Text
    pre(soft) runnable != null
    test_vectorjavax.swing.SwingUtilities:isEventDispatchThread(.. .)@212: {0}, {1}

  • bool isCtrlDown(KeyEvent)

    • Kind Annotation Text
    pree != null
    postinit'ed(return_value)
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on javax.swing.UIManager:getLookAndFeel

  • bool isWindowsUI()

    • Kind Annotation Text
    presumptionjava.lang.Object:getClass(...)@225 != null
    presumptionjavax.swing.UIManager:getLookAndFeel(...)@225 != null
    postinit'ed(return_value)