public MethodEffects(IFiniteSet<Field> writtenInstanceFields,
IFiniteSet<Field> directSetFields, IFiniteSet<Method> directCalledMethods, IFiniteSet<Field> returnFields,
SafeDictionary<Field, FieldModificationType> modificationTypeDic,
int callDepth)
{
SafeDebug.AssumeNotNull(writtenInstanceFields, "writtenInstanceFields");
SafeDebug.Assume(callDepth >= 0, "callDepth>=0");
this.WrittenInstanceFields = writtenInstanceFields;
this.DirectSetterFields = directSetFields;
this.DirectCalledMethods = directCalledMethods;
this.ReturnFields = returnFields;
this.ModificationTypeDictionary = modificationTypeDic;
this.CallDepth = callDepth;
}
public override sealed bool Equals(IFiniteSet <T> other)
{
return(IsMatch <IFiniteSet <T> >(other, base.Equals));
}
public abstract void IntersectWith(IFiniteSet <T> other);
public abstract void UnionWith(IFiniteSet <T> other);
public abstract void SymmetricExceptWith(IFiniteSet <T> other);
public abstract void ExceptWith(IFiniteSet <T> other);
internal static IFiniteGroup <T> ToFiniteGroup <T>(this IFiniteSet <T> collection)
where T : IFiniteGroupElement <T>, new()
{
return(ReferenceEquals(collection, null) ?
null : new InternalGroup <T>(collection));
}
public override sealed bool IsSupersetOf(IFiniteSet <T> other)
{
return(IsMatch <IFiniteSet <T> >(other, base.IsSupersetOf));
}
internal InternalGroup(IFiniteSet <T> collection)
{
_identity = new T();
_collection = collection;
}
public override bool IsSupersetOf(IFiniteSet <T> other)
{
return(Equals(other));
}
public override bool IsSubsetOf(IFiniteSet <T> other)
{
return(!ReferenceEquals(other, null));
}
public override bool Equals(IFiniteSet <T> other)
{
return(!ReferenceEquals(other, null) && other.Count == 0L);
}
public MethodEffects(IFiniteSet <Field> writtenInstanceFields,
IFiniteSet <Field> directSetFields, IFiniteSet <Method> directCalledMethods, IFiniteSet <Field> returnFields,
SafeDictionary <Field, FieldModificationType> modificationTypeDic,
int callDepth)
{
SafeDebug.AssumeNotNull(writtenInstanceFields, "writtenInstanceFields");
SafeDebug.Assume(callDepth >= 0, "callDepth>=0");
this.WrittenInstanceFields = writtenInstanceFields;
this.DirectSetterFields = directSetFields;
this.DirectCalledMethods = directCalledMethods;
this.ReturnFields = returnFields;
this.ModificationTypeDictionary = modificationTypeDic;
this.CallDepth = callDepth;
}
