joaoraf / kiama

Automatically exported from code.google.com/p/kiama
GNU Lesser General Public License v3.0
7 stars 2 forks source link

Create an Attribution trait #56

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
Since there is some local state maintained in the Attribution object it is 
desirable to transform this as a trait in order to allow several unrelated 
processes to avoid sharing this state:

trait Attribution extends AttributionBase
object Attribution extends Attribution

Then we can write:

trait MyComputations1 extends Attribution {
...
}
trait MyComputations2 extends Attribution {
...
}

Original issue reported on code.google.com by etorrebo...@gmail.com on 20 Nov 2012 at 11:24

GoogleCodeExporter commented 9 years ago
Seems reasonable. Will do it soon.

Original comment by inkytonik on 21 Nov 2012 at 2:07

GoogleCodeExporter commented 9 years ago
Done in r944c6813340d. Snapshot with this change is being published now.

Original comment by inkytonik on 21 Nov 2012 at 2:46

GoogleCodeExporter commented 9 years ago
Snapshot is there now.

Original comment by inkytonik on 21 Nov 2012 at 3:51

GoogleCodeExporter commented 9 years ago
Tested and approved, thanks for your reactivity Tony!

Original comment by etorrebo...@gmail.com on 21 Nov 2012 at 4:28

GoogleCodeExporter commented 9 years ago
Thanks for letting me know. No problem.

Original comment by inkytonik on 21 Nov 2012 at 4:32