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

b4d5b7d815 Minor: Add comment in C API Raphaël AMIARD 2019-05-30 00:30:52 +02:00
801dac85d1 Minor style fix in C API Raphaël AMIARD 2019-05-30 00:30:36 +02:00
59fa70841e Minor: Fix comment in C API Raphaël AMIARD 2019-05-30 00:30:21 +02:00
4f65a50af1 S521-039: entity info in resolvers for ref'd envs Raphaël AMIARD 2019-05-29 15:33:12 +02:00
ba94f740f4 Split the introspection API in a public layer and an internal one Pierre-Marie de Rodat 2019-06-03 16:54:12 +02:00
c54d7ce483 $.Converters: add a converter to unwrap full entities Pierre-Marie de Rodat 2019-06-03 14:08:02 +02:00
c7adfa85ad $.Introspection: move enumeration declarations to $.Common Pierre-Marie de Rodat 2019-06-03 12:17:02 +02:00
bb49326a85 Travis CI: define GPR_PROJECT_PATH in travis-script.sh Pierre-Marie de Rodat 2019-05-29 14:06:33 +02:00
5e03722a9a Travis CI: switch to GNAT Community 2019 Pierre-Marie de Rodat 2019-05-29 13:32:40 +02:00
493fec65ef struct_types_ada.mako: fix indentation for field doc Pierre-Marie de Rodat 2019-05-28 14:47:46 +02:00
069f3562d0 pkg_implementation_spec_ada.mako: remove obsolete comments Pierre-Marie de Rodat 2019-05-28 14:17:17 +02:00
1047193876 Refactor text formatting for documentation of precise types Pierre-Marie de Rodat 2019-05-28 14:10:38 +02:00
2da99958d3 CompiledTypes.doc: use empty strings instead of None for lack for doc Pierre-Marie de Rodat 2019-05-28 14:31:17 +02:00
afd9e01091 properties/def_ada.mako: minor comment rewording Pierre-Marie de Rodat 2019-05-28 13:01:22 +02:00
8b914eed10 synthetic_props: new testcase for synthetic-sensitive properties Pierre-Marie de Rodat 2019-05-28 12:58:34 +02:00
a3168d5789 Add a is-synthetic node predicate in all public APIs Pierre-Marie de Rodat 2019-05-28 12:53:19 +02:00
c27248c473 pkg_implementation_body_ada.mako: minor reformatting Pierre-Marie de Rodat 2019-05-28 12:49:50 +02:00
5271009a04 Always generate kind subtype for synthetic nodes, use static predicate Pierre-Marie de Rodat 2019-05-28 12:45:07 +02:00
78cf7af11a Avoid mappings array leak in generated code for add_to_env Pierre-Marie de Rodat 2019-05-28 10:33:09 +02:00
c2b3e9ba72 Travis CI: build and install LibGPR/master Pierre-Marie de Rodat 2019-05-24 14:17:39 +02:00
16c4dc2014 ada_api/properties_introspection: test OOB access to property args Pierre-Marie de Rodat 2019-05-24 13:56:32 +02:00
0903f716db $.Introspection: add proper bound check for Property_Argument_Name Pierre-Marie de Rodat 2019-05-24 13:55:24 +02:00
c9935f3f8b ada_api/properties_introspection: test default values Pierre-Marie de Rodat 2019-05-24 13:42:54 +02:00
d9ca136900 ada_api/properties_introspection: enhance character printing Pierre-Marie de Rodat 2019-05-24 13:38:22 +02:00
745b3c3861 ada_api/properties_introspection: refactor values printing Pierre-Marie de Rodat 2019-05-24 13:34:34 +02:00
e653516f48 $.Introspection: expose default argument values for properties Pierre-Marie de Rodat 2019-05-24 13:33:53 +02:00
35502fd43e $.Introspection: reorder definitions in implementation Pierre-Marie de Rodat 2019-05-24 13:32:22 +02:00
4fd69c060e langkit.expressions.base: fix typos Pierre-Marie de Rodat 2019-05-24 12:04:50 +02:00
879a4b71d3 astnode_types_ada.mako: fix indentation for field docs Pierre-Marie de Rodat 2019-05-23 19:17:25 +02:00
2a308e5d54 Generate precise element types for fields that contain lists Pierre-Marie de Rodat 2019-05-23 19:16:47 +02:00
646677bf71 Generate precise types for elements of list types Pierre-Marie de Rodat 2019-05-23 15:07:44 +02:00
a93cbafe6d langkit.parsers.Null: make freeze_types process the sub-parser Pierre-Marie de Rodat 2019-05-23 16:48:05 +02:00
a834dcf42a langkit.parsers.Null: refactor and add comments Pierre-Marie de Rodat 2019-05-23 15:30:21 +02:00
a0dcf11385 Fix formatting of documentation for precise types Pierre-Marie de Rodat 2019-05-23 15:14:30 +02:00
af36c2966c Parsers: reject given list_cls when element type is incompatible Pierre-Marie de Rodat 2019-05-23 14:47:42 +02:00
6d2102f415 grammar/invalid_list: refactor testcase Pierre-Marie de Rodat 2019-05-23 14:36:22 +02:00
4091079a5b langkit.parsers.Parser.type: add an assertion message Pierre-Marie de Rodat 2019-05-23 14:24:49 +02:00
9e064276db Disable memoization in dispatchers Pierre-Marie de Rodat 2019-05-22 14:49:45 +02:00
fbf88d94f4 Python API: wrap empty strings to empty strings (not to None) Pierre-Marie de Rodat 2019-05-22 15:37:49 +02:00
bdedd5048f Fix initialization of (original) name for root dispatched properties Pierre-Marie de Rodat 2019-05-22 15:21:37 +02:00
6cf1645607 Use DSL name in the error message of abstract property runtime checks Pierre-Marie de Rodat 2019-05-23 13:40:55 +02:00
b9cd7fa7d0 GDB helpers: fix step inside property calls for dispatchers Pierre-Marie de Rodat 2019-05-22 14:50:13 +02:00
0debe6bf99 Document the behavior of node.sloc_range for synthetic nodes Pierre-Marie de Rodat 2019-05-22 11:38:52 +02:00
cde6ff80d8 c_api/header_c.mako: minor reformatting Pierre-Marie de Rodat 2019-05-22 11:05:07 +02:00
8f89fd75dd Python/C APIs: use the Ada implementation to get node text Pierre-Marie de Rodat 2019-05-22 11:04:27 +02:00
9593a5808b $.Implementation.Text: return an empty string for ghost nodes Pierre-Marie de Rodat 2019-05-22 13:00:59 +02:00
93b993a88f Python API: restrict handled exceptions in node.find Pierre-Marie de Rodat 2019-05-22 13:01:20 +02:00
6fb59f2e6e $.Implementation.Text: return an empty string for synthetic nodes Pierre-Marie de Rodat 2019-05-21 18:00:03 +02:00
6da104f219 $.Analysis.Text: reimplement to rely on the internal implementation Pierre-Marie de Rodat 2019-05-21 17:57:40 +02:00
2a212dd7c4 Make the concept of synthetic nodes public Pierre-Marie de Rodat 2019-05-21 17:07:33 +02:00
91cf4a71fb grammar/invalid_synthetic_parser: new testcase Pierre-Marie de Rodat 2019-05-21 16:44:46 +02:00
e37437b544 Make parsers reject synthetic nodes Pierre-Marie de Rodat 2019-05-21 16:37:32 +02:00
199ef54be3 S527-014: Add test Raphaël AMIARD 2019-05-27 14:38:10 +02:00
9f7de86157 S527-014: Allow structs containing arrays Raphaël AMIARD 2019-05-27 12:42:04 +02:00
b5fd3e57fa auto_properties_dsl.py: work around a circular dependency issue Pierre-Marie de Rodat 2019-05-10 17:50:14 +02:00
b2dd19d185 properties/lower_dispatch_null: new testcase Pierre-Marie de Rodat 2019-05-09 17:35:03 +02:00
b573c0be18 Null-check self in properties dispatchers Pierre-Marie de Rodat 2019-05-09 15:50:45 +02:00
a2968415fe Refactor node initialization in parsers and properties Pierre-Marie de Rodat 2019-04-30 15:42:11 +02:00
709385d5d2 Minor reformatting Pierre-Marie de Rodat 2019-04-30 15:14:47 +02:00
0ccf159080 Parsers: remove one assumption about tagged types for bare nodes Pierre-Marie de Rodat 2019-04-30 15:09:04 +02:00
508a2b14c8 $.Analysis: avoid using the dot notation for bare node primitives Pierre-Marie de Rodat 2019-04-30 15:05:16 +02:00
3b0e83a918 Reimplement public entity converters to be based on node kinds Pierre-Marie de Rodat 2019-04-30 11:54:29 +02:00
a8af7e02d0 Reimplement booleanized field accessor to be based on node kinds Pierre-Marie de Rodat 2019-04-29 12:23:39 +02:00
c3449942c1 Reimplement Is_Rebindable to be based on node kinds Pierre-Marie de Rodat 2019-04-29 12:19:23 +02:00
295f046671 Bare nodes: use unchecked conversions in field accessors Pierre-Marie de Rodat 2019-04-29 12:12:15 +02:00
86f620f16f Cast expressions: use unchecked conversions for bare node conversions Pierre-Marie de Rodat 2019-04-29 11:57:02 +02:00
53b2c7dac6 TypeSet: fix handling of abstract classes with no concrete subclasses Pierre-Marie de Rodat 2019-04-30 11:53:09 +02:00
0b8e7bd9ff StructType.is_builtin: reword comment Pierre-Marie de Rodat 2019-04-29 11:37:02 +02:00
f71cbae381 pkg_implementation_spec_ada.mako: remove redundant declaration Pierre-Marie de Rodat 2019-04-29 11:36:38 +02:00
96ef2e6803 Manually generate properties dispatchers Pierre-Marie de Rodat 2019-04-25 16:22:31 +02:00
09770e6554 Convert the Abstract_Node abstraction from tagged to variants Pierre-Marie de Rodat 2019-04-26 16:25:26 +02:00
493c7a20f9 python_api/tokens: enhance to test AnalysisUnit.text Pierre-Marie de Rodat 2019-04-26 12:49:50 +02:00
456d376dd2 Python API: add a ".text" property on analysis units Pierre-Marie de Rodat 2019-04-26 12:48:11 +02:00
6f6cd1acea python_api/tokens: repurpose test for general Token binding testing Pierre-Marie de Rodat 2019-04-26 10:53:33 +02:00
1aae2c2218 Python API: override all comparison operators for Token Pierre-Marie de Rodat 2019-04-26 10:52:57 +02:00
4ab0bcf4d5 Python API: normalize input checks for Token operations Pierre-Marie de Rodat 2019-04-26 10:44:49 +02:00
b16691ffaf CompileCtx.lower_properties_dispatching: remove special case Pierre-Marie de Rodat 2019-04-25 14:58:51 +02:00
edeb5bc169 CompileCtx.lower_properties_dispatching: minor rewording Pierre-Marie de Rodat 2019-04-25 14:34:28 +02:00
7666fc0c67 Travis CI: install flake8 Pierre-Marie de Rodat 2019-04-25 12:34:49 +02:00
a5099b0c4a stylechecks: check for the order of imported entities in Python Pierre-Marie de Rodat 2019-04-25 12:10:29 +02:00
3dd788055d Sort imported entitities in all Python scripts Pierre-Marie de Rodat 2019-04-25 12:44:33 +02:00
ce59f25260 Fix numbering of stylechecks testcases Pierre-Marie de Rodat 2019-04-25 12:04:22 +02:00
0dd1f1bbd6 S418-018: Refactor add_to_env. Romain Beguet 2019-04-23 12:48:52 +02:00
d5c7fe84a0 Allow bare nodes in structs exposed in public APIs Pierre-Marie de Rodat 2019-04-16 14:44:41 +02:00
2b407dc49c struct_types_ada.mako: refactor prototype for public converter Pierre-Marie de Rodat 2019-04-16 14:44:16 +02:00
03b2b1b996 Move "public_type" properties to the CompiledType class itself Pierre-Marie de Rodat 2019-04-16 12:50:36 +02:00
2477e66b55 $.Introspection: add a DSL_Name function for value constraints Pierre-Marie de Rodat 2019-04-15 15:27:15 +02:00
2d4080b7ab Fix a gprbuild warning in the generated library project file Pierre-Marie de Rodat 2019-04-16 15:11:37 +02:00
5c256054f6 Truly install static libraries before relocatable ones Pierre-Marie de Rodat 2019-04-16 15:11:03 +02:00
520e9a08ec $.Introspection: rename Evaluate_* functions to Eval_* Pierre-Marie de Rodat 2019-04-15 14:54:24 +02:00
3dcf1f9014 CompiledType: rename introspection_radix to introspection_prefix Pierre-Marie de Rodat 2019-04-15 14:31:42 +02:00
12fae1e979 langkit.diagnostics.extract_library_location: minor refactoring Pierre-Marie de Rodat 2019-04-15 14:24:51 +02:00
981ff46810 Langkit_Support.Adalog: add missing comments Pierre-Marie de Rodat 2019-04-15 14:21:56 +02:00
dde75954fe Misc reformattings Pierre-Marie de Rodat 2019-04-15 14:18:30 +02:00
5b8b4f7858 langkit.expressions.base: add a docstring for sloc_info_arg Pierre-Marie de Rodat 2019-04-15 14:11:25 +02:00
d684459ac7 langkit.diagnostics: rework docstrings for Location Pierre-Marie de Rodat 2019-04-15 14:06:41 +02:00
68604ecd83 $.Introspection: add a function to lookup node data by name Pierre-Marie de Rodat 2019-04-08 18:29:03 +02:00
ff1a7143d9 $.Introspection: add generic type/evaluation functions for node data Pierre-Marie de Rodat 2019-04-08 17:52:49 +02:00
7fd0554c46 $.Introspection: introduce the Evaluate_Property function Pierre-Marie de Rodat 2019-04-08 12:08:59 +02:00
4df0ede967 C/Python APIs: fix codegen for tokens unwrapping Pierre-Marie de Rodat 2019-04-08 15:14:57 +02:00

... 41 42 43 44 45 ...