original_docstring: 
          Convert hexadecimal port id to commonly used dot notation
          0x8001 -> 128.1
          
docstring: Convert hexadecimal port id to commonly used dot notation
  0x8001 -> 128.1
docstring_tokens: Convert hexadecimal port id to commonly used dot notation 0x8001 - > 128 . 1
code: def hex_to_portid(cls, v):
          """
          Convert hexadecimal port id to commonly used dot notation
          0x8001 -> 128.1
          """
          i = int(v, 16)
          prio = (i >> 12) * 16
          port = i & 0xFFF
          return "%d.%d" % (prio, port)
code_tokens: def hex_to_portid ( cls , v ) : i = int ( v , 16 ) prio = ( i >> 12 ) * 16 port = i & 0xFFF return "%d.%d" % ( prio , port )
short_docstring: Convert hexadecimal port id to commonly used dot notation
  0x8001 -> 128.1
short_docstring_tokens: Convert hexadecimal port id to commonly used dot notation 0x8001 - > 128 . 1
comment: """
          Convert hexadecimal port id to commonly used dot notation
          0x8001 -> 128.1
          """