• Home
  • Raw
  • Download

Lines Matching refs:constraint

738         constraint: &Constraint,  in check_constraints()
743 match scope.iter_fields(decl).find(|field| field.id() == Some(&constraint.id)) { in check_constraints()
747 .with_message(format!("undeclared constraint identifier `{}`", constraint.id)) in check_constraints()
748 .with_labels(vec![constraint.loc.primary()]) in check_constraints()
754 .with_message(format!("invalid constraint identifier `{}`", constraint.id)) in check_constraints()
756 constraint.loc.primary(), in check_constraints()
759 constraint.id in check_constraints()
765 match constraint.value { in check_constraints()
771 constraint.tag_id.as_ref().unwrap() in check_constraints()
774 constraint.loc.primary(), in check_constraints()
777 constraint.id in check_constraints()
789 .with_labels(vec![constraint.loc.primary(), field.loc.secondary()]), in check_constraints()
798 match &constraint.tag_id { in check_constraints()
804 constraint.value.unwrap() in check_constraints()
807 constraint.loc.primary(), in check_constraints()
810 constraint.id in check_constraints()
821 constraint.loc.primary(), in check_constraints()
824 constraint.id in check_constraints()
836 constraint.loc.primary(), in check_constraints()
839 constraint.id in check_constraints()
855 constraint.value.unwrap() in check_constraints()
858 constraint.loc.primary(), in check_constraints()
861 constraint.id, in check_constraints()
880 for constraint in constraints { in check_constraints()
881 check_constraint(constraint, parent_decl, scope, diagnostics); in check_constraints()
882 if let Some(prev) = constraints_by_id.insert(constraint.id.to_string(), constraint) { in check_constraints()
889 constraint.id in check_constraints()
892 constraint.loc.primary(), in check_constraints()
916 decl.constraints().fold(acc, |mut acc, constraint| { in check_constraints()
917 let _ = acc.insert(constraint.id.to_string(), constraint); in check_constraints()
1411 .map(|constraint| (constraint.id.clone(), constraint.clone())), in inline_groups()
1431 .and_then(|constraint| constraint.tag_id.clone()) in inline_groups()