Review

Detector:

MuDetectOPAL_180330

Target:

project '

closure

' version

319

Tags:

Potential Misuse

Anomaly identified by the detector. Please review whether this anomaly corresponds to a misuse.

Finding:	finding-6
In File:	/mubench/checkouts/closure/319/build/src//com/google/javascript/jscomp/TypedCodeGenerator.java
In Method:	getTypeAnnotation(Node)
Code with Finding:	`class TypedCodeGenerator { private String getTypeAnnotation(Node node) { JSType type = node.getJSType(); if (type instanceof FunctionType) { return getFunctionAnnotation(node); } else if (type != null && !type.isUnknownType() && !type.isEmptyType() && !type.isVoidType() && !type.isFunctionPrototypeType()) { return "/** @type {" + node.getJSType() + "} */\n"; } else { return ""; } } }`

Metadata

Hit	Rank	Confidence	Confidence String	Pattern Examples	Pattern Support	Pattern Violation	Target Environment Mapping	Violation Types
?	6	0.09259259259259259	(pattern support = 10 / 27)(pattern violations = 1 / 3)(overlap = 3.00 / 4.00)	closure/319/build/src//com/google/javascript/rhino/jstype/JSType.java#getTypesUnderShallowInequality(JSType) closure/319/build/src//com/google/javascript/rhino/jstype/UnionType.java#findPropertyType(String) closure/319/build/src//com/google/javascript/jscomp/RuntimeTypeCheck$1.java#getName(JSType) closure/319/build/src//com/google/javascript/jscomp/PeepholeFoldWithTypes.java#tryFoldTypeof(Node) closure/319/build/src//com/google/javascript/jscomp/RuntimeTypeCheck.java#createCheckerNode(JSType)	10