Review

Detector:	Tikanga
Target:	project ' synthetic_survey ' version jsl
Misuse:	misuse ' hasnext '
Tags:

Misuse Details

Details about the known misuse from the MUBench dataset.

Description:	Misses to check that there is another element before calling Iterator.next().
Fix Description:	Check iterator.hasNext() or ensure size of the collection (check size(), isEmpty() or add() an element).
Violation Types:	missing/condition/value_or_state
In File:	mubench/examples/survey/OnlyNext.java
In Method:	misuse(Collection)
Code with Misuse:	`code not found`
Code with Pattern(s):	`public class HasNext { void pattern(Collection<Object> os) { Iterator<Object> itr = os.iterator(); if (itr.hasNext()) { itr.next(); } } }`

Potential Hits

Findings of the detector that identify an anomaly in the same file and method as the known misuse.

Hit	Rank	Confidence	Defect Indicator	Missing Properties	Present Properties	Supporting Objects
?	0	0.98	1.0	AG (RETVAL: Collection.iterator () : Iterator => AX AF Iterator.hasNext () : boolean @ (0)) EF Iterator.hasNext () : boolean @ (0) AG (Iterator.hasNext () : boolean @ (0) => EX EF Iterator.next () : Object @ (0)) AG (Iterator.hasNext () : boolean @ (0) => AX AF Iterator.next () : Object @ (0)) AF Iterator.hasNext () : boolean @ (0) AG (RETVAL: Collection.iterator () : Iterator => EX EF Iterator.hasNext () : boolean @ (0))	AF Iterator.next () : Object @ (0) AG (RETVAL: Collection.iterator () : Iterator => EX EF Iterator.next () : Object @ (0)) EF RETVAL: Collection.iterator () : Iterator AF RETVAL: Collection.iterator () : Iterator AG (RETVAL: Collection.iterator () : Iterator => AX AF Iterator.next () : Object @ (0)) EF Iterator.next () : Object @ (0)	HasNext0.pattern (Collection) : void : var #1@Iterator (line 8) HasNext1.pattern (Collection) : void : var #1@Iterator (line 8) HasNext10.pattern (Collection) : void : var #1@Iterator (line 8)