using System;
using System.Diagnostics;

namespace JetBrains.Annotations;

[AttributeUsage(AttributeTargets.Method, AllowMultiple = true)]
[Conditional("JETBRAINS_ANNOTATIONS")]
internal sealed class ContractAnnotationAttribute : Attribute
{
	public string Contract { get; private set; }

	public bool ForceFullStates { get; private set; }

	public ContractAnnotationAttribute(string contract)
		: this(contract, forceFullStates: false)
	{
	}

	public ContractAnnotationAttribute(string contract, bool forceFullStates)
	{
		Contract = contract;
		ForceFullStates = forceFullStates;
	}
}