SanitisedFilenameFilter.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.addons.ui_swing.components.SanitisedFilenameFilter()

    • Kind Annotation Text

  • com.dmdirc.addons.ui_swing.components.SanitisedFilenameFilter__static_init

    • Kind Annotation Text

  • void insertString(DocumentFilter$FilterBypass, int, String, AttributeSet)

    • Kind Annotation Text
    pre(soft) fb != null
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on javax.swing.text.DocumentFilter$FilterBypas s:replace
    test_vectorjava.lang.String:isEmpty(...)@48: {0}, {1}
    test_vectorstring: Addr_Set{null}, Inverse{null}

  • void remove(DocumentFilter$FilterBypass, int, int)

    • Kind Annotation Text
    prefb != null
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on javax.swing.text.DocumentFilter$FilterBypas s:replace

  • void replace(DocumentFilter$FilterBypass, int, int, String, AttributeSet)

    • Kind Annotation Text
    prefb != null
    pretext != null
    unanalyzedcall on java.lang.String:replaceAll

  • String sanitise(String)

    • Kind Annotation Text
    preproposedValue != null
    postreturn_value != null