ParserError.java

ParserError.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void appendData(String)

Kind	Annotation Text
pre	init'ed(this.errorData)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	this.errorData == &java.lang.StringBuilder:toSt ring(...)

void com.dmdirc.parser.irc.ParserError(int, String, String)

Kind	Annotation Text
post	init'ed(this.errorData)
post	init'ed(this.errorLevel)
post	init'ed(this.lastLine)
post	this.errorData == data
post	this.errorLevel == level
post	this.lastLine == line

com.dmdirc.parser.irc.ParserError__static_init

Kind	Annotation Text

String getData()

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

Exception getException()

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

String getLastLine()

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

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

bool hasLastLine()

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

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

bool isException()

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

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

bool isUserError()

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

bool isWarning()

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

void setException(Exception)

Kind	Annotation Text
pre	(soft) this.errorLevel <= 4_294_967_279
post	init'ed(this.errorLevel)
post	init'ed(this.exceptionInfo)
post	this.errorLevel == One-of{old this.errorLevel, old this.errorLevel + 16}
post	this.exceptionInfo == newException
test_vector	this.errorLevel & 16: {16}, {0..15}