mirror of
https://gitlab.gnome.org/jwestman/blueprint-compiler.git
synced 2025-05-04 15:59:08 -04:00
8f3ae9a626
When an explicit parsing error is encountered and a CompileError raised, apply the changes to the context state. This way, the rule that catches the exception (e.g. Statement or Until) knows where the error occurred. Also, changed "Expected" errors to be reported at the end of the previous non-whitespace token.
93 lines
3 KiB
Python
93 lines
3 KiB
Python
# contexts.py
|
|
#
|
|
# Copyright 2023 James Westman <james@jwestman.net>
|
|
#
|
|
# 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 <http://www.gnu.org/licenses/>.
|
|
#
|
|
# SPDX-License-Identifier: LGPL-3.0-or-later
|
|
|
|
import typing as T
|
|
from dataclasses import dataclass
|
|
from functools import cached_property
|
|
|
|
from .common import *
|
|
from .gobject_object import Object
|
|
from .gtkbuilder_template import Template
|
|
|
|
|
|
@dataclass
|
|
class ValueTypeCtx:
|
|
value_type: T.Optional[GirType]
|
|
allow_null: bool = False
|
|
must_infer_type: bool = False
|
|
|
|
|
|
@dataclass
|
|
class ScopeCtx:
|
|
node: AstNode
|
|
|
|
@cached_property
|
|
def template(self):
|
|
from .gtk_list_item_factory import ExtListItemFactory
|
|
from .ui import UI
|
|
|
|
if isinstance(self.node, UI):
|
|
return self.node.template
|
|
elif isinstance(self.node, ExtListItemFactory):
|
|
return self.node
|
|
|
|
@cached_property
|
|
def objects(self) -> T.Dict[str, AstNode]:
|
|
return {
|
|
obj.tokens["id"]: obj
|
|
for obj in self._iter_recursive(self.node)
|
|
if obj.tokens["id"] is not None
|
|
}
|
|
|
|
def validate_unique_ids(self) -> None:
|
|
from .gtk_list_item_factory import ExtListItemFactory
|
|
|
|
passed: T.Dict[str, AstNode] = {}
|
|
for obj in self._iter_recursive(self.node):
|
|
if obj.tokens["id"] is None:
|
|
continue
|
|
|
|
if obj.tokens["id"] in passed:
|
|
token = obj.group.tokens["id"]
|
|
if not isinstance(obj, Template) and not isinstance(
|
|
obj, ExtListItemFactory
|
|
):
|
|
raise CompileError(
|
|
f"Duplicate object ID '{obj.tokens['id']}'",
|
|
token.range,
|
|
references=[
|
|
ErrorReference(
|
|
passed[obj.tokens["id"]].group.tokens["id"].range,
|
|
"previous declaration was here",
|
|
)
|
|
],
|
|
)
|
|
passed[obj.tokens["id"]] = obj
|
|
|
|
def _iter_recursive(self, node: AstNode) -> T.Generator[AstNode, T.Any, None]:
|
|
yield node
|
|
for child in node.children:
|
|
if child.context[ScopeCtx] is self:
|
|
yield from self._iter_recursive(child)
|
|
|
|
|
|
@dataclass
|
|
class ExprValueCtx:
|
|
"""Indicates that the context is an expression literal, where the
|
|
"item" keyword may be used."""
|