StringTranscoder.java

StringTranscoder.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

Kind	Annotation Text
post	init'ed(this.charset)
post	this.charset == charset

Kind	Annotation Text

Kind	Annotation Text
pre	string != null
post	new String(decode#1) num objects == 1
post	return_value == &new String(decode#1)

Kind	Annotation Text
pre	string != null
post	new String(encode#1) num objects == 1
post	return_value == &new String(encode#1)