/* Qualifiers for tainting analysis */
partial order {
  $untainted [level = value, color = "pam-color-untainted", sign = neg]
  $tainted [level = value, color = "pam-color-tainted", sign = pos]

  $untainted < $tainted
}


/* Some qualifiers to experiment with */
/*
partial order {
  const [level = ref, sign = pos]
  $nonconst [level = ref, sign = neg]

  $nonconst < const
}

partial order {
  $YYYY    [level = value, color = "pam-color-yyyy", sign = eq]
  $YY      [level = value, color = "pam-color-yy", sign = eq]
  $NONYEAR [level = value, color = "pam-color-nonyear", sign = eq]
  $RCSYEAR [level = value, color = "pam-color-rcsdate", sign = eq]
}

partial order [nonprop] {
  volatile [sign = eq, level = ref, color = "pam-color-4"]
}
*/
