Commit Graph

  • 9ca160f1d4 Polyfill: fix a coding style issue Pierre-Marie de Rodat 2016-04-13 10:16:40 +02:00
  • a7ce770499 By default, disable warnings when building the generated library Pierre-Marie de Rodat 2016-04-12 17:04:54 +02:00
  • 8546a18645 Minor: Enhance polyfill output in diff case Raphael Amiard 2016-04-12 12:43:02 +02:00
  • a3c2895c9e Add an XFAIL testcase to remember something to fix Pierre-Marie de Rodat 2016-04-12 15:37:58 +02:00
  • 7b65e98889 Add a testcase for the LexicalEnv.get binding in Python Pierre-Marie de Rodat 2016-04-12 15:28:56 +02:00
  • d1b5fc14e2 Fix code generation for Children_Env and Node_Env Pierre-Marie de Rodat 2016-04-12 15:28:08 +02:00
  • e4e2c28ff1 Testsuite: add helpers to build a lang lib and run a script using it Pierre-Marie de Rodat 2016-04-12 13:08:38 +02:00
  • efb3d8b79a Add Unreferenced pragmas in metadata Combine function when needed Pierre-Marie de Rodat 2016-04-12 13:02:03 +02:00
  • 23fb4f395f libmanage.py: pass -q to GPRbuild when verbosity is NONE Pierre-Marie de Rodat 2016-04-12 12:59:59 +02:00
  • 68a5802bdc libmanage.py: make it possible to pass explicit argv to ManageScript.run Pierre-Marie de Rodat 2016-04-12 12:59:14 +02:00
  • 45a6d7f4a2 Always generate code for arrays of EnvElement structures Pierre-Marie de Rodat 2016-04-12 12:57:32 +02:00
  • aa72d0741e Polyfill: add an option to specify a temporary directory Pierre-Marie de Rodat 2016-04-12 10:31:16 +02:00
  • 79e58e7bbf Bind LexicalEnv.parent in the C and Python APIs Pierre-Marie de Rodat 2016-04-11 15:55:48 +02:00
  • cdac7f526b Python API: add a __repr__ method to record types Pierre-Marie de Rodat 2016-04-11 15:50:45 +02:00
  • 57d9d6b739 Bind LexicalEnv.get in the C and Python APIs Pierre-Marie de Rodat 2016-04-07 15:49:07 +02:00
  • 2317aa921c Python API: implement text values unwrapping Pierre-Marie de Rodat 2016-04-11 15:50:35 +02:00
  • 16bac6ef1a Keep a reference to AST nodes in lexical environments Pierre-Marie de Rodat 2016-04-07 18:15:39 +02:00
  • e2ca1729cd Langkit_Support.Symbols: enable creation-less symbol lookup Pierre-Marie de Rodat 2016-04-07 18:04:36 +02:00
  • 1662c8a5af Allow c_api.CAPIType accept Name instances and update usages Pierre-Marie de Rodat 2016-04-06 17:51:23 +02:00
  • cb82842a66 names.py: Add type annotations to Name's constructor Pierre-Marie de Rodat 2016-04-11 16:51:14 +02:00
  • 004b4e8392 Add an option to expose private fields in all generated APIs Pierre-Marie de Rodat 2016-04-05 15:52:03 +02:00
  • 929858775c Expose symbol values in the generated APIs Pierre-Marie de Rodat 2016-04-05 15:54:38 +02:00
  • 88db8433c8 C binding: add a helper to wrap text values Pierre-Marie de Rodat 2016-04-06 14:39:54 +02:00
  • cef07a5280 Represent tokens as indices in TDH tables instead of full records Pierre-Marie de Rodat 2016-04-06 12:15:43 +02:00
  • 576006e213 C API header: fix a pasto Pierre-Marie de Rodat 2016-04-06 15:03:44 +02:00
  • a41348d48c Python API: move most layering helpers to methods Pierre-Marie de Rodat 2016-04-06 15:11:42 +02:00
  • 06a23c724b Python API: turn the text wrapping helper into a method Pierre-Marie de Rodat 2016-04-06 14:41:45 +02:00
  • 60f6c2c2bc Make Struct.get_abstract_fields accept predicates on AbstractNodeData Pierre-Marie de Rodat 2016-04-06 12:11:59 +02:00
  • 5322380fca Expose lexical environment values in generated APIs Pierre-Marie de Rodat 2016-04-05 15:54:08 +02:00
  • 7fc352e38c Synchronize with Libadalang's REQUIREMENTS.dev Pierre-Marie de Rodat 2016-04-05 11:09:20 +02:00
  • 6ee791d982 ASTdoc: do not document private fields Pierre-Marie de Rodat 2016-04-05 10:51:18 +02:00
  • ffc988c0bf Properties: add Block.get to get the current Block Pierre-Marie de Rodat 2016-04-05 10:21:25 +02:00
  • e330d024c3 Add a test for property privacy checks Pierre-Marie de Rodat 2016-04-04 18:25:59 +02:00
  • 1648a6c43c compiled_types: add property privacy inheritance and consistency checks Pierre-Marie de Rodat 2016-04-04 18:23:22 +02:00
  • 20f8421d59 CompileContext: do not process root grammar class properties twice Pierre-Marie de Rodat 2016-04-04 17:03:34 +02:00
  • 8aa6d606ff Make private fields actually private in the generated Ada code Pierre-Marie de Rodat 2016-04-04 16:35:39 +02:00
  • 26895dc36a Minor: Fix pycharm warnings Raphael Amiard 2016-04-01 12:11:10 +02:00
  • 49bcf12c1b Var: New syntactic sugar around let for function properties. Raphael Amiard 2016-04-01 12:05:22 +02:00
  • 55f02eca8f OA28-063: Adapt comments and error messages Raphael Amiard 2016-04-01 12:09:18 +02:00
  • f0270b7420 langkit_property: New decorator syntactic sugar for properties. Raphael Amiard 2016-04-01 12:09:40 +02:00
  • d06c9ef1c3 Minor: Adapt LocalVars.create documentation Raphael Amiard 2016-04-01 11:49:35 +02:00
  • edb9395ad6 PropertyDef: Use TypeRepo rather than lambdas to defer arg types Raphael Amiard 2016-03-31 17:06:20 +02:00
  • 71bef7a410 Relax Cast: Allow upcasting. Raphael Amiard 2016-03-31 16:52:17 +02:00
  • 75a91bc7ea P329-031: Adapt Cast to handle deferred types Raphael Amiard 2016-03-31 16:51:43 +02:00
  • c64ce3cf47 Adapt PropertyDef to handle defered types as return type. Raphael Amiard 2016-03-31 16:50:00 +02:00
  • 5dc558de8f Correct a bug in parsers. Raphael Amiard 2016-03-31 16:43:39 +02:00
  • 7fd0ff7260 Add a type repository that allows early references to types. Raphael Amiard 2016-03-31 16:42:23 +02:00
  • d8862a58bc Add 'issubtype' helper to utils. Raphael Amiard 2016-03-31 16:48:11 +02:00
  • e4059245ef Polyfill: propagate changes from Libadalang Pierre-Marie de Rodat 2016-03-31 17:58:58 +02:00
  • 7d1f5cf184 Minor: Add better default error message for dispatch_on_type. Raphael Amiard 2016-03-31 10:47:32 +02:00
  • 03775f8f95 Add completeness check for abstract properties implementation Raphael Amiard 2016-03-31 10:39:19 +02:00
  • ae1eb3c844 Factor out the logic of Match expr completeness checking. Raphael Amiard 2016-03-31 10:27:03 +02:00
  • d60b865a1f Minor: Correct type annotation Raphael Amiard 2016-03-31 10:11:27 +02:00
  • d865fb9576 Add non blocking errors to the diagnostics framework. Raphael Amiard 2016-03-31 10:08:29 +02:00
  • 4bb04a332a Add a SingletonList property. Raphael Amiard 2016-03-30 13:03:49 +02:00
  • 5169df97af Refactor New.construct Raphael Amiard 2016-03-30 11:22:39 +02:00
  • 1f868988fb Add a new test for invalid properties definition Raphael Amiard 2016-03-29 15:08:38 +02:00
  • 3428fad753 Add a helper script to run the testsuite for developers Raphael Amiard 2016-03-29 15:06:32 +02:00
  • 4d29e5fb5e P303-009: Fix reserved arguments check in PropertyDef Raphael Amiard 2016-03-29 13:32:00 +02:00
  • 3b691f6e2c P303-009: fix diagnostics for arguments types in PropertyDef Raphael Amiard 2016-03-29 13:31:32 +02:00
  • f7691b8cb4 P303-009: PropertyDef - Fix error message Raphael Amiard 2016-03-29 13:30:50 +02:00
  • bf2d3147e4 Refactor Property. Raphael Amiard 2016-03-29 13:08:57 +02:00
  • 5babcfd885 P303-009: Fix property context in macro expansion Raphael Amiard 2016-03-29 12:52:01 +02:00
  • 3c78ef4944 Property: Refactor init and prepare. Raphael Amiard 2016-03-29 12:16:09 +02:00
  • 7bc12cfecd Change the format for lexical env. dumps Pierre-Marie de Rodat 2016-03-29 16:57:47 +02:00
  • d8b26a7335 Set context for all property passes, not just prepare Pierre-Marie de Rodat 2016-03-29 13:22:47 +02:00
  • 90c35dbec1 libmanage: add an option to automatically run PDB on error Pierre-Marie de Rodat 2016-03-29 12:30:00 +02:00
  • ea7a96d107 Fix various PyCharm diagnostics Pierre-Marie de Rodat 2016-03-29 13:00:08 +02:00
  • 60feb6a3fb Match expressions: do not reorder matchers and warn for unreachable code Pierre-Marie de Rodat 2016-03-29 11:54:38 +02:00
  • 2ee7bbb2be libmanage: restore sys.exit(1) when code generation triggers an error Pierre-Marie de Rodat 2016-03-25 18:28:22 +01:00
  • 7bf7244655 P303-009: Add test for invalid Property type usage Raphael Amiard 2016-03-29 11:56:15 +02:00
  • f62c90c52a P303-009: Expressions.Isa, use check_source_language Raphael Amiard 2016-03-29 11:54:41 +02:00
  • 691e75ede1 template_utils.Renderer: Adapt code. Raphael Amiard 2016-03-29 11:52:32 +02:00
  • 8838ffb880 P303-009: Adapt check about Property's type. Raphael Amiard 2016-03-29 10:50:33 +02:00
  • ebacf6a349 Property.prepare: Simplify construction logic. Raphael Amiard 2016-03-25 22:40:49 +01:00
  • da5354c4f7 P303-009: Add a test for invalid new expr Raphael Amiard 2016-03-25 22:38:22 +01:00
  • 2e4ef4e686 P303-009: Fix bug in New.do_prepare diagnostics Raphael Amiard 2016-03-25 22:35:53 +01:00
  • 52e47d8b2f P303-009: Enhance the output of Expressions.construct Raphael Amiard 2016-03-25 22:35:21 +01:00
  • 4767dcb192 Expressions.New: Adapt to create diagnostics. Raphael Amiard 2016-03-25 22:23:23 +01:00
  • 271f969dfd P303-009: Add test for invalid casts Raphael Amiard 2016-03-25 22:18:21 +01:00
  • 2c2ae24c50 Cast: Adapt to use diagnostics. Raphael Amiard 2016-03-25 22:17:30 +01:00
  • 09484ca0b1 Minor: Remove unused imports Raphael Amiard 2016-03-25 22:17:22 +01:00
  • 80a8cc3e7c Expressions.construct: Adapt to create diagnostics Raphael Amiard 2016-03-25 22:15:13 +01:00
  • f36b510fde P303-009: Add test for call expr Raphael Amiard 2016-03-25 18:57:42 +01:00
  • 9c02b01c2f FieldAccess: Convert an assert into check_source_language. Raphael Amiard 2016-03-25 18:55:49 +01:00
  • 6d35e2f19e Add test for collection expressions. Raphael Amiard 2016-03-25 18:28:23 +01:00
  • e87b1546af CollectionExpression: Move checks __init__ -> do_prepare Raphael Amiard 2016-03-25 18:22:23 +01:00
  • 7c4a12aad3 Add test for No expr Raphael Amiard 2016-03-25 18:03:33 +01:00
  • 6ce8c48850 Better error message for 'No' diagnostic Raphael Amiard 2016-03-25 18:02:49 +01:00
  • 90be9d78bd No expr: move checks __init__ -> do_prepare Raphael Amiard 2016-03-25 17:04:25 +01:00
  • d535854499 Shorten Let expression test Raphael Amiard 2016-03-25 17:03:57 +01:00
  • 2404ec5fe9 Properties: Fix bug: root node couldn't have properties Raphael Amiard 2016-03-25 17:03:34 +01:00
  • ffbba03063 Expressions: Start migrating checks to do_prepare. Raphael Amiard 2016-03-25 16:08:12 +01:00
  • 5ed4648a50 Factor the property diagnostic context. Raphael Amiard 2016-03-25 16:00:29 +01:00
  • 242d63054b Add tests for let expressions Raphael Amiard 2016-03-25 15:44:07 +01:00
  • 1ef13ca486 Let expression: Correct bug in check if there were no defaults. Raphael Amiard 2016-03-25 15:42:48 +01:00
  • 4e6e9bb443 Introduce some context for error diagnostics. Raphael Amiard 2016-03-25 12:22:19 +01:00
  • 9079bc189c Minor typo fix Raphael Amiard 2016-03-25 13:29:04 +01:00
  • 074f750856 Basis for diagnostic framework in langkit. Raphael Amiard 2016-03-25 12:02:04 +01:00
  • 5ba62b97bc Add a file that was missing in the previous commit Pierre-Marie de Rodat 2016-03-23 09:45:52 +01:00