public class SetContext extends CollectionContext<java.util.Set<?>>
copyOfTheCollection
Constructor and Description |
---|
SetContext(CtElement element,
CtRole role,
java.util.Set<?> original) |
getChangedProperty, getElementWhereChangeHappens
Copyright © 2007–2021 Inria. All rights reserved.