|
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
using System;
using System.Diagnostics;
namespace Microsoft.CodeAnalysis.CSharp
{
using static BinaryOperatorKind;
internal static partial class ValueSetFactory
{
private class UIntTC : INumericTC<uint>
{
public static readonly UIntTC Instance = new UIntTC();
uint INumericTC<uint>.MinValue => uint.MinValue;
uint INumericTC<uint>.MaxValue => uint.MaxValue;
uint INumericTC<uint>.Zero => 0;
public bool Related(BinaryOperatorKind relation, uint left, uint right)
{
switch (relation)
{
case Equal:
return left == right;
case GreaterThanOrEqual:
return left >= right;
case GreaterThan:
return left > right;
case LessThanOrEqual:
return left <= right;
case LessThan:
return left < right;
default:
throw new ArgumentException("relation");
}
}
uint INumericTC<uint>.Next(uint value)
{
Debug.Assert(value != uint.MaxValue);
return value + 1;
}
public uint FromConstantValue(ConstantValue constantValue) => constantValue.IsBad ? (uint)0 : constantValue.UInt32Value;
public ConstantValue ToConstantValue(uint value) => ConstantValue.Create(value);
string INumericTC<uint>.ToString(uint value) => value.ToString();
uint INumericTC<uint>.Prev(uint value)
{
Debug.Assert(value != uint.MinValue);
return value - 1;
}
public uint Random(Random random)
{
return (uint)((random.Next() << 10) ^ random.Next());
}
}
}
}
|