Commit Graph

  • c7927a5f0c Public conversions: do not rely on tagged types for nodes Pierre-Marie de Rodat 2019-07-23 17:19:14 +02:00
  • 3c953faaad Public field accessors: do not rely on tagged types for nodes Pierre-Marie de Rodat 2019-07-23 17:07:15 +02:00
  • ae67b8123e ASTNodeType/EntityType: do not rely on tagged types for nodes Pierre-Marie de Rodat 2019-07-23 16:21:28 +02:00
  • c0544865bf astnode_types_ada.mako: do not rely on tagged types in node env actions Pierre-Marie de Rodat 2019-07-23 16:14:06 +02:00
  • 3b40c181c8 GetSymbol: convert input node to the root node type Pierre-Marie de Rodat 2019-07-23 16:13:00 +02:00
  • 6139f73a52 pkg_implementation_body_ada.mako: minor reformatting Pierre-Marie de Rodat 2019-07-23 15:50:35 +02:00
  • a101ccdd4e BuiltinField: update docstring Pierre-Marie de Rodat 2019-07-24 11:05:55 +02:00
  • d2335e3832 Turn Child_Index into a property Pierre-Marie de Rodat 2019-07-24 10:43:55 +02:00
  • b06e1b5075 misc/rewriting: check preserv. of formatting in wrapped original nodes Pierre-Marie de Rodat 2019-07-29 18:05:42 +02:00
  • c08e007ff6 Unparsing: keep preserving formatting in depth Pierre-Marie de Rodat 2019-07-29 18:03:50 +02:00
  • 7daa3af1b5 misc/rewriting: rename ParentExpr to ParenExpr (i.e. fix a typo) Pierre-Marie de Rodat 2019-07-29 17:54:24 +02:00
  • e7b5a8ef74 S701-037: Refactor logic in Is_Stale. Romain Beguet 2019-07-26 11:43:38 +02:00
  • 98350f60c9 S701-037: Fix invalidation of env_getter cache. Romain Beguet 2019-07-25 11:55:40 +02:00
  • 93e3a9a621 S308-026 make binaries depending on OCaml bindings relocatable Boris Yakobowski 2019-07-17 14:31:54 +02:00
  • 1fc65b136f S709-005: Fix Node.Node_Env when there's no add_env Raphaël AMIARD 2019-07-12 14:49:56 +02:00
  • db2dfa85b7 S709-005: Add test Raphaël AMIARD 2019-07-10 15:36:56 +02:00
  • 16e51a0419 S709-005: Fix Node.Node_Env Raphaël AMIARD 2019-07-10 11:47:19 +02:00
  • e4d250100b S709-005: remove useless field in ASTNodeType Raphaël AMIARD 2019-07-10 11:46:49 +02:00
  • 068022283d grammar/unparse_empty_list: new testcase Pierre-Marie de Rodat 2019-07-04 12:12:08 +02:00
  • f5bc388462 Uniformize the first tokens for ghost nodes Pierre-Marie de Rodat 2019-07-04 12:07:36 +02:00
  • 442192c908 Rename field names that are OCaml keywords Daniel Mercier 2019-06-24 10:53:19 +02:00
  • c538e84b2c Testsuite: automatically set up Dune projects Pierre-Marie de Rodat 2019-06-21 15:39:22 +02:00
  • 3b63e1e9a0 python_support/utils.py: document build_and_run's ocaml_main argument Pierre-Marie de Rodat 2019-06-21 15:37:58 +02:00
  • 977defc21c Fix ordering of generated types Daniel Mercier 2019-06-13 15:33:21 +02:00
  • 84ed349df7 Add tests for OCaml API Daniel Mercier 2019-06-12 16:11:56 +02:00
  • ed0180ac42 Add generation of dune-project Daniel Mercier 2019-06-12 16:10:12 +02:00
  • 27d00ff05b Fix default value for CharacterLiteralExp Daniel Mercier 2019-06-12 16:09:45 +02:00
  • 605402492b Raise InvalidSymbolError when context_symbol returns 0 Daniel Mercier 2019-06-12 14:18:08 +02:00
  • 465e71161b Add full type in module signatures for fields Daniel Mercier 2019-06-10 13:59:53 +02:00
  • a84b7e2dfc Add pretty printer for the whole tree Daniel Mercier 2019-06-07 12:48:44 +02:00
  • 46dc640763 Improve implementation of equal functions Daniel Mercier 2019-06-06 15:27:28 +02:00
  • b8ea73a866 ManageScript.do_install: install OCaml bindings source files Pierre-Marie de Rodat 2019-06-12 14:53:44 +02:00
  • ad6d162c65 Add as_a function to convert a node to anoter type. Daniel Mercier 2019-06-06 12:26:55 +02:00
  • b1addadef5 Remove some warnings for compilation of bindings Daniel Mercier 2019-06-06 12:25:55 +02:00
  • 2e16b395d7 Fix rendering of CharacterLiteralExpr to OCaml Daniel Mercier 2019-06-05 14:09:27 +02:00
  • 85841ca57a Fix some comments and formatting Daniel Mercier 2019-06-05 12:40:28 +02:00
  • 03447ee72c Bind some functions for AnalysisUnit Daniel Mercier 2019-06-03 12:13:48 +02:00
  • 64ef3f3f63 Fix order of returned list for filter function Daniel Mercier 2019-06-03 12:13:12 +02:00
  • db0ce94d28 Bind get_from_buffer Daniel Mercier 2019-06-03 12:12:27 +02:00
  • 84e01ecad0 Get the kind name for a node Daniel Mercier 2019-06-03 12:11:33 +02:00
  • d78836cea0 Raise an error when tab_stop < 1 Daniel Mercier 2019-06-03 12:10:49 +02:00
  • 0d055e7b15 Add functions find and findall Daniel Mercier 2019-05-29 11:59:21 +02:00
  • c3189c5e03 Add function is_trivia Daniel Mercier 2019-05-28 18:03:34 +02:00
  • 5876976ab0 Add iterators for tokens Daniel Mercier 2019-05-27 17:53:01 +02:00
  • 00cf346534 Add functions (equal, compare, hash) for each type Daniel Mercier 2019-04-25 17:08:12 +02:00
  • 838e6de531 Add generation of OCaml bindings Daniel Mercier 2019-03-25 17:16:24 +01:00
  • e0445a2a8d Testsuite: add --disable-ocaml Pierre-Marie de Rodat 2019-06-21 18:00:20 +02:00
  • 271e0b8cf5 Fix the indentation error introduced in the last commit Pierre-Marie de Rodat 2019-06-12 09:17:25 +02:00
  • 2e4c37161f Unconditionally generate the Python API Pierre-Marie de Rodat 2019-06-11 17:11:42 +02:00
  • 658807daa8 grammar/invalid_user_field: new testcase Pierre-Marie de Rodat 2019-06-10 20:02:13 +02:00
  • be9d651f5c Ensure that UserField on nodes are private Pierre-Marie de Rodat 2019-06-10 19:56:54 +02:00
  • 4d20c67778 New(Node): fix code generation for UserField initialization Pierre-Marie de Rodat 2019-06-10 19:29:24 +02:00
  • 4ef85e7f91 FieldAccess: fix access to entity fields Pierre-Marie de Rodat 2019-06-10 17:39:23 +02:00
  • a62a774bf7 testsuite/polyfill: use yaml.safe_load instead of yaml.load Pierre-Marie de Rodat 2019-06-10 16:59:13 +02:00
  • fc8bb32427 PLE properties: use unchecked conversions not to rely on tagged types Pierre-Marie de Rodat 2019-05-29 11:11:02 +02:00
  • a7513e4a3d astnode_types_ada.mako: minor reformatting Pierre-Marie de Rodat 2019-05-29 10:56:04 +02:00
  • 68e883b2a9 SymbolLiteral: do not rely on tagged types Pierre-Marie de Rodat 2019-05-29 10:52:17 +02:00
  • 090b71258f EntityType.to_public_expr: use unchecked convs. not to rely on tags Pierre-Marie de Rodat 2019-05-29 10:50:43 +02:00
  • 67e7e3f94a $.Implementation.Text: remove redundant declarations Pierre-Marie de Rodat 2019-05-29 10:07:10 +02:00
  • aaf64d3292 Harmonize check for synthetic nodes Pierre-Marie de Rodat 2019-05-29 10:06:38 +02:00
  • 63b011952b Collection exprs: use unchecked conversions not to rely on tagged types Pierre-Marie de Rodat 2019-05-10 13:23:01 +02:00
  • 422a1f7d32 ResolvedExpression: introduce a helper to convert bare nodes Pierre-Marie de Rodat 2019-05-10 13:06:10 +02:00
  • ef2871ac1d Memoization Hash: use unchecked conversions not to rely on tagged types Pierre-Marie de Rodat 2019-05-10 11:38:29 +02:00
  • 4be94a3176 UncheckedCastExpr: use unchecked conversions not to rely on tagged types Pierre-Marie de Rodat 2019-05-10 11:36:58 +02:00
  • ec0ed5cb8a Node expressions: use unchecked conversions not to rely on tagged types Pierre-Marie de Rodat 2019-05-10 11:36:26 +02:00
  • d4cf676b40 Simplify the name of bare node conversion functions Pierre-Marie de Rodat 2019-05-10 11:34:55 +02:00
  • e435d61467 Do not generate bare node conversions when both types are the same Pierre-Marie de Rodat 2019-05-10 11:33:39 +02:00
  • 41812b44d1 Map: use unchecked conversions not to rely on tagged types Pierre-Marie de Rodat 2019-05-09 14:40:53 +02:00
  • 11ddc1b9a8 Cast: use unchecked conversions not to rely on tagged types Pierre-Marie de Rodat 2019-05-09 14:40:17 +02:00
  • 8bb564c1e9 Parsers: use unchecked conversions not to rely on tagged types Pierre-Marie de Rodat 2019-05-09 14:34:36 +02:00
  • 98cd7cd676 list_types_ada.mako: use unchecked convs. not to rely on tagged types Pierre-Marie de Rodat 2019-05-09 14:33:32 +02:00
  • 4b3c6593e7 IsA: use unchecked conversions not to rely on tagged types Pierre-Marie de Rodat 2019-05-09 14:30:04 +02:00
  • 14d90f5c35 FieldAccess: use unchecked conversions not to rely on tagged types Pierre-Marie de Rodat 2019-05-09 14:29:50 +02:00
  • 8ff81d4d60 FieldAccess: make sure thata implicit_deref is True only for entities Pierre-Marie de Rodat 2019-06-04 13:08:40 +02:00
  • 7e397f2634 $.Implementation: avoid using the dot notation for bare node primitives Pierre-Marie de Rodat 2019-05-09 11:16:03 +02:00
  • a3c90cc99e Rewriting: avoid using the dot notation for bare node primitives Pierre-Marie de Rodat 2019-05-09 11:11:09 +02:00
  • 3d6ee1fcf5 $.Debug: avoid using the dot notation for bare node primitives Pierre-Marie de Rodat 2019-05-09 11:08:52 +02:00
  • 8cacf71c21 Unparsing: avoid using the dot notation for bare node primitives Pierre-Marie de Rodat 2019-05-07 14:31:35 +02:00
  • bbc2b127c2 C API: avoid using the dot notation for bare node primitives Pierre-Marie de Rodat 2019-05-07 14:22:29 +02:00
  • 269e398f00 C API: use unchecked conversions not to rely on tagged types Pierre-Marie de Rodat 2019-05-07 14:20:47 +02:00
  • d11b2e7e9b Properties: use unchecked conversions not to rely on tagged types Pierre-Marie de Rodat 2019-05-07 14:18:37 +02:00
  • 1bf521f510 Structs/arrays: use unchecked conversions in tracing functions Pierre-Marie de Rodat 2019-05-07 14:17:32 +02:00
  • 8a1f12afbe CompileCtx.generate_actions_for_hierarchy: use unchecked conversions Pierre-Marie de Rodat 2019-05-07 14:15:45 +02:00
  • dae30bf63e $.Implementation: add bare node converters for the generic list type Pierre-Marie de Rodat 2019-05-09 11:22:55 +02:00
  • a47f153ad1 properties/def_ada.mako: minor reformatting Pierre-Marie de Rodat 2019-05-07 14:00:59 +02:00
  • cc6b4e8818 Refactor check for equivalence with the root node Pierre-Marie de Rodat 2019-05-07 12:11:06 +02:00
  • f176cb154a Public nodes: rely on bare node tags as little as possible Pierre-Marie de Rodat 2019-05-02 17:57:25 +02:00
  • 2c753dd941 Parsers: rely on tags as little as possible in code generation Pierre-Marie de Rodat 2019-05-02 17:56:08 +02:00
  • a02526317b Refactor node fields initialization in parsers and properties Pierre-Marie de Rodat 2019-05-02 12:44:51 +02:00
  • 6435641014 Transform parser: refactor code emission Pierre-Marie de Rodat 2019-05-02 15:06:31 +02:00
  • fdb5aad9d4 New.StructExpr: keep track of fields instead of just field names Pierre-Marie de Rodat 2019-05-02 14:37:43 +02:00
  • b9a36eec8c Enable full checks (-gnatwa and -gnatyg) on non-generated sources Pierre-Marie de Rodat 2019-06-06 18:07:39 +02:00
  • 710ec6aced Fix method update for TypeSet Daniel Mercier 2019-06-03 15:38:08 +02:00
  • 95208b664d $.Rewriting_Implementation: update package-level documentation Pierre-Marie de Rodat 2019-06-04 15:46:30 +02:00
  • c6608db1c3 Change the name decoration for node type introspection names Pierre-Marie de Rodat 2019-06-04 15:32:00 +02:00
  • a4affd3624 $.Implementation: rely on the internal introspection API Pierre-Marie de Rodat 2019-06-04 14:58:42 +02:00
  • fc04afe1e2 Lexical envs: reword comments for Resolve/Get_Env's Info formals Pierre-Marie de Rodat 2019-06-04 14:17:04 +02:00
  • 1386825348 Lexical envs: fix a ref-counting leak in Get_Env Pierre-Marie de Rodat 2019-06-04 13:49:25 +02:00
  • 34ddbc67dc Lexical envs: update documentation for Env_Getter.Env Pierre-Marie de Rodat 2019-06-04 14:06:58 +02:00
  • e4053b73cc S529-023: Fix structs of arrays in C API Raphaël AMIARD 2019-05-30 00:31:27 +02:00