예제 #1
0
 public static bool HasContractAttribute(this BasePropertyDeclarationSyntax @this, Contract contract, SemanticModel model) =>
 @this.HasPreconditionAttribute(contract, model) ||
 @this.HasPostconditionAttribute(contract, model);