ConvertLineBreaksPlugin.java

ConvertLineBreaksPlugin.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
+	post	return_value == &"Convert plain text paragraphs to html by adding p and br tags"	2009-09-04 18:33:31

+ String getName()

-/+	Kind	Annotation Text	Date
+	post	return_value == &"Convert Line Breaks"	2009-09-04 18:33:31

+ void init(Weblog)

-/+	Kind	Annotation Text	Date
+	pre	mLogger != null	2009-09-04 18:33:31

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

-/+	Kind	Annotation Text	Date
+	pre	mLogger != null	2009-09-04 18:33:31

+ org.apache.roller.weblogger.business.plugins.entry.ConvertLineBreaksPlugin__static_init

-/+	Kind	Annotation Text	Date
+	post	init'ed(mLogger)	2009-09-04 18:33:31

+ String render(WeblogEntry, String)

-/+	Kind	Annotation Text	Date
+	pre	(soft) mLogger != null	2009-09-04 18:33:31
+	post	java.lang.StringBuffer:toString(...)._tainted == 0	2009-09-04 18:33:31
+	post	return_value != null	2009-09-04 18:33:31
+	post	return_value == One-of{&"", str, &java.lang.StringBuffer:toString(...)}	2009-09-04 18:33:31
+	test_vector	java.io.BufferedReader:readLine(...)@98: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31
+	test_vector	java.lang.String:equals(...)@82: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:length(...)@100: {0}, {1..2³²-1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:length(...)@105: {0}, {1..2³²-1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:length(...)@109: {1.. 2³²-1}, {0}	2009-09-04 18:33:31
+	test_vector	str: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31