Method new

language/move-prover/bytecode/src/stackless_bytecode_generator.rs:48–63

(func_env: &'a FunctionEnv<'a>)

impl<'a> StacklessBytecodeGenerator<'a> {
    pub fn new(func_env: &'a FunctionEnv<'a>) -> Self {
        let local_types = (0..func_env.get_local_count())
            .map(|i| func_env.get_local_type(i))
            .collect_vec();
        StacklessBytecodeGenerator {
            func_env,
            module: func_env.module_env.get_verified_module(),
            temp_count: local_types.len(),
            temp_stack: vec![],
            local_types,
            code: vec![],
            location_table: BTreeMap::new(),
            loop_invariants: BTreeSet::new(),
            fallthrough_labels: BTreeSet::new(),
        }
    }

    pub fn generate_function(mut self) -> FunctionData {
        let original_code = self.func_env.get_bytecode();