ConditionTreeFactory.java

ConditionTreeFactory.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.actions.ConditionTreeFactory$ConditionTreeFactoryType(String, int)

Kind	Annotation Text

com.dmdirc.actions.ConditionTreeFactory$ConditionTreeFactoryType__static_init

Kind	Annotation Text
post	$VALUES == &new ConditionTreeFactory$ConditionT reeFactoryType[](ConditionTreeFactory$ConditionTree FactoryType__static_init#4)
post	$VALUES.length == 3
post	$VALUES[0] == &new ConditionTreeFactory$Conditi onTreeFactoryType(ConditionTreeFactory$ConditionTre eFactoryType__static_init#1)
post	$VALUES[1] == &new ConditionTreeFactory$Conditi onTreeFactoryType(ConditionTreeFactory$ConditionTre eFactoryType__static_init#2)
post	$VALUES[2] == &new ConditionTreeFactory$Conditi onTreeFactoryType(ConditionTreeFactory$ConditionTre eFactoryType__static_init#3)
post	CONJUNCTION == &new ConditionTreeFactory$Condit ionTreeFactoryType(ConditionTreeFactory$ConditionTr eeFactoryType__static_init#2)
post	CUSTOM == &new ConditionTreeFactory$ConditionTr eeFactoryType(ConditionTreeFactory$ConditionTreeFac toryType__static_init#3)
post	DISJUNCTION == &new ConditionTreeFactory$Condit ionTreeFactoryType(ConditionTreeFactory$ConditionTr eeFactoryType__static_init#1)
post	new ConditionTreeFactory$ConditionTreeFactoryType(C onditionTreeFactory$ConditionTreeFactoryType__stati c_init#1) num objects == 1
post	new ConditionTreeFactory$ConditionTreeFactoryType(C onditionTreeFactory$ConditionTreeFactoryType__stati c_init#2) num objects == 1
post	new ConditionTreeFactory$ConditionTreeFactoryType(C onditionTreeFactory$ConditionTreeFactoryType__stati c_init#3) num objects == 1
post	new ConditionTreeFactory$ConditionTreeFactoryType[] (ConditionTreeFactory$ConditionTreeFactoryType__sta tic_init#4) num objects == 1
unanalyzed	call on java.lang.Enum

void com.dmdirc.actions.ConditionTreeFactory$ConjunctionFactory()

Kind	Annotation Text

com.dmdirc.actions.ConditionTreeFactory$ConjunctionFactory__static_init

Kind	Annotation Text

void com.dmdirc.actions.ConditionTreeFactory$CustomFactory(ConditionTree)

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

com.dmdirc.actions.ConditionTreeFactory$CustomFactory__static_init

Kind	Annotation Text

void com.dmdirc.actions.ConditionTreeFactory$DisjunctionFactory()

Kind	Annotation Text

com.dmdirc.actions.ConditionTreeFactory$DisjunctionFactory__static_init

Kind	Annotation Text

void com.dmdirc.actions.ConditionTreeFactory()

Kind	Annotation Text

com.dmdirc.actions.ConditionTreeFactory__static_init

Kind	Annotation Text

ConditionTree getConditionTree(int)

Kind	Annotation Text
post	init'ed(new ConditionTree(readTerm#1) num objects)
post	init'ed(return_value)
post	new ConditionTree(parseStack#3) num objects <= 1
post	new ConditionTree(parseStack#3).argument == -1
post	new ConditionTree(parseStack#3).leftArg == null
post	new ConditionTree(parseStack#3).op == &com.dmdirc.actions.ConditionTree$OPERATION__ static_init.new ConditionTree$OPERATION(ConditionTr ee$OPERATION__static_init#5)
post	new ConditionTree(parseStack#3).rightArg == null
post	new ConditionTree(readTerm#1).argument == 0, if init'ed
post	new ConditionTree(readTerm#1).leftArg == null
post	new ConditionTree(readTerm#1).op == null
post	new ConditionTree(readTerm#1).rightArg == null
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:size
unanalyzed	call on parseStack
unanalyzed	call on readTerm

ConditionTree getConditionTree(int)

Kind	Annotation Text
post	init'ed(new ConditionTree(readTerm#1) num objects)
post	init'ed(return_value)
post	new ConditionTree(parseStack#3) num objects <= 1
post	new ConditionTree(parseStack#3).argument == -1
post	new ConditionTree(parseStack#3).leftArg == null
post	new ConditionTree(parseStack#3).op == &com.dmdirc.actions.ConditionTree$OPERATION__ static_init.new ConditionTree$OPERATION(ConditionTr ee$OPERATION__static_init#5)
post	new ConditionTree(parseStack#3).rightArg == null
post	new ConditionTree(readTerm#1).argument == 0, if init'ed
post	new ConditionTree(readTerm#1).leftArg == null
post	new ConditionTree(readTerm#1).op == null
post	new ConditionTree(readTerm#1).rightArg == null
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:size
unanalyzed	call on parseStack
unanalyzed	call on readTerm

ConditionTree getConditionTree(int)

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

ConditionTreeFactory getFactory(ConditionTree, int)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.actions.ConditionTree$1__ static_init.new int[](ConditionTree$1__static_init# 1)[...])
pre	(soft) init'ed(tree.argument)
pre	(soft) init'ed(tree.leftArg)
pre	(soft) init'ed(tree.rightArg)
pre	(soft) tree.op != null
pre	tree != null
presumption	createConjunction(...).op != null
presumption	createDisjunction(...).op != null
post	new ConditionTreeFactory$ConjunctionFactory(getFact ory#1) num objects <= 1
post	new ConditionTreeFactory$CustomFactory(getFactory#3 ) num objects <= 1
post	new ConditionTreeFactory$CustomFactory(getFactory#3 ).tree != null
post	new ConditionTreeFactory$CustomFactory(getFactory#3 ).tree == tree
post	new ConditionTreeFactory$DisjunctionFactory(getFact ory#2) num objects <= 1
post	return_value in Addr_Set{&new ConditionTreeFact ory$CustomFactory(getFactory#3),&new ConditionTreeFactory$DisjunctionFactory(getFactory #2),&new ConditionTreeFactory$ConjunctionFactor y(getFactory#1)}
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on com.dmdirc.actions.ConditionTreeFactory
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:size
unanalyzed	call on parseStack
unanalyzed	call on readTerm

ConditionTreeFactory$ConditionTreeFactoryType getType()

Kind	Annotation Text
post	return_value == &com.dmdirc.actions. ConditionTreeFactory$ConditionTreeFactoryType__ static_init.new ConditionTreeFactory$ConditionTreeF actoryType(ConditionTreeFactory$ConditionTreeFactor yType__static_init#1)

ConditionTreeFactory$ConditionTreeFactoryType getType()

Kind	Annotation Text
post	return_value == &com.dmdirc.actions. ConditionTreeFactory$ConditionTreeFactoryType__ static_init.new ConditionTreeFactory$ConditionTreeF actoryType(ConditionTreeFactory$ConditionTreeFactor yType__static_init#2)

ConditionTreeFactory$ConditionTreeFactoryType getType()

Kind	Annotation Text
post	return_value == &com.dmdirc.actions. ConditionTreeFactory$ConditionTreeFactoryType__ static_init.new ConditionTreeFactory$ConditionTreeF actoryType(ConditionTreeFactory$ConditionTreeFactor yType__static_init#3)

ConditionTreeFactory$ConditionTreeFactoryType valueOf(String)

Kind	Annotation Text
post	init'ed(return_value)

ConditionTreeFactory$ConditionTreeFactoryType[] values()

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