Stéphane Galland

It is not planned. Unfortunately, we have not enough man power for supporting both Eclipse and IDEA plugins development. Any contribution related to the IDEA support is welcome from the...

See #663.

Thank you for your suggestion. It is currently impossible to add generic type to capacities and skills. I will push your suggestion to my colleagues.

To follow up the discussion, I think the hard point to solve is related to the "uses" keyword and how it is providing implicit functions to the agent when the...

Alternatively, I think you coult declare a generic function in the capacity. Otherwise it is another issue.

If the proposed syntax is allowed to return a value from a function, the compiler must avoid local definition of variables of the same name.

The work on this issue should be done at the same time as the one for the issue #55.

We may introduce invariant conditions also: ``` agent A1 { var int i with invariant: i>0 } ```

Currently, the `with` keyword is already defined. It is used for specifying generic types: ``` def push(s: A, i: B) with A extends Type1, B extends Type2 { } ```...

Considering the precondition example given by @ngaud. It could be written with the current SARL syntax: ``` def push(s: String, i: Integer) : String with !Strings::isEmpty(s), i>0 { // The...