fn translate_modify_target(&mut self, exp: &EA::Exp) -> Exp {
        let loc = self.to_loc(&exp.loc);
        let (_, exp) = self.translate_exp_free(exp);
        match &exp {
            Exp::Call(_, Operation::Global, _) => exp,
            _ => {
                self.error(&loc, "global resource access expected");
                self.new_error_exp()
            }
        }
    }
/// Translates an expression representing a modify target
Translates an expression representing a modify target
Translates an expression representing a modify target
fn translate_modify_target(&mut self, exp: &EA::Exp) -> Exp {
        let loc = self.to_loc(&exp.loc);
        let (_, exp) = self.translate_exp_free(exp);
        match &exp {
            Exp::Call(_, Operation::Global, _) => exp,
            _ => {
                self.error(&loc, "global resource access expected");
                self.new_error_exp()
            }
        }
    }
fn translate_modify_target ( & mut self , exp : & EA :: Exp ) -> Exp { let loc = self . to_loc ( & exp . loc ) ; let ( _ , exp ) = self . translate_exp_free ( exp ) ; match & exp { Exp :: Call ( _ , Operation :: Global , _ ) => exp , _ => { self . error ( & loc , " " ) ; self . new_error_exp ( ) } } }
Translates an expression representing a modify target
Translates an expression representing a modify target
&mut self
exp
&EA::Exp
&mut self
exp
&EA::Exp