method

com.dmdirc.actions.ConditionTreeFactory$CustomFact ory__static_init

method

com.dmdirc.actions.ConditionTreeFactory$Disjunctio nFactory__static_init

method

com.dmdirc.actions.ConditionTreeFactory$Conjunctio nFactory__static_init

method

com.dmdirc.actions.ConditionTreeFactory__static_ init

method

void com.dmdirc.actions.ConditionTreeFactory()

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

method	ConditionTreeFactory$ConditionTreeFactoryType valueOf(String)
post	init'ed(return_value)

method

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

method	com.dmdirc.actions.ConditionTreeFactory$ConditionT reeFactoryType__static_init
post	$VALUES == &new ConditionTreeFactory$ConditionT reeFactoryType[](ConditionTreeFactory$ConditionTree FactoryType__static_init#4)
post	CONJUNCTION == &new ConditionTreeFactory$Condit ionTreeFactoryType(ConditionTreeFactory$ConditionTr eeFactoryType__static_init#2)
post	$VALUES[1] == &new ConditionTreeFactory$Conditi onTreeFactoryType(ConditionTreeFactory$ConditionTre eFactoryType__static_init#2)
post	CUSTOM == &new ConditionTreeFactory$ConditionTr eeFactoryType(ConditionTreeFactory$ConditionTreeFac toryType__static_init#3)
post	$VALUES[2] == &new ConditionTreeFactory$Conditi onTreeFactoryType(ConditionTreeFactory$ConditionTre eFactoryType__static_init#3)
post	DISJUNCTION == &new ConditionTreeFactory$Condit ionTreeFactoryType(ConditionTreeFactory$ConditionTr eeFactoryType__static_init#1)
post	$VALUES[0] == &new ConditionTreeFactory$Conditi onTreeFactoryType(ConditionTreeFactory$ConditionTre eFactoryType__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
post	$VALUES.length == 3
unanalyzed	call on java.lang.Enum

method

void com.dmdirc.actions.ConditionTreeFactory$Conju nctionFactory()

method	ConditionTree getConditionTree(int)
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 == &amp;com.dmdirc.actions.ConditionTree$OPERATION__ static_init.new ConditionTree$OPERATION(ConditionTr ee$OPERATION__static_init#5)
post	new ConditionTree(parseStack#3).rightArg == null
post	init'ed(new ConditionTree(readTerm#1) num objects)
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.util.Deque:pollFirst
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on readTerm
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on parseStack
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Character:valueOf

method	ConditionTreeFactory$ConditionTreeFactoryType getType()
post	return_value == &com.dmdirc.actions. ConditionTreeFactory$ConditionTreeFactoryType__ static_init.new ConditionTreeFactory$ConditionTreeF actoryType(ConditionTreeFactory$ConditionTreeFactor yType__static_init#2)

method

void com.dmdirc.actions.ConditionTreeFactory$Disju nctionFactory()

method	ConditionTree getConditionTree(int)
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 == &amp;com.dmdirc.actions.ConditionTree$OPERATION__ static_init.new ConditionTree$OPERATION(ConditionTr ee$OPERATION__static_init#5)
post	new ConditionTree(parseStack#3).rightArg == null
post	init'ed(new ConditionTree(readTerm#1) num objects)
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.util.Deque:pollFirst
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on readTerm
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on parseStack
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Character:valueOf

method	ConditionTreeFactory$ConditionTreeFactoryType getType()
post	return_value == &com.dmdirc.actions. ConditionTreeFactory$ConditionTreeFactoryType__ static_init.new ConditionTreeFactory$ConditionTreeF actoryType(ConditionTreeFactory$ConditionTreeFactor yType__static_init#1)

method	void com.dmdirc.actions.ConditionTreeFactory$Custo mFactory(ConditionTree)
post	this.tree == tree
post	init'ed(this.tree)

method	ConditionTree getConditionTree(int)
post	return_value == this.tree
post	init'ed(return_value)

method	ConditionTreeFactory$ConditionTreeFactoryType getType()
post	return_value == &com.dmdirc.actions. ConditionTreeFactory$ConditionTreeFactoryType__ static_init.new ConditionTreeFactory$ConditionTreeF actoryType(ConditionTreeFactory$ConditionTreeFactor yType__static_init#3)

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