[Enhancement][Track] KCL VSCode IDE extension and lsp enhancement

[He1pa]

Enhancement

TODO List

• Semantic highlighting
• daily release ci
• Different completion kinds for string variables and literals fix: fix complete item kind #963

• Wrong schema entry completion items for internal schema definition in the schema.

• Support completion for more complex selector and subscript expression syntax, e.g, kind[0].lower() # kind[0] is the string type

schema Person:
    names: [str]

a = (Person{
    names = ["123"]
}.names)?[0]

feat:

• More precise lookup and goto definition

  • More precise lookup definitions in the symbol table Refactor: refactor find def in LSP #606
  • Divide Ident into different definitions and jump to different locations, e.g., for a.b.c, find definition of a,b and c, instead of a.b.c feat: add position for each name in identifier #608

• hover enhance: doc parse and better organization of presentation content feat: enhance lsp hover #621

• diagnostics enhance for conflict attr feat: diagnostic related info #646

• Intelligent perception display of function icons and documents for members of str type.

• kcl-language-server version show versions

• refactor functions:

  • kcl schema/attribute/function/import auto rename.

• The completion of map key.

• Additional error plugin installation dependencies or instructions.
  doc: update vscode docs kcl-lang.io#96
  

• Hover for SchemaAttr AST Node

• Go to definition for lambda arguments

lambda a: int {
    b = a # Go to definition feat for `a` in `b = a` is not work.
}

• kpm package import completion
• completion on the right side value of the assignment statement
• completion on the built-in package import
• completion on the parameter list of the built-in functions
• Right click for run/format/...
  • fmt feat: integrate kcl fmt tools to lsp. Suport formmat single file #680 feat: lsp range fmt  #682
• completion for attr, var, pkg name feat: lsp completion of pkg, var and schema attr #614
  • completion on newline in braces: the alternative attribute list should be displayed on initializing schema instance
• quick fix feat: lsp quick fix #652
• diagnostics enhance
  • Feat: Change diagnostic position from pos(start) to range(start, end) #638
  • feat: diagnostic related info #646
  • feat: lsp quick fix #652
• support find reference [Feature] support find reference token list from the definition #712
  test:

• e2e test feat: lsp e2e test. #700
• integration test of konfig test: add integration test of lsp and Konfig #714

release:
#602

• kcl lsp version feat: add sub command version to lsp #730
• install with package manager, e.g., homebrew

bugfix:

• literal str methods completion fix: fix empty identifier expr position #593
• import pkg completion
• Syntax incompatibility upgrades lead to errors(: and = in base and stack)
• Goto definition failed in main.k(Can't find ast node from position due to config merge(preprocess in resolver)) feat: change compile unit for base.k in konfig #675
• Conflict between pkg var and for loop local var.
• Schema document only contains the header not include the schema attr. feat: enhance lsp hover #621
• Dot completion feat: lsp completion of pkg, var and schema attr #614
  
• Attr position err bugfix: fix schema attr position in sema type #674
  
• Unused import bugfix: walk quant expr sub node when got any type of target #686
  
• config expr complete
  
• ConfigEntry and ConfigIfEntry bugfix: fix ConfigEntry and ConfigIfEntry expr position err  #687

capabilities = option("params").capabilities or ["SETUID", "SETFCAP"]
items = [item | {
    if item.kind == "Pod":
        spec.containers: [{
            "securityContext": {"capabilities": {"add" += [c] if c not in (container?.securityContext?.capabilities?.drop or []) else [] for c in capabilities}}
        } for container in item.spec.containers]
} for item in option("items")]

params = option("params")
toMatch = params.toMatch
toAdd = params.toAdd
items = [item | {
   # If all annotations are matched, patch more annotations
   if all key, value in toMatch {
      item.metadata.annotations[key] == value
   }:
       metadata.annotations: toAdd
} for item in option("items")]

• [Bug] String variable missing member function hover #758

a = "".capitalize() # The function has hover info
b = a.capitalize() # The function has not hover info

releated issues

• [Enhancement]: KCL Diagnostic #634

• [Enhancement] KCL Semantic model issues for config attribute #635

• The variable to the right of a continuous logical expression a and b a and b or c does not have hovering information.

• Wrong hover item for the package name. expected app got app:

• Completion for the optional chain operator ?.

• Wrong completion item for check colon : fix: fix wrong dot and assign complete after special ty #946

• Wrong schema entry completion items for internal schema definition in the schema.

• Support completion for more complex selector and subscript expression syntax, e.g, kind[0].lower() # kind[0] is the string type

schema Person:
    names: [str]

a = (Person{
    names = ["123"]
}.names)?[0]

• fix: fix lsp complete in comment after str type var #992

• No hover information for the attribute strategy after the if config block.
  fix: fix config if expr pos #1027

import k8s.api.apps.v1 as appsv1
import k8s.api.core.v1 as corev1
import config

deployment = appsv1.Deployment {
    metadata: config.metadata
    spec: appsv1.DeploymentSpec {
        if config.autoscaling.enabled:
            replicas = config.replicas
        strategy = {
            type =  "RollingUpdate"
            rollingUpdate.maxUnavailable = "50%"
        }
    }
}

• Wrong completion for the schema check : char
  feat: add check scope kind #1057
  

• No completion for the schema check ?. char
  fix: remove missing expr symbol #1030

• Wrong completion items for multiple different char after . e.g. c, o, co

• Wrong completion items for attribute in the if block.

• Wrong completion items for attribute in the if condition.

• No hover information for the if config block.
  fix advanced resolver walk_list_if_item_expr #1018
  

• No hover information for the internal schema scope variables that are not the schema attribute.
  fix: fix schema scope variables sema info and comments symbols panic #1014
  

• Wrong definition for the local variable in lambda
  Fix the definition of duplicate parameter  #1048

f = lambda a: [str], b: [str], c: [str] -> [str] {
    c + a + b # The definition of `c` is wrong
}
c = f([], [], [])

[Peefy]

• The hover may not work well for the complex selector expr, e.g,. Fib {n = 8}.value at samples/fib.k
• The hover may not work well for a in a?.b

[amyXia1994]

• go to definition failed in base.k (appops/guestbook/base/base.k, Line 7) Can't find ast node from position due to config merge(preprocess in resolver)

[amyXia1994]

• go to definition produces more than one definitions, but only the v2 schema is the real definition.
  Refactor: refactor find def in LSP #606