Review

Detector:	Tikanga
Target:	project ' synthetic_directives ' version jsl
Misuse:	misuse ' repetitive '
Tags:

Misuse Details

Details about the known misuse from the MUBench dataset.

Description:	Loops over a collection, only to ensure it is not empty (every subsequent iteration performs the exact same computation).
Fix Description:	Replace the loop with a check.
Violation Types:	superfluous/iteration
In File:	mubench/examples/directives/Repetitive.java
In Method:	misuse(Collection)
Code with Misuse:	`code not found`
Code with Pattern(s):	`public class OnlyOnce { void pattern(Collection<Object> objects) { if (!objects.isEmpty()) { objects.iterator().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	AF Collection.isEmpty () : boolean @ (0) AG (Collection.isEmpty () : boolean @ (0) => EX EF Collection.iterator () : Iterator @ (0)) AG (Collection.isEmpty () : boolean @ (0) => AX AF Collection.iterator () : Iterator @ (0)) EF Collection.isEmpty () : boolean @ (0)	AF Collection.iterator () : Iterator @ (0) EF Collection.iterator () : Iterator @ (0)	OnlyOnce0.pattern (Collection) : void : param #1@Collection (line 7) OnlyOnce1.pattern (Collection) : void : param #1@Collection (line 7) OnlyOnce10.pattern (Collection) : void : param #1@Collection (line 7)