Commit Graph

  • 100e5db868 Analysis_Interfaces: rename Deallocatable into Destroyable... Pierre-Marie de Rodat 2016-03-21 12:33:19 +01:00
  • 0647b8dcd8 Properties: factorize relative indexes handling code Pierre-Marie de Rodat 2016-03-21 11:33:46 +01:00
  • 54443d844d Do not generate env. handling code when env_spec is inherited Pierre-Marie de Rodat 2016-03-21 10:15:23 +01:00
  • 2a44b9859d expressions.UnreachableExpr: add an explicit error message Pierre-Marie de Rodat 2016-03-18 18:23:51 +01:00
  • 5ceea2b02c expressions.Then: reword a comment to be more general Pierre-Marie de Rodat 2016-03-18 18:19:19 +01:00
  • 809ba03665 expressions.No: rename "return_type" into "expr_type" Pierre-Marie de Rodat 2016-03-18 18:17:37 +01:00
  • a7bd4bf00a Fix various typos Pierre-Marie de Rodat 2016-03-18 18:12:58 +01:00
  • 0ba747559a Analysis_Interfaces: make it explicit this is a temporary design Pierre-Marie de Rodat 2016-03-18 18:11:17 +01:00
  • 4394b28e06 CompileContext: turn user_rule_names from field into a property Pierre-Marie de Rodat 2016-03-18 18:08:45 +01:00
  • b26b8e089a Properties: use "reduce" for "and" and "or" syntactic sugar Pierre-Marie de Rodat 2016-03-18 18:05:08 +01:00
  • 8ba546ba55 Fix a PEP8 error Pierre-Marie de Rodat 2016-03-18 11:09:33 +01:00
  • dd7ceea04f Expressions: rename ind_var/induction_var to element_var Pierre-Marie de Rodat 2016-03-18 11:09:33 +01:00
  • a835c58128 Add test for Match property expressions input validation Pierre-Marie de Rodat 2016-03-16 18:06:40 +01:00
  • 1a9c7998ea Properties: implement input validation for Match expressions Pierre-Marie de Rodat 2016-03-16 18:06:22 +01:00
  • b5adf7bf80 ASTNode: make all subclasses hold a list of subclasses Pierre-Marie de Rodat 2016-03-16 18:06:05 +01:00
  • 572399e371 AbstractDataNode.__repr__: handle just created fields Pierre-Marie de Rodat 2016-03-16 18:05:24 +01:00
  • b91df6032a ASTNode: add a "hierarchical_name" property to ease topological sort Pierre-Marie de Rodat 2016-03-16 18:05:04 +01:00
  • 55b83943cf Properties: get rid of the "self" argument in top-level lambdas Pierre-Marie de Rodat 2016-03-16 14:50:21 +01:00
  • 07ce39b4e9 Expressions: add a .match expression combinator Pierre-Marie de Rodat 2016-03-15 15:38:35 +01:00
  • ed269bab12 Property: add helpful error message for circular typing Pierre-Marie de Rodat 2016-03-16 11:51:06 +01:00
  • ec4109c95b Add a __repr__ method on AbstractNodeData to help debugging Pierre-Marie de Rodat 2016-03-16 11:49:10 +01:00
  • 7f427a5f81 Expressions: make it possible for a Cast.Expr to re-use a variable Pierre-Marie de Rodat 2016-03-15 15:37:39 +01:00
  • ee3427a85e Expressions: add an UnreachableExpr resolved expression Pierre-Marie de Rodat 2016-03-15 15:36:59 +01:00
  • 3a84024cae Properties: introduce a Literal abstract expression Pierre-Marie de Rodat 2016-03-15 12:04:35 +01:00
  • 6ab85fc010 Properties: allow lambdas in return type specification Pierre-Marie de Rodat 2016-03-15 12:01:54 +01:00
  • 48c883b888 Make it possible for env_spec to be inherited Pierre-Marie de Rodat 2016-03-14 18:39:02 +01:00
  • 2624f32eff Properties: handle re-entrancy in prepare/compute compilation passes Pierre-Marie de Rodat 2016-03-14 16:52:56 +01:00
  • 02b23201f9 Explicit that multiple calls to CompiledType.add_to_context are fine Pierre-Marie de Rodat 2016-03-14 16:49:25 +01:00
  • 4df6d28a9b Enhance error message for nested Property.bind context manager usages Pierre-Marie de Rodat 2016-03-14 16:38:48 +01:00
  • fb6c86d290 Properties: fix Cast code generation to properly handle null values Pierre-Marie de Rodat 2016-03-11 13:32:43 +01:00
  • 9b7c9725be Properties: handle negative indexing for sequences Pierre-Marie de Rodat 2016-03-11 13:28:35 +01:00
  • aa4e401dfe Properties: add auto default values for structs and AST nodes in Then Pierre-Marie de Rodat 2016-03-11 13:00:27 +01:00
  • bc09960244 Properties: add a No expression to build null structures and AST nodes Pierre-Marie de Rodat 2016-03-11 12:59:44 +01:00
  • 2d1833f46f Properties: in the prepare pass, recurse on sequence attributes Pierre-Marie de Rodat 2016-03-11 12:56:06 +01:00
  • f75357835d Adjust documentation for the root AST node's Parents primitive Pierre-Marie de Rodat 2016-03-10 17:57:36 +01:00
  • 934077f317 Properties: replace "parent_env" with "node_env" and "children_env" Pierre-Marie de Rodat 2016-03-10 16:37:18 +01:00
  • 60b04c35a3 AbstractField: fix __repr__ not to rely on default formatting Pierre-Marie de Rodat 2016-03-10 16:32:43 +01:00
  • 24e2d4df7f compiled_types.py: minor __repr__ rewording for AbstractNodeData Pierre-Marie de Rodat 2016-03-10 11:05:49 +01:00
  • 4ca923ff9a compile_context.py: put iterated collection into a variable Pierre-Marie de Rodat 2016-03-10 11:01:07 +01:00
  • 415b3adc3c Expressions: remove useless and noisy namespaces in type annotations Pierre-Marie de Rodat 2016-03-10 10:58:45 +01:00
  • 00c776b6e0 Properties: describe Property class attributes Pierre-Marie de Rodat 2016-03-10 10:44:58 +01:00
  • f91c2f64b4 Langkit_Support.Lexical_Env: fix resources deallocation Pierre-Marie de Rodat 2016-03-09 15:23:29 +01:00
  • 53a3099d08 Langkit_Support.Lexical_Env: rename "Free" into "Destroy" Pierre-Marie de Rodat 2016-03-09 15:23:29 +01:00
  • a8ffb898f1 Deallocate lexical environments in analysis units Pierre-Marie de Rodat 2016-03-09 15:06:22 +01:00
  • 878b760976 Replace TDH in AST nodes with an analysis unit reference Pierre-Marie de Rodat 2016-03-09 12:00:11 +01:00
  • f1b8f9fe4e Add an internal interface for Analysis_Unit objects Pierre-Marie de Rodat 2016-03-09 12:24:21 +01:00
  • 27026fa344 Analysis: make it possible to use alternate root parsing rules Pierre-Marie de Rodat 2016-03-08 17:26:33 +01:00
  • 4f2354404e Properties: add syntactic sugar for binary "and" and "or" operations Pierre-Marie de Rodat 2016-03-08 10:36:08 +01:00
  • 4b1ca9183e Make the ASTList Length primitive visible to properties Pierre-Marie de Rodat 2016-03-08 09:44:49 +01:00
  • 02e4e104ab Properties: complete __repr__ methods on ResolvedExpression subclasses Pierre-Marie de Rodat 2016-03-08 09:38:24 +01:00
  • f7de7fd46f Properties: introduce Let expressions to factorize subexpressions Pierre-Marie de Rodat 2016-03-07 18:31:36 +01:00
  • 041813e6b4 Python API: make a structure copy when getting one from an array Pierre-Marie de Rodat 2016-03-07 16:27:18 +01:00
  • dde3ce462e C/Python APIs: fix memory layout for boolean Pierre-Marie de Rodat 2016-03-07 16:27:08 +01:00
  • 356f1ee8e9 Python API: fix array types binding Pierre-Marie de Rodat 2016-03-07 11:54:00 +01:00
  • e58c0d8729 Python API: minor refactoring for name formatting Pierre-Marie de Rodat 2016-03-07 11:53:19 +01:00
  • d23a3cef50 Python API: fix wrapping for "word" types from record field accesses Pierre-Marie de Rodat 2016-03-07 11:51:31 +01:00
  • 8de785784f Properties: make expression type mismatch error message more helpful Pierre-Marie de Rodat 2016-03-04 15:09:43 +01:00
  • 6e456fb0a7 Fix type name formatting in various error messages Pierre-Marie de Rodat 2016-03-04 15:01:52 +01:00
  • b600863d31 Properties: make it possible to use Struct as a prefix for Then exprs. Pierre-Marie de Rodat 2016-03-04 14:59:39 +01:00
  • f8078f14d3 Introduce an Is_Null bit in Struct subclasses that are value types Pierre-Marie de Rodat 2016-03-04 14:56:34 +01:00
  • e8e1a2a9ca Properties: make iteration index available to collection iter. exprs. Pierre-Marie de Rodat 2016-03-04 13:17:57 +01:00
  • 7785eae04b Remove multi-thread support for the C exception mechanism Pierre-Marie de Rodat 2016-03-17 13:03:37 +01:00
  • 1f22fd2a84 Properties: add a "find" collection combinator Pierre-Marie de Rodat 2016-03-04 12:33:31 +01:00
  • d1faba6635 Expressions: tidy up the list of AbstractExpression constructors Pierre-Marie de Rodat 2016-03-04 12:21:55 +01:00
  • fc46bb2fe9 Fix a couple of PyCharm diagnostics Pierre-Marie de Rodat 2016-03-03 18:53:46 +01:00
  • c8db9ca321 Python API: add a docstring to PythonAPISettings's wrapping methods Pierre-Marie de Rodat 2016-03-07 13:10:03 +01:00
  • 40a76f5b79 Properties: make it possible for properties to take arguments. Pierre-Marie de Rodat 2016-03-02 14:26:57 +01:00
  • 605dc47b9f Langkit_Support: add an Image primitive for Symbol_Type Pierre-Marie de Rodat 2016-03-03 13:08:05 +01:00
  • ce66933a59 Python API: add helpers to unwrap enumeration values. Pierre-Marie de Rodat 2016-03-03 13:13:01 +01:00
  • 6651b04d97 Add a destructor for array types in generated code Pierre-Marie de Rodat 2016-03-03 13:12:48 +01:00
  • 88942048d3 C API: minor simplification for AST node accessors code generation Pierre-Marie de Rodat 2016-03-03 12:16:20 +01:00
  • ab946335c4 AbstractNodeData: add a "qualname" diagnostics helper property Pierre-Marie de Rodat 2016-03-03 12:02:39 +01:00
  • f0d04f3ff1 utils.py: add a "user_assert" helper to check user input Pierre-Marie de Rodat 2016-03-03 10:39:19 +01:00
  • 6d2217a385 Properties: make "prepare", "freeze" and "constructs" passes separate Pierre-Marie de Rodat 2016-03-02 17:11:03 +01:00
  • 1fefaecd83 Properties: add ordering test expressions Pierre-Marie de Rodat 2016-03-02 11:17:27 +01:00
  • 2a7a329343 Introduce a Find AST primitive in Ada Pierre-Marie de Rodat 2016-02-29 19:06:57 +01:00
  • a62ea044e7 Langkit_Support: add a generic package for iterator interfaces Pierre-Marie de Rodat 2016-02-29 19:05:41 +01:00
  • db4a5bef1c Rename the iterator package to make it clear it is for Ada2012 iterators Pierre-Marie de Rodat 2016-02-29 19:03:22 +01:00
  • cd59bc2c77 Properties: put names for implicit arguments in a single place Pierre-Marie de Rodat 2016-03-02 18:58:03 +01:00
  • 3295216cfd Make AST nodes iterable in the generate Ada API Pierre-Marie de Rodat 2016-02-29 15:46:02 +01:00
  • 80f9a305b8 Properties: fix a pasto in the quantifiers templates Pierre-Marie de Rodat 2016-03-02 18:54:20 +01:00
  • ec2f0512d6 Refactor construct phase for expressions. Raphael Amiard 2016-03-01 13:12:16 +01:00
  • 2e47113b05 Minor fix to names: Avoid exceptions... Raphael Amiard 2016-03-01 12:03:27 +01:00
  • 00fb3aacf0 Expressions.construct: Allow custom error message. Raphael Amiard 2016-03-01 11:50:58 +01:00
  • fe8c1891d8 Minor fixes to compiled types. Raphael Amiard 2016-02-29 16:52:15 +01:00
  • 19929617f9 Expose symbol type in the DSL. Raphael Amiard 2016-02-27 12:16:43 +01:00
  • 99fbfccf24 Decouple check_simple_expr from Property. Raphael Amiard 2016-02-26 15:38:45 +01:00
  • 4396d2e383 Add a create_macro helper. Raphael Amiard 2016-02-26 15:37:42 +01:00
  • 710f165565 libmanage.py: do not build static libraries by default Pierre-Marie de Rodat 2016-02-29 11:13:59 +01:00
  • 2e13648dfa libmanage.py: make the generate subcmd. parser available to subclasses Pierre-Marie de Rodat 2016-02-29 10:54:32 +01:00
  • fc085a76e5 libmanage.py: refactor argparse instantiation Pierre-Marie de Rodat 2016-02-29 09:54:58 +01:00
  • dbeffc4d8a Add a default charset to decode source files in generated libraries Pierre-Marie de Rodat 2016-02-26 16:11:02 +01:00
  • f97e33d51e Minor: Fix a stupid pycharm warning Raphael Amiard 2016-02-26 12:01:16 +01:00
  • 87fc4294e0 Property.type: Return the user provided type when there is one. Raphael Amiard 2016-02-26 11:01:46 +01:00
  • a23cf44334 OA27-034: Add empty expression. Raphael Amiard 2016-02-24 11:17:40 +01:00
  • af90d597ed Expressions: Add length operation for collections. Raphael Amiard 2016-02-25 17:01:21 +01:00
  • 86f8b67dfe Refactoring: Introduce BuiltinCallExpr. Raphael Amiard 2016-02-25 15:52:21 +01:00
  • 01e628e0b6 Fix Ada -> C accessor generation when return type is int. Raphael Amiard 2016-02-25 15:31:03 +01:00
  • 7516b93225 Expressions: Refactor local var creation. Raphael Amiard 2016-02-24 16:37:13 +01:00
  • 3f45cc8350 names.Name: Add convenience get classmethod Raphael Amiard 2016-02-24 16:48:11 +01:00