public ContractAnnotationAttribute()

in GameOfLife/Properties/Annotations.cs [252:256]


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