mirror of
https://gitlab.gnome.org/jwestman/blueprint-compiler.git
synced 2025-05-04 15:59:08 -04:00
76 lines
2.5 KiB
Python
76 lines
2.5 KiB
Python
# imports.py
|
|
#
|
|
# Copyright 2022 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
|
|
|
|
|
|
from .. import gir
|
|
from .common import *
|
|
|
|
|
|
class GtkDirective(AstNode):
|
|
grammar = Statement(
|
|
Match("using").err("File must start with a \"using Gtk\" directive (e.g. `using Gtk 4.0;`)"),
|
|
Match("Gtk").err("File must start with a \"using Gtk\" directive (e.g. `using Gtk 4.0;`)"),
|
|
UseNumberText("version").expected("a version number for GTK"),
|
|
)
|
|
|
|
@validate("version")
|
|
def gtk_version(self):
|
|
version = self.tokens["version"]
|
|
if version not in ["4.0"]:
|
|
err = CompileError("Only GTK 4 is supported")
|
|
if version and version.startswith("4"):
|
|
err.hint("Expected the GIR version, not an exact version number. Use 'using Gtk 4.0;'.")
|
|
else:
|
|
err.hint("Expected 'using Gtk 4.0;'")
|
|
raise err
|
|
|
|
gir.get_namespace("Gtk", version)
|
|
|
|
@property
|
|
def gir_namespace(self):
|
|
# validate the GTK version first to make sure the more specific error
|
|
# message is emitted
|
|
self.gtk_version()
|
|
return gir.get_namespace("Gtk", self.tokens["version"])
|
|
|
|
|
|
def emit_xml(self, xml: XmlEmitter):
|
|
xml.put_self_closing("requires", lib="gtk", version=self.tokens["version"])
|
|
|
|
|
|
class Import(AstNode):
|
|
grammar = Statement(
|
|
"using",
|
|
UseIdent("namespace").expected("a GIR namespace"),
|
|
UseNumberText("version").expected("a version number"),
|
|
)
|
|
|
|
@validate("namespace", "version")
|
|
def namespace_exists(self):
|
|
gir.get_namespace(self.tokens["namespace"], self.tokens["version"])
|
|
|
|
@property
|
|
def gir_namespace(self):
|
|
try:
|
|
return gir.get_namespace(self.tokens["namespace"], self.tokens["version"])
|
|
except CompileError:
|
|
return None
|
|
|
|
def emit_xml(self, xml):
|
|
pass
|