"constraints cannot be empty");
check(new BMC(null), null);
check(new BMC(new MethodDesc[0]),
"must have at least one descriptor");
check(new BMC(new MethodDesc[]{
new MethodDesc(null),
new MethodDesc("foo", null)}),
"default descriptor must be last");
check(new BMC(new MethodDesc[]{
new MethodDesc("foo*", null),
new MethodDesc("foo", null)}),
"foo* cannot precede foo");
check(new BMC(new MethodDesc[]{
new MethodDesc("foo", null),
new MethodDesc("foo", noClasses, null)}),
"foo cannot precede foo()");
check(new BMC(new MethodDesc[]{
new MethodDesc("*bar", null),
new MethodDesc("*foobar", null)}),
"*bar cannot precede *foobar");
}