Differences

This shows you the differences between two versions of the page.

--- padl [2014/02/16 09:48] – yann
+++ padl [2025/01/15 21:40] (current) – external edit 127.0.0.1
@@ Line 5: / Line 5: @@
 ===== Levels of Models =====
-There are three different levels of abstractions to model programs, collectively called abstract-level models:
+There are four different levels of abstractions to model programs, collectively called abstract-level models:
     * A ''ICodeLevelModel'' represents the "raw" model of a program, including only data directly extractable from the program source representation (Java bytecodes, Java source code, C/C++ source code...);
@@ Line 108: / Line 108: @@
-===== ''getName()'' and ''getPath()'' Methods =====
+===== Names and Paths =====
-Although the getID(), getName(), and getPath() methods form a trio, they have different semantics. The getID() must return a unique identifier for each constituent in a model. The getName() returns the name of a constituent. For binary class relationships and method invocations, the name returned by getName() is less important, it could simply be Method Invocation, for example. (Their ID must still be unique, though.)
+The ''getName()'' always returns the simple name of a constituent. For binary-class relationships and method invocations, the name returned by ''getName()'' is less important, it could simply be ''Method Invocation'', for example. For a first-class entity, though, it is important, for example ''getName()'' returns ''IConstituent'' for ''padl.kernel.IConstituent''. Here are other examples of ''getName()'' values:
-Here are some examples of getID() :
+    * ''padl'' for a package;
-    * padl for a package;
+    * ''getName()'' for a method;
-    * getName() for a method;
+    * ''setName(char[])'' for a method;
-    * setName(java.lang.String) for a method;
+    * ''name'' for an attribute;
-    * addA(int, padl.example.aggregation.A) for a method;
+    * ''NaturalOrderComparator'' for a member class.
-    * name for an attribute.
+The paths are used to name and address each constituent uniquely within a model but consistently across models. The paths start with a '/' and the name of the model. Then, it includes the name, as in ''getName()'', of each constituent to go through until the name of the current constituent is reached. Here are some examples of ''getPath()'' values:
-    * Member for a member class, member interface, or member ghost.
+    * ''/PADL|padl'' for a package;
-Here are some examples of getName() :
+    * ''/PADL|padl|kernel|padl.kernel.IConstituent|getName()'' for a method;
-    * padl for a package;
+    * ''/PADL|padl|kernel|padl.kernel.IConstituent|setName(char[])'' for a method;
-    * getName for a method;
+    * ''/PADL|padl|kernel|impl|padl.kernel.impl.Constituent|name'' for an attribute;
-    * setName for a method;
+    * ''/PADL|padl|kernel|impl|padl.kernel.impl.GenericContainerOfNaturallyOrderedConstituents$NaturalOrderComparator'' for a member class.
-    * addA for a method;
+The class ''padl.path.Finder'' in the ''PADL'' project can be used to walk the paths.
-    * name for an attribute.
+===== Visitors =====
-    * Member for a member class, member interface, or member ghost.
+The PADL metamodel provide two types of visitors to allow third-party to analyse PADL models. It follows the standard API for visitors but with a twist for the implementation. Understading the PADL visitors [[http://www.ptidej.net/team/photos/180306 - Understanding PADL Visitor|is easy]]!
-The paths are used to represent how to get to a constituent within a model.
-The paths start with a '/' and the name of the model (optional).
-Then, each constituent to go through until the target is specified the same way:
-   - the '|' character,
-   - the (simple) name of the interface in padl.kernel of the constituent (or one of its super-interface, but always in padl.kernel),
-   - the ':' character,
-   - a constituent specific part:
-     * If the constituent is an Operation, its name, a '(', the list of the TypeName of the types of its arguments separated by a ',' (if any), a ')'
-     * Its name otherwise
-The class padl.path.Finder can be used to walk the paths.