SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


Sidebar

 /*    *[[newsandtodos|News & TODOs]] */
 /*    *[[faq]] */
 /*    *[[glossary]] */
 /*    *[[classesandinterfaces|Classes & Interfaces]] */
 /*    *[[astelements|AST Elements]]  */
 /*    *[[feature implementation]] */
 /*    *[[diagrams]] */
 /*    *[[papers]]  */
 /*    *[[http://roots.iai.uni-bonn.de/research/logicaj/javadoc|JavaDoc]] */
 /*    *[[limitations]]  */
    * <label internal>[[.:internal:start|INTERNAL]]</label>

LAJ2 Use Cases

  • LAJ2 as coding standard tool
  • Weaving overloading annotations to overloaded methods

<code LogicAJ> pointcut overload(?overloaded_method, ?method):

   stmt(?method, ??mod ?type ?name(??args){??_} )
&& stmt(?overloaded_method, ??mod ?type ?name(??overloaded_args){??_} )
&& subtype(?overloaded_method::type, ?method::type);

introduction(?jp, ?method): overload(?jp,?method){

?jp::type.?method@overload

}</Code>

How should we introduce annotations? They are linked to a declaration…

research/logicaj/2/usecases.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019