Esempio n. 1
0
 public void __exit__()
 {
     if (_current_name_scope != null)
     {
         _current_name_scope.__exit__();
     }
 }
 public void __exit__()
 {
     _cached_pure_variable_scope.__exit__();
     if (_current_name_scope != null)
     {
         _current_name_scope.__exit__();
     }
 }