Include and link exceptional exits for interface declarations

codespecs / daikon-dot-net-front-end

Celeriac .NET Front-End for Daikon

Other

9 stars 1 forks source link

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

Currently only entry and exit ppts are declared for interface methods (and 
linked to the implementing methods).

Original issue reported on code.google.com by Todd.Sch...@gmail.com on 14 Jun 2013 at 12:36