gemoc / ale-lang

Action Language for EMF
Eclipse Public License 1.0
8 stars 6 forks source link

EOperation without returning type causes internal error #165

Closed echebbi closed 4 years ago

echebbi commented 4 years ago

Bug description

Calling an EOperation that doesn't have a returning type causes an internal error during validation?

Expected behavior

Calling an EOperation without a return type is processed as a call to a method returning void.

How to reproduce

Steps to reproduce the behavior:

  1. Create an EClass
  2. Create an EOperation without specifying a return type
  3. Call the operation from ALE
  4. Witness the editor show an error marker

Additional context

It looks like an old AQL bug in EOperationService that has been uncovered recently with the improvements made to ALE's validators (the error is not new but was swallowed before).