is_field_prefix

rapx::analysis::core::alias_analysis::mfp::interproc

Function is_field_prefix 

Source 
fn is_field_prefix(prefix: &[usize], full: &[usize]) -> bool
Expand description

Check if one field path is a proper prefix of another Returns true if prefix is a prefix of full

Examples:

  • is_field_prefix([], [0]) = true (parent-child)
  • is_field_prefix([0], [0, 1]) = true (parent-child)
  • is_field_prefix([0], [1]) = false (siblings, not prefix)
  • is_field_prefix([0, 1], [0, 2]) = false (different fields at same level)