--| Copyright (c) 2008, David Hollenberg, USC Information Sciences Institute --| All rights reserved. expanded class TEST1 [G -> detachable G create default_create end] inherit ANY redefine default_create end feature default_create do precursor create s.default_create end s: detachable G attribute s := create {G} end end