Method get_arg_tuple

src/program/infer/mod.rs:61–73

(&self)

    }

    pub fn get_arg_tuple(&self) -> Option<&ArgTuple> {
        match self {
            Constraint::ArrayLen(tuple) => Some(tuple),
            Constraint::ArrayIndex(tuple) => Some(tuple),
            Constraint::Invalid(tuple) => Some(tuple),
            Constraint::WeakArrayLen(tuple) => Some(tuple),
            Constraint::FileName(_) => None,
            Constraint::FileDesc(_) => None,
            Constraint::Format(_) => None,
            Constraint::AllocSize(_) => None,
            Constraint::LoopCount(_) => None,
        }
    }
}

/// Retrieve the constraint on the arg_pos of the func call.