tree-sitter-clingo 0.2.0__tar.gz

tree_sitter_clingo-0.2.0/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2022 Sven Thiele
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

tree_sitter_clingo-0.2.0/PKG-INFO

@@ -0,0 +1,22 @@
+Metadata-Version: 2.4
+Name: tree-sitter-clingo
+Version: 0.2.0
+Summary: Clingo grammar for tree-sitter
+Author: Roland Kaminski, Sven Thiele
+License: MIT
+Project-URL: Homepage, https://github.com/potassco/tree-sitter-clingo
+Keywords: incremental,parsing,tree-sitter,clingo
+Classifier: Intended Audience :: Developers
+Classifier: Topic :: Software Development :: Compilers
+Classifier: Topic :: Text Processing :: Linguistic
+Classifier: Typing :: Typed
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Provides-Extra: core
+Requires-Dist: tree-sitter~=0.25; extra == "core"
+Dynamic: license-file
+
+# tree-sitter-clingo [![Build Status](https://github.com/potassco/tree-sitter-clingo/workflows/CI%20test/badge.svg)](https://github.com/potassco/tree-sitter-clingo) [![Latest Version](https://img.shields.io/crates/v/tree-sitter-clingo.svg)](https://crates.io/crates/tree-sitter-clingo) [![Rust Documentation](https://img.shields.io/badge/api-rustdoc-blue.svg)](https://docs.rs/tree-sitter-clingo)
+
+Clingo grammar for [tree-sitter](https://github.com/tree-sitter/tree-sitter)

tree_sitter_clingo-0.2.0/README.md

@@ -0,0 +1,3 @@
+# tree-sitter-clingo [![Build Status](https://github.com/potassco/tree-sitter-clingo/workflows/CI%20test/badge.svg)](https://github.com/potassco/tree-sitter-clingo) [![Latest Version](https://img.shields.io/crates/v/tree-sitter-clingo.svg)](https://crates.io/crates/tree-sitter-clingo) [![Rust Documentation](https://img.shields.io/badge/api-rustdoc-blue.svg)](https://docs.rs/tree-sitter-clingo)
+
+Clingo grammar for [tree-sitter](https://github.com/tree-sitter/tree-sitter)

tree_sitter_clingo-0.2.0/bindings/python/tree_sitter_clingo/__init__.py

@@ -0,0 +1,42 @@
+"""Clingo grammar for tree-sitter"""
+
+from importlib.resources import files as _files
+
+from ._binding import language
+
+
+def _get_query(name, file):
+    query = _files(f"{__package__}.queries") / file
+    globals()[name] = query.read_text()
+    return globals()[name]
+
+
+def __getattr__(name):
+    # NOTE: uncomment these to include any queries that this grammar contains:
+
+    # if name == "HIGHLIGHTS_QUERY":
+    #     return _get_query("HIGHLIGHTS_QUERY", "highlights.scm")
+    # if name == "INJECTIONS_QUERY":
+    #     return _get_query("INJECTIONS_QUERY", "injections.scm")
+    # if name == "LOCALS_QUERY":
+    #     return _get_query("LOCALS_QUERY", "locals.scm")
+    # if name == "TAGS_QUERY":
+    #     return _get_query("TAGS_QUERY", "tags.scm")
+
+    raise AttributeError(f"module {__name__!r} has no attribute {name!r}")
+
+
+__all__ = [
+    "language",
+    # "HIGHLIGHTS_QUERY",
+    # "INJECTIONS_QUERY",
+    # "LOCALS_QUERY",
+    # "TAGS_QUERY",
+]
+
+
+def __dir__():
+    return sorted(__all__ + [
+        "__all__", "__builtins__", "__cached__", "__doc__", "__file__",
+        "__loader__", "__name__", "__package__", "__path__", "__spec__",
+    ])

tree_sitter_clingo-0.2.0/bindings/python/tree_sitter_clingo/__init__.pyi

@@ -0,0 +1,10 @@
+from typing import Final
+
+# NOTE: uncomment these to include any queries that this grammar contains:
+
+# HIGHLIGHTS_QUERY: Final[str]
+# INJECTIONS_QUERY: Final[str]
+# LOCALS_QUERY: Final[str]
+# TAGS_QUERY: Final[str]
+
+def language() -> object: ...

tree_sitter_clingo-0.2.0/bindings/python/tree_sitter_clingo/binding.c

@@ -0,0 +1,35 @@
+#include <Python.h>
+
+typedef struct TSLanguage TSLanguage;
+
+TSLanguage *tree_sitter_clingo(void);
+
+static PyObject* _binding_language(PyObject *Py_UNUSED(self), PyObject *Py_UNUSED(args)) {
+    return PyCapsule_New(tree_sitter_clingo(), "tree_sitter.Language", NULL);
+}
+
+static struct PyModuleDef_Slot slots[] = {
+#ifdef Py_GIL_DISABLED
+    {Py_mod_gil, Py_MOD_GIL_NOT_USED},
+#endif
+    {0, NULL}
+};
+
+static PyMethodDef methods[] = {
+    {"language", _binding_language, METH_NOARGS,
+     "Get the tree-sitter language for this grammar."},
+    {NULL, NULL, 0, NULL}
+};
+
+static struct PyModuleDef module = {
+    .m_base = PyModuleDef_HEAD_INIT,
+    .m_name = "_binding",
+    .m_doc = NULL,
+    .m_size = 0,
+    .m_methods = methods,
+    .m_slots = slots,
+};
+
+PyMODINIT_FUNC PyInit__binding(void) {
+    return PyModuleDef_Init(&module);
+}

tree_sitter_clingo-0.2.0/bindings/python/tree_sitter_clingo.egg-info/PKG-INFO

@@ -0,0 +1,22 @@
+Metadata-Version: 2.4
+Name: tree-sitter-clingo
+Version: 0.2.0
+Summary: Clingo grammar for tree-sitter
+Author: Roland Kaminski, Sven Thiele
+License: MIT
+Project-URL: Homepage, https://github.com/potassco/tree-sitter-clingo
+Keywords: incremental,parsing,tree-sitter,clingo
+Classifier: Intended Audience :: Developers
+Classifier: Topic :: Software Development :: Compilers
+Classifier: Topic :: Text Processing :: Linguistic
+Classifier: Typing :: Typed
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Provides-Extra: core
+Requires-Dist: tree-sitter~=0.25; extra == "core"
+Dynamic: license-file
+
+# tree-sitter-clingo [![Build Status](https://github.com/potassco/tree-sitter-clingo/workflows/CI%20test/badge.svg)](https://github.com/potassco/tree-sitter-clingo) [![Latest Version](https://img.shields.io/crates/v/tree-sitter-clingo.svg)](https://crates.io/crates/tree-sitter-clingo) [![Rust Documentation](https://img.shields.io/badge/api-rustdoc-blue.svg)](https://docs.rs/tree-sitter-clingo)
+
+Clingo grammar for [tree-sitter](https://github.com/tree-sitter/tree-sitter)

tree_sitter_clingo-0.2.0/bindings/python/tree_sitter_clingo.egg-info/SOURCES.txt

@@ -0,0 +1,16 @@
+LICENSE
+README.md
+pyproject.toml
+setup.py
+bindings/python/tree_sitter_clingo/__init__.py
+bindings/python/tree_sitter_clingo/__init__.pyi
+bindings/python/tree_sitter_clingo/binding.c
+bindings/python/tree_sitter_clingo/py.typed
+bindings/python/tree_sitter_clingo.egg-info/PKG-INFO
+bindings/python/tree_sitter_clingo.egg-info/SOURCES.txt
+bindings/python/tree_sitter_clingo.egg-info/dependency_links.txt
+bindings/python/tree_sitter_clingo.egg-info/not-zip-safe
+bindings/python/tree_sitter_clingo.egg-info/requires.txt
+bindings/python/tree_sitter_clingo.egg-info/top_level.txt
+src/parser.c
+src/scanner.c

tree_sitter_clingo-0.2.0/bindings/python/tree_sitter_clingo.egg-info/dependency_links.txt

@@ -0,0 +1 @@
+

tree_sitter_clingo-0.2.0/bindings/python/tree_sitter_clingo.egg-info/not-zip-safe

@@ -0,0 +1 @@
+

tree_sitter_clingo-0.2.0/bindings/python/tree_sitter_clingo.egg-info/requires.txt

@@ -0,0 +1,3 @@
+
+[core]
+tree-sitter~=0.25

tree_sitter_clingo-0.2.0/bindings/python/tree_sitter_clingo.egg-info/top_level.txt

@@ -0,0 +1,2 @@
+_binding
+tree_sitter_clingo

tree_sitter_clingo-0.2.0/pyproject.toml

@@ -0,0 +1,32 @@
+[build-system]
+requires = ["setuptools>=62.4.0", "wheel"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "tree-sitter-clingo"
+description = "Clingo grammar for tree-sitter"
+version = "0.2.0"
+keywords = ["incremental", "parsing", "tree-sitter", "clingo"]
+classifiers = [
+  "Intended Audience :: Developers",
+  "Topic :: Software Development :: Compilers",
+  "Topic :: Text Processing :: Linguistic",
+  "Typing :: Typed",
+]
+authors = [
+  { name = "Roland Kaminski" },
+  { name = "Sven Thiele"}
+]
+requires-python = ">=3.10"
+license.text = "MIT"
+readme = "README.md"
+
+[project.urls]
+Homepage = "https://github.com/potassco/tree-sitter-clingo"
+
+[project.optional-dependencies]
+core = ["tree-sitter~=0.25"]
+
+[tool.cibuildwheel]
+build = "cp310-*"
+build-frontend = "build"

tree_sitter_clingo-0.2.0/queries/highlights.scm

@@ -0,0 +1,294 @@
+;; we conform to the neovim highlighting captures
+;; https://neovim.io/doc/user/treesitter.html#_treesitter-syntax-highlighting
+;; which is a superset/extension of the standard tree-sitter highlighting captures
+;; https://github.com/tree-sitter/tree-sitter/blob/34ef1157a65987d53a18a32dbdd04046c263f7e5/crates/highlight/src/highlight.rs#L29
+
+;;
+;; keywords
+;;
+[
+ "#minimize"
+ "#minimise"
+ "#maximize"
+ "#maximise"
+ "#edge"
+ "#heuristic"
+ "#project"
+ "#show"
+ "#defined"
+ "#external"
+] @keyword.directive
+
+[
+ "#include"
+] @keyword.import
+
+[
+ (default_negation)
+ (double_default_negation)
+ (aggregate_function)
+] @keyword.operator
+
+[
+ "#const"
+] @keyword.directive.define
+
+[
+ "#script"
+ "#end"
+ "#theory"
+ "#program"
+ ] @keyword
+
+(theory 
+  name: (identifier) @keyword)
+
+(theory_atom_definition "&" @keyword)
+(theory_atom_definition
+  name: (identifier) @keyword)
+
+(theory_atom "&" @keyword)
+(theory_atom 
+  name: (identifier) @keyword)
+
+(script language: (identifier) @keyword)
+
+[
+ (theory_atom_type)
+ (const_type)
+ (theory_operator_arity)
+ (theory_operator_associativity)
+] @keyword
+
+;;
+;; comments
+;;
+(line_comment) @comment
+(block_comment) @comment
+
+;;
+;; punctuation
+;;
+[
+ ";"
+ ","
+ "."
+ ":-"
+ ":~"
+ ":"
+ (lone_comma)
+] @punctuation.delimiter
+(disjunction "|" @punctuation.delimiter)
+(weight "@" @punctuation.delimiter)
+(signature "/" @punctuation.delimiter)
+(theory_atom_definition "/" @punctuation.delimiter)
+
+["(" ")" "{" "}" "[" "]"] @punctuation.bracket
+
+;;
+;; operators
+;;
+[
+ ".."
+ "^"
+ "?"
+ "+"
+ "-"
+ "*"
+ "\\"
+ "**"
+ "~"
+ (theory_operator)
+ (relation)
+] @operator
+(abs "|" @operator)
+(binary_operation "/" @operator)
+(binary_operation "&" @operator)
+(unary_operation "-" @operator)
+
+;;
+;; other terms
+;;
+(number) @number
+(escape_sequence) @string.escape
+(string) @string
+(fstring) @string
+
+(supremum) @constant.builtin
+(infimum) @constant.builtin
+;; We highlight all constants (non-external function symbols with 0
+;; arity) as preprocessor-defined constants, since similarly to a
+;; macro, they are replaced by the given value when there is a #const
+;; statement or -c flag or if they are a parameter of a #program
+;; statement
+(const
+  name: (identifier) @constant.macro
+  "=" @operator)
+(program
+  parameters: (parameters (identifier) @constant.macro))
+(function
+  name: (identifier) @constant.macro
+  !arguments)
+(theory_function 
+  name: (identifier) @constant.macro
+  !arguments)
+;; External functions are highlighted as preprocessor macros, since
+;; similarly to macros, they are replaced during grounding with the
+;; value computed by an external script. function.macro would be a
+;; better fit, but functions are reserved for highlighting atoms.
+(external_function
+  "@" @constant.macro
+  name: (identifier) @constant.macro)
+;; we highlight non-zero arity, non external function symbols as data
+;; constructors (as in Haskell). The @function capture is instead
+;; used for atoms
+(function
+  name: (identifier) @constructor
+  arguments: (_))
+(theory_function 
+  name: (identifier) @constructor
+  arguments: (_))
+
+;;
+;; variables
+;;
+(variable) @variable
+(anonymous) @variable.builtin
+
+;;
+;; symbolic atoms
+;;
+;; We highlight symbolic atoms as functions, since @function is
+;; usually used to highlight the fundamental building blocks of a
+;; language in tree-sitter, and as this allows us to distinguish
+;; between definitions (atoms in the head) and references (atoms
+;; occurring elsewhere), highlighting them as @function and
+;; @function.call, respectively.
+;;
+;; atom definitions (@function)
+(rule
+  head: (literal
+    !sign
+    atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function)))
+
+(disjunction
+  (literal
+    !sign
+    atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function)))
+
+
+(disjunction
+  (conditional_literal
+    literal: (literal
+      !sign
+      atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function))))
+
+
+(head_aggregate_element
+  literal: (literal
+    !sign
+    atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function)))
+
+
+(rule
+  head: (set_aggregate
+    elements: (set_aggregate_elements
+      (set_aggregate_element
+        literal: (literal
+          !sign
+	  atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function))))))
+
+(external
+  atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function))
+
+;; atom references (@function.call)
+(rule
+  head: (literal
+    sign: (_)
+    atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function.call)))
+
+(disjunction
+  (literal
+    sign: (_)
+    atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function.call)))
+
+(disjunction
+  (conditional_literal
+    literal: (literal
+      sign: (_)
+      atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function.call))))
+
+(head_aggregate_element
+  literal: (literal
+    sign: (_)
+    atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function.call)))
+
+(rule
+  head: (set_aggregate
+    elements: (set_aggregate_elements
+      (set_aggregate_element
+        literal: (literal
+          sign: (_)
+	  atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function.call))))))
+
+(body_literal
+  atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function.call))
+(body
+  (conditional_literal
+    literal: (literal
+      atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function.call))))
+(body_literal
+  atom: (set_aggregate
+    elements: (set_aggregate_elements
+      (set_aggregate_element
+        literal: (literal
+	  atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function.call))))))
+(condition
+  (literal
+    atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function.call)))
+(project_atom
+  atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function.call))
+(heuristic
+  atom: (symbolic_atom
+	   ((classical_negation)? (identifier)) @function.call))
+
+(signature
+  sign: (classical_negation)? @function.call
+  name: (identifier) @function.call) 
+
+;; boolean constant
+(boolean_constant) @boolean
+
+;;
+;; types
+;;
+(theory_atom_definition
+  theory_term_name: (identifier) @type
+  guard: (identifier)? @type)
+
+(theory_term_definition
+  name: (identifier) @type)
+
+;;
+;; modules
+;;
+(include
+  (identifier) @module)
+(program
+  name: (identifier) @module)

tree_sitter_clingo-0.2.0/queries/indents.scm

@@ -0,0 +1,48 @@
+; head :- a,
+;         b.
+; head :-
+;   a,
+;   b.
+;
+; We use the error node here to also indent partial rules.
+([(ERROR) (statement)] @indent.align
+  (#contains? @indent.align ":-")
+  (#set! indent.open_delimiter ":-")
+  (#set! indent.close_delimiter ".")
+  (#set! indent.increment 3))
+
+; similar to rule but for weak constraints
+([(ERROR) (statement)] @indent.align
+  (#contains? @indent.align ":~")
+  (#set! indent.open_delimiter ":~")
+  (#set! indent.close_delimiter ".")
+  (#set! indent.increment 3))
+
+; similar to rule but for statements with a condition
+([(ERROR) (statement)] @indent.align
+  (#not-contains? @indent.align ":-")
+  (#not-contains? @indent.align ":~")
+  (#set! indent.open_delimiter ":")
+  (#set! indent.close_delimiter ".")
+  (#set! indent.increment 2))
+
+; #minimize { a: a; 
+;             b: b; 
+;             c: c;
+;             d: d }.
+; Also applies to nested aggregates and theory atoms. We do not treat the error
+; node here. An editor that ensures balanced braces should help.
+([(minimize) (maximize) (set_aggregate) (body_aggregate) (head_aggregate) (theory_atom)] @indent.align
+  (#set! indent.open_delimiter "{")
+  (#set! indent.close_delimiter "}")
+  (#set! indent.increment 2))
+
+; indent conditional literals
+((conditional_literal) @indent.align
+                       (#set! indent.open_delimiter ":") 
+                       (#set! indent.increment 2))
+
+; indent conditions
+((_ ":" . (condition))@indent.align
+       (#set! indent.open_delimiter ":") 
+       (#set! indent.increment 2))

tree_sitter_clingo-0.2.0/queries/injections.scm

@@ -0,0 +1,4 @@
+((script
+  language: (identifier) @injection.language
+  code: (code) @injection.content)
+ (#set! injection.combined))

tree_sitter_clingo-0.2.0/queries/textobjects.scm

@@ -0,0 +1 @@
+(statement) @function.outer

tree_sitter_clingo-0.2.0/setup.cfg

@@ -0,0 +1,4 @@
+[egg_info]
+tag_build = 
+tag_date = 0
+

tree_sitter_clingo-0.2.0/setup.py

@@ -0,0 +1,77 @@
+from os import path
+from platform import system
+from sysconfig import get_config_var
+
+from setuptools import Extension, find_packages, setup
+from setuptools.command.build import build
+from setuptools.command.egg_info import egg_info
+from wheel.bdist_wheel import bdist_wheel
+
+sources = [
+    "bindings/python/tree_sitter_clingo/binding.c",
+    "src/parser.c",
+]
+if path.exists("src/scanner.c"):
+    sources.append("src/scanner.c")
+
+macros: list[tuple[str, str | None]] = [
+    ("PY_SSIZE_T_CLEAN", None),
+    ("TREE_SITTER_HIDE_SYMBOLS", None),
+]
+if limited_api := not get_config_var("Py_GIL_DISABLED"):
+    macros.append(("Py_LIMITED_API", "0x030A0000"))
+
+if system() != "Windows":
+    cflags = ["-std=c11", "-fvisibility=hidden"]
+else:
+    cflags = ["/std:c11", "/utf-8"]
+
+
+class Build(build):
+    def run(self):
+        if path.isdir("queries"):
+            dest = path.join(self.build_lib, "tree_sitter_clingo", "queries")
+            self.copy_tree("queries", dest)
+        super().run()
+
+
+class BdistWheel(bdist_wheel):
+    def get_tag(self):
+        python, abi, platform = super().get_tag()
+        if python.startswith("cp"):
+            python, abi = "cp310", "abi3"
+        return python, abi, platform
+
+
+class EggInfo(egg_info):
+    def find_sources(self):
+        super().find_sources()
+        self.filelist.recursive_include("queries", "*.scm")
+        self.filelist.include("src/tree_sitter/*.h")
+
+
+setup(
+    packages=find_packages("bindings/python"),
+    package_dir={"": "bindings/python"},
+    package_data={
+        "tree_sitter_clingo": ["*.pyi", "py.typed"],
+        "tree_sitter_clingo.queries": ["*.scm"],
+    },
+    ext_package="tree_sitter_clingo",
+    ext_modules=[
+        Extension(
+            name="_binding",
+            sources=sources,
+            extra_compile_args=cflags,
+            define_macros=macros,
+            include_dirs=["src"],
+            py_limited_api=limited_api,
+        )
+    ],
+    cmdclass={
+        "build": Build,
+        "bdist_wheel": BdistWheel,
+        "egg_info": EggInfo,
+    },
+    zip_safe=False
+)