Review

Detector:	Tikanga
Target:	project ' synthetic_directives ' version jsl
Misuse:	misuse ' wait-loop '
Tags:

Misuse Details

Details about the known misuse from the MUBench dataset.

Description:	Object.wait() should be called in a loop that iteratively checks the condition waited for.
Fix Description:	Check condition in a loop.
Violation Types:	missing/iteration
In File:	mubench/examples/directives/WaitWithoutLoop.java
In Method:	misuse(Target)
Code with Misuse:	`code not found`
Code with Pattern(s):	`public class WaitLoop { void pattern(Target t) throws InterruptedException { synchronized (t) { while (t.isAvailable()) { t.wait(); } // Perform action appropriate to condition } } }`

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 (Object.wait () : void @ (0) => EX EF Object.wait () : void @ (0)) AG (WaitWithoutLoop$Target.isAvailable () : boolean @ (0) => EX EF WaitWithoutLoop$Target.isAvailable () : boolean @ (0)) AG (Object.wait () : void @ (0) => EX EF WaitWithoutLoop$Target.isAvailable () : boolean @ (0))	AF Object.wait () : void @ (0) EF WaitWithoutLoop$Target.isAvailable () : boolean @ (0) AG (WaitWithoutLoop$Target.isAvailable () : boolean @ (0) => AX AF Object.wait () : void @ (0)) AG (WaitWithoutLoop$Target.isAvailable () : boolean @ (0) => EX EF Object.wait () : void @ (0)) EF Object.wait () : void @ (0) AF WaitWithoutLoop$Target.isAvailable () : boolean @ (0)	WaitLoop10.pattern (WaitWithoutLoop$Target) : void : param #1@WaitWithoutLoop$Target (line 9) WaitLoop1.pattern (WaitWithoutLoop$Target) : void : param #1@WaitWithoutLoop$Target (line 9) WaitLoop0.pattern (WaitWithoutLoop$Target) : void : param #1@WaitWithoutLoop$Target (line 9)
?	1	0.98	1.0	AG (WaitWithoutLoop$Target.isAvailable () : boolean @ (0) => EX EF Object.wait () : void @ (0)) AG (Object.wait () : void @ (0) => EX EF Object.wait () : void @ (0)) AG (WaitWithoutLoop$Target.isAvailable () : boolean @ (0) => EX EF WaitWithoutLoop$Target.isAvailable () : boolean @ (0)) AG (Object.wait () : void @ (0) => AX AF WaitWithoutLoop$Target.isAvailable () : boolean @ (0)) EF Object.wait () : void @ (0) AG (Object.wait () : void @ (0) => EX EF WaitWithoutLoop$Target.isAvailable () : boolean @ (0))	EF WaitWithoutLoop$Target.isAvailable () : boolean @ (0) AF WaitWithoutLoop$Target.isAvailable () : boolean @ (0)	WaitLoop10.pattern (WaitWithoutLoop$Target) : void : param #1@WaitWithoutLoop$Target (line 9) WaitLoop1.pattern (WaitWithoutLoop$Target) : void : param #1@WaitWithoutLoop$Target (line 9) WaitLoop0.pattern (WaitWithoutLoop$Target) : void : param #1@WaitWithoutLoop$Target (line 9)