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));
        }
示例#3
0
        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)));
        }