Method get_integer_arg

src/program/infer/mod.rs:47–59

(&self)

    }

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

    pub fn get_arg_tuple(&self) -> Option<&ArgTuple> {
        match self {