package org.dmd.dmt.shared.generated.types;
import java.io.Serializable;
import java.util.Set;
import java.util.HashSet;
import java.util.TreeSet;
import java.util.Iterator;
import org.dmd.dmc.DmcAttribute;
import org.dmd.dmc.DmcAttributeInfo;
import org.dmd.dmc.DmcValueException;
import org.dmd.dms.generated.enums.ValueTypeEnum;
import org.dmd.dmt.shared.generated.dmo.UsingObjRefHMDMO; // DmcType import
/**
* The DmcTypeUsingObjRefHMREFSET provides storage for a set of UsingObjRefHMDMO
* <P>
* This code was auto-generated and shouldn't be altered manually!
* Generated from: org.dmd.dms.util.GenUtility.dumpSETType(GenUtility.java:2595)
* Called from: org.dmd.dms.util.DmoTypeFormatter.dumpNormalREFType(DmoTypeFormatter.java:256)
*/
@SuppressWarnings("serial")
public class DmcTypeUsingObjRefHMREFSET extends DmcTypeUsingObjRefHMREF implements Serializable {
private final static Iterator<UsingObjRefHMDMO> emptyList = (new HashSet<UsingObjRefHMDMO>()).iterator();
protected Set<UsingObjRefHMDMO> value;
public DmcTypeUsingObjRefHMREFSET(){
value = null;
}
public DmcTypeUsingObjRefHMREFSET(DmcAttributeInfo ai){
super(ai);
initValue();
}
void initValue(){
if (getAttributeInfo().valueType == ValueTypeEnum.HASHSET)
value = new HashSet<UsingObjRefHMDMO>();
else
value = new TreeSet<UsingObjRefHMDMO>();
}
@Override
public DmcTypeUsingObjRefHMREFSET getNew(){
return(new DmcTypeUsingObjRefHMREFSET(getAttributeInfo()));
}
@Override
// org.dmd.dms.util.GenUtility.dumpSETType(GenUtility.java:2636)
public DmcAttribute<UsingObjRefHMDMO> cloneIt(){
synchronized(this){
DmcTypeUsingObjRefHMREFSET rc = getNew();
if (value == null)
return(rc);
for(UsingObjRefHMDMO val: value)
try {
rc.add(val);
} catch (DmcValueException e) {
throw(new IllegalStateException("typeCheck() should never fail here!",e));
}
return(rc);
}
}
@Override
// org.dmd.dms.util.GenUtility.dumpSETType(GenUtility.java:2659)
public UsingObjRefHMDMO add(Object v) throws DmcValueException {
synchronized(this){
UsingObjRefHMDMO rc = typeCheck(v);
if (value == null)
initValue();
// If false is returned, we didn't modify the set, so return null
if (!value.add(rc))
rc = null;
return(rc);
}
}
@Override
// org.dmd.dms.util.GenUtility.dumpSETType(GenUtility.java:2676)
public UsingObjRefHMDMO del(Object v){
synchronized(this){
UsingObjRefHMDMO rc = null;
if (value == null)
return(rc);
try {
rc = typeCheck(v);
} catch (DmcValueException e) {
throw(new IllegalStateException("Incompatible type passed to del():" + getName(),e));
}
if (value.contains(rc)){
value.remove(rc);
if (value.size() == 0)
value = null;
}
else
rc = null;
return(rc);
}
}
@Override
// org.dmd.dms.util.GenUtility.dumpSETType(GenUtility.java:2701)
public Iterator<UsingObjRefHMDMO> getMV(){
synchronized(this){
if (value == null)
return(emptyList);
if (getAttributeInfo().valueType == ValueTypeEnum.HASHSET)
return( (new HashSet<UsingObjRefHMDMO>(value)).iterator() );
else
return( (new TreeSet<UsingObjRefHMDMO>(value)).iterator() );
}
}
// org.dmd.dms.util.GenUtility.dumpSETType(GenUtility.java:2715)
public Set<UsingObjRefHMDMO> getMVCopy(){
synchronized(this){
if (getAttributeInfo().valueType == ValueTypeEnum.HASHSET){
if (value == null)
return(new HashSet<UsingObjRefHMDMO>());
else
return(new HashSet<UsingObjRefHMDMO>(value));
}
else{
if (value == null)
return(new TreeSet<UsingObjRefHMDMO>(value));
else
return(new TreeSet<UsingObjRefHMDMO>(value));
}
}
}
@Override
// org.dmd.dms.util.GenUtility.dumpSETType(GenUtility.java:2735)
public int getMVSize(){
synchronized(this){
if (value == null)
return(0);
return(value.size());
}
}
@Override
// org.dmd.dms.util.GenUtility.dumpSETType(GenUtility.java:2746)
public boolean contains(Object v){
synchronized(this){
if (value == null)
return(false);
try {
UsingObjRefHMDMO val = typeCheck(v);
return(value.contains(val));
} catch (DmcValueException e) {
return(false);
}
}
}
}