Method get_array_arg

src/program/infer/mod.rs:33–45

(&self)

impl Constraint {
    pub fn get_array_arg(&self) -> usize {
        match self {
            Constraint::ArrayLen(tuple) => tuple.0,
            Constraint::ArrayIndex(tuple) => tuple.0,
            Constraint::WeakArrayLen(tuple) => tuple.0,
            Constraint::AllocSize(pos) => *pos,
            Constraint::FileName(pos) => *pos,
            Constraint::FileDesc(pos) => *pos,
            Constraint::Format(pos) => *pos,
            Constraint::Invalid(tuple) => tuple.0,
            Constraint::LoopCount(pos) => *pos,
        }
    }

    pub fn get_integer_arg(&self) -> usize {
        match self {