Marshall Schor wrote: > 1) Type Foo, feature Bar - range type FSArray whose element type is Baz > Type Foo, feature Bar - range type FSArray whose element type is NotBaz > > (Should throw an exception?)
Yes. > > 2) Type Foo, feature Bar - range type FSArray, whose element type is Baz > Type Foo, feature Bar - range type FSArray whose element type is > Subtype_of_Baz > > (Should be element Type = Subtype_of_Baz?) No, should throw an exception. If we narrow the definition, the annotator that declared Baz[] may no longer work. This is the same as if we you had Baz and its subtyped directly under the feature, instead of as an array component type. However, as the component types don't actually do anything, I'm not sure what the desired behavior is right now. > > 3) Type Foo, feature Bar - range type FSArray with > multipleReferencesAllowed = false > Type Foo, feature Bar - range type FSArray with > multipleReferencesAllowed = true > > (Should throw an exception?) Not sure about this one. > > -Marshall --Thilo
