codeql/csharp/ql/test/library-tests/parameters/Parameters.ql

import csharp

private predicate fromTestLocation(Element e) {
  e.fromSource() or e.getFile().getStem() = "Parameters"
}

query predicate noDefaultValue(Parameterizable container, Parameter p, int i) {
  fromTestLocation(container) and
  not p.hasDefaultValue() and
  container.getParameter(i) = p
}

query predicate withDefaultValue(Parameterizable container, Parameter p, int i, Expr e, string value) {
  fromTestLocation(container) and
  p.hasDefaultValue() and
  container.getParameter(i) = p and
  p.getDefaultValue() = e and
  if exists(e.getValue()) then value = e.getValue() else value = "-"
}