diff --git a/blueprintcompiler/linter.py b/blueprintcompiler/linter.py new file mode 100644 index 0000000..d53aeb7 --- /dev/null +++ b/blueprintcompiler/linter.py @@ -0,0 +1,87 @@ +# parser.py +# +# Copyright © 2024 GNOME Foundation Inc. +# Original Author: Sonny Piers +# +# This file is free software; you can redistribute it and/or modify it +# under the terms of the GNU Lesser General Public License as +# published by the Free Software Foundation; either version 3 of the +# License, or (at your option) any later version. +# +# This file is distributed in the hope that it will be useful, but +# WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +# Lesser General Public License for more details. +# +# You should have received a copy of the GNU Lesser General Public +# License along with this program. If not, see . +# +# SPDX-License-Identifier: LGPL-3.0-or-later + +from blueprintcompiler.language.gobject_object import Object +from blueprintcompiler.language.gtkbuilder_child import Child +from blueprintcompiler.language.gobject_property import Property +from blueprintcompiler.language.values import Translated, Literal +from .errors import CompileError, CompileWarning + +def lint(ast, problems = []): + for child in ast.children: + if isinstance(child, Object): + children = child.content.children[Child] + properties = child.content.children[Property] + type = child.class_name.gir_type.full_name + + if (type in gir_types_no_children and len(children) > 0): + range = children[0].range + problem = CompileError(f'{type} cannot have children', range) + problems.append(problem) + elif (type in gir_types_single_child and len(children) > 1): + range = children[1].range + problem = CompileError(f'{type} cannot have more than one child', range) + problems.append(problem) + + if (type == 'Gtk.Box' and len(children) == 1): + range = children[0].range + problem = CompileWarning(f'Use Adw.Bin instead of a Gtk.Box for a single child', range) + problems.append(problem) + + for translatable_property in translatable_properties: + if type == translatable_property[0] or translatable_property[0] == None: + for property in properties: + if (property.name == translatable_property[1]): + value = property.children[0].child + if (not isinstance(value, Translated)): + range = value.range + problem = CompileWarning(f'Mark {type} {property.name} as translatable using _("...")', range) + problems.append(problem) + + # FIXME GTK4 only + for property in properties: + if (property.name == 'visible'): + value = property.children[0].child + ident = value.value.ident + if ident == 'true': + range = value.range + problem = CompileWarning(f'Property {property.name} default value is already true', range) + problems.append(problem) + + + if (type == 'Gtk.Switch'): + for property in properties: + if (property.name == 'state'): + range = property.range + problem = CompileError(f'Use the Gtk.Switch active property instead of the state property', range) + problems.append(problem) + + lint(child, problems) + + return problems + +gir_types_no_children = ['Gtk.Label'] +gir_types_single_child = ['Adw.Bin', 'Adw.StatusPage'] + +translatable_properties = [ + (None, 'tooltip-text'), + ('Gtk.Label', 'label'), + ('Gtk.Window', 'title'), +] diff --git a/blueprintcompiler/main.py b/blueprintcompiler/main.py index 1a9bd98..937023c 100644 --- a/blueprintcompiler/main.py +++ b/blueprintcompiler/main.py @@ -24,8 +24,8 @@ import os import sys import typing as T -from . import formatter, interactive_port, parser, tokenizer -from .errors import CompileError, CompilerBugError, PrintableError, report_bug +from . import formatter, interactive_port, parser, tokenizer, linter +from .errors import CompileError, CompileWarning, CompilerBugError, PrintableError, report_bug from .gir import add_typelib_search_path from .lsp import LanguageServer from .outputs import XmlOutput @@ -96,6 +96,15 @@ class BlueprintApp: metavar="filenames", ) + lint = self.add_subcommand( + "lint", "Lint given blueprint files", self.cmd_lint + ) + lint.add_argument( + "inputs", + nargs="+", + metavar="filenames", + ) + port = self.add_subcommand("port", "Interactive porting tool", self.cmd_port) lsp = self.add_subcommand( @@ -291,6 +300,46 @@ class BlueprintApp: if panic: sys.exit(1) + def cmd_lint(self, opts): + input_files = [] + missing_files = [] + panic = False + + for path in opts.inputs: + if os.path.isfile(path): + input_files.append(path) + elif os.path.isdir(path): + for root, subfolders, files in os.walk(path): + for file in files: + if file.endswith(".blp"): + input_files.append(os.path.join(root, file)) + else: + missing_files.append(path) + + for file in input_files: + with open(file, "r+") as file: + data = file.read() + errored = False + + tokens = tokenizer.tokenize(data) + ast, errors, warnings = parser.parse(tokens) + + if errors: + raise errors + if ast is None: + raise CompilerBugError() + + problems = linter.lint(ast) + for problem in problems: + if isinstance(problem, CompileError): + problem.pretty_print(file.name, problem.range.original_text, stream=sys.stderr) + panic = True + elif isinstance(problem, CompileWarning): + problem.pretty_print(file.name, problem.range.original_text, stream=sys.stderr) + + if panic: + sys.exit(1) + def cmd_lsp(self, opts): langserv = LanguageServer() langserv.run() diff --git a/linter.blp b/linter.blp new file mode 100644 index 0000000..f98b92c --- /dev/null +++ b/linter.blp @@ -0,0 +1,35 @@ +using Gtk 4.0; +using Adw 1; + +Label { + Box {} +} + +Adw.StatusPage { + Box {} + Box {} +} + +Gtk.Box { + Label {} +} + +Label { + label: "foo"; +} + +Switch { + state: false; +} + +Button { + tooltip-text: "foo"; +} + +Window { + title: "foobar"; +} + +Box { + visible: true; +} \ No newline at end of file