@Test public void add_remove_check_invalid_parameters() throws Exception { try { m_set.add(null); fail(); } catch (IllegalArgumentException e) { } try { m_set.add(m_scope.bool().make(true)); fail(); } catch (IllegalArgumentException e) { } try { m_set.remove(null); fail(); } catch (IllegalArgumentException e) { } try { m_set.remove(m_scope.bool().make(true)); fail(); } catch (IllegalArgumentException e) { } try { m_set.contains(null); fail(); } catch (IllegalArgumentException e) { } try { m_set.contains(m_scope.bool().make(true)); fail(); } catch (IllegalArgumentException e) { } }
@Override public SetDataValue make() { return new SetDataValue(this); }
SetDataType extends CollectionDataType { @Override public SetDataValue make() { return new SetDataValue(this); } }
SetDataType extends CollectionDataType { @Override public SetDataValue make() { return new SetDataValue(this); } SetDataType(DataType inner_type, AnyType any); }
SetDataType extends CollectionDataType { @Override public SetDataValue make() { return new SetDataValue(this); } SetDataType(DataType inner_type, AnyType any); static final String build_set_name(DataType inner); static SetDataType set_of(DataType inner, PrimitiveScope pscope); @Override SetDataValue make(); @Override boolean is_abstract(); }
SetDataType extends CollectionDataType { @Override public SetDataValue make() { return new SetDataValue(this); } SetDataType(DataType inner_type, AnyType any); static final String build_set_name(DataType inner); static SetDataType set_of(DataType inner, PrimitiveScope pscope); @Override SetDataValue make(); @Override boolean is_abstract();  }