search

anuragraghavan / franca

Automatically exported from code.google.com/p/franca
0 stars 0 forks source link

Improve Franca contract action language #55

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
The action language for Franca contracts currently doesn't cover the full IDL 
functionality. This includes metamodel/syntax, but also scoping and validation.

Original issue reported on code.google.com by klaus.birken@gmail.com on 2 Aug 2013 at 12:30

GoogleCodeExporter commented 9 years ago

Original comment by klaus.birken@gmail.com on 29 Nov 2013 at 9:48

GoogleCodeExporter commented 9 years ago 
I assume this is part of this issue but I wanted to add it explicitly:
The Franca contract language does not handle overloaded methods correctly.

Original comment by klaus....@intel.com on 12 Feb 2014 at 8:09

GoogleCodeExporter commented 9 years ago

Original comment by SteffenW...@gmail.com on 14 Mar 2014 at 1:23

GoogleCodeExporter commented 9 years ago 
Regarding #2: The overloaded methods issue has been moved to a separate issue: 
issue 99.

Original comment by klaus.birken@gmail.com on 7 May 2014 at 3:36

GoogleCodeExporter commented 9 years ago 
The following aspects for Franca contracts have been improved (there might be 
some others):
- if/else is available now
- state vars may have initializers now
- method error returns can be specified in triggers, guards and actions
- the type system has been improved

Further features/extensions will follow in later Franca releases.

Original comment by klaus.birken@gmail.com on 7 May 2014 at 3:39

GoogleCodeExporter commented 9 years ago

Original comment by klaus.birken@gmail.com on 25 Jan 2015 at 12:34