method

com.dmdirc.installer.cliparser.CLIParser__static_ init

method	CLIParser getCLIParser()
pre	init'ed(me)
post	me == One-of{old me, &new CLIParser(getCLIParse r#1)}
post	me != null
post	return_value == me
post	new ArrayList(CLIParser#2) num objects <= 1
post	new ArrayList(CLIParser#3) num objects <= 1
post	new CLIParser(getCLIParser#1) num objects <= 1
post	new CLIParser(getCLIParser#1).helpParam == null
post	new CLIParser(getCLIParser#1).paramList == &amp;new ArrayList(CLIParser#2)
post	new CLIParser(getCLIParser#1).params == &amp;new Hashtable(CLIParser#1)
post	new CLIParser(getCLIParser#1).redundant == &amp;new ArrayList(CLIParser#3)
post	new Hashtable(CLIParser#1) num objects <= 1
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.ArrayList
test_vector	me: Inverse{null}, Addr_Set{null}

method	void com.dmdirc.installer.cliparser.CLIParser()
post	this.helpParam == null
post	this.paramList == &new ArrayList(CLIParser#2)
post	this.params == &new Hashtable(CLIParser#1)
post	this.redundant == &new ArrayList(CLIParser#3)
post	new ArrayList(CLIParser#2) num objects == 1
post	new ArrayList(CLIParser#3) num objects == 1
post	new Hashtable(CLIParser#1) num objects == 1

method	void clear()
pre	this.paramList != null
pre	this.params != null
pre	this.redundant != null

method	bool add(CLIParam)
pre	param != null
pre	param.stringFlag != null
pre	(soft) this.paramList != null
pre	(soft) this.params != null
post	init'ed(return_value)
test_vector	param.charFlag: {1..216-1}, {0}
test_vector	java.lang.String:isEmpty(...)@89: {1}, {0}

method	int getParamNumber(String)
pre	this.params != null
presumption	java.util.Map:get(...)@109 != null
post	init'ed(return_value)
test_vector	java.util.Map:containsKey(...)@108: {0}, {1}

method	CLIParam getParam(String)
pre	this.params != null
post	init'ed(return_value)
test_vector	java.util.Map:containsKey(...)@122: {0}, {1}

method	List getParamList()
post	return_value == this.paramList
post	init'ed(return_value)

method	List getRedundant()
pre	this.redundant != null
post	return_value == &new ArrayList(getRedundant#1)
post	new ArrayList(getRedundant#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@145: {0}, {1}

method	void setHelp(CLIParam)
post	this.helpParam == param
post	init'ed(this.helpParam)

method	bool wantsHelp(String[])
pre	init'ed(this.helpParam)
pre	(soft) args != null
pre	(soft) args.length <= 232-1
pre	(soft) args[...] != null
pre	(soft) this.params != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	this.helpParam: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:charAt(...)@166: {0..44, 46..216-1}, {45}
test_vector	java.lang.String:equals(...)@168: {0}, {1}
test_vector	java.lang.String:length(...)@166: {0,1}, {2..232-1}

method	void showHelp(String, String)
pre	this.paramList != null
presumption	java.lang.System.out != null
presumption	java.util.Iterator:next(...)@189 != null
presumption	param.stringFlag@189 != null
test_vector	java.lang.String:isEmpty(...)@195: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@189: {0}, {1}
test_vector	param.charFlag@189: {1..216-1}, {0}

method	void parseArgs(String[], bool)
pre	args != null
pre	args.length <= 232-1
pre	(soft) args[...] != null
pre	(soft) init'ed(this.helpParam)
pre	(soft) this.helpParam.stringFlag != null
pre	(soft) this.params != null
pre	(soft) this.redundant != null
presumption	java.lang.System.out != null
presumption	lastParam.number@220 <= 232-2
post	init'ed(java.lang.String:substring(...)._tainted)
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:equalsIgnoreCase
test_vector	this.helpParam: Addr_Set{null}, Inverse{null}
test_vector	this.helpParam.charFlag: {0}, {1..216-1}
test_vector	java.lang.String:charAt(...)@214: {0..44, 46..216-1}, {45}
test_vector	java.lang.String:charAt(...)@242: {0..91, 93..216-1}, {92}
test_vector	java.lang.String:equals(...)@217: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@225: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@230: {1}, {0}
test_vector	java.lang.String:length(...)@214: {0,1}, {2..232-1}
test_vector	java.lang.String:length(...)@242: {0,1}, {2..232-1}