k3

k3 copied to clipboard

The template generator that generates aspect from an ecore file currently supports single inheritance only (. (new K3 project, next, select _User Ecore Basic aspect_ template ) since we now...

dvojtise

K3AL should always check _self against null. It is a nightmare to debug otherwise because xtend will enter the method even when called on a null object. ``` public static...

tongbong

When generating the java code from an extended metamodel, implement the java method body to call the proper java static methods generated by K3AL. F.

tongbong

The way K3 generates Java code for aspects prevents the use of extension fields, see below: ``` abstract class ExtensionProvider { def void foo(String s) } class Test { extension...

tdegueul

The new K3 project wizard allows to create a plugin. Usually plugin offer an Activator. we should generate one in the wizard. If possible this activator shoud suggest the use...

dvojtise

Given the following piece of metamodel:  See ActionSequenceAspect, this code will call the correct perform operation (ie operation from the aspect) if and only if the perform operation is...

tongbong

If an aspect is written as followed: ``` def private init() { _self._isInitialized = true; } ``` JAVA code is not properly geneated as the method _privk3_init does not return...

tongbong

Initialize attributes and reflect values in the model

2

si un aspect est délcaré comme ceci: ``` java @Aspect(className=System) class SystemAspect { public LinkedListMultimap sharedMemory = LinkedListMultimap.create } ``` L'affectation ne passe pas par la méthode SystemAspect.sharedMemory(System, LinkedListMultimap) mais...

tongbong

In @Contracted, invariants and pre/postconditions checks are currently mixed. Thus, a violated invariant will result in either a PreConditionViolationException or PostConditionViolationException, depending on whether the violation occurs when calling or...

tdegueul

@Opposite works great within plain Java types, but not within an @Aspect class. The following doesn't compile. Basically, the two processors are in conflict. ``` class BaseA {} class BaseB...

tdegueul