public ContractAnnotationAttribute()

in src/Annotations.cs [424:428]

• 5 lines of code
• 1 McCabe index (conditional complexity)

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