mirror of
https://gitlab.gnome.org/jwestman/blueprint-compiler.git
synced 2025-05-04 15:59:08 -04:00
Fix formatting
This commit is contained in:
parent
dc42556487
commit
6522421251
5 changed files with 26 additions and 22 deletions
|
@ -38,12 +38,10 @@ class Children:
|
||||||
return iter(self._children)
|
return iter(self._children)
|
||||||
|
|
||||||
@T.overload
|
@T.overload
|
||||||
def __getitem__(self, key: T.Type[TType]) -> T.List[TType]:
|
def __getitem__(self, key: T.Type[TType]) -> T.List[TType]: ...
|
||||||
...
|
|
||||||
|
|
||||||
@T.overload
|
@T.overload
|
||||||
def __getitem__(self, key: int) -> "AstNode":
|
def __getitem__(self, key: int) -> "AstNode": ...
|
||||||
...
|
|
||||||
|
|
||||||
def __getitem__(self, key):
|
def __getitem__(self, key):
|
||||||
if isinstance(key, int):
|
if isinstance(key, int):
|
||||||
|
|
|
@ -301,9 +301,7 @@ def step5(in_files):
|
||||||
(
|
(
|
||||||
Colors.GREEN
|
Colors.GREEN
|
||||||
if line.startswith("+")
|
if line.startswith("+")
|
||||||
else Colors.RED + Colors.FAINT
|
else Colors.RED + Colors.FAINT if line.startswith("-") else ""
|
||||||
if line.startswith("-")
|
|
||||||
else ""
|
|
||||||
)
|
)
|
||||||
+ line
|
+ line
|
||||||
+ Colors.CLEAR
|
+ Colors.CLEAR
|
||||||
|
|
|
@ -88,9 +88,11 @@ class MenuAttribute(AstNode):
|
||||||
self.name,
|
self.name,
|
||||||
SymbolKind.Field,
|
SymbolKind.Field,
|
||||||
self.range,
|
self.range,
|
||||||
self.group.tokens["name"].range
|
(
|
||||||
if self.group.tokens["name"]
|
self.group.tokens["name"].range
|
||||||
else self.range,
|
if self.group.tokens["name"]
|
||||||
|
else self.range
|
||||||
|
),
|
||||||
self.value.range.text,
|
self.value.range.text,
|
||||||
)
|
)
|
||||||
|
|
||||||
|
|
|
@ -390,9 +390,11 @@ class LanguageServer:
|
||||||
"changes": {
|
"changes": {
|
||||||
open_file.uri: [
|
open_file.uri: [
|
||||||
{
|
{
|
||||||
"range": action.edit_range.to_json()
|
"range": (
|
||||||
if action.edit_range
|
action.edit_range.to_json()
|
||||||
else diagnostic.range.to_json(),
|
if action.edit_range
|
||||||
|
else diagnostic.range.to_json()
|
||||||
|
),
|
||||||
"newText": action.replace_with,
|
"newText": action.replace_with,
|
||||||
}
|
}
|
||||||
]
|
]
|
||||||
|
@ -463,9 +465,11 @@ class LanguageServer:
|
||||||
result = {
|
result = {
|
||||||
"range": err.range.to_json(),
|
"range": err.range.to_json(),
|
||||||
"message": message,
|
"message": message,
|
||||||
"severity": DiagnosticSeverity.Warning
|
"severity": (
|
||||||
if isinstance(err, CompileWarning)
|
DiagnosticSeverity.Warning
|
||||||
else DiagnosticSeverity.Error,
|
if isinstance(err, CompileWarning)
|
||||||
|
else DiagnosticSeverity.Error
|
||||||
|
),
|
||||||
}
|
}
|
||||||
|
|
||||||
if isinstance(err, DeprecationWarning):
|
if isinstance(err, DeprecationWarning):
|
||||||
|
|
|
@ -97,12 +97,14 @@ class Completion:
|
||||||
"kind": self.kind,
|
"kind": self.kind,
|
||||||
"tags": [CompletionItemTag.Deprecated] if self.deprecated else None,
|
"tags": [CompletionItemTag.Deprecated] if self.deprecated else None,
|
||||||
"detail": self.signature,
|
"detail": self.signature,
|
||||||
"documentation": {
|
"documentation": (
|
||||||
"kind": "markdown",
|
{
|
||||||
"value": self.docs,
|
"kind": "markdown",
|
||||||
}
|
"value": self.docs,
|
||||||
if self.docs
|
}
|
||||||
else None,
|
if self.docs
|
||||||
|
else None
|
||||||
|
),
|
||||||
"deprecated": self.deprecated,
|
"deprecated": self.deprecated,
|
||||||
"sortText": self.sort_text,
|
"sortText": self.sort_text,
|
||||||
"insertText": insert_text,
|
"insertText": insert_text,
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue