// Copyright (c) .NET Foundation and contributors. All rights reserved.
// Licensed under the MIT license. See LICENSE file in the project root for full license information.

using System;

// This is needed due to NativeAOT which doesn't enable nullable globally yet
#nullable enable

namespace ILLink.Shared.DataFlow
{
    public sealed class Box<T> where T : struct
    {
        public Box(T value) => Value = value;
        public T Value { get; set; }

    }

    public interface IDataFlowState<TValue, TValueLattice>
        where TValue : struct, IEquatable<TValue>
        where TValueLattice : ILattice<TValue>
    {
        TValue Current { get; set; }
        Box<TValue>? Exception { get; set; }
        TValueLattice Lattice { get; init; }
    }
}