Send conversion method suggestions

[4e6]

Pull Request Description

close #7320

Changelog:

• update: enable conversion suggestions
• fix: conversion suggestion building
• fix: conversion suggestion types
• fix: conversion JSON-RPC representation

Important Notes

For example, the Day_Of_Week_From conversion is sent as

{
   "type":"Add",
   "id":32,
   "suggestion":{
      "type":"method",
      "module":"Standard.Base.Data.Time.Day_Of_Week_From",
      "name":"from",
      "arguments":[
         {
            "name":"that",
            "reprType":"Standard.Base.Data.Numbers.Integer",
            "isSuspended":false,
            "hasDefault":false,
            "defaultValue":null,
            "tagValues":null
         },
         {
            "name":"first_day",
            "reprType":"Standard.Base.Data.Time.Day_Of_Week.Day_Of_Week",
            "isSuspended":false,
            "hasDefault":true,
            "defaultValue":"Day_Of_Week.Sunday",
            "tagValues":[
               "Standard.Base.Data.Time.Day_Of_Week.Day_Of_Week.Sunday",
               "Standard.Base.Data.Time.Day_Of_Week.Day_Of_Week.Monday",
               "Standard.Base.Data.Time.Day_Of_Week.Day_Of_Week.Tuesday",
               "Standard.Base.Data.Time.Day_Of_Week.Day_Of_Week.Wednesday",
               "Standard.Base.Data.Time.Day_Of_Week.Day_Of_Week.Thursday",
               "Standard.Base.Data.Time.Day_Of_Week.Day_Of_Week.Friday",
               "Standard.Base.Data.Time.Day_Of_Week.Day_Of_Week.Saturday"
            ]
         },
         {
            "name":"start_at_zero",
            "reprType":"Standard.Base.Data.Boolean.Boolean",
            "isSuspended":false,
            "hasDefault":true,
            "defaultValue":"False",
            "tagValues":[
               "Standard.Base.Data.Boolean.Boolean.True",
               "Standard.Base.Data.Boolean.Boolean.False"
            ]
         }
      ],
      "selfType":"Standard.Base.Data.Time.Day_Of_Week.Day_Of_Week",
      "returnType":"Standard.Base.Data.Time.Day_Of_Week.Day_Of_Week",
      "isStatic":false,
      "documentation":" Convert from an integer to a Day_Of_Week\n\nArguments:\n- `that`: The first day of the week.\n- `first_day`: The first day of the week.\n- `start_at_zero`: If True, first day of the week is 0 otherwise is 1.",
      "annotations":[
         
      ]
   }
}

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

• The documentation has been updated, if necessary.
• All code follows the
  Scala,
  Java,
  and
  Rust
  style guides. In case you are using a language not listed above, follow the Rust style guide.
• All code has been tested:
  • Unit tests have been written where possible.

[JaroslavTulach]

For example, the Day_Of_Week_From conversion is sent as

Thank you @4e6, I think the information sent shall be sufficient for the IDE to find out all "roles" a "value at hand" can play (be converted to):

  "name":"from",

The IDE can search for all methods named from...

  "arguments":[
     {
        "name":"that",
        "reprType":"Standard.Base.Data.Numbers.Integer",
        "isSuspended":false,
        "hasDefault":false,
        "defaultValue":null,
        "tagValues":null
     },

...where the that argument has the reprType of the "value at hand" ...

  "returnType":"Standard.Base.Data.Time.Day_Of_Week.Day_Of_Week",

...and include the methods of returnType in component browser for such "value at hand". Once such a method is selected, the IDE would insert value_at_hand.to Day_Of_Week . method_of_day_of_week.

[JaroslavTulach]

Yes, that seems correct. selfType is now FQN. returnType is the type we convert to.

[JaroslavTulach]

Optional arguments are available as well. Good.

[hubertp]

👍