SmileysPlugin.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + String getDescription()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.description)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + String getName()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.name)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.name2009-09-04 18:33:31

  • + String htmlEscape(String)

    • -/+ Kind Annotation Text Date
    +presmiley != null2009-09-04 18:33:31
    +presumptionchars.length@127 <= 232-12009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31

  • + void init(Weblog)

    • -/+ Kind Annotation Text Date
    +pre(soft) escape_regex != null2009-09-04 18:33:31
    +pre(soft) escape_regex.length <= 232-12009-09-04 18:33:31
    +pre(soft) init'ed(escape_regex[...])2009-09-04 18:33:31
    +pre(soft) init'ed(org/apache/roller/weblogger/config/W ebloggerRuntimeConfig.absoluteContextURL)2009-09-04 18:33:31
    +pre(soft) log != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null2009-09-04 18:33:31
    +pre(soft) smileyDefs != null2009-09-04 18:33:31
    +presmileyPatterns != null2009-09-04 18:33:31
    +presumptionjava.util.Enumeration:nextElement(...)@91 != null2009-09-04 18:33:31
    +presumptionjava.util.Properties:propertyNames(...)@89 != null2009-09-04 18:33:31
    +presumptionjava.util.Properties:size(...)@85 >= 12009-09-04 18:33:31
    +presumptionjava.util.Properties:size(...)@86 >= 12009-09-04 18:33:31
    +post(soft) new Pattern[](init#1).length in 1..232-12009-09-04 18:33:31
    +post(soft) new String[](init#2).length in 1..232-12009-09-04 18:33:31
    +postimageTags == One-of{old imageTags, &new String[](init#2)}2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new Pattern[](init#1)[...])2009-09-04 18:33:31
    +postnew Pattern[](init#1) num objects <= 12009-09-04 18:33:31
    +postnew String[](init#2) num objects <= 12009-09-04 18:33:31
    +postnew String[](init#2)[...] == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postsmileyPatterns != null2009-09-04 18:33:31
    +postsmileyPatterns == One-of{old smileyPatterns, &new Pattern[](init#1)}2009-09-04 18:33:31
    +unanalyzedcall on getPropertiesManager2009-09-04 18:33:31
    +unanalyzedcall on getProperty2009-09-04 18:33:31
    +unanalyzedcall on getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:toCharArray2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.lang.ThreadLocal:get2009-09-04 18:33:31
    +unanalyzedcall on java.lang.ThreadLocal:set2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManager:find2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManager:getTransact ion2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityTransaction:begin2009-09-04 18:33:31
    +unanalyzedcall on javax.persistence.EntityTransaction:isActiv e2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:warn2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue2009-09-04 18:33:31
    +test_vectorjava.util.Enumeration:hasMoreElements(...)@90: {0}, {1}2009-09-04 18:33:31
    +test_vectorsmileyPatterns.length: {1..+Inf}, {0}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.business.plugins.entry.SmileysPlugin()

    • -/+ Kind Annotation Text Date
    +prelog != null2009-09-04 18:33:31
    +postthis.description == &"Change ASCII emoticons to graphics. :-) becomes <img src='..images. smileys.smile.gif'>"2009-09-04 18:33:31
    +postthis.name == &"Emoticons"2009-09-04 18:33:31

  • + org.apache.roller.weblogger.business.plugins.entry.SmileysPlugin__static_init

    • -/+ Kind Annotation Text Date
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@40 != null2009-09-04 18:33:31
    +post(soft) log != null2009-09-04 18:33:31
    +postescape_regex == &new char[](SmileysPlugin__ static_init#4)2009-09-04 18:33:31
    +postescape_regex.length == 202009-09-04 18:33:31
    +postescape_regex[0] == 452009-09-04 18:33:31
    +postescape_regex[10] == 632009-09-04 18:33:31
    +postescape_regex[11] == 1232009-09-04 18:33:31
    +postescape_regex[12] == 1252009-09-04 18:33:31
    +postescape_regex[13] == 332009-09-04 18:33:31
    +postescape_regex[14] == 612009-09-04 18:33:31
    +postescape_regex[15] == 602009-09-04 18:33:31
    +postescape_regex[16] == 622009-09-04 18:33:31
    +postescape_regex[17] == 382009-09-04 18:33:31
    +postescape_regex[18] == 912009-09-04 18:33:31
    +postescape_regex[19] == 932009-09-04 18:33:31
    +postescape_regex[1] == 402009-09-04 18:33:31
    +postescape_regex[2] == 412009-09-04 18:33:31
    +postescape_regex[3] == 922009-09-04 18:33:31
    +postescape_regex[4] == 1242009-09-04 18:33:31
    +postescape_regex[5] == 582009-09-04 18:33:31
    +postescape_regex[6] == 942009-09-04 18:33:31
    +postescape_regex[7] == 362009-09-04 18:33:31
    +postescape_regex[8] == 422009-09-04 18:33:31
    +postescape_regex[9] == 432009-09-04 18:33:31
    +postimageTags == &new String[](SmileysPlugin__ static_init#2)2009-09-04 18:33:31
    +postimageTags.length == 02009-09-04 18:33:31
    +postnew Pattern[](SmileysPlugin__static_init#1) num objects == 12009-09-04 18:33:31
    +postnew Properties(SmileysPlugin__static_init#3) num objects == 12009-09-04 18:33:31
    +postnew String[](SmileysPlugin__static_init#2) num objects == 12009-09-04 18:33:31
    +postnew char[](SmileysPlugin__static_init#4) num objects == 12009-09-04 18:33:31
    +postsmileyDefs == &new Properties(SmileysPlugin__ static_init#3)2009-09-04 18:33:31
    +postsmileyPatterns == &new Pattern[](SmileysPlugin_ _static_init#1)2009-09-04 18:33:31
    +postsmileyPatterns.length == 02009-09-04 18:33:31

  • + String regexEscape(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) escape_regex != null2009-09-04 18:33:31
    +pre(soft) escape_regex.length <= 232-12009-09-04 18:33:31
    +pre(soft) init'ed(escape_regex[...])2009-09-04 18:33:31
    +presmiley != null2009-09-04 18:33:31
    +presumptionchars.length@155 <= 232-12009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31
    +test_vectorescape_regex[...]: {1..216-1}, {0}2009-09-04 18:33:31

  • + String render(WeblogEntry, String)

    • -/+ Kind Annotation Text Date
    +pre(soft) imageTags != null2009-09-04 18:33:31
    +pre(soft) imageTags.length >= 12009-09-04 18:33:31
    +pre(soft) init'ed(imageTags[...])2009-09-04 18:33:31
    +pre(soft) smileyPatterns.length <= imageTags.length2009-09-04 18:33:31
    +pre(soft) smileyPatterns[...] != null2009-09-04 18:33:31
    +presmileyPatterns != null2009-09-04 18:33:31
    +presmileyPatterns.length <= 232-12009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:matcher(...)@115 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31