original_string: public function hasMarkedPlace($subject, $placeName, $name = null)
      {
          return $this->workflowRegistry->get($subject, $name)->getMarking($subject)->has($placeName);
      }
code: public function hasMarkedPlace($subject, $placeName, $name = null)
      {
          return $this->workflowRegistry->get($subject, $name)->getMarking($subject)->has($placeName);
      }
code_tokens: public function hasMarkedPlace ( $ subject , $ placeName , $ name = null ) { return $ this -> workflowRegistry -> get ( $ subject , $ name ) -> getMarking ( $ subject ) -> has ( $ placeName ) ; }
docstring: Returns true if the place is marked.
  
  @param object $subject   A subject
  @param string $placeName A place name
  @param string $name      A workflow name
  
  @return bool true if the transition is enabled
docstring_tokens: Returns true if the place is marked .