original_string: public function get_margin_width()
      {
          $style = $this->_style;
  
          return (float)$style->length_in_pt(array(
              $style->width,
              $style->margin_left,
              $style->margin_right,
              $style->border_left_width,
              $style->border_right_width,
              $style->padding_left,
              $style->padding_right
          ), $this->_containing_block["w"]);
      }
code: public function get_margin_width()
      {
          $style = $this->_style;
  
          return (float)$style->length_in_pt(array(
              $style->width,
              $style->margin_left,
              $style->margin_right,
              $style->border_left_width,
              $style->border_right_width,
              $style->padding_left,
              $style->padding_right
          ), $this->_containing_block["w"]);
      }
code_tokens: public function get_margin_width ( ) { $ style = $ this -> _style ; return ( float ) $ style -> length_in_pt ( array ( $ style -> width , $ style -> margin_left , $ style -> margin_right , $ style -> border_left_width , $ style -> border_right_width , $ style -> padding_left , $ style -> padding_right ) , $ this -> _containing_block [ "w" ] ) ; }
docstring: Return the width of the margin box of the frame, in pt.  Meaningless
  unless the width has been calculated properly.
  
  @return float
docstring_tokens: Return the width of the margin box of the frame in pt . Meaningless unless the width has been calculated properly .