Commit Graph

  • 25f795d386 PC19-012: Keep offset in tokens Raphael Amiard 2016-12-19 12:52:30 +01:00
  • 9e2a1f48bd PC15-028: remove Children_Count Raphael Amiard 2016-12-15 15:34:51 +01:00
  • 9298a8e7d1 Minor reformatting Pierre-Marie de Rodat 2016-12-15 15:30:08 +01:00
  • 28753a1870 Properly handle synthetic nodes in the Sloc_Range primitive Pierre-Marie de Rodat 2016-12-15 15:14:35 +01:00
  • 103925eda6 Add testcases for AST node synthetization in properties Pierre-Marie de Rodat 2016-12-15 13:22:15 +01:00
  • c33615e02c Introduce CompiledType.convert_to_storage_expr Pierre-Marie de Rodat 2016-12-15 13:14:23 +01:00
  • 2185848f6a expressions.structs.New: enhance to support AST node synthetization Pierre-Marie de Rodat 2016-12-14 17:26:25 +01:00
  • f3daa5c589 Introduce a Register_Destroyable helper for synthetized AST nodes Pierre-Marie de Rodat 2016-12-15 12:56:22 +01:00
  • db141d5f2c Split single-node Destroy primitive and whole-tree one Pierre-Marie de Rodat 2016-12-15 12:32:47 +01:00
  • da1f73239b expressions.structs: rename New.Expr to New.StructExpr Pierre-Marie de Rodat 2016-12-15 10:58:55 +01:00
  • 64d37c4b2e Fix codegen so that memoization works on non-refcounted types Pierre-Marie de Rodat 2016-12-15 10:44:40 +01:00
  • 5a4be4d87c expressions.structs.New: update fields filter for AST node synth. Pierre-Marie de Rodat 2016-12-15 10:16:07 +01:00
  • 781b2af53b Accept AST nodes not used by the grammar but still type annotated Pierre-Marie de Rodat 2016-12-15 10:11:15 +01:00
  • fb90f8918e langkit.expressions.structs.New: handle deferred types Pierre-Marie de Rodat 2016-12-14 17:25:13 +01:00
  • 52943ae32a Clean a docstring in parsers.py Pierre-Marie de Rodat 2016-12-14 17:18:21 +01:00
  • 0b45b66396 Add a testcase for badly typed top-level grammar rules Pierre-Marie de Rodat 2016-12-14 17:14:45 +01:00
  • e952ed084b Emit a diagnostic when top-level grammar rules don't yield AST node Pierre-Marie de Rodat 2016-12-14 17:04:01 +01:00
  • 61059b86ce Minor reformatting Pierre-Marie de Rodat 2016-12-14 15:29:28 +01:00
  • 962fc6276e Minor reformatting Pierre-Marie de Rodat 2016-12-14 12:58:12 +01:00
  • dbbd185221 Make Langkit_Support.Tree_Traversal_Iterator.Traverse_Iterator limited Pierre-Marie de Rodat 2016-12-14 12:56:53 +01:00
  • 7e4054987c Fix a typo Pierre-Marie de Rodat 2016-12-14 12:22:52 +01:00
  • 30695df137 Fix a typo Pierre-Marie de Rodat 2016-12-14 12:18:20 +01:00
  • 78c381a0f5 P506-012: Comment Update_After_Reparse Raphael Amiard 2016-12-13 01:31:41 +01:00
  • 80ce2eff08 P506-012: Call Reroot_Foreign_Nodes after reparse Raphael Amiard 2016-12-13 01:31:18 +01:00
  • fbf067e7a3 Minor: whitespace Raphael Amiard 2016-12-13 01:30:26 +01:00
  • 29864dbcce P506-012: Add Lex_Env_Data.Reroot_Foreign_Nodes Raphael Amiard 2016-12-13 01:29:35 +01:00
  • 8b963a8d70 P506-012: Enable Pre/Post_Env_Actions to run only add_to_env Raphael Amiard 2016-12-12 17:23:28 +01:00
  • b06236ec25 P506-012: Add comments to lex_env.add Raphael Amiard 2016-12-12 17:23:01 +01:00
  • df7d349f25 P506-012: Correct population of Lex_Env_Data.Contains Raphael Amiard 2016-12-12 17:22:10 +01:00
  • d32ab1fbde P506-012: Update lex envs after reparse when needed Raphael Amiard 2016-12-12 17:20:12 +01:00
  • b317e67662 P506-012: Add Lex_Env_Data.Remove_Exiled_Entries Raphael Amiard 2016-12-12 17:21:19 +01:00
  • 1fb2c66070 P506-012: Add missing field 'Node' to Containing_Env_El Raphael Amiard 2016-12-12 16:25:59 +01:00
  • 2a55bec565 P506-012: Call parent Post_Env_Actions if necessary Raphael Amiard 2016-12-12 16:24:09 +01:00
  • 28d7345358 P506-012: Add Lex_Env.Remove operation Raphael Amiard 2016-12-12 16:23:16 +01:00
  • 5f4bfb3c5c P506-012: Add Vector.Remove_At operation Raphael Amiard 2016-12-12 16:22:50 +01:00
  • cde9151326 P506-012: Add Vector.Set operation Raphael Amiard 2016-12-12 16:22:29 +01:00
  • 527afd50a9 Minor: remove useless vector package Raphael Amiard 2016-12-07 16:59:34 +01:00
  • d66e0370dc Fix a typo Pierre-Marie de Rodat 2016-12-14 10:53:55 +01:00
  • 2e517019ba Add a testcase for external properties Pierre-Marie de Rodat 2016-12-13 17:54:54 +01:00
  • 45ca152bc9 Add a testcase for parsing error for garbage text after main rule compl. Pierre-Marie de Rodat 2016-12-14 10:50:07 +01:00
  • 909820e352 Fix parser error handling for garbage text after main rule completion Pierre-Marie de Rodat 2016-12-14 10:42:16 +01:00
  • 8126a5f0b1 Make it possible to provide extensions in testcases Pierre-Marie de Rodat 2016-12-13 16:55:51 +01:00
  • efb326c149 Make CompileCtx a new-style Python class... Pierre-Marie de Rodat 2016-12-14 10:00:06 +01:00
  • 0e2055376c Remove the Lex_Env argument for properties without has_implicit_env Pierre-Marie de Rodat 2016-12-14 09:21:52 +01:00
  • f527421766 Reset Env binding when constructing a property Pierre-Marie de Rodat 2016-12-14 09:10:33 +01:00
  • d69db6976f logic.Bind: delay type checks to the construct pass Pierre-Marie de Rodat 2016-12-14 09:08:24 +01:00
  • 7b433d97c3 Fix a typo Pierre-Marie de Rodat 2016-12-14 09:06:51 +01:00
  • 098acddf17 Add debug output for properties compilation passes Pierre-Marie de Rodat 2016-12-14 09:05:19 +01:00
  • db4e494bfb Add support for external propertiess Pierre-Marie de Rodat 2016-12-13 12:55:42 +01:00
  • 569757e05b Fix a typo Pierre-Marie de Rodat 2016-12-13 12:39:37 +01:00
  • 911ef4f047 Introduce a class to hold references to entities in generated library Pierre-Marie de Rodat 2016-12-13 12:33:16 +01:00
  • e70405a34a Add a predicate to check whether a node is synthetic Pierre-Marie de Rodat 2016-12-13 11:32:57 +01:00
  • 88317cbc85 Reword documentation for $.AST.Is_Ghost Pierre-Marie de Rodat 2016-12-13 11:29:34 +01:00
  • 3625f731ff Restrict the use of properties memoization Pierre-Marie de Rodat 2016-12-13 11:23:50 +01:00
  • 9fc6ba595b Add memoized properties cache invalidation on unit parsing Pierre-Marie de Rodat 2016-12-12 18:40:33 +01:00
  • 8c93d86c28 Destroy AST node trees on reparsing Pierre-Marie de Rodat 2016-12-12 17:46:53 +01:00
  • d9ff380667 Implement the property memoization mechanism Pierre-Marie de Rodat 2016-12-12 17:36:47 +01:00
  • c0eb58de2b astnode_types_ada.mako: fix a typo Pierre-Marie de Rodat 2016-12-12 14:09:19 +01:00
  • 6bc9efd1e5 ASTNode.get_properties: fix properties filter predicate Pierre-Marie de Rodat 2016-12-12 13:52:04 +01:00
  • 566e39905d ASTNode.get_properties: update obsolete docstring Pierre-Marie de Rodat 2016-12-12 13:51:28 +01:00
  • 3acc2a7f98 Add a "memoized" attribute for propertie Pierre-Marie de Rodat 2016-12-12 13:23:56 +01:00
  • 86fd2d7676 Lexer: add byte order mark handling to auto-detect UTF* charsets Pierre-Marie de Rodat 2016-12-09 11:44:24 +01:00
  • 4bb4023f5c Add a testcase for Populate_Lexical_Env exc. handling in C/Python APIs Pierre-Marie de Rodat 2016-12-08 16:52:55 +01:00
  • 85e4cc07f7 Dynamic env getters: don't crash when processing a root AST node Pierre-Marie de Rodat 2016-12-08 16:07:08 +01:00
  • feb295afbc C/Python API: wrap Property_Error raised in Populate_Lexical_Env Pierre-Marie de Rodat 2016-12-08 16:04:59 +01:00
  • e30bfb03ce Remove an unneeded pragma Warnings (Off) Pierre-Marie de Rodat 2016-12-07 17:38:32 +01:00
  • 50fb4543ac P506-012: Fix mem leaks in lex envs Raphael Amiard 2016-12-07 13:32:20 +01:00
  • ecd23629a6 P506-012: Add Vector.copy function Raphael Amiard 2016-12-07 13:30:42 +01:00
  • 8b122fe4fc P506-012: Populate cross unit env data Raphael Amiard 2016-12-05 12:56:21 +01:00
  • a45c3dcb80 P506-012: Extend lex_env_data_type with necessary data Raphael Amiard 2016-12-05 12:56:09 +01:00
  • 29ce78eba2 P506-012: Relax profile for get_lex_env_data Raphael Amiard 2016-12-05 12:55:49 +01:00
  • 63a6196c2c P506-012: Pass root_env to post_env_actions Raphael Amiard 2016-12-05 12:55:33 +01:00
  • 26fd97ae96 P506-012: Make langkit_support.vector tagged Raphael Amiard 2016-12-05 12:54:57 +01:00
  • 53fda22467 PC06-032: Add _ operator Raphael Amiard 2016-12-06 17:53:56 +01:00
  • 478d93168b PC06-032: Add repr to auto_attr generated classes Raphael Amiard 2016-12-06 17:53:34 +01:00
  • 0f8b56d648 PC06-032: Refactor auto_attr generated classes Raphael Amiard 2016-12-06 17:50:58 +01:00
  • f032b5fb93 Minor: unfreeze env in reset_langkit Raphael Amiard 2016-12-07 15:31:03 +01:00
  • f74ba0be1f Minor: add possibility to unfreeze AbstractExprs Raphael Amiard 2016-12-07 15:30:47 +01:00
  • cfdddc7425 PC06-032: Replace property's toplevel expr if necessary Raphael Amiard 2016-12-06 18:03:42 +01:00
  • 204af8372f PC06-032: Generalize AbstractExpr.prepare Raphael Amiard 2016-12-06 17:49:48 +01:00
  • a712a1ea9f PC06-032: Add Then.create_from_exprs Raphael Amiard 2016-12-06 17:45:55 +01:00
  • 12b622ed3c Minor: remove unused imports Raphael Amiard 2016-12-06 17:45:29 +01:00
  • 771691152f PC06-032: Add repr for Then expression Raphael Amiard 2016-12-06 17:45:08 +01:00
  • dbaae6ff8d P506-012: Simplify AbstractExpr.prepare Raphael Amiard 2016-12-06 10:32:31 +01:00
  • b8cef80cb4 Minor: Remove unneeded assert_type call Raphael Amiard 2016-12-05 14:52:59 +01:00
  • c0df676051 P506-012: Refactor env add Raphael Amiard 2016-12-05 12:54:11 +01:00
  • 69d10543c3 P919-020: Allow creation of qualifier nodes with no subparsers Raphael Amiard 2016-12-01 18:33:05 +01:00
  • dd05780d3d P506-012: Add a Lex_Env_Data type to AnalysisUnit Raphael Amiard 2016-12-01 17:55:49 +01:00
  • 08b22aadd6 Minor: add section comment Raphael Amiard 2016-12-01 17:55:05 +01:00
  • e8317a4960 Revert "Associate a custom __repr__ method to env_get" Raphael Amiard 2016-12-06 18:13:00 +01:00
  • 2bc784f56d Revert "Associate a custom __repr__ method to eval_in_env" Raphael Amiard 2016-12-06 18:12:43 +01:00
  • 53d9cb5f09 Revert "auto_attr_custom: make it possible to provide a custom __repr__" Raphael Amiard 2016-12-06 18:12:08 +01:00
  • a4005c3bb8 P506-012: Pass root env to pre_env_actions Raphael Amiard 2016-12-01 17:54:51 +01:00
  • e4dd9bf0a7 Change the env_hook so that it does not read/write initial_env Pierre-Marie de Rodat 2016-12-02 17:19:22 +01:00
  • 4f3ec0288d Set has_implicit_env=True for env-spec internal properties Pierre-Marie de Rodat 2016-12-02 15:31:03 +01:00
  • de4a24b664 Minor reformatting Pierre-Marie de Rodat 2016-12-02 15:29:28 +01:00
  • 6613cfe35b PropertyDef: update the copy constructor for has_implicit_env addition Pierre-Marie de Rodat 2016-12-02 15:28:47 +01:00
  • 001dfcd7a4 Make no implicit env parameter the default for properties Pierre-Marie de Rodat 2016-12-01 12:32:19 +01:00
  • 82e03b624b expressions.logic.Predicate: move type checks to the construct pass Pierre-Marie de Rodat 2016-12-01 12:23:56 +01:00
  • 1c07111c79 Perform checks on env spec properties only once and at the proper time Pierre-Marie de Rodat 2016-12-01 12:17:56 +01:00