Method get_local_count

language/move-prover/bytecode/src/function_target.rs:239–241

Gets the number of locals of this function, including parameters.

(&self)

    /// Gets the number of locals of this function, including parameters.
    pub fn get_local_count(&self) -> usize {
        self.data.local_types.len()
    }

    /// Gets the number of user declared locals of this function, excluding locals which have
    /// been introduced by transformations.