Logging.java

Logging.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.parser.irc.Logging$LogLevel(String, int, String, String)

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

com.dmdirc.parser.irc.Logging$LogLevel__static_init

Kind	Annotation Text
post	$VALUES == &new Logging$LogLevel[](Logging$LogL evel__static_init#7)
post	$VALUES.length == 6
post	$VALUES[0] == &new Logging$LogLevel(Logging$Log Level__static_init#1)
post	$VALUES[1] == &new Logging$LogLevel(Logging$Log Level__static_init#2)
post	$VALUES[2] == &new Logging$LogLevel(Logging$Log Level__static_init#3)
post	$VALUES[3] == &new Logging$LogLevel(Logging$Log Level__static_init#4)
post	$VALUES[4] == &new Logging$LogLevel(Logging$Log Level__static_init#5)
post	$VALUES[5] == &new Logging$LogLevel(Logging$Log Level__static_init#6)
post	DEBUG == &new Logging$LogLevel(Logging$LogLevel __static_init#2)
post	DEBUG.checkMethodName == &"isDebugEnabled"
post	DEBUG.methodName == &"debug"
post	ERROR == &new Logging$LogLevel(Logging$LogLevel __static_init#5)
post	ERROR.checkMethodName == &"isErrorEnabled"
post	ERROR.methodName == &"error"
post	FATAL == &new Logging$LogLevel(Logging$LogLevel __static_init#6)
post	FATAL.checkMethodName == &"isFatalEnabled"
post	FATAL.methodName == &"fatal"
post	INFO == &new Logging$LogLevel(Logging$LogLevel_ _static_init#3)
post	INFO.checkMethodName == &"isInfoEnabled"
post	INFO.methodName == &"info"
post	TRACE == &new Logging$LogLevel(Logging$LogLevel __static_init#1)
post	TRACE.checkMethodName == &"isTraceEnabled"
post	TRACE.methodName == &"trace"
post	WARN == &new Logging$LogLevel(Logging$LogLevel_ _static_init#4)
post	WARN.checkMethodName == &"isWarnEnabled"
post	WARN.methodName == &"warn"
post	new Logging$LogLevel(Logging$LogLevel__static_ init#1) num objects == 1
post	new Logging$LogLevel(Logging$LogLevel__static_ init#2) num objects == 1
post	new Logging$LogLevel(Logging$LogLevel__static_ init#3) num objects == 1
post	new Logging$LogLevel(Logging$LogLevel__static_ init#4) num objects == 1
post	new Logging$LogLevel(Logging$LogLevel__static_ init#5) num objects == 1
post	new Logging$LogLevel(Logging$LogLevel__static_ init#6) num objects == 1
post	new Logging$LogLevel[](Logging$LogLevel__static_ init#7) num objects == 1
unanalyzed	call on java.lang.Enum

void com.dmdirc.parser.irc.Logging()

Kind	Annotation Text
presumption	java.lang.Class:getMethod(...)@104 != null
post	init'ed(this.isAvailable)
post	init'ed(this.log)
test_vector	java.lang.Class:forName(...)@100: Addr_Set{null}, Inverse{null}

com.dmdirc.parser.irc.Logging__static_init

Kind	Annotation Text

String getCheckMethodName()

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

Logging getLogging()

Kind	Annotation Text
pre	init'ed(me)
post	init'ed(new Logging(getLogging#1).isAvailable)
post	init'ed(new Logging(getLogging#1).log)
post	me != null
post	me == One-of{old me, &new Logging(getLogging#1) }
post	new Logging(getLogging#1) num objects <= 1
post	return_value == me
unanalyzed	call on java.lang.Class:forName
unanalyzed	call on java.lang.Class:getMethod
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.reflect.Method:invoke
test_vector	me: Inverse{null}, Addr_Set{null}

String getMethodName()

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

bool levelEnabled(Logging$LogLevel)

Kind	Annotation Text
pre	(soft) level != null
pre	(soft) this.log != null
presumption	java.lang.Class:getMethod(...)@124 != null
presumption	java.lang.Object:getClass(...)@124 != null
presumption	java.lang.reflect.Method:invoke(...)@125 != null
post	init'ed(return_value)
test_vector	this.isAvailable: {0}, {1}

void log(Logging$LogLevel, String)

Kind	Annotation Text
pre	(soft) level != null
pre	(soft) this.log != null
unanalyzed	call on java.lang.Class:getMethod
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.reflect.Method:invoke

void log(Logging$LogLevel, String, Throwable)

Kind	Annotation Text
pre	(soft) level != null
pre	(soft) this.log != null
presumption	java.lang.Class:getMethod(...)@156 != null
presumption	java.lang.Class:getMethod(...)@159 != null
presumption	java.lang.Object:getClass(...)@156 != null
presumption	java.lang.Object:getClass(...)@159 != null
test_vector	this.isAvailable: {1}, {0}
test_vector	throwable: Inverse{null}, Addr_Set{null}

Logging$LogLevel valueOf(String)

Kind	Annotation Text
post	init'ed(return_value)

Logging$LogLevel[] values()

Kind	Annotation Text
pre	(soft) init'ed($VALUES[...])
post	new Logging$LogLevel[](values#1) num objects == 1
post	return_value == &new Logging$LogLevel[](values# 1)
post	return_value.length == 6
post	return_value[...] == One-of{$VALUES[...], undefined}