Esempio n. 1
0
 public static IEnumerable <Contract> GetDeclaredContracts(this IPropertySymbol @this, SemanticModel model, IContractProvider contractProvider) =>
 @this.GetDeclaredPreconditions(model, contractProvider).Concat(
     @this.GetDeclaredPostconditions(model, contractProvider));