original_string: public function getTranslations(Locale $locale)
      {
          $localeID = $locale->getID();
          $translations = isset($this->translations[$localeID]) ? $this->translations[$localeID][1] : null;
          if ($translations === null) {
              $translations = clone $this->getSourceStrings(true);
              $translations->setLanguage($locale->getID());
              $this->setTranslations($locale, $translations);
          }
  
          return $translations;
      }
code: public function getTranslations(Locale $locale)
      {
          $localeID = $locale->getID();
          $translations = isset($this->translations[$localeID]) ? $this->translations[$localeID][1] : null;
          if ($translations === null) {
              $translations = clone $this->getSourceStrings(true);
              $translations->setLanguage($locale->getID());
              $this->setTranslations($locale, $translations);
          }
  
          return $translations;
      }
code_tokens: public function getTranslations ( Locale $ locale ) { $ localeID = $ locale -> getID ( ) ; $ translations = isset ( $ this -> translations [ $ localeID ] ) ? $ this -> translations [ $ localeID ] [ 1 ] : null ; if ( $ translations === null ) { $ translations = clone $ this -> getSourceStrings ( true ) ; $ translations -> setLanguage ( $ locale -> getID ( ) ) ; $ this -> setTranslations ( $ locale , $ translations ) ; } return $ translations ; }
docstring: Get the translations for a specific locale.
  
  @param Locale $locale
docstring_tokens: Get the translations for a specific locale .