Commit Graph

  • 8067e4f2cf Python API: bind the unit filename getter Pierre-Marie de Rodat 2016-06-17 13:18:53 +02:00
  • 43de35bf7e Python API: minor refactoring (char* unwrapping) Pierre-Marie de Rodat 2016-06-17 13:17:43 +02:00
  • fe85acfbe0 C API: bind the unit filename getter Pierre-Marie de Rodat 2016-06-17 13:07:25 +02:00
  • 6ffda04847 Python API: bind the getter for the analysis unit that owns an AST node Pierre-Marie de Rodat 2016-06-17 12:55:31 +02:00
  • 8a720ac191 C API: bind the operation to get the analysis unit that owns an AST node Pierre-Marie de Rodat 2016-06-17 12:55:06 +02:00
  • 8488a62c37 Python API: bind analysis unit getter for the owning context Pierre-Marie de Rodat 2016-06-17 12:42:15 +02:00
  • 9856b03822 C API: bind the operation to get the context that owns an analysis unit Pierre-Marie de Rodat 2016-06-17 12:37:30 +02:00
  • fde25928bf C API: bind analysis context ref-counting primitives Pierre-Marie de Rodat 2016-06-17 12:31:51 +02:00
  • 8a1d656e7d Analysis: introduce a ref-counting mechanism for analysis contexts Pierre-Marie de Rodat 2016-06-17 12:27:45 +02:00
  • 9f67fb6d78 Analysis: minor reformatting Pierre-Marie de Rodat 2016-06-17 12:23:00 +02:00
  • aa2d2482a5 Python API: restrict the set of attributes for analysis context/unit Pierre-Marie de Rodat 2016-06-17 12:08:48 +02:00
  • 462af2b3da Python API: add __eq__ and __hash__ to analysis context/unit classes Pierre-Marie de Rodat 2016-06-17 12:06:52 +02:00
  • 94dfd6384f Introduce a hook for language specs to handle cross-unit sym. res. Pierre-Marie de Rodat 2016-06-16 15:29:38 +02:00
  • a0395a5a91 Analysis: add an unit primitive to get the corresponding filename Pierre-Marie de Rodat 2016-06-17 11:27:46 +02:00
  • 9ab6b01f9b Analysis: add a primitive to get the unit that owns an AST node Pierre-Marie de Rodat 2016-06-17 11:10:26 +02:00
  • 5f877985fa Make it possible for language specs to add additional source files Pierre-Marie de Rodat 2016-06-16 14:53:39 +02:00
  • 3cb97a1a70 Add an unit+function to convert Analysis_Unit_Interface to Analysis_Unit Pierre-Marie de Rodat 2016-06-16 11:26:22 +02:00
  • 188053582a Ada API: add a primitive to get the context owning some analysis unit Pierre-Marie de Rodat 2016-06-16 10:37:01 +02:00
  • 6a38711566 P225-028: Add Consume as a method on iterators Raphael Amiard 2016-06-15 21:27:20 +02:00
  • 5e1e33bdf1 OA28-063: Remove Not.Expr, use BasicExpr instead Raphael Amiard 2016-06-15 14:36:48 +02:00
  • a2dc349b1f OA28-063: Simplify BuiltinCallExpr, base it on BasicExpr Raphael Amiard 2016-06-15 14:35:22 +02:00
  • ea698545f4 OA28-063: Simplify ArrayExpr, base it on BasicExpr Raphael Amiard 2016-06-15 14:35:08 +02:00
  • 479468a473 OA28-063: Simplify LiteralExpr, base it on BasicExpr Raphael Amiard 2016-06-15 14:15:52 +02:00
  • 31b14fc1da OA28-063: Remove EnvGet.Expr, use BasicExpr instead Raphael Amiard 2016-06-15 14:10:27 +02:00
  • 432275937c OA28-063: Remove Eq.Expr, use BasicExpr instead Raphael Amiard 2016-06-15 14:10:05 +02:00
  • 3901e2252d OA28-063: Introduce a BasicExpr helper class Raphael Amiard 2016-06-15 14:08:03 +02:00
  • f72a6ba018 Minor: Document LiteralExpr. Allow passing of var_name Raphael Amiard 2016-06-15 14:05:24 +02:00
  • e9ce5a7baa AST: add a generic traversal function taking an extra data argument Pierre-Marie de Rodat 2016-06-14 14:14:55 +02:00
  • 4419210285 Minor reformatting Pierre-Marie de Rodat 2016-06-14 13:16:08 +02:00
  • 1eee121ebc Adalog: update ref-counting conventions for consistency with Langkit Pierre-Marie de Rodat 2016-06-14 12:58:42 +02:00
  • 1e46c3191f Adalog: minor reformatting Pierre-Marie de Rodat 2016-06-14 09:35:00 +02:00
  • cafa8152ee Add missing C header part for Short_Image binding Pierre-Marie de Rodat 2016-06-13 18:00:17 +02:00
  • 218597ebfa C API: document destroy_text Pierre-Marie de Rodat 2016-06-13 18:14:16 +02:00
  • 50fc84365c C API: make destroy_text accept a pointer to a text object Pierre-Marie de Rodat 2016-06-13 18:12:03 +02:00
  • c90e415448 C API: rename destroy_text_type into destroy_text Pierre-Marie de Rodat 2016-06-13 18:05:08 +02:00
  • 99482503da Add missing C header part for Short_Image binding Pierre-Marie de Rodat 2016-06-13 18:00:17 +02:00
  • db0febcbcf Update type annotation after import statements pruning Pierre-Marie de Rodat 2016-06-13 17:46:07 +02:00
  • 7a1d16a4bc Adalog: fix Langkit casing in comments (minor) Pierre-Marie de Rodat 2016-06-13 17:27:43 +02:00
  • 54b9de154b Avoid Wide_Wide_Text_IO Pierre-Marie de Rodat 2016-06-13 17:16:54 +02:00
  • 8bec320b1e Handle Text_Type values instead of Wide_Wide_String ones Pierre-Marie de Rodat 2016-06-13 17:15:09 +02:00
  • a429e8b46a C API: fix indentation for node_short_image Pierre-Marie de Rodat 2016-06-13 17:02:42 +02:00
  • 77218d9708 Refactor Previous/Next sibling to share node traversal code Pierre-Marie de Rodat 2016-06-13 16:57:47 +02:00
  • 4792cb94a1 P225-028: Add find that takes an access to subp Raphael Amiard 2016-06-14 12:48:11 +02:00
  • 807364fb00 Minor style: Remove useless initialize Raphael Amiard 2016-06-14 12:47:59 +02:00
  • 633f4dd7f3 Minor: Doc precisions in public Ada API Raphael Amiard 2016-06-14 12:35:14 +02:00
  • ffd73228e3 Python API: make it impossible to create Sloc with negative arguments Pierre-Marie de Rodat 2016-06-14 12:32:48 +02:00
  • 4b331c1eed Python API: introduce Sloc unwrapping primitive and fix ASTNode.lookup Pierre-Marie de Rodat 2016-06-14 12:32:18 +02:00
  • a704dfbd98 Minor: add missing copyright notices Raphael Amiard 2016-06-11 12:18:40 +02:00
  • 65a9d64d42 OA27-034: Move Tree traversal iterators to langkit support Raphael Amiard 2016-06-09 12:46:22 +02:00
  • 2cabb8ba66 OA27-034: Correct indexing bug in ASTNode.Children Raphael Amiard 2016-06-04 17:31:17 +02:00
  • 74c5667033 Minor: fix unused import statements Raphael Amiard 2016-06-03 15:58:22 -04:00
  • 8711211959 P602-047: Add some imports for repr extensions Raphael Amiard 2016-06-02 18:01:56 -04:00
  • d078399177 P602-047: Add extensions to enable adding methods to nodes Raphael Amiard 2016-06-02 16:25:07 -04:00
  • ce5ae98840 P602-047: Add python bindings for Short_Image Raphael Amiard 2016-06-02 16:09:38 -04:00
  • eab1f719df P602-047: Make Short_Image dispatching Raphael Amiard 2016-06-02 15:24:57 -04:00
  • 5eebda3d69 P602-047: Make Short_Image return a Wide_Wide_String Raphael Amiard 2016-06-02 15:20:55 -04:00
  • f87f6a7250 P602-047: Add a Wrap_Alloc helper to the C API Raphael Amiard 2016-06-02 14:08:39 -04:00
  • a9627ed5f8 P602-047: Add a destroy primitive on C API's text type Raphael Amiard 2016-06-02 14:07:56 -04:00
  • 1d716a09ea P602-047: Add an Is_Allocated field to the C api text type Raphael Amiard 2016-06-02 14:09:40 -04:00
  • 06f3d77f2d Minor style: Remove names on subp's endings in c bindings Raphael Amiard 2016-06-02 12:18:46 -04:00
  • 8c8a933eba Minor doc correction Raphael Amiard 2016-06-02 11:52:21 -04:00
  • d66c81752d Minor: Use single quotes in get_name calls Raphael Amiard 2016-06-02 10:52:45 -04:00
  • 0a9212a94b OA27-034: Bind previous/next sibling via built-in fields Raphael Amiard 2016-06-01 15:55:33 -04:00
  • 680977fa8a OA27-034: Add Previous/Next sibling in Ada Raphael Amiard 2016-06-01 15:44:09 -04:00
  • 32a47fd9bd OA27-034: Add better root node repr in python Raphael Amiard 2016-06-01 15:21:55 -04:00
  • 02bdd07e72 OA27-034: Add better SlocRange repr in python Raphael Amiard 2016-06-01 15:18:54 -04:00
  • f136a6dcfc O413-018: Simplify SolveEquation expr Raphael Amiard 2016-06-01 15:12:10 -04:00
  • d07c9a9178 O413-018: Adalog - Rename I_Relation.Call -> Solve Raphael Amiard 2016-06-01 14:47:10 -04:00
  • bfbb38e42b O413-018: Remove main from Adalog project file Raphael Amiard 2016-06-01 14:19:22 -04:00
  • 3edc9dc26c O413-018: Correct Variadic_Or/And Raphael Amiard 2016-06-01 14:10:38 -04:00
  • d7a2a335b8 O413-018: Turn on refcounting on equations Raphael Amiard 2016-06-01 14:10:15 -04:00
  • 02f52793cc O413-018: Correct refcounting of logic.Domain. Raphael Amiard 2016-06-11 15:38:30 +02:00
  • 8229c9c6a6 O413-018: Adalog - Correct And/Or operations mem management Raphael Amiard 2016-06-01 14:09:33 -04:00
  • f8d17c51c7 O413-018: Adalog - Rename I_Relation.Free -> Cleanup Raphael Amiard 2016-06-01 14:33:50 -04:00
  • 703b41e257 O413-018: Adalog - Add Inc_Ref/Dec_Ref on Relation Raphael Amiard 2016-06-01 12:31:50 -04:00
  • 0214fe62d4 O413-018: Enhance base doc on I_Relation Raphael Amiard 2016-05-31 10:15:38 -04:00
  • 49baca174a O413-018: Enhance Adalog's doc on I_Relation Raphael Amiard 2016-05-31 10:14:59 -04:00
  • 1a3275c12b O413-018: Remove unnecessary proxies on Relation Raphael Amiard 2016-05-31 09:49:06 -04:00
  • 9fbe3cdec5 O413-018: Get rid of the generic+dynamic interface pattern. Raphael Amiard 2016-05-27 12:31:50 -04:00
  • 0061dc072f Minor: Compile adalog tests with debug info Raphael Amiard 2016-05-27 11:52:40 -04:00
  • 627d613f2d O413-018: Make adalog Relation type manually memory managed. Raphael Amiard 2016-05-26 17:14:47 -04:00
  • f649270828 P529-004: Compute template_lookup in the CompileCtx. Raphael Amiard 2016-05-31 16:51:23 -04:00
  • df7e568c49 Minor: doc strings corrections Raphael Amiard 2016-05-31 12:02:02 -04:00
  • bb8276c399 Add short descriptions as text attached to raised Property_Error excs. Pierre-Marie de Rodat 2016-05-27 12:10:54 -04:00
  • c29161d793 Transfer Property_Error exception information to the Python exception Pierre-Marie de Rodat 2016-05-27 12:09:42 -04:00
  • 2300253a9d Make it possible to yield exc. info. to APIs without raising fatal ones Pierre-Marie de Rodat 2016-05-27 12:06:29 -04:00
  • 5847157d36 Properties: remove unused and confusing LocalVars.__getitem__ Pierre-Marie de Rodat 2016-05-27 12:20:10 -04:00
  • 0774cf3136 P529-004: Refactor the mechanism of template lookup Raphael Amiard 2016-05-31 01:20:17 +02:00
  • e94dd3788a OA27-037: Enable extension of the python module Raphael Amiard 2016-05-24 10:27:18 -04:00
  • c2b75b4f08 P226-038: Standard error messages Raphael Amiard 2016-05-24 09:58:01 -04:00
  • f5702a5d59 P303-009: assert -> check_source for property check Raphael Amiard 2016-05-24 09:56:49 -04:00
  • 132ac00c03 Debug: fix a typo Pierre-Marie de Rodat 2016-05-27 10:33:54 -04:00
  • 5b903d9276 CollectionGet.Expr: refactor to simplify the result variable logic Pierre-Marie de Rodat 2016-05-25 09:58:41 -04:00
  • 0419f9e1d5 EnvGet.Expr: refactor to simplify the result variable logic Pierre-Marie de Rodat 2016-05-25 09:58:41 -04:00
  • acf74a0e6b FieldAccess.Expr: refactor to simplify the result variable logic Pierre-Marie de Rodat 2016-05-24 18:01:37 -04:00
  • 788d03344d BuiltinCallExpr: refactor to simplify the result variable logic Pierre-Marie de Rodat 2016-05-24 17:21:46 -04:00
  • e0b0d8981e Expressions: refactor the resolved expression rendering mechanism Pierre-Marie de Rodat 2016-05-24 17:16:12 -04:00
  • 41a447d702 Debug: add a helper to print data associated to a token index Pierre-Marie de Rodat 2016-05-24 11:08:01 -04:00
  • fa1272ee4d Introduce a Debug package in generated libraries Pierre-Marie de Rodat 2016-05-24 10:29:46 -04:00
  • 39053a1cd7 Rename the Create array constructor parameter to be more descriptive Pierre-Marie de Rodat 2016-05-23 16:17:35 -04:00