// -*- mode: java -*- collaboration counts; participant Counted extends X collaboration gettersNsetters; participant Foo implements Y collaboration result; participant Food // { } attach normal gettersNsetters { { gns: Food += Foo, X, edu.neu.ccs.demeter.S with { around gns:get_str do counted export main as y } } } attach shared counts { { q: Food += Counted, R, S.T with { export gns as counted export gnsset_i as reset } } }