Commit Graph

  • 89a4f31c75 libmanage: build static libraries by default Pierre-Marie de Rodat 2016-02-26 11:09:15 +01:00
  • bc75c61ad3 OA27-034: Add at_or_raise expression. Raphael Amiard 2016-02-24 11:17:25 +01:00
  • 81f1b15761 OA27-034: Add then expression Raphael Amiard 2016-02-24 11:16:58 +01:00
  • b4cf022e1c OA27-034: Add create_local option to AbstractVariable Raphael Amiard 2016-02-24 11:14:31 +01:00
  • 0f38e83c4b Minor: Correct type signature for construct Raphael Amiard 2016-02-24 11:05:29 +01:00
  • 9387c8298c OA27-034: Make cast expr return null on failure by default. Raphael Amiard 2016-02-24 10:42:43 +01:00
  • f4eaf1afb4 OA27-034: Remove create_unique. Raphael Amiard 2016-02-24 10:35:33 +01:00
  • 88849327ef Minor: Correct expressions.construct logic Raphael Amiard 2016-02-24 09:59:42 +01:00
  • 48f4bf47e6 Expressions: Change the behavior of the Parents built-in. Raphael Amiard 2016-02-17 11:51:04 +01:00
  • 15699d3900 Expressions: Add take_while. Raphael Amiard 2016-02-17 11:37:40 +01:00
  • 3ad64e33b1 Expressions: Add and_then and or_else prefix operations. Raphael Amiard 2016-02-17 11:05:44 +01:00
  • c358576b3a Minor: Remove fragmented ada blocks in map_ada Raphael Amiard 2016-02-15 13:10:38 +01:00
  • de4cb3aa9f Minor: correct pycharm checks Raphael Amiard 2016-02-15 12:57:32 +01:00
  • f3b507f6eb Expressions: Rename resolved exprs. Raphael Amiard 2016-02-15 12:37:30 +01:00
  • 1f722a4df8 P122-012: Move expressions in separate files Raphael Amiard 2016-02-13 01:24:32 +01:00
  • 8d7c051b58 Expressions: Minor doc fix Raphael Amiard 2016-02-12 18:00:30 +01:00
  • afaaf0f635 P122-012: Refactor FieldExpr Raphael Amiard 2016-02-12 18:00:17 +01:00
  • f72761a84c P122-012: Refactor NotExpr Raphael Amiard 2016-02-12 17:59:58 +01:00
  • 5ac8f4cf54 P122-012: Refactor CastExpr Raphael Amiard 2016-02-12 17:59:26 +01:00
  • 03f9e95733 P122-012: Refactor IfExpr Raphael Amiard 2016-02-12 17:58:40 +01:00
  • 9b0fb751b4 P122-012: Correct signature of CollectionExpression.construct_commmon Raphael Amiard 2016-02-12 17:55:40 +01:00
  • 7245f6f9dd P122-012: Remove useless OpCall Raphael Amiard 2016-02-12 17:55:08 +01:00
  • 5b8d4f355b P122-012: Refactor New expressoin Raphael Amiard 2016-02-12 17:42:31 +01:00
  • d21259f175 P122-012: Refactor Map expressions Raphael Amiard 2016-02-12 17:42:08 +01:00
  • f3a75376bb P122-012: Refactor EqExpr expressions Raphael Amiard 2016-02-12 16:20:30 +01:00
  • 353d24a222 P122-012: Refactor quantifier expressions Raphael Amiard 2016-02-12 16:12:40 +01:00
  • f6322dbd6c P122-012: Refactor collection expressions. Raphael Amiard 2016-02-12 15:33:11 +01:00
  • e63626416e P122-012: Refactor properties.CollectionGet Raphael Amiard 2016-02-11 09:55:33 +01:00
  • 2ba7159b0b compiled_types: expose an is_struct_type predicate for templates Pierre-Marie de Rodat 2016-02-23 18:04:41 +01:00
  • f0a152bcf5 compiled_types: expose an is_lexical_env predicate for templates Pierre-Marie de Rodat 2016-02-23 10:56:36 +01:00
  • 451f22e5d0 libmanage: expose a method to run GPRbuild Pierre-Marie de Rodat 2016-02-12 11:13:08 +01:00
  • 92f8945ee9 compile_context: split compilation and code emission passes Pierre-Marie de Rodat 2016-02-12 11:11:16 +01:00
  • fdb7775e8c compiled_types: fix a PyCharm static analysis diagnostic Pierre-Marie de Rodat 2016-02-11 15:23:13 +01:00
  • 56bebde9c5 README.md: add a short description of Langkit Pierre-Marie de Rodat 2016-02-11 14:39:46 +01:00
  • f6feacab39 Create a dedicated testsuite Pierre-Marie de Rodat 2016-02-10 13:19:29 +01:00
  • 331d23c9dd Minor: style fixes Raphael Amiard 2016-02-19 23:28:48 +01:00
  • d26e0591dc CompileCtx: Correct inclusion of env_metadata type in struct_types. Raphael Amiard 2016-02-17 12:41:33 +01:00
  • fb620aa96d P216-026: Deactivate warnings on referenced for package withs Raphael Amiard 2016-02-16 16:56:14 +01:00
  • f37051a4a2 P216-026: Don't define env metadata combine if not used Raphael Amiard 2016-02-16 16:55:32 +01:00
  • a443ec3787 P216-026 List_Types: Unhardcode root node type name Raphael Amiard 2016-02-16 16:55:05 +01:00
  • a04c43311d P216-026 Lexer: Don't define Dont_Append label if not used Raphael Amiard 2016-02-16 16:54:29 +01:00
  • db104cc84e P216-026: Don't include env_metadata if not defined Raphael Amiard 2016-02-16 16:53:57 +01:00
  • 0d0edf19c9 expressions.IsA: Now takes a N-tuple of types to check. Raphael Amiard 2016-02-11 09:55:33 +01:00
  • f42d4b2fe4 Properties: Now possible to pass a function to init a property Raphael Amiard 2016-02-11 09:53:21 +01:00
  • 4e844f682e Allow runtime check of property implementation Raphael Amiard 2016-02-10 12:20:00 +01:00
  • e6ad52ead8 Expose Dump_One_Lexical_Env debug helper. Raphael Amiard 2016-02-10 12:16:18 +01:00
  • 336c190f1f Mako templates: Get rid of private part for structs. Raphael Amiard 2016-02-10 12:11:27 +01:00
  • 68da2795e1 Langkit_Support.Lexical_Envs: Fix bug in env.get. Raphael Amiard 2016-02-10 12:08:42 +01:00
  • 643c9954b6 Introduce the Env metadata and env element concepts in the DSL. Raphael Amiard 2016-02-10 15:45:10 +01:00
  • 05b78eea83 Minor: Rename prefix variable in expressions Raphael Amiard 2016-02-10 15:45:06 +01:00
  • 0194217d87 LongType: Add c_type correspondence for LongType. Raphael Amiard 2016-02-10 12:00:55 +01:00
  • f91d18a994 Introduce a general "built-in struct" concept. Raphael Amiard 2016-02-09 12:38:46 +01:00
  • 971ce54572 compile_context.py: enhance code emission for testing purposes Pierre-Marie de Rodat 2016-02-10 13:14:11 +01:00
  • 5781b7043d expressions: Refactor AbstractExpression.__getattr__ Raphael Amiard 2016-02-09 11:26:45 +01:00
  • e568ac76aa Free root scope when freeing context. Raphael Amiard 2016-02-08 12:43:19 +01:00
  • 5375be0167 Minor comments adjustments Pierre-Marie de Rodat 2016-02-10 13:33:27 +01:00
  • 985b3bd28c Add Python dependencies Pierre-Marie de Rodat 2016-02-10 10:38:45 +01:00
  • 8337d69402 setup.py: make executable and fix data files detection Pierre-Marie de Rodat 2016-02-10 10:26:30 +01:00
  • 95e9785e29 AST: clarify what entities are implemenation details Pierre-Marie de Rodat 2016-02-10 12:04:27 +01:00
  • 782b0dd5fd Refactor AST packages to hide implementation details Pierre-Marie de Rodat 2016-02-08 17:46:05 +01:00
  • c887f45c4d expressions: Add env.resolve_unique, as discussed in review. Raphael Amiard 2016-02-08 10:56:23 +01:00
  • 454b342fe1 Minor: use issubclass -> match in expressions.construct Raphael Amiard 2016-02-08 10:41:59 +01:00
  • 4737dda2c0 Lex envs: Add support for multiple keys via AST lists. Raphael Amiard 2016-02-05 16:04:42 +01:00
  • b64e37b5af Use anonymous accesses to avoid conversions in user code Raphael Amiard 2016-02-05 15:54:05 +01:00
  • 33ce359720 Fix the property copy for the macro system. Raphael Amiard 2016-02-04 18:42:35 +01:00
  • 0ccdcddac9 Lexical envs: Make the dump function stable. Raphael Amiard 2016-02-04 16:22:53 +01:00
  • df019277d1 Implement macro system for Structs. P204-033. Raphael Amiard 2016-02-04 15:39:43 +01:00
  • 7578b7372b Enhance expressivity of Env DSL. Raphael Amiard 2016-02-03 19:10:01 +01:00
  • ace5778f53 Properties: Add a collection get expression. Raphael Amiard 2016-01-14 16:06:19 +01:00
  • 28243a110b expressions: Extend construct to check a predicate on resolved type Raphael Amiard 2016-02-03 15:48:05 +01:00
  • aafdd55e36 Add docstrings in various places for the public Ada API Pierre-Marie de Rodat 2016-02-02 14:55:51 +01:00
  • 3ac6d4151e Set convention of enumeration types to C Pierre-Marie de Rodat 2016-02-02 13:09:06 +01:00
  • efeea844f2 Remove *_Access type declarations for AST node types Pierre-Marie de Rodat 2016-02-02 13:06:25 +01:00
  • e3e27e8aa4 Analysis: move as much decls. as possible to the private part Pierre-Marie de Rodat 2016-02-02 12:34:53 +01:00
  • 2c09addcc8 Parsers: add missing docstring for a function parameter Pierre-Marie de Rodat 2016-02-02 12:33:30 +01:00
  • 44cbe16b13 Expressions: remove an unused imported entity Pierre-Marie de Rodat 2016-02-01 15:20:30 +01:00
  • 76e667e2f5 Minor: fix some typos. Bob Duff 2016-01-20 12:34:24 -05:00
  • 7182396b1e Report unused parsing rules and unused AST node subtypes as errors Pierre-Marie de Rodat 2016-01-27 18:26:18 +01:00
  • 1ba84b1d81 Refactor the generated Ada API Pierre-Marie de Rodat 2016-01-28 15:48:58 +01:00
  • 02a68d91d3 scripts/create-project.py: remove a "kaleidoscope" lang name assumption Pierre-Marie de Rodat 2016-01-26 11:37:45 +01:00
  • 69b2bed6a1 Refactor gnatpp function to work. Raphael Amiard 2016-01-20 12:34:16 +01:00
  • 2aad283c31 Add is_collection predicate on CompiledTypes. Raphael Amiard 2016-01-14 16:04:47 +01:00
  • e7d64b2e45 Catch all Ada exceptions and propagate them as Python exceptions Pierre-Marie de Rodat 2016-01-13 13:21:21 +01:00
  • d1080c5c1a Turn compiled_types.list_type into a CompiledType class method Pierre-Marie de Rodat 2016-01-13 15:32:37 +01:00
  • d5436c0b06 Tutorial: make language for code blocks explicit Pierre-Marie de Rodat 2016-01-12 10:16:50 +01:00
  • 56d976fc2d Expose parent links as properties Pierre-Marie de Rodat 2016-01-11 11:18:03 +01:00
  • 2f4ff268d0 Move the declarations of arrays/vectors of root AST node in the AST pkg. Pierre-Marie de Rodat 2016-01-11 16:34:54 +01:00
  • cd3f675f64 Use vectors from Langkit_Support in properties map expressions Pierre-Marie de Rodat 2016-01-11 16:33:10 +01:00
  • c3852627cc Make names.Name orderable Pierre-Marie de Rodat 2016-01-11 16:54:46 +01:00
  • 7da47cb1fc compiled_types: remove obsolete code in AbstractField for ast_node Pierre-Marie de Rodat 2016-01-12 11:28:45 +01:00
  • c7afdb0f3e compiled_types: document Struct.compute_properties Pierre-Marie de Rodat 2016-01-12 11:03:07 +01:00
  • 0fc410e4ac compiled_types: turn element_type into a CompiledType class method Pierre-Marie de Rodat 2016-01-11 13:02:00 +01:00
  • ad4001f13d expressions.py: Minor adjustments to typing Raphael Amiard 2016-01-11 13:04:45 +01:00
  • e7ca6a96ff Langkit.names: Fix Convention context manager. Raphael Amiard 2016-01-11 17:09:08 +01:00
  • c8de9f85a6 libmanage.py: Factor parser creation logic. Raphael Amiard 2016-01-11 16:03:41 +01:00
  • c78320395a More minor code corrections Raphael Amiard 2016-01-11 15:32:29 +01:00
  • 9957c80413 compiled_types.py: More minor code corrections Raphael Amiard 2016-01-11 15:31:22 +01:00
  • f20d1098e0 Correct CompiledType.unify. P106-013 Raphael Amiard 2016-01-11 15:30:38 +01:00
  • 46f8179574 compiled_types: Refactor AbstractNodeData name logic. Raphael Amiard 2016-01-11 13:27:09 +01:00
  • b5738a6b58 compiled_types.py: Don't compute properties for Structs Raphael Amiard 2016-01-11 13:04:07 +01:00