Skip to content

Latest commit

 

History

History
84 lines (51 loc) · 3.05 KB

completion.md

File metadata and controls

84 lines (51 loc) · 3.05 KB

Completion

Language Server provides several types of completion.

Symbols Completion

Simple type of autocompletion that offers a list of possible completions for the current context, for example, all local variables, parameters, global functions, and so on.

completion.mp4

Auto-import

When autocompleting a symbol that is defined in another file or in stdlib, LS will automatically add the import of the required file:

auto-import.mp4

Imports completion

When you want to import another file, LS will help you find it:

import-completion.mp4

Postfix completion

Postfix completion allows you to avoid unnecessary backtracking. The following constructs can be created via postfix completion:

  • expr.if -> if (expr) {}
  • expr.let -> let $0 = expr;
  • expr.repeat -> repeat (expr) {}
  • expr.do -> do {} while (expr)
  • expr.not -> !expr
  • expr.call -> (expr)
postfix-completion.mp4

Smart completion

LS provides autocompletion that can expand into entire constructs based on the current context,

  • return expands to return; or return $0; depending on the context
  • In functions that return Bool, the variants return false; and return true; are automatically added
  • In functions that return String, the variant return ""; is automatically added
  • In functions that return T?, the variant return null; is automatically added

Override method completion

If a contract or trait inherits from another trait that defines a method, LS will add a completion variant that will expand into a full description:

override-completion.mp4

Implement field completion

If a contract or trait inherits from another trait that defines a certain field, LS will add an auto-completion option that will expand into a full description:

field-completion.mp4

Generate getter for field

If a contract or trait has fields, then by entering their name in the body of the contract/trait, you can generate a getter:

Screen.Recording.2025-02-21.at.21.13.48.mov

Using the state you can generate a getter for the entire contract state at once.

self.X completion

If you are in a contract/trait or in a type method, you need to use self to access a field, LS will automatically insert self. if needed:

self-completion.mp4

Function call completion

LS knows that if a function has no arguments, it should put the caret after the arguments, and if it does, it should put caret inside. LS will also add ; if that's correct. If you're replacing the name of the function being called, LS won't add extra parentheses.

call-completion.mp4