Exemplos de Microsoft.Cci IteratorHelper.EnumerableContains em C# (CSharp)

Exemplo n.º 1

Arquivo: UnitHelper.cs Projeto: tralivali1234/IL2JS

        /// <summary>
        /// Determines if the given unit belongs to this set of units.
        /// </summary>
        public bool Contains(IUnit unit)
        {
            bool result = IteratorHelper.EnumerableContains(this.units, unit);

            //^ assume result == exists{IUnit u in this.Units; u == unit}; //TODO: Boogie: need a working postcodition on EnumerableContains
            return(result);
        }