C# (CSharp) BasePropertyDeclarationSyntax.GetPostconditions 예제들

예제 #1

파일: BasePropertyDeclarationExtensions.cs 프로젝트: JamesFaix/Traction

 public static IEnumerable <Contract> GetContracts(this BasePropertyDeclarationSyntax @this, SemanticModel model, IContractProvider contractProvider) =>
 @this.GetPreconditions(model, contractProvider).Concat(
     @this.GetPostconditions(model, contractProvider));