ada/langkit
0
0
Fork 0
mirror of https://github.com/AdaCore/langkit.git synced 2026-02-12 12:28:12 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
24.1
langkit/langkit
History
Pierre-Marie de Rodat 96cf51ff6b C API: add a function to create a bare entity from a node
2023-12-08 11:42:05 +00:00
..
expressions
Lkt lowering: do not use typing to discriminate array concatenation
2023-12-08 11:42:05 +00:00
gdb
langkit.gdb.tdh.Token: fix pointer arithmetic code
2023-01-06 11:21:06 +00:00
lexer
langkit.lexer.regexp: remove "docstring" typing
2023-06-29 12:07:28 +00:00
scripts
Transition "create-project.py" to setuptools' entry_point/console_script
2023-12-05 14:15:53 +01:00
stylechecks
langkit.stylechecks: add type annotations and enable checking w. Mypy
2023-09-07 10:59:10 +00:00
support
Improve explanations of exceptions during evaluation of partial solution.
2023-12-08 11:42:05 +00:00
templates
C API: add a function to create a bare entity from a node
2023-12-08 11:42:05 +00:00
utils
Add type annotations to the langkit.utils package
2023-12-08 11:42:05 +00:00
__init__.py
Remove __future__ imports and adjust stylechecks
2020-05-26 12:33:48 +02:00
ada_api.py
Add type hints for Mypy to language API classes
2020-07-06 14:50:51 +02:00
auto_properties_dsl.py
Remove __future__ imports and adjust stylechecks
2020-05-26 12:33:48 +02:00
c_api.py
C API: fix type names for arrays
2023-12-08 11:42:05 +00:00
caching.py
langkit.caching: add type hints for Mypy
2020-07-06 14:50:51 +02:00
common.py
Stricten casing conventions for Name objects in the codebase
2022-01-27 16:49:27 +01:00
compile_context.py
langkit.diagnostics: introduce the non_blocking_error() function
2023-12-08 11:42:05 +00:00
compiled_types.py
Bind the rewriting API to C
2023-12-08 11:42:05 +00:00
coverage.css
Emit our own HTML coverage report
2020-01-09 12:57:19 +01:00
coverage.py
Move langkit.gdb.debug_info to langkit.debug_info
2021-01-19 10:33:54 +01:00
debug_info.py
Debug info: fix location parsing on Windows
2022-03-22 13:08:43 +00:00
diagnostics.py
langkit.diagnostics: do not print source listing without a line number
2023-12-08 11:42:05 +00:00
documentation.py
C API: add a function to create a bare entity from a node
2023-12-08 11:42:05 +00:00
dsl_unparse.py
Lkt: add optional type information for null literals
2023-12-08 11:42:05 +00:00
dsl.py
Introduce a new "@nullable" parse field annotation
2023-07-26 08:15:35 +00:00
emitter.py
C API: export symbols for the rewriting API
2023-12-08 11:42:05 +00:00
envs.py
Replace typing.ContextManager with contextlib.AbstractContextManager
2023-06-08 07:42:38 +00:00
fix_annotate_fields_types.py
Run Mypy on the whole Langkit codebase
2020-06-30 15:43:53 +02:00
generic_api.py
AbstractNodeData: add type hints for all methods (and subclasses)
2022-06-20 15:10:58 +00:00
java_api.py
langkit.java_api: fix a coding style issue
2023-12-05 14:15:53 +01:00
language_api.py
Add type hints for Mypy to language API classes
2020-07-06 14:50:51 +02:00
libmanage.py
Add JNI stubs build directory also to PATH env var
2023-12-08 11:42:05 +00:00
lkt_lowering.py
Lkt lowering: remove hacks to get denoted values for strings/char lits
2023-12-08 11:42:05 +00:00
names.py
Name: check casing & stricten the camel-with-underscores convention
2022-01-27 16:49:27 +01:00
ocaml_api.py
TypeRepo: add type annotations
2023-09-11 08:34:09 +00:00
packaging.py
langkit.packaging: add type annotations and enable checking with Mypy
2023-08-30 07:51:41 +00:00
parsers.py
Add type annotations to the langkit.utils package
2023-12-08 11:42:05 +00:00
passes.py
Add Mypy type hints to CompileCtx's constructor
2021-02-02 16:09:08 +01:00
py.typed
Add "py.typed" files in Python packages
2022-02-01 16:14:22 +01:00
python_api.py
Python bindings: make the version number PEP 440-compliant
2023-12-08 11:42:05 +00:00
railroad_diagrams.py
Add Mypy type hints to CompileCtx's constructor
2021-02-02 16:09:08 +01:00
template_utils.py
langkit.template_utils: add type annotations and enable checking w. Mypy
2023-09-07 10:59:10 +00:00
unparsers.py
langkit.unparsers: add type annotations and enable checking w. Mypy
2023-09-07 10:59:10 +00:00
windows.py
Correct the 'dumpbin' output parsing function
2023-06-30 12:47:39 +02:00