search

anuragraghavan / franca

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

Fix handling of overloaded methods in Franca contracts. #99

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Currently overloaded methods are not correctly handled by Franca contracts. 
This issue has been extracted from issue 55.

There should be some test cases which show how to specify behavior for 
overloaded methods.

Original issue reported on code.google.com by klaus.birken@gmail.com on 7 May 2014 at 3:35

GoogleCodeExporter commented 9 years ago 
Postponed to next milestone.

Original comment by klaus.birken@gmail.com on 8 Dec 2014 at 1:17

GoogleCodeExporter commented 9 years ago

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

GoogleCodeExporter commented 9 years ago 
Implemented on develop, with commit 43d0a0e.

Use _selectors_ when defining overloaded methods and broadcast, e.g.

    method m1:a {
        in { UInt8 a }
    }
    method m1:b {
        in { String a }
    }

Method m1 is overloaded, but each of the overloaded method can be referenced 
explicitly by using its name "m1" including the selector "a" or "b", 
respectively. Selectors might be arbitrary IDs.

Original comment by klaus.birken@gmail.com on 10 May 2015 at 9:31