TextFile.java

TextFile.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.util.TextFile(File)

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

void com.dmdirc.util.TextFile(File, Charset)

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

void com.dmdirc.util.TextFile(InputStream)

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

void com.dmdirc.util.TextFile(InputStream, Charset)

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

void com.dmdirc.util.TextFile(String)

Kind	Annotation Text
post	init'ed(this.charset)
post	new File(TextFile#1) num objects == 1
post	this.file == &new File(TextFile#1)
unanalyzed	call on java.nio.charset.Charset:defaultCharset

com.dmdirc.util.TextFile__static_init

Kind	Annotation Text

Kind	Annotation Text
pre	this.file != null

Kind	Annotation Text
pre	init'ed(this.file)
post	init'ed(return_value)
post	return_value == this.file

List getLines()

Kind	Annotation Text
pre	(soft) init'ed(this.file)
pre	(soft) init'ed(this.is)
pre	init'ed(this.lines)
post	new ArrayList(readLines#4) num objects <= 1
post	return_value != null
post	return_value == One-of{old this.lines, &new ArrayList(readLines#4)}
post	this.lines == return_value
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
test_vector	this.lines: Inverse{null}, Addr_Set{null}

bool isWritable()

Kind	Annotation Text
pre	init'ed(this.file)
post	init'ed(return_value)

void readLines()

Kind	Annotation Text
pre	(soft) init'ed(this.is)
pre	init'ed(this.file)
post	new ArrayList(readLines#4) num objects == 1
post	this.lines == &new ArrayList(readLines#4)
test_vector	java.io.BufferedReader:readLine(...)@140: Addr_Set{null}, Inverse{null}

void writeLines(List)

Kind	Annotation Text
pre	lines != null
pre	this.file != null
test_vector	java.util.Iterator:hasNext(...)@170: {0}, {1}