langkit

ada/langkit

Fork 0

mirror of https://github.com/AdaCore/langkit.git synced 2026-02-12 12:28:12 -08:00

Commit Graph

Select branches

Hide Pull Requests

18-sustained

18.0

18.1

18.2

19-sustained

19.0

19.1

19.2

20-sustained

20.0

20.1

20.2

21-sustained

21.0

21.1

21.2

22-sustained

22.0

22.1

22.2

23-sustained

23.0

23.1

23.2

24-sustained

24.0

24.1

24.2

25-sustained

25.0

25.1

25.2

26.0

26.1

26.2

a2c2-2020-stable

dependabot/pip/mako-1.2.2

gpl-2017

lts-18

lts-19

lts-20

lts-21

lts-22

master

#100

#101

#102

#103

#104

#105

#106

#107

#108

#109

#110

#111

#112

#113

#114

#115

#116

#117

#118

#119

#12

#120

#121

#122

#123

#124

#125

#126

#127

#128

#129

#13

#130

#131

#132

#133

#134

#135

#136

#137

#138

#139

#14

#140

#141

#142

#143

#144

#145

#146

#147

#148

#15

#150

#151

#152

#153

#154

#155

#156

#157

#158

#159

#16

#160

#161

#162

#163

#164

#165

#166

#167

#168

#169

#17

#170

#171

#172

#173

#174

#175

#176

#177

#178

#179

#18

#180

#181

#182

#183

#184

#185

#186

#187

#188

#189

#19

#190

#192

#193

#194

#195

#196

#197

#198

#199

#2

#2

#20

#200

#201

#202

#203

#204

#205

#206

#207

#208

#209

#21

#210

#211

#212

#213

#214

#215

#216

#217

#218

#219

#22

#220

#221

#222

#223

#224

#225

#226

#227

#228

#229

#23

#230

#231

#232

#233

#234

#236

#237

#238

#239

#24

#240

#241

#242

#243

#244

#245

#246

#247

#248

#249

#25

#250

#251

#252

#253

#254

#255

#256

#257

#258

#259

#26

#260

#261

#262

#263

#264

#265

#266

#267

#268

#269

#27

#270

#271

#272

#273

#274

#275

#276

#277

#278

#279

#28

#280

#281

#282

#283

#284

#285

#286

#287

#288

#289

#29

#290

#291

#292

#293

#294

#295

#296

#297

#298

#299

#3

#3

#30

#300

#301

#302

#303

#304

#305

#306

#307

#308

#309

#31

#310

#311

#312

#313

#314

#315

#316

#317

#318

#319

#32

#320

#321

#322

#323

#324

#325

#326

#327

#328

#329

#33

#330

#331

#332

#333

#334

#335

#336

#337

#338

#339

#34

#340

#341

#342

#343

#344

#345

#346

#347

#348

#349

#35

#350

#351

#352

#354

#355

#356

#357

#358

#359

#36

#360

#361

#363

#364

#365

#366

#367

#368

#369

#37

#370

#371

#372

#373

#374

#375

#376

#377

#378

#379

#38

#380

#381

#382

#383

#384

#385

#386

#387

#388

#389

#39

#390

#392

#393

#394

#395

#396

#397

#398

#399

#40

#400

#401

#402

#403

#404

#405

#406

#407

#408

#409

#41

#410

#411

#412

#413

#414

#415

#416

#417

#418

#419

#42

#420

#421

#422

#423

#424

#425

#426

#427

#428

#429

#43

#431

#432

#433

#434

#435

#436

#438

#439

#44

#440

#441

#442

#443

#444

#445

#446

#447

#448

#449

#45

#450

#451

#453

#454

#455

#456

#457

#458

#459

#46

#460

#461

#462

#463

#464

#465

#466

#467

#468

#469

#47

#471

#472

#473

#474

#475

#476

#477

#478

#479

#48

#480

#481

#482

#483

#484

#486

#487

#488

#489

#49

#490

#491

#493

#494

#495

#496

#497

#498

#499

#50

#500

#502

#503

#504

#505

#506

#507

#509

#51

#510

#511

#512

#513

#514

#515

#516

#517

#518

#519

#52

#520

#521

#522

#523

#524

#525

#526

#527

#528

#529

#53

#530

#531

#532

#533

#534

#535

#536

#537

#538

#539

#54

#540

#541

#542

#543

#544

#545

#546

#547

#548

#549

#55

#550

#551

#552

#553

#554

#555

#556

#557

#558

#559

#56

#560

#561

#562

#563

#564

#565

#566

#567

#568

#569

#57

#570

#571

#572

#573

#574

#575

#576

#577

#578

#58

#58

#581

#582

#583

#584

#585

#585

#586

#587

#588

#589

#59

#590

#591

#592

#593

#594

#595

#596

#597

#598

#599

#60

#600

#601

#602

#603

#604

#605

#606

#607

#608

#609

#61

#611

#612

#613

#614

#615

#616

#617

#618

#619

#62

#620

#621

#622

#623

#624

#625

#626

#627

#628

#629

#63

#630

#631

#632

#633

#634

#635

#636

#637

#638

#639

#64

#640

#641

#642

#644

#645

#646

#648

#648

#649

#65

#650

#651

#651

#652

#655

#655

#66

#67

#68

#69

#70

#71

#72

#73

#74

#75

#76

#77

#78

#79

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#95

#96

#97

#98

#99

dsl_unparse

v21.0.0

v22.0.0

v23.0.0

v24.0.0

v25.0.0

v26.0.0

10220dd901 Generic API: add generic/specific converters for analysis unit types Pierre-Marie de Rodat 2022-02-02 10:27:16 +00:00
1afb7ae868 Generic_API: rename Create_* builtin constructors to From_* Pierre-Marie de Rodat 2022-02-02 09:24:26 +00:00
f947dc4ac5 Generic API: make Name_Map tagged Pierre-Marie de Rodat 2022-02-01 13:25:24 +00:00
9b07265741 Langkit_Support.Diagnostic: add a helper to deal with exceptions Pierre-Marie de Rodat 2022-02-01 09:31:52 +00:00
5821135745 Generic API: add a convenience function to iterate on struct members Pierre-Marie de Rodat 2022-02-01 08:57:37 +00:00
d211a85495 Generic API: add a convenience function to iterate on enum values Pierre-Marie de Rodat 2022-02-01 08:52:55 +00:00
6eb03ed2a2 Generic API: add convenience functions to iterate on types Pierre-Marie de Rodat 2022-02-01 08:47:21 +00:00
08eed4580b Generic API: rename Language_For to Language Pierre-Marie de Rodat 2022-01-31 17:10:25 +00:00
fdacac7eab Ada/Generic API: add the token to unit backlink Pierre-Marie de Rodat 2022-01-31 16:59:57 +00:00
1d791bbbb9 Add "py.typed" files in Python packages Pierre-Marie de Rodat 2022-02-01 14:06:51 +00:00
493d81ffcd Generic API: add a Lk_Node.Print primitive Pierre-Marie de Rodat 2022-01-27 17:01:42 +00:00
be1093e0f5 Generic API: add a Lk_Node.Is_Incomplete primitive Pierre-Marie de Rodat 2022-01-27 16:45:46 +00:00
0b92f5e4a2 Generic API: add Is_Token_Node/Is_List_Node for node type instrospection Pierre-Marie de Rodat 2022-01-27 16:05:24 +00:00
49bba86fff Generic API: add a Lk_Unit.Text primitive Pierre-Marie de Rodat 2022-01-27 15:22:25 +00:00
b9660854dc Generic API: make Lk_Token.Next/.Previous return Lk_Token (not 'Class) Pierre-Marie de Rodat 2022-01-27 14:29:22 +00:00
56d67d995d Generic API: add a Lk_Node.Sloc_Range primitive Pierre-Marie de Rodat 2022-01-27 14:28:26 +00:00
7bf888cf55 Generic API: add a Lk_Node.Text primitive Pierre-Marie de Rodat 2022-01-27 14:24:24 +00:00
a4d296d36e Name: check casing & stricten the camel-with-underscores convention Pierre-Marie de Rodat 2022-01-24 13:42:42 +00:00
747b167901 GeneratedException: use mere strings for package names Pierre-Marie de Rodat 2022-01-25 14:27:37 +00:00
1345038052 CompileCtx: consider that short name has lower case Pierre-Marie de Rodat 2022-01-25 14:21:52 +00:00
6612c103b0 langkit.emitter: use mere strings for package names Pierre-Marie de Rodat 2022-01-25 11:02:52 +00:00
2604186e04 Stricten casing conventions for Name objects in the codebase Pierre-Marie de Rodat 2022-01-24 13:34:08 +00:00
1078a31f3a AbstractNodeData.original_name: switch from Name to str Pierre-Marie de Rodat 2022-01-24 17:12:42 +00:00
bc91641fab langkit.compile_context: switch ADA_SPEC/BODY to a proper Python enum Pierre-Marie de Rodat 2022-01-24 15:12:50 +00:00
c02e56a618 langkit.emitter: add type hints Pierre-Marie de Rodat 2022-01-24 15:06:43 +00:00
a4e00cdb4f AbstractVariable: keep the source name as a string Pierre-Marie de Rodat 2022-01-24 14:14:05 +00:00
ec6922ec18 AbstractVariable: add type hints Pierre-Marie de Rodat 2022-01-24 14:03:26 +00:00
ab1d3c0632 AbstractExpression.prepare: provide a diagnostic context Pierre-Marie de Rodat 2022-01-24 13:39:50 +00:00
61855a6bbd Generic API: add maps from names to enum/struct types, enum values, etc. Pierre-Marie de Rodat 2022-01-11 15:25:41 +00:00
4264c525c0 Generic API: introduce the notion of type category Pierre-Marie de Rodat 2022-01-18 15:20:19 +00:00
bb3f86da22 Generic API: switch the Any_Argument_Index type to a Natural subtype Pierre-Marie de Rodat 2022-01-18 14:39:38 +00:00
d209bcb0cf RA22-015: Move NamedTypeDecl checks to check_legality Raphaël AMIARD 2021-12-15 16:32:51 +01:00
cd7f55d5f2 RA22-015: Simplify grammar rules semantic checks Raphaël AMIARD 2021-12-15 15:33:51 +01:00
1c24a846d2 RA22-015: Simplify exception legality checking Raphaël AMIARD 2021-12-14 16:07:23 +01:00
2b20f2091c RA22-015: Rework semantic checking architecture Raphaël AMIARD 2021-12-14 13:43:27 +01:00
2423ffb7da RA22-015: Minor comment fixes Raphaël AMIARD 2021-12-14 13:52:21 +01:00
0b201a52da RA22-015: Fix module imports Raphaël AMIARD 2021-12-14 17:10:45 +01:00
df03cd2ee2 RA22-015: Only check @invalid under a special flag in lkt_toolbox Raphaël AMIARD 2021-12-14 13:42:20 +01:00
799ac84ac8 Remove useless recursions in parsers handling Pierre-Marie de Rodat 2022-01-13 16:48:52 +00:00
0cc4372696 Lkt lowering: fix location of Defer parsers Pierre-Marie de Rodat 2022-01-13 17:43:38 +00:00
847bc682e4 fixup! Generic API: add a note about Language_Id arguments Pierre-Marie de Rodat 2022-01-13 15:15:58 +00:00
bcef5f5143 fixup! Generic API: add a Debug_Name overload for Enum_Value_Ref Pierre-Marie de Rodat 2022-01-13 15:13:27 +00:00
557d82aa9c fixup! Generic API: add a shortcut to evaluate node members Pierre-Marie de Rodat 2022-01-13 15:13:06 +00:00
cb97fc45d5 Generic API: add a note about Language_Id arguments Pierre-Marie de Rodat 2022-01-13 10:08:50 +00:00
132165c85a Generic API: add a Debug_Name overload for Enum_Value_Ref Pierre-Marie de Rodat 2022-01-12 16:34:02 +00:00
dfdbdcc94c Generic API: make Debug_Name work on No_Struct_Member_Ref Pierre-Marie de Rodat 2022-01-12 16:33:25 +00:00
367eaaeea1 Generic API: add a shortcut to evaluate node members Pierre-Marie de Rodat 2022-01-11 13:59:09 +00:00
dbc624299c Generic API: add Hash functions for analysis types Pierre-Marie de Rodat 2022-01-10 14:57:52 +00:00
29072171f1 Update copyright notices for 2022 Pierre-Marie de Rodat 2022-01-14 16:02:42 +00:00
b480d5a5ac Lkt: add validation for explicit generic instantiations Pierre-Marie de Rodat 2021-12-01 16:35:51 +00:00
ca07868ee0 Lkt: introduce a helper to create internal errors Pierre-Marie de Rodat 2021-12-01 16:36:40 +00:00
05ba267f3a python_api/setup_py.mako: use version number/build date from the context Pierre-Marie de Rodat 2021-12-14 09:09:01 +00:00
f060cee2b6 Testsuite: update baselines for big integer literals Pierre-Marie de Rodat 2021-12-13 17:14:02 +01:00
9946241ffe BigIntLiteral.Expr: fix the __repr__ overriding Pierre-Marie de Rodat 2021-11-30 15:01:46 +00:00
0d913b032e langkit.dsl_unparse: remove unecessary parens around int/bool literals Pierre-Marie de Rodat 2021-11-30 13:10:28 +00:00
8e79967855 Lkt: add support for Int to BigInt conversions Pierre-Marie de Rodat 2021-11-30 10:49:05 +00:00
8037409c51 Lkt: add a dedicated literal for big integers Pierre-Marie de Rodat 2021-11-30 10:42:20 +00:00
5e24b656d3 properties/big_integer: check actual BigInt literals Pierre-Marie de Rodat 2021-11-30 10:32:01 +00:00
edbbb71e2e langkit.expressions.BigIntegerLiteral: add a TODO Pierre-Marie de Rodat 2021-11-30 10:31:08 +00:00
0521a6de67 Lkt: make ASTList derive from RootNode Pierre-Marie de Rodat 2021-12-01 07:48:19 +00:00
78d65d5f38 Lkt: fix base type computation for instantiated generic types Pierre-Marie de Rodat 2021-12-01 08:53:14 +00:00
f7336175c7 Lkt: add support for the ".find" construct Pierre-Marie de Rodat 2021-12-01 13:34:17 +00:00
0a0eeb1dc3 $.Common: protect against new GNAT warnings Pierre-Marie de Rodat 2021-12-13 10:58:02 +01:00
cf763e04cb Revert the previous commit (spurious "unused binding" warning) Pierre-Marie de Rodat 2021-12-08 11:04:54 +00:00
cdb0fd649b Fix spurious "unused binding" warning despite usage in Predicate expr. Pierre-Marie de Rodat 2021-12-08 09:58:28 +00:00
f541e60450 langkit_support/array_image: new testcase Pierre-Marie de Rodat 2021-12-02 15:45:37 +00:00
7a7d8655e2 SB20-024: add Langkit_Support.Images.Array_Image Raphaël AMIARD 2019-11-20 15:39:35 +01:00
6608574cf4 langkit_support/vectors_cut: new testcase Pierre-Marie de Rodat 2021-12-02 14:35:59 +00:00
a515b84419 SB20-024: add cut to vector Raphaël AMIARD 2019-06-20 10:53:17 +02:00
a6b7fd0e5b Functional lists: small refactoring and add missing comments Pierre-Marie de Rodat 2021-12-02 14:29:05 +00:00
1f0e04cf6d SB20-024: add functional lists Raphaël AMIARD 2019-06-19 17:20:47 +02:00
ae6fd43ee8 SB20-024: make bump_ptr pools generic on page size Raphaël AMIARD 2019-11-20 15:25:39 +01:00
3c994441b5 Minor: add missing subprogram box Raphaël AMIARD 2019-11-20 15:37:42 +01:00
3840cf78a5 Generic API: add generic/specific context type converters Pierre-Marie de Rodat 2021-11-26 09:13:25 +00:00
0e7dafea83 Generic API: add introspection for property argument default values Pierre-Marie de Rodat 2021-11-26 07:13:03 +00:00
59e8ae941b Generic API: add support for node member evaluation Pierre-Marie de Rodat 2021-11-25 15:33:04 +00:00
9396a3dd2d Generic API: add the API to process iterator values Pierre-Marie de Rodat 2021-11-25 13:49:58 +00:00
4672f45e10 Generic API: add introspection primitives for iterator types Pierre-Marie de Rodat 2021-11-25 13:32:44 +00:00
f3c508d4b7 Generic API: include iterators types in the introspection API Pierre-Marie de Rodat 2021-11-25 11:54:37 +00:00
153be4d1f7 Fix code generation for iterators on big integers Pierre-Marie de Rodat 2021-11-25 11:36:54 +00:00
59b37b6322 Refactor tests for basic iterator uses in public APIs Pierre-Marie de Rodat 2021-11-25 10:59:15 +00:00
8a50c9789c ada_api/generic_api: minor pasto fix Pierre-Marie de Rodat 2021-11-24 16:46:49 +00:00
acd9999074 Generic API: fix introspection of token array item/struct fields Pierre-Marie de Rodat 2021-11-24 10:24:14 +00:00
9368d6ed76 Generic API: fix the handling of arrays of big integers Pierre-Marie de Rodat 2021-11-23 15:23:17 +00:00
485dad3062 Generic API: simplify code generation wrt. language IDs Pierre-Marie de Rodat 2021-11-23 14:23:08 +00:00
c773188d25 Generic API: refactor introspection value public/internal conversions Pierre-Marie de Rodat 2021-11-23 14:14:03 +00:00
9dbf8b1433 Lkt: complete typing of "if" expressions Pierre-Marie de Rodat 2021-11-30 14:21:39 +00:00
521f9e8e22 README.md: update testing instructions wrt. libpythonlang/liblktlang Pierre-Marie de Rodat 2021-12-06 09:55:16 +01:00
8717856ad6 langkit_support/diagnostics_output: fix compilation warning Pierre-Marie de Rodat 2021-12-02 12:12:08 +00:00
41045da6b9 Lexical envs: minor reformatting Pierre-Marie de Rodat 2021-11-29 14:24:07 +00:00
01e6960a23 langkit.expressions.collections.Join: override __repr__ Pierre-Marie de Rodat 2021-11-29 14:22:33 +00:00
e142abe1d2 Testsuite: enable all warnings+errors for langkit_support tests Pierre-Marie de Rodat 2021-11-26 15:47:48 +00:00
e72e0636fe manage.py: make it possible to build only libpythonlang or liblktlang Pierre-Marie de Rodat 2021-11-30 10:27:59 +00:00
515442b4d3 UA29-022: Fix bug in diagnostics.output Raphaël AMIARD 2021-11-26 14:29:36 +00:00
b68cac7252 Fix ambiguous naming scheme for precomputed symbols in generated code Pierre-Marie de Rodat 2021-12-01 15:09:57 +00:00
bacc2f402e Move the @with_lexer annotation validation to Lkt Pierre-Marie de Rodat 2021-11-29 21:51:29 +00:00
0226ea9dde Move the "exactly one main grammar rule" check to Lkt Pierre-Marie de Rodat 2021-11-26 17:17:29 +00:00
dc23507415 Move the "only grammar rules in grammar decls" check to Lkt Pierre-Marie de Rodat 2021-11-26 14:38:31 +00:00
2a9a88ad96 langkit.compiled_context: check semantics before Lkt types lowering Pierre-Marie de Rodat 2021-11-29 18:12:55 +00:00
10a61b0265 grammar/invalid_lkt: remove extra errors Pierre-Marie de Rodat 2021-11-29 18:10:16 +00:00

... 26 27 28 29 30 ...