@Test(expected = IllegalArgumentException.class) public void remove_wrong_type_fails() throws Exception { m_bag.remove(m_scope.bool().make(true)); }
@Override public BagDataValue make() { return new BagDataValue(this); }
BagDataType extends CollectionDataType { @Override public BagDataValue make() { return new BagDataValue(this); } }
BagDataType extends CollectionDataType { @Override public BagDataValue make() { return new BagDataValue(this); } BagDataType(DataType inner_type, AnyType any); }
BagDataType extends CollectionDataType { @Override public BagDataValue make() { return new BagDataValue(this); } BagDataType(DataType inner_type, AnyType any); static final String build_bag_name(DataType inner); static BagDataType bag_of(DataType inner, PrimitiveScope pscope); @Override BagDataValue make(); @Override boolean is_abstract(); }
BagDataType extends CollectionDataType { @Override public BagDataValue make() { return new BagDataValue(this); } BagDataType(DataType inner_type, AnyType any); static final String build_bag_name(DataType inner); static BagDataType bag_of(DataType inner, PrimitiveScope pscope); @Override BagDataValue make(); @Override boolean is_abstract();  }