| Issue 72: | Guarantee of sub state does not imply guarantee of super state | |
| 1 person starred this issue and may be notified of changes. | Back to list |
In the following code, Plural issues an error when I think that it should
not:
@Refine({@States({"SuperState"}),
@States(refined="SuperState", value={"SubState"})})
public class NestedStateImplications {
@Unique(requires="SuperState")
void foo() {}
static void bar(@Unique(requires="SubState")
NestedStateImplications nsi) {
nsi.foo(); // OKAY, Plural gives no errors, seems correct.
}
@Share(guarantee="SuperState")
void qux() {}
static void oik(@Share(guarantee="SubState")
NestedStateImplications nsi) {
nsi.qux(); // ERROR, Plural issues and error, isn't this okay?
}
}
Jul 24, 2009
Project Member
#1
nels.bec...@gmail.com
Status:
Invalid
|