(self)
return self._content.payload[2]
Return the ending index for BVExtract.
Return the ending index for BVExtract.
Return the ending index for BVExtract .
def bv_extract_end(self):
        """Return the ending index for BVExtract."""
        assert self.is_bv_extract()
        return self._content.payload[2]
def bv_extract_end ( self ) : assert self . is_bv_extract ( ) return self . _content . payload [ 2 ]