internal CopyAbstractValue WithEntityRemoved(AnalysisEntity entityToRemove) { Debug.Assert(AnalysisEntities.Contains(entityToRemove)); Debug.Assert(AnalysisEntities.Count > 1); Debug.Assert(Kind.IsKnown()); return(new CopyAbstractValue(AnalysisEntities.Remove(entityToRemove), Kind)); }
internal CopyAbstractValue WithEntitiesRemoved(IEnumerable <AnalysisEntity> entitiesToRemove) { Debug.Assert(entitiesToRemove.All(entityToRemove => AnalysisEntities.Contains(entityToRemove))); Debug.Assert(AnalysisEntities.Count > 1); Debug.Assert(Kind.IsKnown()); return(new CopyAbstractValue(AnalysisEntities.Except(entitiesToRemove), Kind)); }
public CopyAbstractValue WithEntityRemoved(AnalysisEntity entityToRemove) { Debug.Assert(AnalysisEntities.Contains(entityToRemove)); Debug.Assert(AnalysisEntities.Count > 1); Debug.Assert(Kind == CopyAbstractValueKind.Known); return(new CopyAbstractValue(AnalysisEntities.Remove(entityToRemove))); }