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

02243dd6a5 Expressions: Minor refactoring. Raphael Amiard 2016-01-11 11:59:34 +01:00
8060d283dd Array types Ada template: fix a typo... Pierre-Marie de Rodat 2016-01-11 12:00:00 +01:00
1efece5aec Remove code chunks in context for ASTList nodes Pierre-Marie de Rodat 2016-01-07 15:47:00 +01:00
e5174f7242 Remove code chunks in context for AST nodes and structs Pierre-Marie de Rodat 2016-01-07 15:41:10 +01:00
cf1d7fdaf9 Remove code chunks in context for array types. Pierre-Marie de Rodat 2016-01-07 12:20:46 +01:00
fcb61b527e Remove code chunks in context for enum types Pierre-Marie de Rodat 2016-01-07 11:43:17 +01:00
d8d3657214 Expressions: Add literal ints and bools to the property DSL. Raphael Amiard 2016-01-08 12:49:26 +01:00
3686fa87a4 Properties: Add Env placeholder. Raphael Amiard 2016-01-08 12:22:11 +01:00
85ab2bf925 Expressions: Minor fixes and style adjustments. Raphael Amiard 2016-01-08 12:19:56 +01:00
4933bdab42 Expressions: Adapt the code to work with add_to_env expressions Raphael Amiard 2016-01-07 17:48:01 +01:00
b1ac16b26f Propagate Populate_Lexical_Env primitive in C and Python. Raphael Amiard 2016-01-07 12:39:31 +01:00
7cb391dca1 Lexical envs: Add get operation in the property DSL. Raphael Amiard 2016-01-07 16:09:32 +01:00
7ac7594f6c Langkit support array utils: Add copy utility. Raphael Amiard 2016-01-07 16:08:02 +01:00
d664be9c2a Python bindings: Correct find method Raphael Amiard 2016-01-07 16:06:15 +01:00
40eeafe3b9 Expressions: Minor refactor and add comments. Raphael Amiard 2016-01-06 13:28:23 +01:00
75ee3320f6 PlaceHolderSingleton: Allow to have an initial type Raphael Amiard 2016-01-06 13:18:31 +01:00
55db36bc79 Support adding fields to the root grammar class. Raphael Amiard 2016-01-05 18:24:29 +01:00
e8a4e1cc32 Properties: minor refactoring for AbstractExpression combinators Pierre-Marie de Rodat 2016-01-06 17:59:28 +01:00
354f92aa65 Properties: replace induction vars in collection constructs with lambdas Pierre-Marie de Rodat 2016-01-06 17:51:22 +01:00
88de713745 Refactor type matching in properties Pierre-Marie de Rodat 2016-01-06 14:58:38 +01:00
27e00e3bae Update the tutorial after recent interface changes Pierre-Marie de Rodat 2016-01-05 18:31:59 +01:00
ce520c292e StructMetaClass: Refactor the root_grammar_class mechanism. Raphael Amiard 2016-01-05 17:42:08 +01:00
c94e3c3f3e Add decent error handling in properties Pierre-Marie de Rodat 2016-01-05 18:27:58 +01:00
d98741144f Exposing Lexical environment type in the DSL, first step Raphael Amiard 2016-01-05 16:32:06 +01:00
3ee1ee1d1e Do_Env_Actions: Add to env before creating new env .. Raphael Amiard 2016-01-05 15:52:56 +01:00
a6b091bc6f Do_Env_Actions: Use "name" rather than "token" property .. Raphael Amiard 2016-01-05 12:55:19 +01:00
4066a2256f Add support for abstract/dispatching properties. Raphael Amiard 2016-01-05 11:04:39 +01:00
c2a59a3a89 Refactor lexical environments construction. Raphael Amiard 2016-01-05 11:02:52 +01:00
8f311ad3f9 Fix too long lines in the codebase Pierre-Marie de Rodat 2016-01-05 13:24:35 +01:00
4fa7a1605b Interactive main: separate AST from envs in output Raphael Amiard 2016-01-04 11:32:08 +01:00
ce0ac0fed9 Expressions: add the ability to check null AST nodes Pierre-Marie de Rodat 2016-01-05 12:07:48 +01:00
4661003270 Expressions: handle empty lists in collection iterators Pierre-Marie de Rodat 2015-12-23 16:56:42 +01:00
d525135926 Python bindings: Add find methods to AST node. Raphael Amiard 2015-12-23 15:47:52 +01:00
346643c32c AST root package: Rename Ast_Envs -> AST_Envs. Raphael Amiard 2015-12-23 20:55:54 +01:00
c9c3192078 Langkit_Support.Lexical_Env: Rename Set -> Add Raphael Amiard 2015-12-23 20:52:04 +01:00
78219be4de Add dump env options to interactive main. Raphael Amiard 2015-12-22 12:49:07 +01:00
19f45ac900 Add procedure to dump lexical environments Raphael Amiard 2015-12-22 12:47:35 +01:00
7cd9f661c7 langkit: Add basic lexical environment support Raphael Amiard 2015-12-21 12:01:58 +01:00
17a1debc35 Python API: handle __getitem__ in Struct types Pierre-Marie de Rodat 2015-12-23 16:56:52 +01:00
124f71553a Add missing absolute imports in Python code Pierre-Marie de Rodat 2015-12-23 11:29:46 +01:00
cd3068c812 Add lexical environment type in langkit support Raphael Amiard 2015-12-21 12:01:49 +01:00
d055b4c0fb Move AST root type to templates. Raphael Amiard 2015-12-19 12:50:09 +01:00
a955e4eda0 Properties: Add private option, that allows Properties to be private Raphael Amiard 2015-12-21 11:51:05 +01:00
d384b752b8 Python API: re-order low-level type decls. required by Struct decls. Pierre-Marie de Rodat 2015-12-23 12:17:38 +01:00
2c731c431d Expressions: add a missing chunk in Map codegen Pierre-Marie de Rodat 2015-12-23 12:09:17 +01:00
5675264516 Expressions: add a primitive to create Struct values Pierre-Marie de Rodat 2015-12-22 17:12:52 +01:00
01a678fd0e Expressions: improve error message for bad collection type in Map Pierre-Marie de Rodat 2015-12-22 17:07:27 +01:00
c91205a9eb compiled_types: put array types in the proper list Pierre-Marie de Rodat 2015-12-22 17:06:23 +01:00
8deccec17d Split declarations lists for ASTNode and other Struct subclasses Pierre-Marie de Rodat 2015-12-22 17:02:06 +01:00
ec4837dec2 compile_context: make sure all Struct subclasses are added to context Pierre-Marie de Rodat 2015-12-22 15:41:24 +01:00
0d30ef5a8e langkit: Refactor source emission a bit Raphael Amiard 2015-12-19 12:58:07 +01:00
53654f76b3 .gitattributes: Deactivate ada checks Raphael Amiard 2015-12-23 12:24:42 +01:00
296913aa3c Restrict to absolute imports in Python code Pierre-Marie de Rodat 2015-12-16 16:40:10 +01:00
111fecb10b Expressions: add "not" boolean expressions support Pierre-Marie de Rodat 2015-12-18 12:40:44 +01:00
2991067997 Properties: add a membership test expression and an equality operation Pierre-Marie de Rodat 2015-12-17 15:44:06 +01:00
a4d7adfb62 Register struct types in the same way we register ASTNode subclasses Raphael Amiard 2015-12-18 12:03:38 +01:00
8aff767362 Make every user ast node type derive from a user defined root node Raphael Amiard 2015-12-17 17:34:25 +01:00
c66af54cd4 Remove the base class for ASTList nodes. Pierre-Marie de Rodat 2015-12-18 15:11:31 +01:00
785621ecb8 Fix renaming py_astnode_field_types -> py_field_types Raphael Amiard 2015-12-18 12:19:26 +01:00
944ab6f4d9 Correct struct_type_py.mako Raphael Amiard 2015-12-18 12:16:58 +01:00
cf5c0dd258 Langkit: Clean computation of astnode_types field Raphael Amiard 2015-12-17 14:59:57 +01:00
638c25b533 langkit: Explicit the fact that properties are not supported on Structs Raphael Amiard 2015-12-17 16:24:08 +01:00
15a088f5da Add abstract class field on ASTNode .. Raphael Amiard 2015-12-17 15:58:04 +01:00
6650c3b751 langkit: Add suport for record types Raphael Amiard 2015-12-14 12:42:46 +01:00
0c58dea046 Various fixes to PyCharm diagnostics Pierre-Marie de Rodat 2015-12-17 13:13:49 +01:00
d92a8e045c Expressions: add conditional expressions and a couple of boolean ops. Pierre-Marie de Rodat 2015-12-16 18:18:31 +01:00
dcda1b626f Expressions: Rename singleton classes to explicit their Singleton-ness Pierre-Marie de Rodat 2015-12-16 12:13:32 +01:00
95862cf86a Python API: do not output properties in ASTNode.dump Pierre-Marie de Rodat 2015-12-16 11:14:59 +01:00
dbec224b8b Properties: add quantifier expressions Pierre-Marie de Rodat 2015-12-15 12:48:09 +01:00
8d46e79fcf Properties: add type cast expressions Pierre-Marie de Rodat 2015-12-14 18:19:30 +01:00
f922d968d0 Properties: add type check expressions Pierre-Marie de Rodat 2015-12-14 17:54:18 +01:00
10b2e3da8a Properties: add mapping and filtering expressions Pierre-Marie de Rodat 2015-12-14 17:49:15 +01:00
a6af98149a Create a base type for ASTList nodes Pierre-Marie de Rodat 2015-12-17 16:06:38 +01:00
b6900092e0 compiled_types: finish the Python type generation refactoring Pierre-Marie de Rodat 2015-12-17 17:18:00 +01:00
78ea222ca0 Refactor python type generation Raphael Amiard 2015-12-16 13:40:02 +01:00
ad0aa25720 langkit: Minor doc edit Raphael Amiard 2015-12-14 18:51:03 +01:00
d74b623767 Move API values wrapping to the *API language interface Pierre-Marie de Rodat 2015-12-11 17:35:15 +01:00
639b58a7ff Move association of types with fields to ASTNode Raphael Amiard 2015-12-14 11:29:52 +01:00
83774b0a0c langkit: Minor doc add to AbstractField Raphael Amiard 2015-11-02 15:21:16 +01:00
dbf7bcb105 Libmanage: fix the traceback in case of exception in verbose mode Pierre-Marie de Rodat 2015-12-15 10:37:48 +01:00
d7f3249e6d C API: Change the name of the base node Raphael Amiard 2015-11-02 15:26:29 +01:00
3cf814d797 langkit: Allow ASTNode fields that are not used for parsing Raphael Amiard 2015-11-02 15:21:16 +01:00
470171011c expressions: merge all traits into AbstractExpression Pierre-Marie de Rodat 2015-12-10 17:21:30 +01:00
8cfbe7ccb7 compiled_types: fix a conflict from previous commits Pierre-Marie de Rodat 2015-12-14 15:53:46 +01:00
e79b035559 Langkit AbstractNodeFields: unify storage logic Raphael Amiard 2015-12-11 12:37:42 +01:00
d199aaa057 Move text AST documentation generation to its own module Pierre-Marie de Rodat 2015-12-11 12:57:56 +01:00
75d6d180b7 Enable users to document properties and fwd. the doc to generated code Pierre-Marie de Rodat 2015-12-11 12:49:29 +01:00
4f5c196b71 Add missing periods at the end of :param: Sphinx description Pierre-Marie de Rodat 2015-12-11 12:34:00 +01:00
1c395a87be Langkit: Correct Field.__init__ function regarding type initialization Raphael Amiard 2015-12-11 11:54:21 +01:00
78a14554f8 langkit/compiled_types: Remove dead class TermToken Raphael Amiard 2015-11-01 19:12:42 +01:00
ec870dc811 Show just the assertion's error message ... Raphael Amiard 2015-11-01 19:06:55 +01:00
a37cc53e8a Langkit: Allow DSL user to specify types for node's fields Raphael Amiard 2015-11-01 18:55:26 +01:00
12fed83a17 Bind properties in the C and Python bindings Raphael Amiard 2015-12-10 18:37:23 +01:00
7d450a40b2 More pycharm conformance Raphael Amiard 2015-12-10 16:13:05 +01:00
80739db4c1 Let language specs document entities and forward doc. to generated code Pierre-Marie de Rodat 2015-12-09 13:48:26 +01:00
d90330738d Share documentations between API bindings Pierre-Marie de Rodat 2015-12-09 11:18:13 +01:00
5c5f910173 expressions.py: Make pycharm checker compliant Raphael Amiard 2015-12-09 18:51:27 +01:00
02f23bf6c7 compiled_types.py: Various fixes. Raphael Amiard 2015-12-09 18:00:17 +01:00
312442a9d0 core: Add an ABC for api settings classes Raphael Amiard 2015-12-09 17:58:21 +01:00
922c4a0886 Merge "Add license" Pierre-Marie de Rodat 2015-12-09 11:22:02 +01:00

... 98 99 100 101 102 ...