/* see License.txt for copyright and terms of use */

partial order {
  const [level = ref, sign = pos]
  $nonconst [level = ref, sign = neg]

  $nonconst < const
}

partial order [effect] {
  $init [level = ref, color = "pam-color-tainted", sign = pos, 
         fieldflow = down, fieldptrflow = all]
  $noninit [level = ref, color = "pam-color-untainted", sign = neg, 
            fieldflow = down, fieldptrflow = all]

  $noninit < $init
}

partial order [flow-sensitive] {
  $locked [level = value, color = "pam-color-locked", sign = eq]
  $unlocked [level = value, color = "pam-color-unlocked", sign = eq]
  $unknown [level = value, color = "pam-color-unknown", sign = eq]

  $locked < $unknown
  $unlocked < $unknown
}

partial order {
  $user [level=value, color = "pam-color-6", sign = eq]
  $kernel [level=value, color = "pam-color-4", sign=eq]
}

partial order [nonprop] {
  restrict [sign = eq, level = value]
}

partial order [nonprop] {
  $readonly [sign = eq, level = value]
}
