/**
 * @name Undocumented parameter
 * @description If some parameters of a function are documented by JSDoc 'param' tags while others
 *              are not, this may indicate badly maintained code.
 * @kind problem
 * @problem.severity recommendation
 * @id js/jsdoc/missing-parameter
 * @tags maintainability
 *       readability
 *       documentation
 * @precision low
 */

import javascript

from Function f, Parameter parm, Variable v, JSDoc doc
where
  parm = f.getAParameter() and
  doc = f.getDocumentation() and
  v = parm.getAVariable() and
  // at least one parameter is documented
  exists(doc.getATag().(JSDocParamTag).getDocumentedParameter()) and
  // but v is not
  not doc.getATag().(JSDocParamTag).getDocumentedParameter() = v and
  // don't report an alert in ambiguous cases
  strictcount(JSDoc d | d = f.getDocumentation() and d.getATag() instanceof JSDocParamTag) = 1
select parm, "Parameter " + v.getName() + " is not documented."