methodStr' :: DexFile -> MethodId -> PP.Doc
methodStr' dex mid =
  case getMethod dex mid of
    Nothing -> "<unknown method ID: " <> word16HexFixed mid <> ">"
    Just meth ->
      getTypeName' dex (methClassId meth) <> "." <>
      getStr' dex (methNameId meth) <> ":" <>
      protoDesc' dex (methProtoId meth)
methodStr' :: DexFile -> MethodId -> PP.Doc
methodStr' dex mid =
  case getMethod dex mid of
    Nothing -> "<unknown method ID: " <> word16HexFixed mid <> ">"
    Just meth ->
      getTypeName' dex (methClassId meth) <> "." <>
      getStr' dex (methNameId meth) <> ":" <>
      protoDesc' dex (methProtoId meth)
methodStr' dex mid =
  case getMethod dex mid of
    Nothing -> "<unknown method ID: " <> word16HexFixed mid <> ">"
    Just meth ->
      getTypeName' dex (methClassId meth) <> "." <>
      getStr' dex (methNameId meth) <> ":" <>
      protoDesc' dex (methProtoId meth)