|  | @@ 729-731 (lines=3) @@ | 
                                                            
                                    | 726 |  |             : 'FANCY_BATMAN_PANTS'; | 
                                                            
                                    | 727 |  |         $class_name = str_replace('\\', '_', $class_name); | 
                                                            
                                    | 728 |  |         // check if class has already been loaded, and return it if it has been | 
                                                            
                                    | 729 |  |         if (isset($this->{$class_abbreviation}) && ! is_null($this->{$class_abbreviation})) { | 
                                                            
                                    | 730 |  |             return $this->{$class_abbreviation}; | 
                                                            
                                    | 731 |  |         } | 
                                                            
                                    | 732 |  |         if (isset ($this->{$class_name})) { | 
                                                            
                                    | 733 |  |             return $this->{$class_name}; | 
                                                            
                                    | 734 |  |         } | 
                                                                                
                                |  | @@ 761-764 (lines=4) @@ | 
                                                            
                                    | 758 |  |             : 'FANCY_BATMAN_PANTS'; | 
                                                            
                                    | 759 |  |         $class_name = str_replace('\\', '_', $class_name); | 
                                                            
                                    | 760 |  |         // check if class has already been loaded, and return it if it has been | 
                                                            
                                    | 761 |  |         if (isset($this->{$class_abbreviation}) && ! is_null($this->{$class_abbreviation})) { | 
                                                            
                                    | 762 |  |             $this->{$class_abbreviation} = null; | 
                                                            
                                    | 763 |  |             return true; | 
                                                            
                                    | 764 |  |         } | 
                                                            
                                    | 765 |  |         if (isset($this->{$class_name})) { | 
                                                            
                                    | 766 |  |             $this->{$class_name} = null; | 
                                                            
                                    | 767 |  |             return true; |